Johannes Hölzl

Citace

	Všechny	Od 2020
Citace	927	366
h-index	17	11
i10-index	21	12

120

20102011201220132014201520162017201820192020202120222023202420255 3 17 41 54 64 76 82 100 104 76 62 62 56 95 15

Veřejný přístup

Zobrazit všechny

17 článků

0 článků

dostupné

nedostupné

Vychází ze zplnomocnění pro financování

Spoluautoři

Andrei PopescuUniversity of SheffieldE-mailová adresa ověřena na: sheffield.ac.uk
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mailová adresa ověřena na: in.tum.de
Andreas LochbihlerDigital Asset (Switzerland) GmbHE-mailová adresa ověřena na: inf.ethz.ch
Dmitriy TraytelUniversity of CopenhagenE-mailová adresa ověřena na: di.ku.dk
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: ifi.lmu.de
Lorenz PannyTechnische Universität MünchenE-mailová adresa ověřena na: yx7.cc
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityE-mailová adresa ověřena na: cmu.edu
Manuel EberlUniversity of InnsbruckE-mailová adresa ověřena na: uibk.ac.at
Ali Sinan KöksalPhD in Computer Science, UC BerkeleyE-mailová adresa ověřena na: cs.berkeley.edu
Mooly SagivTel Aviv UniversityE-mailová adresa ověřena na: acm.org
Rastislav BodikUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
Mathias FleuryUniversity FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
Christian SternagelE-mailová adresa ověřena na: uibk.ac.at
Robert Y. LewisLecturer, Brown UniversityE-mailová adresa ověřena na: brown.edu
Sander R. DahmenResearcher, VU University AmsterdamE-mailová adresa ověřena na: vu.nl
Simon WimmerFakultät für Informatik, Technische Universität MünchenE-mailová adresa ověřena na: in.tum.de
Alexander BentkampHeinrich-Heine-Universität DüsseldorfE-mailová adresa ověřena na: hhu.de

Sledovat

Johannes Hölzl

Neznámá organizace

E-mailová adresa ověřena na: in.tum.de - Domovská stránka

Interactive Theorem Proving Analysis Probability Theory Software Verification


Název Seřadit podle citací Seřadit podle roku Seřadit podle názvu	Citace Citace	Rok
Truly modular (co) datatypes for Isabelle/HOL JC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D Traytel Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014	127	2014
Type classes and filters for mathematical analysis in Isabelle/HOL J Hölzl, F Immler, B Huffman Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013	122	2013
Three chapters of measure theory in Isabelle/HOL J Hölzl, A Heller International Conference on Interactive Theorem Proving, 135-151, 2011	117	2011
Numerical analysis of ordinary differential equations in Isabelle/HOL F Immler, J Hölzl Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012	71	2012
A formally verified proof of the central limit theorem J Avigad, J Hölzl, L Serafin Journal of Automated Reasoning 59 (4), 389-423, 2017	60	2017
Proving inequalities over reals with computation in Isabelle/HOL J Hölzl Proceedings of the ACM SIGSAM 2009 International Workshop on Programming …, 2009	44	2009
Construction and stochastic applications of measure spaces in higher-order logic J Hölzl Technische Universität München, 2013	38	2013
A verified compiler for probability density functions M Eberl, J Hölzl, T Nipkow Programming Languages and Systems: 24th European Symposium on Programming …, 2015	37	2015
Markov chains and Markov decision processes in Isabelle/HOL J Hölzl Journal of Automated Reasoning 59 (3), 345-387, 2017	36	2017
Specifying and verifying sparse matrix codes G Arnold, J Hölzl, AS Köksal, R Bodík, M Sagiv ACM Sigplan Notices 45 (9), 249-260, 2010	33	2010
Proving concurrent noninterference A Popescu, J Hölzl, T Nipkow International Conference on Certified Programs and Proofs, 109-125, 2012	24	2012
Formalizing the solution to the cap set problem SR Dahmen, J Hölzl, RY Lewis arXiv preprint arXiv:1907.01449, 2019	22	2019
Foundational (co) datatypes and (co) recursion for higher-order logic J Biendarra, JC Blanchette, A Bouzy, M Desharnais, M Fleury, J Hölzl, ... Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017 …, 2017	22	2017
Formalising semantics for expected running time of probabilistic programs J Hölzl Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016	20	2016
A Formalized Hierarchy of Probabilistic System Types: Proof Pearl J Hölzl, A Lochbihler, D Traytel Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015	20	2015
Markov processes in Isabelle/HOL J Hölzl Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017	17	2017
Formalizing probabilistic noninterference A Popescu, J Hölzl, T Nipkow Certified Programs and Proofs: Third International Conference, CPP 2013 …, 2013	17	2013
Recursive functions on lazy lists via domains and topologies A Lochbihler, J Hölzl International Conference on Interactive Theorem Proving, 341-357, 2014	16	2014
Verifying pCTL model checking J Hölzl, T Nipkow International Conference on Tools and Algorithms for the Construction and …, 2012	16	2012
Noninterfering Schedulers: When Possibilistic Noninterference Implies Probabilistic Noninterference A Popescu, J Hölzl, T Nipkow International Conference on Algebra and Coalgebra in Computer Science, 236-252, 2013	12	2013

Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.

Články 1–20

Citace za rok

Duplicitní citace

Sloučené citace

Přidat spoluautorySpoluautoři

Sledovat

Citace

Spoluautoři