Andreas Lochbihler

Available identifiers

zbMath Open lochbihler.andreasMaRDI QIDQ1663232

List of research outcomes

Publication	Date of Publication	Type
A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks	2023-06-20	Paper
A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory	2022-12-12	Paper
Quotients of Bounded Natural Functors	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5028480	2022-02-09	Paper
CryptHOL: game-based proofs in higher-order logic	2020-04-28	Paper
Effect polymorphism in higher-order logic (proof pearl)	2019-08-21	Paper
Automatic refinement to efficient data structures: a comparison of two approaches	2019-05-31	Paper
Fast machine words in Isabelle/HOL	2018-10-04	Paper
Relational parametricity and quotient preservation for modular (co)datatypes	2018-10-04	Paper
Mechanising a type-safe model of multithreaded Java with a verified compiler	2018-08-21	Paper
Effect polymorphism in higher-order logic (proof pearl)	2018-01-04	Paper
Foundational (co)datatypes and (co)recursion for higher-order logic	2018-01-04	Paper
Friends with Benefits	2017-05-19	Paper
Equational Reasoning with Applicative Functors	2016-10-27	Paper
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic	2016-04-26	Paper
A Formalized Hierarchy of Probabilistic System Types	2015-09-14	Paper
Stream Fusion for Isabelle’s Code Generator	2015-09-14	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
Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable	2013-08-07	Paper
Java and the Java Memory Model — A Unified, Machine-Checked Formalisation	2012-06-22	Paper
Animating the Formalised Semantics of a Java-Like Language	2011-08-17	Paper
The Isabelle Collections Framework	2010-09-14	Paper
Verifying a Compiler for Java Threads	2010-05-04	Paper
Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL	2009-10-20	Paper
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL	2008-12-04	Paper
The computational complexity of evolutionarily stable strategies	2008-05-26	Paper

Research outcomes over time

This page was built for person: Andreas Lochbihler