PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Basin, David A."

Author of the publication

copydeleteadd this publication to your clipboard
Verified Bytecode Model Checkers.

, , and . TPHOLs, volume 2410 of Lecture Notes in Computer Science, page 47-66. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

A. Laukemann

Dr. Marie Davidova University of Stuttgart

A. Laukemann

A. Laukemann

A. Vo{\ss}

 

Other publications of authors with the same name

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