Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Johannes Hölzl
@inproceedings{DBLP:conf/itp/DahmenHL19,
author = {Sander R. Dahmen and
Johannes H{\"{o}}lzl and
Robert Y. Lewis},
editor = {John Harrison and
John O'Leary and
Andrew Tolmach},
title = {Formalizing the Solution to the Cap Set Problem},
booktitle = {10th International Conference on Interactive Theorem Proving, {ITP}
2019, September 9-12, 2019, Portland, OR, {USA}},
series = {LIPIcs},
volume = {141},
pages = {15:1--15:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ITP.2019.15},
doi = {10.4230/LIPICS.ITP.2019.15},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/DahmenHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-01449,
author = {Sander R. Dahmen and
Johannes H{\"{o}}lzl and
Robert Y. Lewis},
title = {Formalizing the Solution to the Cap Set Problem},
journal = {CoRR},
volume = {abs/1907.01449},
year = {2019},
url = {http://arxiv.org/abs/1907.01449},
eprinttype = {arXiv},
eprint = {1907.01449},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-01449.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/WimmerH18,
author = {Simon Wimmer and
Johannes H{\"{o}}lzl},
title = {Probabilistic Timed Automata},
journal = {Arch. Formal Proofs},
volume = {2018},
year = {2018},
url = {https://www.isa-afp.org/entries/Probabilistic\_Timed\_Automata.html},
timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/WimmerH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/WimmerH18,
author = {Simon Wimmer and
Johannes H{\"{o}}lzl},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {{MDP} + {TA} = {PTA:} Probabilistic Timed Automata, Formalized (Short
Paper)},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {597--603},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_35},
doi = {10.1007/978-3-319-94821-8\_35},
timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/WimmerH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Holzl17,
author = {Johannes H{\"{o}}lzl},
title = {Markov Chains and Markov Decision Processes in Isabelle/HOL},
journal = {J. Autom. Reason.},
volume = {59},
number = {3},
pages = {345--387},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9401-5},
doi = {10.1007/S10817-016-9401-5},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Holzl17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AvigadHS17,
author = {Jeremy Avigad and
Johannes H{\"{o}}lzl and
Luke Serafin},
title = {A Formally Verified Proof of the Central Limit Theorem},
journal = {J. Autom. Reason.},
volume = {59},
number = {4},
pages = {389--423},
year = {2017},
url = {https://doi.org/10.1007/s10817-017-9404-x},
doi = {10.1007/S10817-017-9404-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AvigadHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Holzl17,
author = {Johannes H{\"{o}}lzl},
editor = {Yves Bertot and
Viktor Vafeiadis},
title = {Markov processes in Isabelle/HOL},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
pages = {100--111},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018610.3018628},
doi = {10.1145/3018610.3018628},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Holzl17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BiendarraBBDFHK17,
author = {Julian Biendarra and
Jasmin Christian Blanchette and
Aymeric Bouzy and
Martin Desharnais and
Mathias Fleury and
Johannes H{\"{o}}lzl and
Ondrej Kuncar and
Andreas Lochbihler and
Fabian Meier and
Lorenz Panny and
Andrei Popescu and
Christian Sternagel and
Ren{\'{e}} Thiemann and
Dmitriy Traytel},
editor = {Clare Dixon and
Marcelo Finger},
title = {Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {3--21},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_1},
doi = {10.1007/978-3-319-66167-4\_1},
timestamp = {Mon, 28 Aug 2023 21:17:55 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BiendarraBBDFHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EberlHN17,
author = {Manuel Eberl and
Johannes H{\"{o}}lzl and
Tobias Nipkow},
title = {A Verified Compiler for Probability Density Functions},
journal = {CoRR},
volume = {abs/1707.06901},
year = {2017},
url = {http://arxiv.org/abs/1707.06901},
eprinttype = {arXiv},
eprint = {1707.06901},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EberlHN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Holzl16,
author = {Johannes H{\"{o}}lzl},
editor = {Jasmin Christian Blanchette and
Stephan Merz},
title = {Formalising Semantics for Expected Running Time of Probabilistic Programs},
booktitle = {Interactive Theorem Proving - 7th International Conference, {ITP}
2016, Nancy, France, August 22-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9807},
pages = {475--482},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43144-4\_30},
doi = {10.1007/978-3-319-43144-4\_30},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Holzl16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Holzl15,
author = {Johannes H{\"{o}}lzl},
title = {Verification of the UpDown Scheme},
journal = {Arch. Formal Proofs},
volume = {2015},
year = {2015},
url = {https://www.isa-afp.org/entries/UpDown\_Scheme.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Holzl15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/HolzlLT15,
author = {Johannes H{\"{o}}lzl and
Andreas Lochbihler and
Dmitriy Traytel},
title = {A Zoo of Probabilistic Systems},
journal = {Arch. Formal Proofs},
volume = {2015},
year = {2015},
url = {https://www.isa-afp.org/entries/Probabilistic\_System\_Zoo.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/HolzlLT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/EberlHN15,
author = {Manuel Eberl and
Johannes H{\"{o}}lzl and
Tobias Nipkow},
editor = {Jan Vitek},
title = {A Verified Compiler for Probability Density Functions},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {80--104},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_4},
doi = {10.1007/978-3-662-46669-8\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/EberlHN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/HolzlLT15,
author = {Johannes H{\"{o}}lzl and
Andreas Lochbihler and
Dmitriy Traytel},
editor = {Christian Urban and
Xingyuan Zhang},
title = {A Formalized Hierarchy of Probabilistic System Types - Proof Pearl},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {203--220},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_13},
doi = {10.1007/978-3-319-22102-1\_13},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/HolzlLT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/0001H14,
author = {Andrei Popescu and
Johannes H{\"{o}}lzl},
title = {Probabilistic Noninterference},
journal = {Arch. Formal Proofs},
volume = {2014},
year = {2014},
url = {https://www.isa-afp.org/entries/Probabilistic\_Noninterference.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/0001H14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/EberlHN14,
author = {Manuel Eberl and
Johannes H{\"{o}}lzl and
Tobias Nipkow},
title = {A Verified Compiler for Probability Density Functions},
journal = {Arch. Formal Proofs},
volume = {2014},
year = {2014},
url = {https://www.isa-afp.org/entries/Density\_Compiler.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/EberlHN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BlanchetteHLP0T14,
author = {Jasmin Christian Blanchette and
Johannes H{\"{o}}lzl and
Andreas Lochbihler and
Lorenz Panny and
Andrei Popescu and
Dmitriy Traytel},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Truly Modular (Co)datatypes for Isabelle/HOL},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {93--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_7},
doi = {10.1007/978-3-319-08970-6\_7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/BlanchetteHLP0T14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/LochbihlerH14,
author = {Andreas Lochbihler and
Johannes H{\"{o}}lzl},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Recursive Functions on Lazy Lists via Domains and Topologies},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {341--357},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_22},
doi = {10.1007/978-3-319-08970-6\_22},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/LochbihlerH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AvigadHS14,
author = {Jeremy Avigad and
Johannes H{\"{o}}lzl and
Luke Serafin},
title = {A formally verified proof of the Central Limit Theorem},
journal = {CoRR},
volume = {abs/1405.7012},
year = {2014},
url = {http://arxiv.org/abs/1405.7012},
eprinttype = {arXiv},
eprint = {1405.7012},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AvigadHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Holzl13,
author = {Johannes H{\"{o}}lzl},
title = {Construction and stochastic applications of measure spaces in higher-order
logic},
school = {Technical University Munich},
year = {2013},
url = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20130219-1116512-0-6},
urn = {urn:nbn:de:bvb:91-diss-20130219-1116512-0-6},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Holzl13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfrea/0001HN13,
author = {Andrei Popescu and
Johannes H{\"{o}}lzl and
Tobias Nipkow},
title = {Formal Verification of Language-Based Concurrent Noninterference},
journal = {J. Formaliz. Reason.},
volume = {6},
number = {1},
pages = {1--30},
year = {2013},
url = {https://doi.org/10.6092/issn.1972-5787/3690},
doi = {10.6092/ISSN.1972-5787/3690},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfrea/0001HN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/0001HN13,
author = {Andrei Popescu and
Johannes H{\"{o}}lzl and
Tobias Nipkow},
editor = {Reiko Heckel and
Stefan Milius},
title = {Noninterfering Schedulers - When Possibilistic Noninterference Implies
Probabilistic Noninterference},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {236--252},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_18},
doi = {10.1007/978-3-642-40206-7\_18},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/0001HN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/0001HN13,
author = {Andrei Popescu and
Johannes H{\"{o}}lzl and
Tobias Nipkow},
editor = {Georges Gonthier and
Michael Norrish},
title = {Formalizing Probabilistic Noninterference},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {259--275},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_17},
doi = {10.1007/978-3-319-03545-1\_17},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/0001HN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/HolzlIH13,
author = {Johannes H{\"{o}}lzl and
Fabian Immler and
Brian Huffman},
editor = {Sandrine Blazy and
Christine Paulin{-}Mohring and
David Pichardie},
title = {Type Classes and Filters for Mathematical Analysis in Isabelle/HOL},
booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP}
2013, Rennes, France, July 22-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7998},
pages = {279--294},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39634-2\_21},
doi = {10.1007/978-3-642-39634-2\_21},
timestamp = {Wed, 25 Sep 2019 18:17:56 +0200},
biburl = {https://dblp.org/rec/conf/itp/HolzlIH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/HolzlN12,
author = {Johannes H{\"{o}}lzl and
Tobias Nipkow},
title = {Markov Models},
journal = {Arch. Formal Proofs},
volume = {2012},
year = {2012},
url = {https://www.isa-afp.org/entries/Markov\_Models.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/HolzlN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/ImmlerH12,
author = {Fabian Immler and
Johannes H{\"{o}}lzl},
title = {Ordinary Differential Equations},
journal = {Arch. Formal Proofs},
volume = {2012},
year = {2012},
url = {https://www.isa-afp.org/entries/Ordinary\_Differential\_Equations.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/ImmlerH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/PopescuH12,
author = {Andrei Popescu and
Johannes H{\"{o}}lzl},
title = {Possibilistic Noninterference},
journal = {Arch. Formal Proofs},
volume = {2012},
year = {2012},
url = {https://www.isa-afp.org/entries/Possibilistic\_Noninterference.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/PopescuH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/PopescuHN12,
author = {Andrei Popescu and
Johannes H{\"{o}}lzl and
Tobias Nipkow},
editor = {Chris Hawblitzel and
Dale Miller},
title = {Proving Concurrent Noninterference},
booktitle = {Certified Programs and Proofs - Second International Conference, {CPP}
2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7679},
pages = {109--125},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35308-6\_11},
doi = {10.1007/978-3-642-35308-6\_11},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/cpp/PopescuHN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ImmlerH12,
author = {Fabian Immler and
Johannes H{\"{o}}lzl},
editor = {Lennart Beringer and
Amy P. Felty},
title = {Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL},
booktitle = {Interactive Theorem Proving - Third International Conference, {ITP}
2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7406},
pages = {377--392},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32347-8\_26},
doi = {10.1007/978-3-642-32347-8\_26},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/ImmlerH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HolzlN12,
author = {Johannes H{\"{o}}lzl and
Tobias Nipkow},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Verifying pCTL Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {347--361},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_24},
doi = {10.1007/978-3-642-28756-5\_24},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HolzlN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3870,
author = {Johannes H{\"{o}}lzl and
Tobias Nipkow},
editor = {Uli Fahrenberg and
Axel Legay and
Claus R. Thrane},
title = {Interactive verification of Markov chains: Two distributed protocol
case studies},
booktitle = {Proceedings Quantities in Formal Methods, {QFM} 2012, Paris, France,
28 August 2012},
series = {{EPTCS}},
volume = {103},
pages = {17--31},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.103.2},
doi = {10.4204/EPTCS.103.2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/HolzlH11,
author = {Johannes H{\"{o}}lzl and
Armin Heller},
editor = {Marko C. J. D. van Eekelen and
Herman Geuvers and
Julien Schmaltz and
Freek Wiedijk},
title = {Three Chapters of Measure Theory in Isabelle/HOL},
booktitle = {Interactive Theorem Proving - Second International Conference, {ITP}
2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6898},
pages = {135--151},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22863-6\_12},
doi = {10.1007/978-3-642-22863-6\_12},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/HolzlH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Holzl10,
author = {Johannes H{\"{o}}lzl},
editor = {Kai Bollue and
Dominique G{\"{u}}ckel and
Ulrich Loup and
Jacob Sp{\"{o}}nemann and
Melanie Winkler},
title = {Quantitative Information Flow Analysis in Isabelle},
booktitle = {Proceedings of the Joint Workshop of the German Research Training
Groups in Computer Science, Algorithmic synthesis of reactive and
discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010},
pages = {150},
publisher = {Verlagshaus Mainz, Aachen, Germany},
year = {2010},
timestamp = {Tue, 03 Mar 2020 17:20:41 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/Holzl10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ArnoldHKBS10,
author = {Gilad Arnold and
Johannes H{\"{o}}lzl and
Ali Sinan K{\"{o}}ksal and
Rastislav Bod{\'{\i}}k and
Mooly Sagiv},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Specifying and verifying sparse matrix codes},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {249--260},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863581},
doi = {10.1145/1863543.1863581},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ArnoldHKBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-09-27 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
