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 Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic., , , und . ARITH, Seite 160-167. IEEE, (2015)Optimisation of Transport Protocols for High-Speed., und . INDC, Volume C-6 von IFIP Transactions, Seite 405-419. North-Holland, (1992)Modelling Interaction with HYTIME., , und . Kommunikation in Verteilten Systemen, Seite 188-202. Springer, (1995)Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report)., , und . CoRR, (2014)Concolic Unbounded-Thread Reachability via Loop Summaries., und . ICFEM, Volume 10009 von Lecture Notes in Computer Science, Seite 346-362. (2016)Efficient Coverability Analysis by Proof Minimization., , und . CONCUR, Volume 7454 von Lecture Notes in Computer Science, Seite 500-515. Springer, (2012)Efficient Reduction Techniques for Systems with Many Components., und . Electron. Notes Theor. Comput. Sci., (2005)Charakterisierung von CO2-Laserstrahlen durch Plexiglaseinbrand, , , und . Laser Magazin, (1987)Infinite-state backward exploration of Boolean broadcast programs., und . FMCAD, Seite 155-162. IEEE, (2014)Make it real: Effective floating-point reasoning via exact arithmetic., , , und . DATE, Seite 1-4. European Design and Automation Association, (2014)