Johannes Hölzl
发表
Johannes Hölzl,
Jeremy Avigad,
Luke Serafin,
2014,
Journal of Automated Reasoning.
Johannes Hölzl,
2015,
Arch. Formal Proofs.
Andrei Popescu,
Johannes Hölzl,
2014,
Arch. Formal Proofs.
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference
Andrei Popescu,
Johannes Hölzl,
Tobias Nipkow,
2013,
CALCO.
Johannes Hölzl,
J. Hölzl,
2016,
ITP.
Johannes Hölzl,
Tobias Nipkow,
T. Nipkow,
2012,
TACAS.
Andrei Popescu,
Johannes Hölzl,
Tobias Nipkow,
2013,
J. Formaliz. Reason..
Johannes Hölzl,
Fabian Immler,
2012,
Arch. Formal Proofs.
Johannes Hölzl,
Simon Wimmer,
J. Hölzl,
2018,
ITP.
Andrei Popescu,
Johannes Hölzl,
Tobias Nipkow,
2013,
CPP.
Johannes Hölzl,
Dmitriy Traytel,
Andreas Lochbihler,
2015,
ITP.
Johannes Hölzl,
J. Hölzl,
2017,
CPP.
Johannes Hölzl,
Tobias Nipkow,
T. Nipkow,
2012,
QFM.
Johannes Hölzl,
J. Hölzl,
2017,
Journal of Automated Reasoning.
Johannes Hölzl,
J. Hölzl,
2013
.
Johannes Hölzl,
Fabian Immler,
Fabian Immler,
2012,
ITP.
Johannes Hölzl,
Rastislav Bodík,
Ali Sinan Köksal,
2010,
ICFP '10.
Johannes Hölzl,
2012
.
Johannes Hölzl,
Tobias Nipkow,
Manuel Eberl,
2015,
ESOP.
Andrei Popescu,
Johannes Hölzl,
2012,
Arch. Formal Proofs.
Johannes Hölzl,
Brian Huffman,
Fabian Immler,
2013,
ITP.
Johannes Hölzl,
Andreas Lochbihler,
2014,
ITP.
Johannes Hölzl,
Robert Y. Lewis,
Sander R. Dahmen,
2019,
ITP.
Johannes Hölzl,
Tobias Nipkow,
T. Nipkow,
2019,
Arch. Formal Proofs.
Andrei Popescu,
Johannes Hölzl,
Dmitriy Traytel,
2014,
ITP.
Johannes Hölzl,
Dmitriy Traytel,
Andreas Lochbihler,
2015,
Arch. Formal Proofs.
Johannes Hölzl,
Simon Wimmer,
2018,
Arch. Formal Proofs.
Johannes Hölzl,
Armin Heller,
J. Hölzl,
2011,
ITP.
Andrei Popescu,
Johannes Hölzl,
René Thiemann,
2017,
FroCoS.
Johannes Hölzl,
2013
.