Author of the publication

A Symbolic Approach to Interval Constraint Problems.

, and . AISMC, volume 737 of Lecture Notes in Computer Science, page 65-84. Springer, (1992)

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)The Fukushima Accident.. SSS, page 189-207. Springer, (2012)From logic to manuals again., and . IEE Proc. Softw. Eng., 144 (3): 185-192 (1997)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)Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies., , and . SSS, page 95-115. Springer, (2009)From logic to manuals., and . Softw. Eng. J., 11 (6): 347-354 (1996)