| 2015 | SOFSEM | Nondeterministic Modal Interfaces. | Ferenc Bujtor, Sascha Fendrich, Gerald Lttgen, Walter Vogler |
| 2014 | SOFSEM | Error-Pruning in Interface Automata. | Ferenc Bujtor, Walter Vogler |
| 2011 | FOSSACS | A Trace-Based View on Operating Guidelines. | Christian Stahl, Walter Vogler |
| 2009 | SOFSEM | Time and Fairness in a Process Algebra with Non-blocking Reading. | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2009 | SOFSEM | Safe Reasoning with Logic LTS. | Gerald Lttgen, Walter Vogler |
| 2007 | ICALP | Ready Simulation for Concurrency: It's Logical! | Gerald Lttgen, Walter Vogler |
| 2006 | CONCUR | Checking a Mutex Algorithm in a Process Algebra with Fairness. | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2006 | FOSSACS | Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. | Gerald Lttgen, Walter Vogler |
| 2006 | ICTAC | Stronger Reduction Criteria for Local First Search. | Marcos E. Kurbn, Peter Niebert, Hongyang Qu, Walter Vogler |
| 2005 | CONCUR | Merged Processes - A New Condensed Representation of Petri Net Behaviour. | Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler |
| 2005 | FOSSACS | Bisimulation on Speed: A Unified Approach. | Gerald Lttgen, Walter Vogler |
| 2005 | FOSSACS | Component Refinement and CSC Solving for STG Decomposition. | Mark Schfer, Walter Vogler |
| 2004 | FOSSACS | Bisimulation on Speed: Lower Time Bounds. | Gerald Lttgen, Walter Vogler |
| 2003 | CONCUR | Relating Fairness and Timing in Process Algebras. | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2002 | CAV | Canonical Prefixes of Petri Net Unfoldings. | Victor Khomenko, Maciej Koutny, Walter Vogler |
| 2001 | CONCUR | A Faster-than Relation for Asynchronous Processes. | Gerald Lttgen, Walter Vogler |
| 1998 | CONCUR | Unfolding and Finite Prefix for Nets with Read Arcs. | Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev |
| 1997 | ICALP | Efficiency of Asynchronous Systems and Read Arcs in Petri Nets. | Walter Vogler |
| 1997 | MFCS | Partial Order Semantics and Read Arcs. | Walter Vogler |
| 1996 | FORTE | Applications of Fair Testing. | Ed Brinksma, Arend Rensink, Walter Vogler |
| 1996 | ICALP | Fast Asynchronous Systems in Dense Time. | Lars Jenner, Walter Vogler |
| 1996 | TACAS | An Improvement of McMillan's Unfolding Algorithm. | Javier Esparza, Stefan Rmer, Walter Vogler |
| 1995 | CONCUR | Fair Testing. | Ed Brinksma, Arend Rensink, Walter Vogler |
| 1995 | CONCUR | Faster Asynchronous Systems. | Walter Vogler |
| 1995 | ICALP | The Limit of Split_n-Language Equivalence. | Walter Vogler |
| 1993 | ICALP | Timed Testing of Concurrent Systems. | Walter Vogler |
| 1992 | ICALP | Asynchronous Communication of Petri Nets and the Refinement of Transitions. | Walter Vogler |
| 1991 | ICALP | Deciding History Preserving Bisimilarity. | Walter Vogler |
| 1991 | STACS | Bisimulation and Action Refinement. | Walter Vogler |
| 1990 | MFCS | Quality Criteria for Partial Order Semantics of Place/Transition-Nets. | Robert Gold, Walter Vogler |
| 1990 | STACS | Failures Semantics Based on Interval Semiwords is a Congruence for Refinement. | Walter Vogler |
| 1989 | WG | On Hyperedge Replacement and BNLC Graph Grammars. | Walter Vogler |
| 1988 | MFCS | Local Checking of Trace Synchroniziability. | Volker Diekert, Walter Vogler |
| 1988 | MFCS | Failures Semantics and Deadlocking of Modular Petri Nets. | Walter Vogler |
| 1987 | STACS | The Step Failure Semantics. | Dirk Taubner, Walter Vogler |
| 1986 | WG | Behaviour Preserving Refinement of Petri Nets. | Walter Vogler |