| 2026 | ESA | Bicriteria Polygon Aggregation with Arbitrary Shapes. | Lotte Blank, David Eppstein, Jan-Henrik Haunert, Herman J. Haverkort, Benedikt Kolbe, Philip Mayer, Petra Mutzel, Alexander Naumann, Jonas Sauer |
| 2025 | ALENEX | A Simpler Approach for Monotone Parametric Minimum Cut: Finding the Breakpoints in Order. | Arne Beines, Michael Kaibel, Philip Mayer, Petra Mutzel, Jonas Sauer |
| 2015 | EASE | An empirical analysis of the utilization of multiple programming languages in open source projects. | Philip Mayer, Alexander Bauer |
| 2014 | ECOOP | Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks. | Philip Mayer, Andreas Schroeder |
| 2014 | ISoLA | Helena@Work: Modeling the Science Cloud Platform. | Annabelle Klarl, Philip Mayer, Rolf Hennicker |
| 2014 | ISoLA | Formalizing Self-adaptive Clouds with KnowLang. | Emil Vassev, Mike Hinchey, Philip Mayer |
| 2013 | OOPSLA | Towards automated cross-language refactorings between Java and DSLs used by Java frameworks. | Philip Mayer, Andreas Schroeder |
| 2012 | EDUCON | Teaching agile software development through lab courses. | Andreas Schroeder, Annabelle Klarl, Philip Mayer, Christian Kroiss |
| 2012 | SCAM | Cross-Language Code Analysis and Refactoring. | Philip Mayer, Andreas Schroeder |
| 2011 | ATVA | MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. | Sebastian S. Bauer, Philip Mayer, Axel Legay |
| 2010 | ISoLA | Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. | Mirco Tribastone, Philip Mayer, Martin Wirsing |
| 2010 | TACAS | On Weak Modal Compatibility, Refinement, and the MIO Workbench. | Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker |
| 2009 | ICSOC | A Service-Oriented UML Profile with Formal Support. | Roberto Bruni, Matthias M. Hlzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing |
| 2008 | EDOC | MDD4SOA: Model-Driven Service Orchestration. | Philip Mayer, Andreas Schroeder, Nora Koch |
| 2008 | ICIW | Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. | Howard Foster, Philip Mayer |
| 2008 | ICSOC | Verifying Interaction Protocol Compliance of Service Orchestrations. | Andreas Schroeder, Philip Mayer |
| 2008 | ISoLA | Safety and Response-Time Analysis of an Automotive Accident Assistance Service. | Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2007 | ECOOP | A visual interface for type-related refactorings. | Philip Mayer, Andreas Meissner, Friedrich Steimann |
| 2006 | ISSTA | Towards a BPEL unit testing framework. | Philip Mayer, Daniel Lbke |
| 2006 | SAC | Decoupling classes with inferred interfaces. | Friedrich Steimann, Philip Mayer, Andreas Meissner |
| 2004 | SAC | Interface utilization in the Java Development Kit. | Jens Gner, Philip Mayer, Friedrich Steimann |
| 2003 | OOPSLA | Analyzing the use of interfaces in large OO projects. | Philip Mayer |