| 2023 | TAP | Symbolic Observation Graph-Based Generation of Test Paths. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jrg Desel, Hanen Ochi |
| 2017 | GI | Die Entwicklung neuer GI-Empfehlungen fr Informatik-Studiengnge. | Jrg Desel |
| 2014 | BPM | Analyzing a TCP/IP-Protocol with Process Mining Techniques. | Christian Wakup, Jrg Desel |
| 2014 | FOSSACS | On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. | Javier Esparza, Jrg Desel |
| 2013 | CONCUR | On Negotiation as Concurrency Primitive. | Javier Esparza, Jrg Desel |
| 2012 | FORTE | Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. | Kais Klai, Jrg Desel |
| 2009 | BPM | Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. | Kais Klai, Samir Tata, Jrg Desel |
| 2007 | BPM | Process Mining Based on Regions of Languages. | Robin Bergenthum, Jrg Desel, Robert Lorenz, Sebastian Mauser |
| 2003 | BPM | Modelling and Validation with VipTool. | Jrg Desel, Gabriel Juhs, Robert Lorenz, Christian Neumair |
| 2003 | GI | Referenzmodellierung 2003 (RefMod2003). | Jrg Becker, Jrg Desel, Ulrich Frank, Stefan Kirn, Helmut Krcmar, Peter Loos, Markus Nttgens, Michael Rohloff, Reinhard Schtte |
| 2001 | GI | Wer will virtuell lehren? Wer will virtuell lernen? | Jrg Desel |
| 2000 | BPM | Validation of Process Models by Construction of Process Nets. | Jrg Desel |
| 2000 | BPM | Modeling, Simulation and Analysis of Business Processes. | Jrg Desel, Thomas Erwin |
| 2000 | WSC | Teaching system modeling, simulation and validation. | Jrg Desel |
| 1997 | GI | Workshop: Grundlagen der Parallelitt. | Jrg Desel, Horst Reichel |
| 1993 | STACS | The Synthesis Problem of Petri Nets. | Jrg Desel, Wolfgang Reisig |
| 1993 | WG | Regular Marked Petri Nets. | Jrg Desel |
| 1991 | STACS | Compositional Generation of Home States in Free Choice Systems. | Eike Best, Ludmila Cherkasova, Jrg Desel |
| 1991 | STACS | Reachability in Reversible Free Choice Systems. | Jrg Desel, Javier Esparza |
| 1990 | CONCUR | Reduction and Design of Well-behaved Concurrent Systems. | Jrg Desel |