| 2026 | CaiSE | Evaluation of an Architecture for an LLM-Based Analytics System for Exploratory Process Mining. | Timothy Sulzer, Hagen Vlzer, Barbara Weber |
| 2023 | CaiSE | Supporting Provenance and Data Awareness in Exploratory Process Mining. | Francesca Zerbato, Andrea Burattin, Hagen Vlzer, Paul Nelson Becker, Elia Boscaini, Barbara Weber |
| 2023 | CaiSE | ProMiSE: Process Mining Support for End-Users. | Francesca Zerbato, Lisa Zimmermann, Hagen Vlzer, Barbara Weber |
| 2023 | ENASE | Leveraging Digital Trace Data to Investigate and Support Human-Centered Work Processes. | Barbara Weber, Amine Abbad-Andaloussi, Marco Franceschetti, Ronny Seiger, Hagen Vlzer, Francesca Zerbato |
| 2023 | ICPM | A Fresh Approach to Analyze Process Outcomes. | Hagen Vlzer, Francesca Zerbato, Timothy Sulzer, Barbara Weber |
| 2021 | BPM | Graph Autoencoders for Business Process Anomaly Detection. | Siyu Huo, Hagen Vlzer, Prabhat Reddy, Prerna Agarwal, Vatche Isahagian, Vinod Muthusamy |
| 2019 | EDOC | Managing Security Objects and -Processes Using an Extended BPM Approach and -System. | Jochen Kster, Niklaus Meyer, Hagen Vlzer, Maria Dubovitskaya, Michael Osborne, Axel Tanner |
| 2019 | ICSOC | Model-Driven Engineering for Multi-party Interactions on a Blockchain - An Example. | Gero Dittmann, Alessandro Sorniotti, Hagen Vlzer |
| 2018 | ICSOC | CEA: A Service for Cognitive Event Automation. | Larisa Shwartz, Jinho Hwang, Hagen Vlzer, Michael Nidd, Murilo Goncalves Aguiar, Marcos Vinicius Landivar Paraiso, Letusa Valero |
| 2018 | TACAS | Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets. | Philipp J. Meyer, Javier Esparza, Hagen Vlzer |
| 2016 | BPM | The Complexity of Deadline Analysis for Workflow Graphs with Multiple Resources. | Mirela Botezatu, Hagen Vlzer, Lothar Thiele |
| 2016 | BPM | Dynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows. | Dirk Fahland, Hagen Vlzer |
| 2016 | TACAS | Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). | Cdric Favre, Hagen Vlzer, Peter Mller |
| 2015 | BPM | Towards a Methodology for the Engineering of Event-Driven Process Applications. | Anne Baumgra, Mirela Botezatu, Claudio Di Ciccio, Remco M. Dijkman, Paul Grefen, Marcin Hewelt, Jan Mendling, Andreas Meyer, Shaya Pourmirza, Hagen Vlzer |
| 2015 | ICECCS | The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource. | Mirela Botezatu, Hagen Vlzer, Lothar Thiele |
| 2015 | KDD | Multi-View Incident Ticket Clustering for Optimal Ticket Dispatching. | Mirela Madalina Botezatu, Jasmina Bogojeska, Ioana Giurgiu, Hagen Vlzer, Dorothea Wiesmann |
| 2014 | BPM | A Case Study in Workflow Scheduling Driven by Log Data. | Mirela Botezatu, Hagen Vlzer, Remco M. Dijkman |
| 2012 | BPM | The Shared Process Model. | Cdric Favre, Jochen Malte Kster, Hagen Vlzer |
| 2012 | BPM | The Difficulty of Replacing an Inclusive OR-Join. | Cdric Favre, Hagen Vlzer |
| 2012 | MODELS | Matching Business Process Workflows across Abstraction Levels. | Moiss Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Kster, Hagen Vlzer |
| 2010 | BPM | Symbolic Execution of Acyclic Workflow Graphs. | Cdric Favre, Hagen Vlzer |
| 2010 | BPM | A New Semantics for the Inclusive Converging Gateway in Safe Processes. | Hagen Vlzer |
| 2009 | BPM | Instantaneous Soundness Checking of Industrial Business Process Models. | Dirk Fahland, Cdric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Vlzer, Karsten Wolf |
| 2009 | BPM | Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators. | Cdric Favre, Thomas Gschwind, Jana Koehler, Wolfgang Kleinder, Alexander Maystrenko, Krenar Muhidini, Hagen Vlzer, Janette Wong |
| 2009 | CONCUR | Counterexamples in Probabilistic LTL Model Checking for Markov Chains. | Matthias Schmalz, Daniele Varacca, Hagen Vlzer |
| 2008 | BPM | The Refined Process Structure Tree. | Jussi Vanhatalo, Hagen Vlzer, Jana Koehler |
| 2008 | ICSOC | Automatic Workflow Graph Refactoring and Completion. | Jussi Vanhatalo, Hagen Vlzer, Frank Leymann, Simon Moser |
| 2007 | ICSOC | Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. | Jussi Vanhatalo, Hagen Vlzer, Frank Leymann |
| 2006 | LICS | Temporal Logics and Model Checking for Fairly Correct Systems. | Daniele Varacca, Hagen Vlzer |
| 2005 | CONCUR | Defining Fairness. | Hagen Vlzer, Daniele Varacca, Ekkart Kindler |
| 2004 | CONCUR | Probabilistic Event Structures and Domains. | Daniele Varacca, Hagen Vlzer, Glynn Winskel |
| 2004 | ICALP | On Randomization Versus Synchronization in Distributed Systems. | Hagen Vlzer |
| 2002 | CONCUR | Refinement-Robust Fairness. | Hagen Vlzer |
| 2001 | CONCUR | Randomized Non-sequential Processes. | Hagen Vlzer |