( en | de | ru )

 

Disambiguierung von "Talcott, Carolyn L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Applications of Pathway Logic Modeling to Target Identification.

, , , , , , und . Formal Modeling: Actors, Open Systems, Biological Systems, Volume 7000 von Lecture Notes in Computer Science, Seite 434-445. Springer, (2011)

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

Formal specification of multisimulations using Maude., , , und . SpringSim (TMS-DEVS), Seite 22. SCS/ACM, (2012)Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management., , und . DSOM, Volume 2867 von Lecture Notes in Computer Science, Seite 16-27. Springer, (2003)A Compositional Framework for Preference-Aware Agents., , und . V2CPS@IFM, Volume 232 von EPTCS, Seite 21-35. (2016)Reasoning about effects: from lists to cyber-physical agents., und . CoRR, (2018)Symbolic Timed Observational Equivalence., , und . CoRR, (2018)A semantic model for safe protocol interaction., , und . SAC, Seite 1599-1600. ACM, (2006)A formal model for reasoning about adaptive QoS-enabled middleware., , und . ACM Trans. Softw. Eng. Methodol., 13 (1): 86-147 (2004)Reasoning About Programs with Effects., und . PLILP, Volume 456 von Lecture Notes in Computer Science, Seite 189-203. Springer, (1990)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)A Theory for Program and Data Type Specification.. Theor. Comput. Sci., 104 (1): 129-159 (1992)