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

Risks of Technological Remedy.. Commun. ACM, 40 (11): 160 (1997)From logic to manuals again., and . IEE Proc. Softw. Eng., 144 (3): 185-192 (1997)The Fukushima Accident.. SSS, page 189-207. Springer, (2012)Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+., and . FBT, volume 315 of GMD-Studien, page 79-88. GMD-Forschungszentrum Informationstechnik GmbH, (1997)The Completeness of a Natural System for Reasoning with Time Intervals.. IJCAI, page 462-465. Morgan Kaufmann, (1987)Causal Analysis of the ACAS/TCAS Sociotechnical System.. SCS, volume 47 of CRPIT, page 3-12. Australian Computer Society, (2004)Models of Axioms for Time Intervals.. AAAI, page 234-239. Morgan Kaufmann, (1987)Static analysis of multiway synchronization., and . CASCON, page 39. IBM, (1994)From logic to manuals., and . Softw. Eng. J., 11 (6): 347-354 (1996)Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies., , and . SSS, page 95-115. Springer, (2009)