| 2025 | ER | Towards a Fundamental Theory of Modeling Discrete Systems. | Peter Fettke, Wolfgang Reisig |
| 2024 | ISoLA | Once and for All: How to Compose Modules - The Composition Calculus. | Peter Fettke, Wolfgang Reisig |
| 2022 | BPM | Systems Mining with Heraklit: The Next Step. | Peter Fettke, Wolfgang Reisig |
| 2022 | ICSoft | Breathing Life into Models: The Next Generation of Enterprise Modeling. | Peter Fettke, Wolfgang Reisig |
| 2022 | ISoLA | Discrete Models of Continuous Behavior of Collective Adaptive Systems. | Peter Fettke, Wolfgang Reisig |
| 2020 | ISoLA | Composition of Component Models - A Key to Construct Big Systems. | Wolfgang Reisig |
| 2019 | ICSE | Modelling and analysing resilient cyber-physical systems. | Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Mller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao |
| 2016 | ICTERI | Service Orientation as a Paradigm of Computing. | Wolfgang Reisig |
| 2015 | SEFM | Certification of Distributed Algorithms Solving Problems with Optimal Substructure. | Kim Vllinger, Wolfgang Reisig |
| 2007 | CALCO | A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. | Andreas Glausch, Wolfgang Reisig |
| 2006 | ISoLA | Analysis Techniques for Service Models. | Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner |
| 2004 | TIME | Compositional Temporal Logic Based on Partial Order. | Adrianna Alexander, Wolfgang Reisig |
| 2003 | EuroPar | Topic Introduction. | Jayadev Misra, Wolfgang Reisig, Michael Schttner, Laurent Lefvre |
| 2002 | GI | Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge". | Wolfgang Reisig |
| 2000 | BPM | Inter-operability of Workflow Applications: Local Criteria for Global Soundness. | Ekkart Kindler, Axel Martens, Wolfgang Reisig |
| 1998 | SMC | Distributed algorithms: modeling and analysis with Petri nets. | Wolfgang Reisig |
| 1996 | CONCUR | Modelling and Verification of Distributed Algorithms. | Wolfgang Reisig |
| 1993 | STACS | The Synthesis Problem of Petri Nets. | Jrg Desel, Wolfgang Reisig |
| 1988 | CONCUR | Temporal Logic and Causality in Concurrent Systems. | Wolfgang Reisig |
| 1984 | ICALP | Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. | Wolfgang Reisig |
| 1983 | ICALP | Processes of Place/Transition-Nets. | Ursula Goltz, Wolfgang Reisig |
| 1983 | RE | System Design Using Petri Nets. | Wolfgang Reisig |
| 1980 | MFCS | Schemes for Nonsequential Processing Systems. | Wolfgang Reisig |
| 1980 | WG | A Graph Grammar Representation of Non-Sequential Processes. | Wolfgang Reisig |