( en | de | ru )

 

Disambiguierung von "Talcott, Carolyn L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Time, computational complexity, and probability in the analysis of distance-bounding protocols.

, , , , und . J. Comput. Secur., 25 (6): 585-630 (2017)

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

Editorial., und . High. Order Symb. Comput., 22 (4): 293 (2009)Editorial., und . High. Order Symb. Comput., 13 (4): 287-288 (2000)Using Abstract Resources to Control Reasoning., , und . J. Log. Lang. Inf., 7 (1): 77-101 (1998)Symbolic Timed Observational Equivalence., , und . CoRR, (2018)Reasoning about effects: from lists to cyber-physical agents., und . CoRR, (2018)A formal model for reasoning about adaptive QoS-enabled middleware., , und . ACM Trans. Softw. Eng. Methodol., 13 (1): 86-147 (2004)A semantic model for safe protocol interaction., , und . SAC, Seite 1599-1600. ACM, (2006)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)