The Two-Phase Commitment Protocol in an Extended pi-Calculus. - Martin Berger 001; Kohei Honda 001 (EXPRESS, 2000)

Sequentiality and the pi-Calculus. - Martin Berger 001; Kohei Honda 001; Nobuko Yoshida (TLCA, 2001)

Towards abstractions for distributed systems. - Martin Friedrich Berger (2003)

Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi. - Martin Berger 001 (CONCUR, 2004)

Strong normalisation in the pi -calculus. - Nobuko Yoshida; Martin Berger 001; Kohei Honda 001 (Inf. Comput., 2004)

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. - Kohei Honda 001; Nobuko Yoshida; Martin Berger 001 (LICS, 2005)

Genericity and the pi-calculus. - Martin Berger 001; Kohei Honda 001; Nobuko Yoshida (Acta Informatica, 2005)

Descriptive and Relative Completeness of Logics for Higher-Order Functions. - Kohei Honda 001; Martin Berger 001; Nobuko Yoshida (ICALP (2), 2006)

Timed, Distributed, Probabilistic, Typed Processes. - Martin Berger 001; Nobuko Yoshida (APLAS, 2007)

A logical analysis of aliasing in imperative higher-order functions. - Martin Berger 001; Kohei Honda 001; Nobuko Yoshida (J. Funct. Program., 2007)

Linearity and bisimulation. - Nobuko Yoshida; Kohei Honda 001; Martin Berger 001 (J. Log. Algebraic Methods Program., 2007)

Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. - Martin Berger 001; Kohei Honda 001; Nobuko Yoshida (ICALP (2), 2008)

Logical Reasoning for Higher-Order Functions with Local State. - Nobuko Yoshida; Kohei Honda 001; Martin Berger 001 (Log. Methods Comput. Sci., 2008)

Program Logics for Sequential Higher-Order Control. - Martin Berger 001 (FSEN, 2009)

Program Logics for Homogeneous Meta-programming. - Martin Berger 001; Laurence Tratt (LPAR (Dakar), 2010)

Specification and verification of meta-programs. - Martin Berger 001 (PEPM, 2012)

Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus. - Kohei Honda 001; Nobuko Yoshida; Martin Berger 001 (RTA-TLCA, 2014)

An observationally complete program logic for imperative higher-order functions. - Kohei Honda 001; Nobuko Yoshida; Martin Berger 001 (Theor. Comput. Sci., 2014)

Program Logics for Homogeneous Generative Run-Time Meta-Programming. - Martin Berger 001; Laurence Tratt (Log. Methods Comput. Sci., 2015)

Modelling Homogeneous Generative Meta-Programming. - Martin Berger 001; Laurence Tratt; Christian Urban (ECOOP, 2017)

Asynchronous sessions with implicit functions and messages. - Alexander Jeffery; Martin Berger 001 (Sci. Comput. Program., 2019)

Cathoristic Logic. - Richard Prideaux Evans; Martin Berger 001 (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

ALARM: Active LeArning of Rowhammer Mitigations. - Amir Naseredini; Martin Berger 001; Matteo Sammartino; Shale Xiong (HASP@MICRO, 2022)

Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks. - Amir Naseredini; Stefan Gast; Martin Schwarzl; Pedro Miguel Sousa Bernardo; Amel Smajic; Claudio Canella; Martin Berger 001; Daniel Gruss (ICISSP, 2022)

A program logic for fresh name generation. - Harold Pancho Eliott; Martin Berger 001 (Sci. Comput. Program., 2022)

The Regular Expression Inference Challenge. - Mojtaba Valizadeh; Philip John Gorinski; Ignacio Iacobacci; Martin Berger 001 (CoRR, 2023)

Search-Based Regular Expression Inference on a GPU. - Mojtaba Valizadeh; Martin Berger 001 (Proc. ACM Program. Lang., 2023)

Improving Memory Dependence Prediction with Static Analysis. - Luke Panayi; Rohan Gandhi; Jim Whittaker; Vassilios Chouliaras; Martin Berger 001; Paul Kelly (ARCS, 2024)

LTL Learning on GPUs. - Mojtaba Valizadeh; Nathanaël Fijalkow; Martin Berger 001 (CAV (3), 2024)

Correct and Optimal: The Regular Expression Inference Challenge. - Mojtaba Valizadeh; Philip John Gorinski; Ignacio Iacobacci; Martin Berger 001 (IJCAI, 2024)

Pydrofoil: Accelerating Sail-Based Instruction Set Simulators. - Carl Friedrich Bolz-Tereick; Luke Panayi; Ferdia McKeogh; Tom Spink; Martin Berger 001 (ECOOP, 2025)

GPU accelerated program synthesis: Enumerate semantics, not syntax! - Martin Berger 001; Nathanaël Fijalkow; Mojtaba Valizadeh (CoRR, 2025)