| 2025 | ECOOP | Pydrofoil: Accelerating Sail-Based Instruction Set Simulators. | Carl Friedrich Bolz-Tereick, Luke Panayi, Ferdia McKeogh, Tom Spink, Martin Berger |
| 2024 | CAV | LTL Learning on GPUs. | Mojtaba Valizadeh, Nathanal Fijalkow, Martin Berger |
| 2024 | IJCAI | Correct and Optimal: The Regular Expression Inference Challenge. | Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger |
| 2023 | HCI | Didactics and Technical Challenges of Virtual Learning Locations for Vocational Education and Training. | Thomas Keller, Martin Berger, Janick Michot, Elke Brucker-Kley, Reto Knaack |
| 2022 | ICISSP | 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, Daniel Gruss |
| 2022 | iLRN | Work-In-Progress - Virtual Reality for Basic Vocational Training. | Teodora Nechita, Reto Knaack, Martin Berger, Thomas Keller, Elke Brucker-Kley, Janick Michot |
| 2019 | ICAART | Towards Minimizing e-Commerce Returns for Clothing. | Alexander K. Seewald, Thomas Wernbacher, Alex Pfeiffer, Natalie Denk, Mario Platzer, Martin Berger, Thomas Winter |
| 2018 | MICCAI | Phase-Sensitive Region-of-Interest Computed Tomography. | Lina Felsner, Martin Berger, Sebastian Kaeppler, Johannes Bopp, Veronika Ludwig, Thomas Weber, Georg Pelzer, Thilo Michel, Andreas K. Maier, Gisela Anton, Christian Riess |
| 2018 | TASE | Asynchronous Sessions with Implicit Functions and Messages. | Alexander Jeffery, Martin Berger |
| 2017 | ECOOP | Modelling Homogeneous Generative Meta-Programming. | Martin Berger, Laurence Tratt, Christian Urban |
| 2012 | PEPM | Specification and verification of meta-programs. | Martin Berger |
| 2010 | LPAR | Program Logics for Homogeneous Meta-programming. | Martin Berger, Laurence Tratt |
| 2008 | ICALP | Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2007 | APLAS | Timed, Distributed, Probabilistic, Typed Processes. | Martin Berger, Nobuko Yoshida |
| 2007 | FOSSACS | Logical Reasoning for Higher-Order Functions with Local State. | Nobuko Yoshida, Kohei Honda, Martin Berger |
| 2006 | ICALP | Descriptive and Relative Completeness of Logics for Higher-Order Functions. | Kohei Honda, Martin Berger, Nobuko Yoshida |
| 2005 | ICFP | A logical analysis of aliasing in imperative higher-order functions. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2005 | LICS | An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. | Kohei Honda, Nobuko Yoshida, Martin Berger |
| 2004 | CONCUR | Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi. | Martin Berger |
| 2003 | FOSSACS | Genericity and the pi-Calculus. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2002 | FOSSACS | Linearity and Bisimulation. | Nobuko Yoshida, Kohei Honda, Martin Berger |
| 2002 | ICIP | Fast object recognition and pose determination. | Martin Sengel, Martin Berger, Vassili Kravtchenko-Berejnoi, Horst Bischof |
| 2001 | LICS | Strong Normalisation in the pi-Calculus. | Nobuko Yoshida, Martin Berger, Kohei Honda |
| 2000 | ICPR | 3D Model Based Pose Determination in Real-Time: Strategies, Convergence, Accurac. | Martin Berger, Thomas Auer, Gernot Bachler, Stefan Scherer, Axel Pinz |
| 2000 | MVA | Fitting 3D Models To 2D Imagery: A Physics Based Approach. | Martin Berger, Vassili Kravtchenko-Berejnoi, Stefan Scherer |
| 1999 | CAIP | A Vision Driven Automatic Assembly Unit. | Gernot Bachler, Martin Berger, Reinhard Rhrer, Stefan Scherer, Axel Pinz |
| 1998 | MICCAI | Motion Measurements in Low-Contrast X-ray Imagery. | Martin Berger, Guido Gerig |
| 1997 | CVPR | Deformable Multi Template Matching with Application to Portal Images. | Martin Berger, Gaudenz Danuser |