( en | de | ru )

 

Disambiguation of "Podelski, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Guided search for hybrid systems based on coarse-grained space abstractions.

, , , , , , , and . Int. J. Softw. Tools Technol. Transf., 18 (4): 449-467 (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. 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.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)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)Systematic adaptation and investigation of the understandability of a formal pattern language., , , , and . Requir. Eng., 29 (1): 3-23 (March 2024)A Formal Operational Model of ACT-R: Structure and Behaviour., , and . CogSci, cognitivesciencesociety.org, (2021)Reducing Quasi-Equal Clocks in Networks of Timed Automata., , , , and . FORMATS, volume 7595 of Lecture Notes in Computer Science, page 155-170. Springer, (2012)Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs., and . POPL, page 1-11. ACM, (2000)