The following pages link to Andreas Lochbihler (Q1663232):
Displayed 28 items.
- Item:Q1663232 (redirect page) (← links)
- The computational complexity of evolutionarily stable strategies (Q926196) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Foundational (co)datatypes and (co)recursion for higher-order logic (Q1687535) (← links)
- Fast machine words in Isabelle/HOL (Q1791180) (← links)
- Relational parametricity and quotient preservation for modular (co)datatypes (Q1791181) (← links)
- A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory (Q2102926) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- Automatic refinement to efficient data structures: a comparison of two approaches (Q2417948) (← links)
- Probabilistic Functions and Cryptographic Oracles in Higher Order Logic (Q2802495) (← links)
- Equational Reasoning with Applicative Functors (Q2829262) (← links)
- Truly Modular (Co)datatypes for Isabelle/HOL (Q2879246) (← links)
- Recursive Functions on Lazy Lists via Domains and Topologies (Q2879262) (← links)
- Java and the Java Memory Model — A Unified, Machine-Checked Formalisation (Q2892748) (← links)
- A Formalized Hierarchy of Probabilistic System Types (Q2945633) (← links)
- Stream Fusion for Isabelle’s Code Generator (Q2945639) (← links)
- Friends with Benefits (Q2988636) (← links)
- Animating the Formalised Semantics of a Java-Like Language (Q3088008) (← links)
- Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL (Q3183537) (← links)
- Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL (Q3543667) (← links)
- Verifying a Compiler for Java Threads (Q3558240) (← links)
- (Q5028480) (← links)
- Quotients of Bounded Natural Functors (Q5048992) (← links)
- Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable (Q5327340) (← links)
- The Isabelle Collections Framework (Q5747660) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5915785) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)
- A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks (Q6099616) (← links)