default search action

combined dblp search
author search
venue search
publication search

ask others

Johannes Hölzl

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j12]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/BrecknellGHIKKLNSSSTW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/BrecknellGHIKKLNSSSTW24
Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon Wimmer:
AutoCorres2. Arch. Formal Proofs 2024 (2024)
2022
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/centeris/KopLSSSZSVGHI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/centeris/KopLSSSZSVGHI22
Christian Kop, Gerhard Leitner, Peter Schartner, Volodymyr A. Shekhovtsov, Claudia Steinberger, Eleni Zografou, Daniela Elisabeth Ströckl, Christoph Voutsinas, Herbert Groiss, Johannes Hölzl, Markus Irrasch:
Towards a beneficial management of personal health records. CENTERIS/ProjMAN/HCist 2022: 1145-1152

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/DahmenHL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/DahmenHL19
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis:
Formalizing the Solution to the Cap Set Problem. ITP 2019: 15:1-15:19
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-01449
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-01449
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis:
Formalizing the Solution to the Cap Set Problem. CoRR abs/1907.01449 (2019)
2018
[j11]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/WimmerH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/WimmerH18
Simon Wimmer, Johannes Hölzl:
Probabilistic Timed Automata. Arch. Formal Proofs 2018 (2018)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/WimmerH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/WimmerH18
Simon Wimmer, Johannes Hölzl:
MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper). ITP 2018: 597-603
2017
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Holzl17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Holzl17
Johannes Hölzl:
Markov Chains and Markov Decision Processes in Isabelle/HOL. J. Autom. Reason. 59(3): 345-387 (2017)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AvigadHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AvigadHS17
Jeremy Avigad, Johannes Hölzl, Luke Serafin:
A Formally Verified Proof of the Central Limit Theorem. J. Autom. Reason. 59(4): 389-423 (2017)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Holzl17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Holzl17
Johannes Hölzl:
Markov processes in Isabelle/HOL. CPP 2017: 100-111
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/BiendarraBBDFHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BiendarraBBDFHK17
Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel:
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. FroCoS 2017: 3-21
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EberlHN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EberlHN17
Manuel Eberl, Johannes Hölzl, Tobias Nipkow:
A Verified Compiler for Probability Density Functions. CoRR abs/1707.06901 (2017)
2016
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/Holzl16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/Holzl16
Johannes Hölzl:
Formalising Semantics for Expected Running Time of Probabilistic Programs. ITP 2016: 475-482
2015
[j8]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Holzl15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Holzl15
Johannes Hölzl:
Verification of the UpDown Scheme. Arch. Formal Proofs 2015 (2015)
[j7]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/HolzlLT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HolzlLT15
Johannes Hölzl, Andreas Lochbihler, Dmitriy Traytel:
A Zoo of Probabilistic Systems. Arch. Formal Proofs 2015 (2015)
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/EberlHN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/EberlHN15
Manuel Eberl, Johannes Hölzl, Tobias Nipkow:
A Verified Compiler for Probability Density Functions. ESOP 2015: 80-104
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/HolzlLT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/HolzlLT15
Johannes Hölzl, Andreas Lochbihler, Dmitriy Traytel:
A Formalized Hierarchy of Probabilistic System Types - Proof Pearl. ITP 2015: 203-220
2014
[j6]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/0001H14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/0001H14
Andrei Popescu, Johannes Hölzl:
Probabilistic Noninterference. Arch. Formal Proofs 2014 (2014)
[j5]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/EberlHN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/EberlHN14
Manuel Eberl, Johannes Hölzl, Tobias Nipkow:
A Verified Compiler for Probability Density Functions. Arch. Formal Proofs 2014 (2014)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/BlanchetteHLP0T14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/BlanchetteHLP0T14
Jasmin Christian Blanchette, Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu, Dmitriy Traytel:
Truly Modular (Co)datatypes for Isabelle/HOL. ITP 2014: 93-110
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/LochbihlerH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/LochbihlerH14
Andreas Lochbihler, Johannes Hölzl:
Recursive Functions on Lazy Lists via Domains and Topologies. ITP 2014: 341-357
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AvigadHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AvigadHS14
Jeremy Avigad, Johannes Hölzl, Luke Serafin:
A formally verified proof of the Central Limit Theorem. CoRR abs/1405.7012 (2014)
2013
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Holzl13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Holzl13
Johannes Hölzl:
Construction and stochastic applications of measure spaces in higher-order logic. Technical University Munich, 2013, pp. 1-110
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/0001HN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/0001HN13
Andrei Popescu, Johannes Hölzl, Tobias Nipkow:
Formal Verification of Language-Based Concurrent Noninterference. J. Formaliz. Reason. 6(1): 1-30 (2013)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/0001HN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/0001HN13
Andrei Popescu, Johannes Hölzl, Tobias Nipkow:
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. CALCO 2013: 236-252
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/0001HN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/0001HN13
Andrei Popescu, Johannes Hölzl, Tobias Nipkow:
Formalizing Probabilistic Noninterference. CPP 2013: 259-275
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/HolzlIH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/HolzlIH13
Johannes Hölzl, Fabian Immler, Brian Huffman:
Type Classes and Filters for Mathematical Analysis in Isabelle/HOL. ITP 2013: 279-294
2012
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/HolzlN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HolzlN12
Johannes Hölzl, Tobias Nipkow:
Markov Models. Arch. Formal Proofs 2012 (2012)
[j2]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/ImmlerH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ImmlerH12
Fabian Immler, Johannes Hölzl:
Ordinary Differential Equations. Arch. Formal Proofs 2012 (2012)
[j1]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/PopescuH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/PopescuH12
Andrei Popescu, Johannes Hölzl:
Possibilistic Noninterference. Arch. Formal Proofs 2012 (2012)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/PopescuHN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/PopescuHN12
Andrei Popescu, Johannes Hölzl, Tobias Nipkow:
Proving Concurrent Noninterference. CPP 2012: 109-125
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/ImmlerH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ImmlerH12
Fabian Immler, Johannes Hölzl:
Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL. ITP 2012: 377-392
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HolzlN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HolzlN12
Johannes Hölzl, Tobias Nipkow:
Verifying pCTL Model Checking. TACAS 2012: 347-361
[c4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-3870
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-3870
Johannes Hölzl, Tobias Nipkow:
Interactive verification of Markov chains: Two distributed protocol case studies. QFM 2012: 17-31
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/HolzlH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/HolzlH11
Johannes Hölzl, Armin Heller:
Three Chapters of Measure Theory in Isabelle/HOL. ITP 2011: 135-151
2010
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/Holzl10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Holzl10
Johannes Hölzl:
Quantitative Information Flow Analysis in Isabelle. AlgoSyn 2010: 150
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/ArnoldHKBS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/ArnoldHKBS10
Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv:
Specifying and verifying sparse matrix codes. ICFP 2010: 249-260

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.