Author of the publication

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.

 

Other publications of authors with the same name

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