( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Ultimate Automizer with Two-track Proofs - (Competition Contribution).

, , , , , , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 950-953. Springer, (2016)

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.

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)
 

Другие публикации лиц с тем же именем

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs., , и . ESOP, том 1576 из Lecture Notes in Computer Science, стр. 177-192. Springer, (1999)A Detailed Algorithm Testing Guards over Feature Trees., и . Constraint Processing, Selected Papers, том 923 из Lecture Notes in Computer Science, стр. 11-38. Springer, (1995)Verification of Cryptographic Protocols: Tagging Enforces Termination., и . FoSSaCS, том 2620 из Lecture Notes in Computer Science, стр. 136-152. Springer, (2003)Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution)., , , , и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 582-587. Springer, (2023)Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution)., , , , , , , , , и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 577-581. Springer, (2023)Towards a Meaning of LIFE., и . PLILP, том 528 из Lecture Notes in Computer Science, стр. 255-274. Springer, (1991)long version: JLP 16(3&4): 195-234.Reducing Quasi-Equal Clocks in Networks of Timed Automata., , , , и . FORMATS, том 7595 из Lecture Notes in Computer Science, стр. 155-170. Springer, (2012)Constraint-Based Analysis of Broadcast Protocols., , и . CSL, том 1683 из Lecture Notes in Computer Science, стр. 50-66. Springer, (1999)Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs., и . POPL, стр. 1-11. ACM, (2000)A Formal Operational Model of ACT-R: Structure and Behaviour., , и . CogSci, cognitivesciencesociety.org, (2021)