| 2019 | MEDI | Concurrent Computing with Shared Replicated Memory. | Klaus-Dieter Schewe, Andreas Prinz, Egon Brger |
| 2018 | ISoLA | Why Programming Must Be Supported by Modeling and How. | Egon Brger |
| 2012 | IFM | Contribution to a Rigorous Analysis of Web Application Frameworks. | Egon Brger, Antonio Cisternino, Vincenzo Gervasi |
| 2007 | ER | Modeling Workflow Patterns from First Principles. | Egon Brger |
| 2006 | ICWE | A high-level specification for Semantic Web Service Discovery Services. | Andreas Friesen, Egon Brger |
| 2005 | BPM | A High-Level Specification for Mediators(Virtual Providers). | Michael Altenhofen, Egon Brger, Jens Lemcke |
| 2005 | ICFEM | An Abstract Model for Process Mediation. | Michael Altenhofen, Egon Brger, Jens Lemcke |
| 2005 | ICFEM | A Compositional Framework for Service Interaction Patterns and Interaction Flows. | Alistair Barros, Egon Brger |
| 2003 | SAC | Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. | Egon Brger, Elvinia Riccobene, Alessandra Cavarra |
| 2000 | CSL | Composition and Submachine Concepts for Sequential ASMs. | Egon Brger, Joachim Schmid |
| 1998 | FM | High Level System Design and Analysis Using Abstract State Machines. | Egon Brger |
| 1998 | MFCS | Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. | Egon Brger, Wolfram Schulte |
| 1995 | ICECCS | A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. | Egon Brger, Giuseppe Del Castillo |
| 1995 | SOFSEM | Why Use Evolving Algebras for Hardware and Software Engineering? | Egon Brger |
| 1993 | ICLP | Full Prolog in a Nutshell. | Egon Brger, Dean Rosenzweig |
| 1991 | CSL | Correctness Proof For the WAM with Types. | Christoph Beierle, Egon Brger |
| 1991 | LPAR | Logical Operational Semantics of Parlog. Part II: Or-Parallelism. | Egon Brger, Elvinia Riccobene |
| 1991 | LPAR | WAM Algebras - A Mathematical Study of Implementation, Part 2. | Egon Brger, Dean Rosenzweig |
| 1990 | CSL | From Prolog Algebras Towards WAM - A Mathematical Study of Implementation. | Egon Brger, Dean Rosenzweig |
| 1990 | CSL | A Formal Operational Semantics for Languages of Type Prolog III. | Egon Brger, Peter H. Schmitt |
| 1990 | MFCS | A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation. | Egon Brger |
| 1989 | CSL | A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control. | Egon Brger |
| 1981 | FCT | Logical Description of Computation Processes. | Egon Brger |