( en | de | ru )

 

Disambiguation of "Podelski, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Doomed program points.

, , , , and . Formal Methods Syst. Des., 37 (2-3): 171-199 (2010)

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.

Valérie Podelski

Andreas

Andreas Sarcletti

Die Bedeutung von Praktika und studentischen Erwerbstätigkeiten für den Berufseinstieg.. Uni Bamberg, (2009)

Andreas Ströhl

Die Geste Mensch: Vilém Flussers Kulturtheorie als kommunikationsphilosophischer Zukunftsentwurf. Uni Marburg, (2009)

Andreas Nerlich

Lebensumstände und Krankheiten einer mittelalterlich bis neuzeitlichen Bevölkerung Südddeutschlands: paläopathologische Untersuchungen. Uni München, (2009)
 

Other publications of authors with the same name

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)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)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)Verification of Cryptographic Protocols: Tagging Enforces Termination., and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 136-152. Springer, (2003)Black-Box Verification for GUI Applications, , , and . CoRR, (2012)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)Constraint-Based Analysis of Broadcast Protocols., , and . CSL, volume 1683 of Lecture Notes in Computer Science, page 50-66. Springer, (1999)Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs., and . POPL, page 1-11. ACM, (2000)