( en | de | ru )

 

Disambiguierung von "Talcott, Carolyn L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.

, , , , und . CMSB, Volume 2602 von Lecture Notes in Computer Science, Seite 164-165. Springer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Carolyn Lerche

Carolyn Schaller

Carolyn Weber

Carolyn Grone

Carolyn Hinz

 

Weitere Publikationen von Autoren mit dem selben Namen

Integrated analysis of breast cancer cell lines reveals unique signaling pathways., , , , , , , , , und 5 andere Autor(en). Genome Biol., 10 (3): R31 (2009)A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.. FMOODS, Volume 209 von IFIP Conference Proceedings, Seite 25-26. Kluwer, (2002)Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems., , und . FroCoS, Volume 3 von Applied Logic Series, Seite 157-174. Kluwer Academic Publishers, (1996)Compliance in Real Time Multiset Rewriting Models., , , , und . CoRR, (2018)A Simplifier for Untyped Lambda Expressions., und . CTRS, Volume 516 von Lecture Notes in Computer Science, Seite 342-353. Springer, (1990)Towards a Theory of Actor Computation., , , und . CONCUR, Volume 630 von Lecture Notes in Computer Science, Seite 565-579. Springer, (1992)Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems., , , , und . FORMATS, Volume 9884 von Lecture Notes in Computer Science, Seite 228-244. Springer, (2016)Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic., , und . HSB, Volume 9271 von Lecture Notes in Computer Science, Seite 226-245. Springer, (2015)Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols., , , , und . POST, Volume 9036 von Lecture Notes in Computer Science, Seite 259-279. Springer, (2015)Soft component automata: Composition, compilation, logic, and verification., , , und . Sci. Comput. Program., (2019)