Andreas Lochbihler

Cited by

	All	Since 2018
Citations	968	513
h-index	18	12
i10-index	25	15

120

200720082009201020112012201320142015201620172018201920202021202220235 7 6 12 33 39 36 84 68 67 86 88 115 112 102 83 13

Public access

View all

20 articles

1 article

available

not available

Based on funding mandates

Co-authors

Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Johannes HölzlVerified email at in.tum.de
Andrei PopescuUniversity of SheffieldVerified email at sheffield.ac.uk
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Peter LammichThe University of ManchesterVerified email at in.tum.de
Ueli MaurerProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Damien DesfontainesSenior Scientist, Tumult LabsVerified email at tmlt.io
Kousha EtessamiUniversity of EdinburghVerified email at inf.ed.ac.uk
Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
David ButlerPostdoc at the Alan Turing InstituteVerified email at turing.ac.uk
Gregor SneltingKITVerified email at kit.edu
Christian SternagelVerified email at uibk.ac.at
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Adrià GascónGoogle ResearchVerified email at google.com
Peter GammieANUVerified email at anu.edu.au
Bhargav Nagaraja BhattDoctoral Research Assisstant, USI LuganoVerified email at usi.ch
Dorothea WagnerProfessor of Computer Science, Karlsruhe Institute of Technology (KIT)Verified email at kit.edu
Manuel EberlPostdoc in Computer Science, Universität InnsbruckVerified email at uibk.ac.at
Ignaz RutterUniversity of PassauVerified email at uni-passau.de

Andreas Lochbihler

Digital Asset (Switzerland) GmbH

Verified email at inf.ethz.ch - Homepage

Security Formal Methods Theorem Proving Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Truly modular (co) datatypes for Isabelle/HOL JC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D Traytel ITP 2014, 93-110, 2014	116	2014
Verifying a Compiler for Java Threads. A Lochbihler ESOP 2010, 427-447, 2010	77	2010
The Isabelle collections framework P Lammich, A Lochbihler ITP 2010, 339-354, 2010	68	2010
CryptHOL: Game-based Proofs in Higher-order Logic⋆ DA Basin, A Lochbihler, SR Sefidgar Cryptology ePrint Archive, 2017	59	2017
Cardinality estimators do not preserve privacy D Desfontaines, A Lochbihler, D Basin Proceedings on Privacy Enhancing Technologies 2019 (2), 26-46, 2019	43	2019
Java and the Java memory model—A unified, machine-checked formalisation A Lochbihler ESOP 2012, 497-517, 2012	43	2012
The computational complexity of evolutionarily stable strategies K Etessami, A Lochbihler International Journal of Game Theory 37 (1), 93-113, 2008	42	2008
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic. A Lochbihler ESOP 2016, 503-531, 2016	39	2016
Making the Java memory model safe A Lochbihler ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-65, 2013	37	2013
Light-weight containers for Isabelle: efficient, extensible, nestable A Lochbihler ITP 2013, 116-132, 2013	36	2013
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler A Lochbihler Karlsruhe Institute of Technology, 2012	36	2012
Friends with benefits: Implementing Corecursion in Foundational Proof Assistants JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel ESOP 2017, 111-140, 2017	33	2017
Animating the Formalised Semantics of a Java-Like Language. A Lochbihler, L Bulwahn ITP 2011, 216-232, 2011	29	2011
Formalizing constructive cryptography using CryptHOL A Lochbihler, SR Sefidgar, D Basin, U Maurer 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 152-15214, 2019	26	2019
Type safe nondeterminism-a formal semantics of Java threads A Lochbihler Foundations of Object-Oriented Languages (FOOL 2008), 2008	26	2008
Coinduction A Lochbihler Archive of Formal Proofs, 2010	21*	2010
Jinja with threads A Lochbihler Archive of Formal Proofs, 2007	21	2007
Foundational (Co) datatypes and (Co) recursion for Higher-Order Logic J Biendarra, JC Blanchette, A Bouzy, M Desharnais, M Fleury, J Hölzl, ... FroCoS, 2017	18	2017
A Formalized Hierarchy of Probabilistic System Types (Proof Pearl) J Hölzl, A Lochbihler, D Traytel ITP 2015, 2015	16	2015
Recursive functions on lazy lists via domains and topologies A Lochbihler, J Hölzl ITP 2014, 341-357, 2014	15	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors