Distributed Algorithms for Networks of Agents. - Wolfgang Reisig; Ekkart Kindler; Tobias Vesper; Hagen Völzer; Rolf Walter (Petri Nets (2), 1996)

Petri Net Based Verification of Distributed Algorithms: An Example. - Ekkart Kindler; Wolfgang Reisig; Hagen Völzer; Rolf Walter (Formal Aspects Comput., 1997)

Verifying Fault Tolerance of Distributed Algorithms Formally - An Example. - Hagen Völzer (ACSD, 1998)

Flexibility in Algebraic Nets. - Ekkart Kindler; Hagen Völzer (ICATPN, 1998)

Verifying Intuition - ILF Checks DAWN Proofs. - Thomas Baar; Ekkart Kindler; Hagen Völzer (ICATPN, 1999)

Fairneß, Randomisierung und Konspiration in verteilten Algorithmen. - Hagen Völzer (2000)

Randomized Non-sequential Processes. - Hagen Völzer (CONCUR, 2001)

Algebraic nets with flexible arcs. - Ekkart Kindler; Hagen Völzer (Theor. Comput. Sci., 2001)

Refinement-Robust Fairness. - Hagen Völzer (CONCUR, 2002)

A Tool for Subsystem Configuration Management. - Hagen Völzer; Brenton Atchison; Paul A. Strooper; Peter A. Lindsay; Anthony MacDonald (ICSM, 2002)

On Randomization Versus Synchronization in Distributed Systems. - Hagen Völzer (ICALP, 2004)

A constructive proof for FLP. - Hagen Völzer (Inf. Process. Lett., 2004)

SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. - Hagen Völzer; Anthony MacDonald; Brenton Atchison; Andrew Hanlon; Peter A. Lindsay; Paul A. Strooper (IEEE Trans. Software Eng., 2004)

Defining Fairness. - Hagen Völzer; Daniele Varacca; Ekkart Kindler (CONCUR, 2005)

On Conspiracies and Hyperfairness in Distributed Computing. - Hagen Völzer (DISC, 2005)

Temporal Logics and Model Checking for Fairly Correct Systems. - Daniele Varacca; Hagen Völzer (LICS, 2006)

Illustrating the impossibility of crash-tolerant consensus in asynchronous systems. - Felix C. Freiling; Hagen Völzer (ACM SIGOPS Oper. Syst. Rev., 2006)

Probabilistic event structures and domains. - Daniele Varacca; Hagen Völzer; Glynn Winskel (Theor. Comput. Sci., 2006)

Combining Quality Assurance and Model Transformations in Business-Driven Development. - Jana Koehler; Thomas Gschwind; Jochen Malte Küster; Cesare Pautasso; Ksenia Ryndina; Jussi Vanhatalo; Hagen Völzer (AGTIVE, 2007)

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. - Matthias Schmalz; Hagen Völzer; Daniele Varacca (FSTTCS, 2007)

Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. - Jussi Vanhatalo; Hagen Völzer; Frank Leymann (ICSOC, 2007)

Automatic Workflow Graph Refactoring and Completion. - Jussi Vanhatalo; Hagen Völzer; Frank Leymann; Simon Moser (ICSOC, 2008)

Towards a Compiler for Business-IT Systems - A Vision Statement Complemented with a Research Agenda. - Jana Koehler; Thomas Gschwind; Jochen Malte Küster; Hagen Völzer; Olaf Zimmermann (CEE-SET, 2008)

Instantaneous Soundness Checking of Industrial Business Process Models. - Dirk Fahland; Cédric Favre; Barbara Jobstmann; Jana Koehler; Niels Lohmann; Hagen Völzer; Karsten Wolf (BPM, 2009)

Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators. - Cédric Favre; Thomas Gschwind; Jana Koehler; Wolfgang Kleinöder; Alexander Maystrenko; Krenar Muhidini; Hagen Völzer; Janette Wong (BPM (Demos), 2009)

Counterexamples in Probabilistic LTL Model Checking for Markov Chains. - Matthias Schmalz; Daniele Varacca; Hagen Völzer (CONCUR, 2009)

The refined process structure tree. - Jussi Vanhatalo; Hagen Völzer; Jana Koehler (Data Knowl. Eng., 2009)

Symbolic Execution of Acyclic Workflow Graphs. - Cédric Favre; Hagen Völzer (BPM, 2010)

A New Semantics for the Inclusive Converging Gateway in Safe Processes. - Hagen Völzer (BPM, 2010)

An Overview of BPMN 2.0 and Its Potential Use. - Hagen Völzer (BPMN, 2010)

Simplified Computation and Generalization of the Refined Process Structure Tree. - Artem Polyvyanyy; Jussi Vanhatalo; Hagen Völzer (WS-FM, 2010)

Managing Artifacts with a Viewpoint-Realization Level Matrix. - Jochen Malte Küster; Hagen Völzer; Olaf Zimmermann (Relating Software Requirements and Architectures, 2011)

Faster Or-Join Enactment for BPMN 2.0. - Beat Gfeller; Hagen Völzer; Gunnar Wilmsmann (BPMN, 2011)

Analysis on demand: Instantaneous soundness checking of industrial business process models. - Dirk Fahland; Cédric Favre; Jana Koehler; Niels Lohmann; Hagen Völzer; Karsten Wolf (Data Knowl. Eng., 2011)

Identifying refactoring opportunities in process model repositories. - Remco M. Dijkman; Beat Gfeller; Jochen Malte Küster; Hagen Völzer (Inf. Softw. Technol., 2011)

The Shared Process Model. - Cédric Favre; Jochen Malte Küster; Hagen Völzer (BPM (Demos), 2012)

The Difficulty of Replacing an Inclusive OR-Join. - Cédric Favre; Hagen Völzer (BPM, 2012)

Matching Business Process Workflows across Abstraction Levels. - Moisés Castelo Branco; Javier Troya; Krzysztof Czarnecki 001; Jochen Malte Küster; Hagen Völzer (MoDELS, 2012)

Defining Fairness in Reactive and Concurrent Systems. - Hagen Völzer; Daniele Varacca (J. ACM, 2012)

A Case Study in Workflow Scheduling Driven by Log Data. - Mirela Botezatu; Hagen Völzer; Remco M. Dijkman (Business Process Management Workshops, 2014)

A case study on consistency management of business and IT process models in banking. - Moisés Castelo Branco; Yingfei Xiong 001; Krzysztof Czarnecki 001; Jochen Malte Küster; Hagen Völzer (Softw. Syst. Model., 2014)

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 001; Shaya Pourmirza; Hagen Völzer (Business Process Management Workshops, 2015)

The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource. - Mirela Botezatu; Hagen Völzer; Lothar Thiele (ICECCS, 2015)

A Software Architecture for Transportation Planning and Monitoring in a Collaborative Network. - Anne Baumgraß; Remco M. Dijkman; Paul W. P. J. Grefen; Shaya Pourmirza; Hagen Völzer; Mathias Weske (PRO-VE, 2015)

Multi-View Incident Ticket Clustering for Optimal Ticket Dispatching. - Mirela Madalina Botezatu; Jasmina Bogojeska; Ioana Giurgiu; Hagen Völzer; Dorothea Wiesmann (KDD, 2015)

The relationship between workflow graphs and free-choice workflow nets. - Cédric Favre; Dirk Fahland; Hagen Völzer (Inf. Syst., 2015)

The Complexity of Deadline Analysis for Workflow Graphs with Multiple Resources. - Mirela Botezatu; Hagen Völzer; Lothar Thiele (BPM, 2016)

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). - Cédric Favre; Hagen Völzer; Peter Müller 001 (TACAS, 2016)

