PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Basin, David A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scoped metatheorems.

, und . Electr. Notes Theor. Comput. Sci., (1998)

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.

A. Laukemann

Dr. Marie Davidova University of Stuttgart

A. Laukemann

A. Laukemann

A. Vo{\ss}

 

Weitere Publikationen von Autoren mit dem selben Namen

Structuring Metatheory on Inductive Definitions., und . Inf. Comput., 162 (1-2): 80-95 (2000)Scoped metatheorems., und . Electr. Notes Theor. Comput. Sci., (1998)LTL is closed under topological closure., , und . Inf. Process. Lett., 114 (8): 408-413 (2014)Editorial., , und . Higher-Order and Symbolic Computation, 17 (3): 171 (2004)SSL/TLS session-aware user authentication - Or how to effectively thwart the man-in-the-middle., , und . Computer Communications, 29 (12): 2238-2246 (2006)Provably repairing the ISO/IEC 9798 standard for entity authentication., , und . Journal of Computer Security, 21 (6): 817-846 (2013)SSL/TLS session-aware user authentication revisited., , und . Computers & Security, 27 (3-4): 64-70 (2008)Middle-Out Reasoning for Synthesis and Induction., , und . J. Autom. Reasoning, 16 (1-2): 113-145 (1996)A theoretical and empirical investigation of search in imperfect information games., und . Theor. Comput. Sci., 252 (1-2): 217-256 (2001)Verifying a signature architecture: a comparative case study., , , , und . Formal Asp. Comput., 19 (1): 63-91 (2007)