Author of the publication

Tiefschweißen mit gepulstem CO2-Laserstrahl

, and . Proceedings of the 9th International Congress LASER 89, page 539. Berlin, Springer, (1990)

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)An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic., , , and . ARITH, page 160-167. IEEE, (2015)Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report)., , and . CoRR, (2014)Modelling Interaction with HYTIME., , and . Kommunikation in Verteilten Systemen, page 188-202. Springer, (1995)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)Charakterisierung von CO2-Laserstrahlen durch Plexiglaseinbrand, , , and . Laser Magazin, (1987)Efficient Reduction Techniques for Systems with Many Components., and . Electron. Notes Theor. Comput. Sci., (2005)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)