Author of the publication

It's Doomed; We Can Prove It.

, , , , and . FM, volume 5850 of Lecture Notes in Computer Science, page 338-353. Springer, (2009)

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

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs., , and . ESOP, volume 1576 of Lecture Notes in Computer Science, page 177-192. Springer, (1999)Towards a Meaning of LIFE., and . PLILP, volume 528 of Lecture Notes in Computer Science, page 255-274. Springer, (1991)long version: JLP 16(3&4): 195-234.A Geometrical View of the Determinization and Minimization of Finite-State Automata., , and . Math. Syst. Theory, 24 (2): 117-146 (1991)A Detailed Algorithm Testing Guards over Feature Trees., and . Constraint Processing, Selected Papers, volume 923 of Lecture Notes in Computer Science, page 11-38. Springer, (1995)Black-Box Verification for GUI Applications, , , and . CoRR, (2012)Verification of Cryptographic Protocols: Tagging Enforces Termination., and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 136-152. Springer, (2003)Constraint-Based Analysis of Broadcast Protocols., , and . CSL, volume 1683 of Lecture Notes in Computer Science, page 50-66. Springer, (1999)Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution)., , , , , , , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 577-581. Springer, (2023)Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution)., , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 582-587. Springer, (2023)Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs., and . POPL, page 1-11. ACM, (2000)