Andreas Lochbihler

Available identifiers

zbMath Open lochbihler.andreasMaRDI QIDQ1663232

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6099616	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
Foundational (co)datatypes and (co)recursion for higher-order logic	2018-01-04	Paper
Effect polymorphism in higher-order logic (proof pearl)	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andreas Lochbihler