default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHagen Völzer
Person information
- affiliation: IBM Research Zurich, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c47]Hagen Völzer
, Daniel Horn, Yusik Kim, Greger Ottosson:
A Benchmark for Rule Induction in Automated Business Decisions. RuleML+RR 2024: 159-175- 2023
- [j18]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, Hagen Völzer, Ingo Weber:
AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 14(1): 11:1-11:19 (2023) - [c46]Francesca Zerbato, Lisa Zimmermann, Hagen Völzer, Barbara Weber:
ProMiSE: Process Mining Support for End-Users. CAiSE Research Projects Exhibition 2023: 60-67 - [c45]Francesca Zerbato, Andrea Burattin, Hagen Völzer, Paul Nelson Becker, Elia Boscaini, Barbara Weber:
Supporting Provenance and Data Awareness in Exploratory Process Mining. CAiSE 2023: 454-470 - [c44]Hagen Völzer, Francesca Zerbato, Timothy Sulzer, Barbara Weber:
A Fresh Approach to Analyze Process Outcomes. ICPM 2023: 97-104 - 2022
- [i3]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, Hagen Völzer, Ingo Weber:
Augmented Business Process Management Systems: A Research Manifesto. CoRR abs/2201.12855 (2022) - 2021
- [c43]Siyu Huo, Hagen Völzer, Prabhat Reddy, Prerna Agarwal, Vatche Isahagian, Vinod Muthusamy:
Graph Autoencoders for Business Process Anomaly Detection. BPM 2021: 417-433 - 2020
- [i2]Vinod Muthusamy, Merve Unuvar, Hagen Völzer, Justin D. Weisz:
Do's and Don'ts for Human and Digital Worker Integration. CoRR abs/2010.07738 (2020)
2010 – 2019
- 2019
- [c42]Jochen Küster, Niklaus Meyer, Hagen Völzer, Maria Dubovitskaya, Michael Osborne, Axel Tanner:
Managing Security Objects and -Processes Using an Extended BPM Approach and -System. EDOC 2019: 197-205 - [c41]Gero Dittmann, Alessandro Sorniotti, Hagen Völzer:
Model-Driven Engineering for Multi-party Interactions on a Blockchain - An Example. ICSOC Workshops 2019: 181-194 - 2018
- [j17]Dirk Fahland, Hagen Völzer:
Dynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows. EMISA Forum 38(1): 29-30 (2018) - [j16]Kristof Kloeckner, Constantin Adam, Nikos Anerousis, Naga Ayachitula, Muhammed Fatih Bulut, Gargi Dasgupta, Yu Deng, Yixin Diao, Nicholas C. Fuller, Sandeep Gopisetty, Milton Hernandez, Jinho Hwang, Pietro Iannucci, Anup K. Kalia, Giovanni Lanfranchi, David Lanyi, Heiko Ludwig, A. Mahamuni, Ruchi Mahindru, Fan Jing Meng, Hamid R. Motahari Nezhad, Karin Murthy, Taiga Nakamura, Amit M. Paradkar, Dennis A. Perpetua, Birgit Pfitzmann, Daniela Rosu, Larisa Shwartz, Zhong Su, Maheswaran Surendra, Shu Tao, Hagen Völzer, Maja Vukovic, Dorothea Wiesmann, S. Wozniak, Gary Wright, Jin Xiao, Sai Zeng:
Building a cognitive platform for the managed IT services lifecycle. IBM J. Res. Dev. 62(1): 8:1-8:11 (2018) - [j15]Dirk Fahland, Hagen Völzer:
Dynamic skipping and blocking, dead path elimination for cyclic workflows, and a local semantics for inclusive gateways. Inf. Syst. 78: 126-143 (2018) - [c40]Larisa Shwartz, Jinho Hwang, Hagen Völzer, Michael Nidd, Murilo Goncalves Aguiar, Marcos Vinicius Landivar Paraiso, Letusa Valero:
CEA: A Service for Cognitive Event Automation. ICSOC Workshops 2018: 425-429 - [c39]Philipp J. Meyer, Javier Esparza, Hagen Völzer:
Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets. TACAS (2) 2018: 3-19 - [i1]Philipp J. Meyer, Javier Esparza, Hagen Völzer:
Computing the concurrency threshold of sound free-choice workflow nets. CoRR abs/1802.08064 (2018) - 2016
- [j14]Mathias Weske, Shazia Wasim Sadiq, Pnina Soffer, Hagen Völzer:
Preface to BPM 2014. Inf. Syst. 56: 233-234 (2016) - [j13]Jochen Malte Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki:
Supporting different process views through a Shared Process Model. Softw. Syst. Model. 15(4): 1207-1233 (2016) - [c38]Dirk Fahland, Hagen Völzer:
Dynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows. BPM 2016: 234-251 - [c37]Mirela Botezatu, Hagen Völzer, Lothar Thiele:
The Complexity of Deadline Analysis for Workflow Graphs with Multiple Resources. BPM 2016: 252-268 - [c36]Cédric Favre, Hagen Völzer, Peter Müller:
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). TACAS 2016: 463-479 - 2015
- [j12]Cédric Favre, Dirk Fahland, Hagen Völzer:
The relationship between workflow graphs and free-choice workflow nets. Inf. Syst. 47: 197-219 (2015) - [c35]Anne Baumgraß, Mirela Botezatu, Claudio Di Ciccio, Remco M. Dijkman, Paul Grefen, Marcin Hewelt, Jan Mendling, Andreas Meyer, Shaya Pourmirza, Hagen Völzer:
Towards a Methodology for the Engineering of Event-Driven Process Applications. Business Process Management Workshops 2015: 501-514 - [c34]Mirela Botezatu, Hagen Völzer, Lothar Thiele:
The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource. ICECCS 2015: 110-119 - [c33]Anne Baumgraß, Remco M. Dijkman, Paul W. P. J. Grefen, Shaya Pourmirza, Hagen Völzer, Mathias Weske:
A Software Architecture for Transportation Planning and Monitoring in a Collaborative Network. PRO-VE 2015: 277-284 - [c32]Mirela Madalina Botezatu, Jasmina Bogojeska, Ioana Giurgiu, Hagen Völzer, Dorothea Wiesmann:
Multi-View Incident Ticket Clustering for Optimal Ticket Dispatching. KDD 2015: 1711-1720 - 2014
- [j11]Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer:
A case study on consistency management of business and IT process models in banking. Softw. Syst. Model. 13(3): 913-940 (2014) - [c31]Mirela Botezatu, Hagen Völzer, Remco M. Dijkman:
A Case Study in Workflow Scheduling Driven by Log Data. Business Process Management Workshops 2014: 251-263 - [e1]Shazia Wasim Sadiq, Pnina Soffer, Hagen Völzer:
Business Process Management - 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings. Lecture Notes in Computer Science 8659, Springer 2014, ISBN 978-3-319-10171-2 [contents] - 2013
- [c30]Jochen Malte Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki:
Supporting Different Process Views through a Shared Process Model. ECMFA 2013: 20-36 - 2012
- [j10]Hagen Völzer, Daniele Varacca:
Defining Fairness in Reactive and Concurrent Systems. J. ACM 59(3): 13:1-13:37 (2012) - [c29]Cédric Favre, Jochen Malte Küster, Hagen Völzer:
The Shared Process Model. BPM (Demos) 2012: 12-16 - [c28]Cédric Favre, Hagen Völzer:
The Difficulty of Replacing an Inclusive OR-Join. BPM 2012: 156-171 - [c27]Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer:
Matching Business Process Workflows across Abstraction Levels. MoDELS 2012: 626-641 - 2011
- [j9]Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf:
Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5): 448-466 (2011) - [j8]Remco M. Dijkman, Beat Gfeller, Jochen Malte Küster, Hagen Völzer:
Identifying refactoring opportunities in process model repositories. Inf. Softw. Technol. 53(9): 937-948 (2011) - [c26]Beat Gfeller, Hagen Völzer, Gunnar Wilmsmann:
Faster Or-Join Enactment for BPMN 2.0. BPMN 2011: 31-43 - [p1]Jochen Malte Küster, Hagen Völzer, Olaf Zimmermann:
Managing Artifacts with a Viewpoint-Realization Level Matrix. Relating Software Requirements and Architectures 2011: 257-277 - 2010
- [c25]Cédric Favre, Hagen Völzer:
Symbolic Execution of Acyclic Workflow Graphs. BPM 2010: 260-275 - [c24]Hagen Völzer:
A New Semantics for the Inclusive Converging Gateway in Safe Processes. BPM 2010: 294-309 - [c23]Hagen Völzer:
An Overview of BPMN 2.0 and Its Potential Use. BPMN 2010: 14-15 - [c22]Artem Polyvyanyy, Jussi Vanhatalo, Hagen Völzer:
Simplified Computation and Generalization of the Refined Process Structure Tree. WS-FM 2010: 25-41
2000 – 2009
- 2009
- [j7]Jussi Vanhatalo, Hagen Völzer, Jana Koehler:
The refined process structure tree. Data Knowl. Eng. 68(9): 793-818 (2009) - [c21]Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf:
Instantaneous Soundness Checking of Industrial Business Process Models. BPM 2009: 278-293 - [c20]Cédric Favre, Thomas Gschwind, Jana Koehler, Wolfgang Kleinöder, Alexander Maystrenko, Krenar Muhidini, Hagen Völzer, Janette Wong:
Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators. BPM (Demos) 2009 - [c19]Matthias Schmalz, Daniele Varacca, Hagen Völzer:
Counterexamples in Probabilistic LTL Model Checking for Markov Chains. CONCUR 2009: 587-602 - 2008
- [c18]Jussi Vanhatalo, Hagen Völzer, Jana Koehler:
The Refined Process Structure Tree. BPM 2008: 100-115 - [c17]Jussi Vanhatalo, Hagen Völzer, Frank Leymann, Simon Moser:
Automatic Workflow Graph Refactoring and Completion. ICSOC 2008: 100-115 - [c16]Jana Koehler, Thomas Gschwind, Jochen Malte Küster, Hagen Völzer, Olaf Zimmermann:
Towards a Compiler for Business-IT Systems - A Vision Statement Complemented with a Research Agenda. CEE-SET 2008: 1-19 - 2007
- [c15]Jana Koehler, Thomas Gschwind, Jochen Malte Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo, Hagen Völzer:
Combining Quality Assurance and Model Transformations in Business-Driven Development. AGTIVE 2007: 1-16 - [c14]Matthias Schmalz, Hagen Völzer, Daniele Varacca:
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. FSTTCS 2007: 532-543 - [c13]Jussi Vanhatalo, Hagen Völzer, Frank Leymann:
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. ICSOC 2007: 43-55 - 2006
- [j6]Felix C. Freiling, Hagen Völzer:
Illustrating the impossibility of crash-tolerant consensus in asynchronous systems. ACM SIGOPS Oper. Syst. Rev. 40(2): 105-109 (2006) - [j5]Daniele Varacca, Hagen Völzer, Glynn Winskel:
Probabilistic event structures and domains. Theor. Comput. Sci. 358(2-3): 173-199 (2006) - [c12]Daniele Varacca, Hagen Völzer:
Temporal Logics and Model Checking for Fairly Correct Systems. LICS 2006: 389-398 - 2005
- [c11]Hagen Völzer, Daniele Varacca, Ekkart Kindler:
Defining Fairness. CONCUR 2005: 458-472 - [c10]Hagen Völzer:
On Conspiracies and Hyperfairness in Distributed Computing. DISC 2005: 33-47 - 2004
- [j4]Hagen Völzer:
A constructive proof for FLP. Inf. Process. Lett. 92(2): 83-87 (2004) - [j3]Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper:
SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. IEEE Trans. Software Eng. 30(10): 675-693 (2004) - [c9]Daniele Varacca, Hagen Völzer, Glynn Winskel:
Probabilistic Event Structures and Domains. CONCUR 2004: 481-496 - [c8]Hagen Völzer:
On Randomization Versus Synchronization in Distributed Systems. ICALP 2004: 1214-1226 - 2002
- [c7]Hagen Völzer:
Refinement-Robust Fairness. CONCUR 2002: 547-561 - [c6]Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald:
A Tool for Subsystem Configuration Management. ICSM 2002: 492-500 - 2001
- [j2]Ekkart Kindler, Hagen Völzer:
Algebraic nets with flexible arcs. Theor. Comput. Sci. 262(1): 285-310 (2001) - [c5]Hagen Völzer:
Randomized Non-sequential Processes. CONCUR 2001: 184-201 - 2000
- [b1]Hagen Völzer:
Fairneß, Randomisierung und Konspiration in verteilten Algorithmen. Humboldt University of Berlin, Unter den Linden, Germany, 2000, pp. 1-173
1990 – 1999
- 1999
- [c4]Thomas Baar, Ekkart Kindler, Hagen Völzer:
Verifying Intuition - ILF Checks DAWN Proofs. ICATPN 1999: 404-424 - 1998
- [c3]Hagen Völzer:
Verifying Fault Tolerance of Distributed Algorithms Formally - An Example. ACSD 1998: 187-197 - [c2]Ekkart Kindler, Hagen Völzer:
Flexibility in Algebraic Nets. ICATPN 1998: 345-364 - 1997
- [j1]Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter:
Petri Net Based Verification of Distributed Algorithms: An Example. Formal Aspects Comput. 9(4): 409-424 (1997) - 1996
- [c1]Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter:
Distributed Algorithms for Networks of Agents. Petri Nets (2) 1996: 331-385
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
