Johannes Hölzl

Available identifiers

zbMath Open holzl.johannesMaRDI QIDQ1687531

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5875423	2023-02-03	Paper
Formal verification of language-based concurrent noninterference	2019-09-18	Paper
Formalizing the Solution to the Cap Set Problem	2019-07-02	Paper
\(\mathrm{MDP + TA = PTA}\): probabilistic timed automata, formalized (short paper)	2018-10-04	Paper
Markov chains and Markov decision processes in Isabelle/HOL	2018-02-22	Paper
A formally verified proof of the central limit theorem	2018-02-02	Paper
Foundational (co)datatypes and (co)recursion for higher-order logic	2018-01-04	Paper
Formalising Semantics for Expected Running Time of Probabilistic Programs	2016-10-27	Paper
A verified compiler for probability density functions	2016-04-26	Paper
A formalized hierarchy of probabilistic system types. Proof pearl	2015-09-14	Paper
Specifying and verifying sparse matrix codes	2015-03-05	Paper
Formalizing probabilistic noninterference	2015-01-13	Paper
Truly modular (co)datatypes for Isabelle/HOL	2014-09-08	Paper
Recursive Functions on Lazy Lists via Domains and Topologies	2014-09-08	Paper
Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference	2013-09-13	Paper
Type classes and filters for mathematical analysis in Isabelle/HOL	2013-08-07	Paper
Proving concurrent noninterference	2013-04-19	Paper
Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL	2012-09-20	Paper
Verifying pCTL model checking	2012-06-29	Paper
Three chapters of measure theory in Isabelle/HOL	2011-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4035481	1993-05-18	Paper

Research outcomes over time

This page was built for person: Johannes Hölzl