Stephan Merz
Publication Activity (10 Years)
Years Active: 1991-2024
Publications (10 Years): 27
Publications (10 Years): 27
Ludwig Maximilian University of Munich, Germany (PHD)
Education History
Ludwig Maximilian University of Munich, Germany
PHD
Publications
- Alessio Coltellacci, Stephan Merz, Gilles Dowek
- Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz
- Horatiu Cirstea, Stephan Merz
- Aman Goel, Stephan Merz, Karem A. Sakallah
- Igor Konnov, Markus Kuppe, Stephan Merz
- Leslie Lamport, Stephan Merz
- Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz
- Jasmin Christian Blanchette, Stephan Merz
- Noran Azmy, Stephan Merz, Christoph Weidenbach
- Stephan Merz, Hernán Vanzetto
- Leslie Lamport, Stephan MerzAuxiliary Variables in TLA+. CoRR (2017)
- Noran Azmy, Stephan Merz, Christoph Weidenbach
- Stephan Merz, Jun Pang, Jin Song Dong
- Stephan Merz, Jun Pang, Jin Song Dong
- Stephan Merz, Hernán Vanzetto
- Carlos Areces, Pascal Fontaine, Stephan Merz
- Stephan Merz, Hernán Vanzetto
- Stephan Merz, Hernán Vanzetto
- Etienne Mabille, Marc Boyer, Loïc Fejoz, Stephan Merz
- Gerald Lüttgen, Stephan Merz
- Stephan Merz, Hernán Vanzetto
- Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán VanzettoTLA+ Proofs CoRR (2012)
- Henri Debrat, Stephan Merz
- Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
- Stephan MerzProof System. PxTP (2012)
- Pascal Fontaine, Stephan Merz, Christoph Weidenbach
- Stephan MerzStuttering Equivalence. Arch. Formal Proofs 2012 (2012)
- Gudmund Grov, Stephan Merz
- David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
- Stephan Merz, Hernán Vanzetto
- Tianxiang Lu, Stephan Merz, Christoph Weidenbach
- Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
- Hehua Zhang, Stephan Merz, Ming Gu
- Bernadette Charron-Bost, Stephan Merz
- Hehua Zhang, Stephan Merz, Ming Gu
- Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow
- Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
- Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan MerzA TLA+ Proof System CoRR (2008)
- Eun-Young Kang, Stephan Merz
- Dominique Méry, Stephan Merz
- Stephan Merz, Tobias Nipkow
- Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe
- Dominique Méry, Stephan Merz
- Moritz Hammer, Alexander Knapp, Stephan Merz
- Moritz Hammer, Alexander Knapp, Stephan Merz
- Mauro Jaskelioff, Stephan Merz
- Alexander Knapp, Stephan Merz, Martin Wirsing
- Stephan MerzOn the Logic of TLA+. Comput. Artif. Intell. 22 (3-4) (2003)
- Stephan Merz
- Timm Schäfer, Alexander Knapp, Stephan Merz
- Dominique Cansell, Dominique Méry, Stephan Merz
- Dominique Cansell, Dominique Méry, Stephan Merz
- Stephan Merz
- Stephan Merz
- Stephan Merz
- Yassin Mokhtari, Stephan Merz
- Stephan Merz
- François Bourdoncle, Stephan Merz
- Martín Abadi, Stephan MerzOn TLA as a logic. NATO ASI DPD (1996)
- Martín Abadi, Stephan Merz
- Manfred Broy, Stephan Merz, Katharina Spies