A Formally Verified Proof of the Central Limit Theorem von Avigad, Jeremy, Hölzl, Johannes, Serafin, Luke

Volltext

Three Chapters of Measure Theory in Isabelle/HOL von Hölzl, Johannes, Heller, Armin

Volltext

Markov Chains and Markov Decision Processes in Isabelle/HOL von Hölzl, Johannes

Volltext

Formalizing Probabilistic Noninterference von Popescu, Andrei, Hölzl, Johannes, Nipkow, Tobias

Volltext

Interactive verification of Markov chains: Two distributed protocol case studies von Hölzl, Johannes, Nipkow, Tobias

Volltext

Formal Verification of Language-Based Concurrent Noninterference von Popescu, Andrei, Hölzl, Johannes, Nipkow, Tobias

Volltext

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic von Biendarra, Julian, Blanchette, Jasmin Christian, Bouzy, Aymeric, Desharnais, Martin, Fleury, Mathias, Hölzl, Johannes, Kunčar, Ondřej, Lochbihler, Andreas, Meier, Fabian, Panny, Lorenz, Popescu, Andrei, Sternagel, Christian, Thiemann, René, Traytel, Dmitriy

Volltext

Feasibility study for the use of hydrodynamic plain bearings with balancing support characteristics as main bearing in wind turbines von Rolink, Amadeus, Schröder, Tim, Jacobs, Georg, Bosse, Dennis, Hölzl, Johannes, Bergmann, Philipp

Volltext

Simulating the photon stream of a real thermal light source von Schneider, Raimund, Biernoth, Christoph, Hölzl, Johannes, Pscherer, André, von Zanthier, Joachim

Volltext

Towards a beneficial management of personal health records von Kop, Christian, Leitner, Gerhard, Schartner, Peter, Shekhovtsov, Volodymyr, Steinberger, Claudia, Zografou, Eleni, Ströckl, Daniela E., Voutsinas, Christoph, Groiss, Herbert, Hölzl, Johannes, Irrasch, Markus

Volltext

Type Classes and Filters for Mathematical Analysis in Isabelle/HOL von Hölzl, Johannes, Immler, Fabian, Huffman, Brian

Volltext

A Verified Compiler for Probability Density Functions von Eberl, Manuel, Hölzl, Johannes, Nipkow, Tobias

Volltext

MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper) von Wimmer, Simon, Hölzl, Johannes

Volltext

Formalising Semantics for Expected Running Time of Probabilistic Programs von Hölzl, Johannes

Volltext

Pod for wind turbine von HOLZL JOHANNES SEBASTIAN

Volltext bestellen

Nacelle for wind turbine von HOLZL JOHANNES SEBASTIAN

Volltext bestellen

A Formalized Hierarchy of Probabilistic System Types: Proof Pearl von Hölzl, Johannes, Lochbihler, Andreas, Traytel, Dmitriy

Volltext

Rotor main bearing of nacelle of wind turbine von HOLZL JOHANNES SEBASTIAN

Volltext bestellen

Method for replacing sliding bearing element of rotor support of wind power plant and nacelle for wind power plant von HOLZL JOHANNES SEBASTIAN, HAGER GUNTHER

Volltext bestellen

NACELLE FOR A WIND TURBINE von HOLZL JOHANNES SEBASTIAN

Volltext bestellen