Autor der Publikation

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

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres., , , und . ICFEM, Volume 6991 von Lecture Notes in Computer Science, Seite 404-419. Springer, (2011)Modular Load Commutated Inverters - A Proven Concept for High Power Applications., , , , und . IAS, Seite 1-7. IEEE, (2008)X-tolerant Test Data Compaction with Accelerated Shift Registers., , , , und . J. Electronic Testing, 25 (4-5): 247-258 (2009)Synthesizing Controllers for Multi-lane Traffic Maneuvers., , , und . SETTA, Volume 9409 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2015)Proving Safety of Traffic Manoeuvres on Country Roads., , und . Theories of Programming and Formal Methods, Volume 8051 von Lecture Notes in Computer Science, Seite 196-212. Springer, (2013)Proof Theory of a Multi-Lane Spatial Logic., und . ICTAC, Volume 8049 von Lecture Notes in Computer Science, Seite 231-248. Springer, (2013)An Abstract Model for Proving Safety of Autonomous Urban Traffic., und . ICTAC, Volume 9965 von Lecture Notes in Computer Science, Seite 274-292. (2016)Accelerated Shift Registers for X-tolerant Test Data Compaction., , , , und . European Test Symposium, Seite 133-139. IEEE Computer Society, (2008)Testdatenkompaktion durch beschleunigte Schieberegister mit vielen X-Werten.. University of Potsdam, (2010)Proof Theory of a Multi-Lane Spatial Logic., und . Logical Methods in Computer Science, (2015)