Preface to BPM 2014. - Mathias Weske; Shazia Sadiq; Pnina Soffer; Hagen Völzer (Inf. Syst., 2016)

Supporting different process views through a Shared Process Model. - Jochen Malte Küster; Hagen Völzer; Cédric Favre; Moisés Castelo Branco; Krzysztof Czarnecki 001 (Softw. Syst. Model., 2016)

CEA: A Service for Cognitive Event Automation. - Larisa Shwartz; Jinho Hwang; Hagen Völzer; Michael Nidd; Murilo Goncalves Aguiar; Marcos Vinicius Landivar Paraiso; Letusa Valero (ICSOC Workshops, 2018)

Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets. - Philipp J. Meyer; Javier Esparza; Hagen Völzer (TACAS (2), 2018)

Dynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows. - Dirk Fahland; Hagen Völzer (EMISA Forum, 2018)

Building a cognitive platform for the managed IT services lifecycle. - Kristof Kloeckner; Constantin Adam; Nikos Anerousis; Naga Ayachitula; Muhammed Fatih Bulut; Gargi Dasgupta; Yu Deng 004; Yixin Diao; Nicholas C. Fuller; Sandeep Gopisetty; Milton Hernandez; Jinho Hwang; et al. (IBM J. Res. Dev., 2018)

Dynamic skipping and blocking, dead path elimination for cyclic workflows, and a local semantics for inclusive gateways. - Dirk Fahland; Hagen Völzer (Inf. Syst., 2018)

Managing Security Objects and -Processes Using an Extended BPM Approach and -System. - Jochen Küster; Niklaus Meyer; Hagen Völzer; Maria Dubovitskaya; Michael Osborne; Axel Tanner (EDOC, 2019)

Model-Driven Engineering for Multi-party Interactions on a Blockchain - An Example. - Gero Dittmann; Alessandro Sorniotti; Hagen Völzer (ICSOC Workshops, 2019)

Do's and Don'ts for Human and Digital Worker Integration. - Vinod Muthusamy; Merve Unuvar; Hagen Völzer; Justin D. Weisz (CoRR, 2020)

Graph Autoencoders for Business Process Anomaly Detection. - Siyu Huo; Hagen Völzer; Prabhat Reddy; Prerna Agarwal; Vatche Isahagian; Vinod Muthusamy (BPM, 2021)

Augmented Business Process Management Systems: A Research Manifesto. - Marlon Dumas; Fabiana Fournier; Lior Limonad; Andrea Marrella; Marco Montali; Jana-Rebecca Rehse; Rafael Accorsi; Diego Calvanese; Giuseppe De Giacomo; Dirk Fahland; Avigdor Gal; Marcello La Rosa; et al. (CoRR, 2022)

Supporting Provenance and Data Awareness in Exploratory Process Mining. - Francesca Zerbato; Andrea Burattin; Hagen Völzer; Paul Nelson Becker; Elia Boscaini; Barbara Weber (CAiSE, 2023)

ProMiSE: Process Mining Support for End-Users. - Francesca Zerbato; Lisa Zimmermann 002; Hagen Völzer; Barbara Weber (CAiSE Research Projects Exhibition, 2023)

A Fresh Approach to Analyze Process Outcomes. - Hagen Völzer; Francesca Zerbato; Timothy Sulzer; Barbara Weber (ICPM, 2023)

AI-augmented Business Process Management Systems: A Research Manifesto. - Marlon Dumas; Fabiana Fournier; Lior Limonad; Andrea Marrella; Marco Montali; Jana-Rebecca Rehse; Rafael Accorsi; Diego Calvanese; Giuseppe De Giacomo; Dirk Fahland; Avigdor Gal; Marcello La Rosa; et al. (ACM Trans. Manag. Inf. Syst., 2023)

A Benchmark for Rule Induction in Automated Business Decisions. - Hagen Völzer; Daniel Horn; Yusik Kim; Greger Ottosson (RuleML+RR, 2024)