PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Stephan, Werner"

Author of the publication

copydeleteadd this publication to your clipboard
50 Jahre Neubau Universitätsbibliothek Stuttgart 2011

(Eds.) Universitätsbibliothek der Universität Stuttgart, Stuttgart, (2011)

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.

Andreas Werner University of Stuttgart

Hon. -Prof. Werner Pollmann University of Stuttgart

Prof. Dr. -Ing. Karl Stephan University of Stuttgart

Dr. -Ing. Stephan Heimerl University of Stuttgart

Silke Stephan University of Stuttgart

 

Other publications of authors with the same name

Simultaneous Quantifier Elimination., , and . KI, volume 1504 of Lecture Notes in Computer Science, page 141-152. Springer, (1998)Automating Interactive Protocol Verification., , , , and . KI, volume 5243 of Lecture Notes in Computer Science, page 30-37. Springer, (2008)Verifying a Chipcard-Based Biometric Identification Protocol in VSE., , , , and . SAFECOMP, volume 4166 of Lecture Notes in Computer Science, page 42-56. Springer, (2006)Verification of Distributed Applications., , , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 315-328. Springer, (2007)A Portrait of a Scientist: Logic, AI and Politics., and . Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 1-13. Springer, (2005)Implementing Verification Strategies in the KIV-System., , and . CADE, volume 310 of Lecture Notes in Computer Science, page 131-140. Springer, (1988)A History-based Verification of Distributed Applications., , , and . VERIFY, volume 259 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Machine-Assisted Program Construction and Modification., , and . GWAI, volume 216 of Informatik-Fachberichte, page 338-347. Springer, (1989)Program Verification by Symbolic Execution and Induction., , and . GWAI, volume 152 of Informatik-Fachberichte, page 201-210. Springer, (1987)VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien., , , , , , , , , and 3 other author(s). VIS, volume 16 of DuD-Fachbeiträge, page 175-190. Vieweg, (1993)