Johannes Hölzl
ORCIDPublication Activity (10 Years)
Years Active: 2010-2019
Publications (10 Years): 14
Publications (10 Years): 14
Technical University Munich (PHD)
Education History
Technical University Munich
Publications
- Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
- Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
- Simon Wimmer, Johannes HölzlProbabilistic Timed Automata. Arch. Formal Proofs 2018 (2018)
- Simon Wimmer, Johannes Hölzl
- Jeremy Avigad, Johannes Hölzl, Luke Serafin
- Manuel Eberl, Johannes Hölzl, Tobias Nipkow
- Johannes Hölzl
- Johannes Hölzl
- Johannes Hölzl
- Johannes Hölzl, Andreas Lochbihler, Dmitriy Traytel
- Johannes Hölzl, Andreas Lochbihler, Dmitriy TraytelA Zoo of Probabilistic Systems. Arch. Formal Proofs 2015 (2015)
- Manuel Eberl, Johannes Hölzl, Tobias Nipkow
- Johannes Hölzl
- Jeremy Avigad, Johannes Hölzl, Luke Serafin
- Andrei Popescu, Johannes HölzlProbabilistic Noninterference. Arch. Formal Proofs 2014 (2014)
- Andreas Lochbihler, Johannes Hölzl
- Manuel Eberl, Johannes Hölzl, Tobias Nipkow
- Johannes Hölzl, Fabian Immler, Brian Huffman
- Andrei Popescu, Johannes Hölzl, Tobias Nipkow
- Andrei Popescu, Johannes Hölzl, Tobias Nipkow
- Johannes Hölzl, Tobias Nipkow
- Johannes Hölzl, Tobias NipkowMarkov Models. Arch. Formal Proofs 2012 (2012)
- Andrei Popescu, Johannes HölzlPossibilistic Noninterference. Arch. Formal Proofs 2012 (2012)
- Fabian Immler, Johannes Hölzl
- Fabian Immler, Johannes HölzlOrdinary Differential Equations. Arch. Formal Proofs 2012 (2012)
- Andrei Popescu, Johannes Hölzl, Tobias Nipkow
- Johannes Hölzl, Tobias Nipkow
- Johannes Hölzl, Armin Heller
- Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv
- Johannes Hölzl