| 2022 | SecureComm | Assessing the Quality of Differentially Private Synthetic Data for Intrusion Detection. | Md Ali Reza Al Amin, Sachin Shetty, Valerio Formicola, Martin Otto |
| 2020 | CSL | Guarded Teams: The Horizontally Guarded Case. | Erich Grdel, Martin Otto |
| 2019 | ICDT | Additive First-Order Queries. | Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche |
| 2017 | LICS | Common knowledge and multi-scale locality analysis in Cayley structures. | Felix Canavoi, Martin Otto |
| 2013 | LICS | Groupoids, Hypergraphs, and Symmetries in Finite Models. | Martin Otto |
| 2012 | CSL | Pebble Games and Linear Equations. | Martin Grohe, Martin Otto |
| 2011 | CSL | The Freedoms of Guarded Bisimulation. | Martin Otto |
| 2010 | LICS | Querying the Guarded Fragment. | Vince Brny, Georg Gottlob, Martin Otto |
| 2010 | LICS | Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. | Martin Otto |
| 2009 | ICALP | Boundedness of Monadic Second-Order Formulae over Finite Words. | Achim Blumensath, Martin Otto, Mark Weyer |
| 2008 | AiML | A Lindstrm characterisation of the guarded fragment and of modal logic with a global modality. | Martin Otto, Robert Piro |
| 2007 | ICALP | Boundedness of Monadic FO over Acyclic Structures. | Stephan Kreutzer, Martin Otto, Nicole Schweikardt |
| 2006 | FDTC | Wagner's Attack on a Secure CRT-RSA Algorithm Reconsidered. | Johannes Blmer, Martin Otto |
| 2006 | FDTC | Sign Change Fault Attacks on Elliptic Curve Cryptosystems. | Johannes Blmer, Martin Otto, Jean-Pierre Seifert |
| 2006 | LICS | The Boundedness Problem for Monadic Universal First-Order Logic. | Martin Otto |
| 2005 | LICS | Modal Characterisation Theorems over Special Classes of Frames. | Anuj Dawar, Martin Otto |
| 2005 | LICS | Small Substructures and Decidability Issues for First-Order Logic with Two Variables. | Emanuel Kieronski, Martin Otto |
| 2003 | CCS | A new CRT-RSA algorithm secure against bellcore attacks. | Johannes Blmer, Martin Otto, Jean-Pierre Seifert |
| 2002 | LICS | Modal and Guarded Characterisation Theorems over Finite Transition Systems. | Martin Otto |
| 2000 | LICS | Back and Forth between Guarded and Modal Logics. | Erich Grdel, Colin Hirsch, Martin Otto |
| 1999 | ICDT | Adding For-Loops to First-Order Logic. | Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche |
| 1999 | LPAR | Beth Definability for the Guarded Fragment. | Eva Hoogland, Maarten Marx, Martin Otto |
| 1999 | STACS | Eliminating Recursion in the µ-Calculus. | Martin Otto |
| 1998 | LICS | On the Boundedness Problem for Two-Variable First-Order Logic. | Phokion G. Kolaitis, Martin Otto |
| 1997 | LFCS | Capturing Bisimulation-Invariant Ptime. | Martin Otto |
| 1997 | LICS | Two-Variable Logic with Counting is Decidable. | Erich Grdel, Martin Otto, Eric Rosen |
| 1997 | STACS | Undecidability Results on Two-Variable Logics. | Erich Grdel, Martin Otto, Eric Rosen |
| 1996 | CSL | The Logic of Explicitly Presentation-Invariant Circuits. | Martin Otto |
| 1995 | LICS | Ptime Canonization for Two Variables with Counting | Martin Otto |
| 1994 | LICS | Generalized Quantifiers for Simple Properties | Martin Otto |
| 1992 | CSL | Inductive Definability with Counting on Finite Structures. | Erich Grdel, Martin Otto |