Autor der Publikation

Das Waffenregister der Vereinten Nationen. Ziele und Probleme internationaler Rüstungssteuerung

. Deutscher Universitätsverlag, Wiesbaden, (1997)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Termination Proofs for Java Programs with Cyclic Data., , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 105-122. Springer, (2012)Search Techniques for Rational Polynomial Orders., , , , , und . AISC/MKM/Calculemus, Volume 5144 von Lecture Notes in Computer Science, Seite 109-124. Springer, (2008)Termination Graphs for Java Bytecode., , , und . Verification, Induction, Termination Analysis, Volume 6463 von Lecture Notes in Computer Science, Seite 17-37. Springer, (2010)Das Waffenregister der Vereinten Nationen. Ziele und Probleme internationaler Rüstungssteuerung. Deutscher Universitätsverlag, Wiesbaden, (1997)Automated Termination Analysis of Java Bytecode by Term Rewriting., , , und . RTA, Volume 6 von LIPIcs, Seite 259-276. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2010)Proving Termination of Programs Automatically with AProVE., , , , , , , , , und 1 andere Autor(en). IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 184-191. Springer, (2014)Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode., , , und . FoVeOOS, Volume 7421 von Lecture Notes in Computer Science, Seite 123-141. Springer, (2011)Analyzing Program Termination and Complexity Automatically with AProVE., , , , , , , , , und 3 andere Autor(en). J. Autom. Reasoning, 58 (1): 3-31 (2017)Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting., , und . RTA, Volume 10 von LIPIcs, Seite 155-170. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)