Peter Lammich
发表
Markus Müller-Olm,
Benedikt Nordhoff,
Peter Lammich,
2013,
Festschrift for Dave Schmidt.
Lars Hupel,
Peter Lammich,
Julius Michaelis,
2016,
Arch. Formal Proofs.
Benedikt Nordhoff,
Peter Lammich,
Stefan Körner,
2010,
Arch. Formal Proofs.
Rene Meis,
Peter Lammich,
Finn Nielsen,
2010,
Arch. Formal Proofs.
Peter Lammich,
Simon Wimmer,
2017,
Arch. Formal Proofs.
Peter Lammich,
2015,
ITP.
Peter Lammich,
Fabian Hellauer,
2017,
Arch. Formal Proofs.
Benedikt Nordhoff,
Peter Lammich,
2012,
Arch. Formal Proofs.
Peter Lammich,
Julian Brunner,
2016,
NFM.
Peter Lammich,
S. Reza Sefidgar,
2017,
Arch. Formal Proofs.
Peter Lammich,
P. Lammich,
2011
.
Markus Müller-Olm,
Peter Lammich,
M. Müller-Olm,
2007,
CONCUR.
Peter Lammich,
S. Reza Sefidgar,
2019,
Journal of Automated Reasoning.
Andrei Popescu,
Peter Lammich,
A. Popescu,
2014,
Arch. Formal Proofs.
Markus Müller-Olm,
Peter Lammich,
2008,
SAS.
Tobias Nipkow,
Javier Esparza,
Jan-Georg Smaus,
2013,
CAV.
Maximilian P. L. Haslbeck,
Peter Lammich,
Julian Biendarra,
2019,
Arch. Formal Proofs.
Peter Lammich,
2009
.
Peter Lammich,
Simon Wimmer,
P. Lammich,
2018,
TACAS.
Tayssir Touili,
Thomas W. Reps,
Peter Lammich,
2009,
International Journal on Software Tools for Technology Transfer.
Burkhart Wolff,
Yakoub Nemouchi,
Peter Lammich,
2019,
EasyChair Preprints.
Andrei Popescu,
Peter Lammich,
Ping Hou,
2020,
Journal of Automated Reasoning.
Peter Lammich,
Mohammad Abdulaziz,
P. Lammich,
2018,
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).
René Neumann,
Peter Lammich,
René Neumann,
2015,
Arch. Formal Proofs.
Peter Lammich,
P. Lammich,
2015,
Journal of Automated Reasoning.
Peter Lammich,
Alexander Schimpf,
2014,
Arch. Formal Proofs.
Christoph Weidenbach,
Peter Lammich,
Jasmin Christian Blanchette,
2016,
Journal of Automated Reasoning.
Peter Lammich,
P. Lammich,
2019,
ITP.
Peter Lammich,
Simon Wimmer,
2019,
Arch. Formal Proofs.
Peter Lammich,
P. Lammich,
2014,
Arch. Formal Proofs.
Tobias Nipkow,
Peter Lammich,
2019,
Arch. Formal Proofs.
Peter Lammich,
P. Lammich,
2009,
Arch. Formal Proofs.
Markus Müller-Olm,
Peter Lammich,
Alexander Wenner,
2009,
CAV.
Peter Lammich,
2016,
Arch. Formal Proofs.
Peter Lammich,
P. Lammich,
2014,
ITP.
Peter Lammich,
P. Lammich,
2013,
ITP.
Peter Lammich,
S. Reza Sefidgar,
2017,
Arch. Formal Proofs.
Helmut Seidl,
Markus Müller-Olm,
Peter Lammich,
2013,
SAS.
Peter Lammich,
2016,
CPP.
Peter Lammich,
2012,
Arch. Formal Proofs.
Peter Lammich,
Julian Brunner,
P. Lammich,
2016,
Journal of Automated Reasoning.
Helmut Seidl,
Vesal Vojdani,
Markus Müller-Olm,
2011,
POPL '11.
Peter Lammich,
Thomas Tuerk,
P. Lammich,
2012,
ITP.
Rene Meis,
Peter Lammich,
2012,
Arch. Formal Proofs.
Peter Lammich,
P. Lammich,
2009,
Arch. Formal Proofs.
Markus Müller-Olm,
Peter Lammich,
2007,
Arch. Formal Proofs.
Peter Lammich,
Andreas Lochbihler,
2010,
ITP.
Peter Lammich,
P. Lammich,
2017,
SAT.
Peter Lammich,
Simon Wimmer,
2018,
Arch. Formal Proofs.
Peter Lammich,
Andreas Lochbihler,
2018,
Journal of Automated Reasoning.
Peter Lammich,
Julian Biendarra,
2015
.
Helmut Seidl,
Markus Müller-Olm,
Peter Lammich,
2011,
VMCAI.
Binoy Ravindran,
Freek Verbeek,
Peter Lammich,
2019,
SAFECOMP.
Peter Lammich,
2017,
CADE.
Andrei Popescu,
Peter Lammich,
Sudeep Kanav,
2014,
CAV.
Maximilian P. L. Haslbeck,
Peter Lammich,
2019,
ITP.
Andrei Popescu,
Markus N. Rabe,
Peter Lammich,
2014,
Arch. Formal Proofs.
Peter Lammich,
Mohammad Abdulaziz,
2020,
Arch. Formal Proofs.
Peter Lammich,
Jasmin Christian Blanchette,
Mathias Fleury,
2018,
CPP.
Tobias Nipkow,
Peter Lammich,
2019,
Arch. Formal Proofs.
Peter Lammich,
P. Lammich,
2017,
Journal of Automated Reasoning.
Peter Lammich,
P. Lammich,
2020,
IJCAR.
Tayssir Touili,
Thomas W. Reps,
Peter Lammich,
2009,
SPIN.
Peter Lammich,
S. Reza Sefidgar,
P. Lammich,
2016,
ITP.
Andrei Popescu,
Peter Lammich,
Thomas Bauereiß,
2021,
Arch. Formal Proofs.
Peter Lammich,
Thomas Ammer,
2021,
Arch. Formal Proofs.
Andrei Popescu,
Peter Lammich,
Thomas Bauereiß,
2021,
ITP.
Maximilian P. L. Haslbeck,
Peter Lammich,
P. Lammich,
2021,
ESOP.
Peter Lammich,
P. Lammich,
2009
.
Markus Müller-Olm,
Peter Lammich,
M. Müller-Olm,
2006
.