( en | de | ru )

 

Disambiguierung von "Talcott, Carolyn L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pathway Logic Helping Biologists Understand and Organize Pathway Information.

, , , , , , und . CSB Workshops, Seite 155-156. IEEE Computer Society, (2005)

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

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)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)Inferring the Equivalence of Functional Programs That Mutate Data., und . Theor. Comput. Sci., 105 (2): 167-215 (1992)Soft component automata: Composition, compilation, logic, and verification., , , und . Sci. Comput. Program., (2019)Towards a Theory of Actor Computation., , , und . CONCUR, Volume 630 von Lecture Notes in Computer Science, Seite 565-579. Springer, (1992)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)A Simplifier for Untyped Lambda Expressions., und . CTRS, Volume 516 von Lecture Notes in Computer Science, Seite 342-353. Springer, (1990)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)