( en | de | ru )

 

Disambiguation of "Podelski, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
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.

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 Eickelkamp

Der Nutzwertjournalismus. Uni Leipzig, (2009)

Andreas Nilsson

BSCCO superconductors processed by the glass ceramic route: critical aspects of process, crystallization and incorporation of oxygen, composition dependence on phase formation. TU Dresden, (2009)

Andreas Schwenk

Die Formbestimmung des § 313 BGB a. F. (§ 311 b Abs. 1 BGB n. F.) bei Verträgen über Grundstücke in der Rechtsprechung des Reichsgerichts. Uni Kiel, (2009)
 

Other publications of authors with the same name

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)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.Black-Box Verification for GUI Applications, , , and . CoRR, (2012)A Geometrical View of the Determinization and Minimization of Finite-State Automata., , and . Math. Syst. Theory, 24 (2): 117-146 (1991)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)Verification of Cryptographic Protocols: Tagging Enforces Termination., and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 136-152. Springer, (2003)Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs., and . POPL, page 1-11. ACM, (2000)Constraint-Based Analysis of Broadcast Protocols., , and . CSL, volume 1683 of Lecture Notes in Computer Science, page 50-66. Springer, (1999)