Author of the publication

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

Formal Foundations for Networking (Dagstuhl Seminar 15071)., , , and . Dagstuhl Reports, 5 (2): 44-63 (2015)Preface of the special issue on the conference on formal methods in computer aided design 2018., and . Formal Methods Syst. Des., 57 (2): 119-120 (2021)Foreword., and . J. Symb. Comput., 47 (12): 1413-1415 (2012)Algebra-Based Reasoning for Loop Synthesis., , , and . Formal Aspects Comput., 34 (1): 1-31 (2022)Scalable Optimal Layout Synthesis for NISQ Quantum Processors., , , , and . DAC, page 1-6. IEEE, (2023)Deciding Effectively Propositional Logic Using DPLL and Substitution Sets., and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 410-425. Springer, (2008)Software engineering and automated deduction., , and . FOSE, page 155-166. ACM, (2014)STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems., , , , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 415-418. Springer, (1996)User-Propagators for Custom Theories in SMT Solving., , and . SMT, volume 3185 of CEUR Workshop Proceedings, page 71-79. CEUR-WS.org, (2022)Optimizing test placement for module-level regression testing., , , , and . ICSE, page 689-699. IEEE / ACM, (2017)