Peter Lammich
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 47
Publications (10 Years): 47
University of Münster (PHD)
Education History
University of Münster
PHD
Publications
- Simon Wimmer, Peter LammichWorklist Algorithms. Arch. Formal Proofs 2024 (2024)
- Peter Lammich
- Arnd Hartmanns, Bram Kohlen, Peter Lammich
- Mathias Fleury, Peter Lammich
- Peter Lammich
- Andrei Popescu, Thomas Bauereiss, Peter Lammich
- Andrei Popescu, Peter Lammich, Ping Hou
- Thomas Ammer, Peter Lammichvan Emde Boas Trees. Arch. Formal Proofs 2021 (2021)
- Andrei Popescu, Peter Lammich, Thomas Bauereiss
- Mohammad Abdulaziz, Peter LammichAI Planning Languages Semantics. Arch. Formal Proofs 2020 (2020)
- Peter Lammich
- Peter Lammich
- Peter Lammich
- Peter Lammich, Simon Wimmer
- Peter Lammich, S. Reza Sefidgar
- Peter Lammich, Tobias Nipkow
- Peter Lammich, Andreas Lochbihler
- Peter Lammich
- Peter Lammich, Tobias NipkowPriority Search Trees. Arch. Formal Proofs 2019 (2019)
- Maximilian P. L. Haslbeck, Peter Lammich, Julian Biendarra
- Peter Lammich, Simon Wimmer
- Simon Wimmer, Peter Lammich
- Julian Brunner, Peter Lammich
- Peter Lammich, Simon Wimmer
- Peter Lammich, S. Reza Sefidgar
- Fabian Hellauer, Peter Lammich
- Peter Lammich, S. Reza Sefidgar
- Simon Wimmer, Peter Lammich
- Peter Lammich
- Peter Lammich
- Peter Lammich, René Neumann
- Julius Michaelis, Max W. Haslbeck, Peter Lammich, Lars Hupel
- Peter Lammich
- Peter Lammich, S. Reza Sefidgar
- Peter Lammich, S. Reza Sefidgar
- Peter Lammich
- Peter Lammich, René Neumann
- Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
- Andrei Popescu, Peter LammichBounded-Deducibility Security. Arch. Formal Proofs 2014 (2014)
- Sudeep Kanav, Peter Lammich, Andrei Popescu
- Peter Lammich
- Markus N. Rabe, Peter Lammich, Andrei PopescuA shallow embedding of HyperCTL. Arch. Formal Proofs 2014 (2014)
- Alexander Schimpf, Peter Lammich
- Peter LammichThe CAVA Automata Library. Arch. Formal Proofs 2014 (2014)
- Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
- Peter LammichAutomatic Data Refinement. Arch. Formal Proofs 2013 (2013)
- Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
- Peter Lammich
- Peter Lammich, Thomas Tuerk
- Peter LammichRefinement for Monadic Programs. Arch. Formal Proofs 2012 (2012)
- Peter Lammich, Rene Meis
- Benedikt Nordhoff, Peter Lammich
- Benedikt Nordhoff, Stefan Körner, Peter LammichFinger Trees. Arch. Formal Proofs 2010 (2010)
- Peter Lammich, Andreas Lochbihler
- Rene Meis, Finn Nielsen, Peter Lammich
- Peter LammichCollections Framework. Arch. Formal Proofs 2009 (2009)
- Peter LammichTree Automata. Arch. Formal Proofs 2009 (2009)