Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDH. M. W. Verbeek
Eric Verbeek 0001 – Henricus M. W. (Eric) Verbeek
Person information
- affiliation: Eindhoven University of Technology, Netherlands
Other persons with the same name
- Eric Verbeek 0002 — University of Victoria, BC, Canada (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j33]Moe Thandar Wynn
, Wil M. P. van der Aalst, Eric Verbeek, Bruno N. Di Stefano:
The IEEE XES Standard for Process Mining: Experiences, Adoption, and Revision [Society Briefs]. IEEE Comput. Intell. Mag. 19(1): 20-23 (2024)- 2023
- [c61]Eric Verbeek:
Excavating event logs with DiSCover. ICPM Doctoral Consortium / Demo 2023 - [c60]Eric Verbeek, Dirk Fahland:
Generating event logs with CPN IDE. ICPM Doctoral Consortium / Demo 2023 - 2022
- [j32]H. M. W. Verbeek:
The Log Skeleton Visualizer in ProM 6.9. Int. J. Softw. Tools Technol. Transf. 24(4): 549-561 (2022) - [c59]Eric Verbeek:
Discovering an S-Coverable WF-net using DiSCover. ICPM 2022: 64-71 - [c58]Mitchel Brunings, Dirk Fahland, Eric Verbeek:
Discover Context-Rich Local Process Models (Extended Abstract). ICPM Doctoral Consortium / Demo 2022: 100-103 - [p2]Adriano Augusto, Josep Carmona, Eric Verbeek:
Advanced Process Discovery Techniques. Process Mining Handbook 2022: 76-107 - 2021
- [c57]Moe Thandar Wynn, Julian Lebherz, Wil M. P. van der Aalst, Rafael Accorsi, Claudio Di Ciccio, Lakmali Jayarathna, H. M. W. Verbeek:
Rethinking the Input for Process Mining: Insights from the XES Survey and Workshop. ICPM Workshops 2021: 3-16
2010 – 2019
- 2018
- [j31]Sebastiaan J. van Zelst, Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek:
Discovering workflow nets using integer linear programming. Computing 100(5): 529-556 (2018) - [j30]Wai Lam Jonathan Lee, H. M. W. Verbeek, Jorge Munoz-Gama, Wil M. P. van der Aalst, Marcos Sepúlveda:
Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining. Inf. Sci. 466: 55-91 (2018) - [c56]Willem Sonke, Kevin Verbeek, Wouter Meulemans, Eric Verbeek, Bettina Speckmann:
Optimal Algorithms for Compact Linear Layouts. PacificVis 2018: 1-10 - [c55]Prabhakar M. Dixit, Joos C. A. M. Buijs, H. M. W. Verbeek, Wil M. P. van der Aalst:
Fast Incremental Conformance Analysis for Interactive Process Discovery. BIS 2018: 163-175 - [c54]Wai Lam Jonathan Lee, Jorge Munoz-Gama, H. M. W. Verbeek, Wil M. P. van der Aalst, Marcos Sepúlveda:
Improving Merging Conditions for Recomposing Conformance Checking. Business Process Management Workshops 2018: 31-43 - [c53]Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst:
Fast Conformance Analysis Based on Activity Log Abstraction. EDOC 2018: 135-144 - [c52]Prabhakar M. Dixit, H. M. W. Verbeek, Joos C. A. M. Buijs, Wil M. P. van der Aalst:
Interactive Data-Driven Process Model Construction. ER 2018: 251-265 - [c51]Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst:
Incremental Computation of Synthesis Rules for Free-Choice Petri Nets. FACS 2018: 97-117 - [i4]H. M. W. Verbeek, Renata Medeiros de Carvalho:
Log Skeletons: A Classification Approach to Process Discovery. CoRR abs/1806.08247 (2018) - [i3]Dennis M. M. Schunselaar, H. M. W. Verbeek:
Task Elimination may Actually Increase Throughput Time. CoRR abs/1812.11793 (2018) - 2017
- [j29]Giovanni Acampora, Autilia Vitiello, Bruno N. Di Stefano, Wil M. P. van der Aalst, Christian W. Günther, Eric Verbeek:
IEEE 1849: The XES Standard: The Second IEEE Standard Sponsored by IEEE Computational Intelligence Society [Society Briefs]. IEEE Comput. Intell. Mag. 12(2): 4-8 (2017) - [j28]H. M. W. Verbeek, Wil M. P. van der Aalst, Jorge Munoz-Gama:
Divide and Conquer: A Tool Framework for Supporting Decomposed Discovery in Process Mining. Comput. J. 60(11): 1649-1674 (2017) - [j27]Lihi Raichelson, Pnina Soffer, Eric Verbeek:
Merging event logs: Combining granularity levels for process flow analysis. Inf. Syst. 71: 211-227 (2017) - [j26]H. M. W. Verbeek:
Decomposed Replay Using Hiding and Reduction as Abstraction. Trans. Petri Nets Other Model. Concurr. 12: 166-186 (2017) - [c50]Humberto S. Garcia Caballero, Michel A. Westenberg, Henricus M. W. (Eric) Verbeek, Wil M. P. van der Aalst:
Visual Analytics for Soundness Verification of Process Models. Business Process Management Workshops 2017: 744-756 - [c49]Wai Lam Jonathan Lee, H. M. W. Verbeek, Jorge Munoz-Gama, Wil M. P. van der Aalst, Marcos Sepúlveda:
Replay using Recomposition: Alignment-Based Conformance Checking in the Large. BPM (Demos) 2017 - [i2]Sebastiaan J. van Zelst, Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek:
Discovering Relaxed Sound Workflow Nets using Integer Linear Programming. CoRR abs/1703.06733 (2017) - 2016
- [c48]H. M. W. Verbeek, Wil M. P. van der Aalst:
Merging Alignments for Decomposed Replay. Petri Nets 2016: 219-239 - [c47]H. M. W. Verbeek:
Decomposed Replay Using Hiding and Reduction. PNSE @ Petri Nets 2016: 233-252 - 2015
- [c46]Wil M. P. van der Aalst, Anna A. Kalenkova, Vladimir A. Rubin, Eric Verbeek:
Process Discovery Using Localized Events. Petri Nets 2015: 287-308 - [c45]Dennis M. M. Schunselaar, H. M. W. Verbeek, Hajo A. Reijers, Wil M. P. van der Aalst:
A Structural Model Comparison for Finding the Best Performing Models in a Collection. BPM 2015: 180-188 - 2014
- [j25]Wil M. P. van der Aalst, H. M. W. Verbeek:
Process Discovery and Conformance Checking Using Passages. Fundam. Informaticae 131(1): 103-138 (2014) - [c44]Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers:
Petra: A Tool for Analysing a Process Family. PNSE @ Petri Nets 2014: 269-288 - [c43]Ronny Mans, Wil M. P. van der Aalst, H. M. W. Verbeek:
Supporting Process Mining Workflows with RapidProM. BPM (Demos) 2014: 56 - [c42]Sebastiaan J. van Zelst, Andrea Burattin, Boudewijn F. van Dongen, H. M. W. Verbeek:
Data Streams in ProM 6: A Single-node Architecture. BPM (Demos) 2014: 81 - [c41]Eric Verbeek:
Decomposed Process Mining with DivideAndConquer. BPM (Demos) 2014: 86 - [c40]Jan Martijn E. M. van der Werf, H. M. W. Verbeek:
Online Compliance Monitoring of Service Landscapes. Business Process Management Workshops 2014: 89-95 - [c39]Dennis M. M. Schunselaar, Henrik Leopold, H. M. W. Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers:
Configuring Configurable Process Models Made Easier: An Automated Approach. Business Process Management Workshops 2014: 105-117 - [c38]H. M. W. Verbeek, Wil M. P. van der Aalst:
Decomposed Process Mining: The ILP Case. Business Process Management Workshops 2014: 264-276 - [c37]Dennis M. M. Schunselaar, H. M. W. Verbeek, Hajo A. Reijers, Wil M. P. van der Aalst:
YAWL in the Cloud: Supporting Process Sharing and Variability. Business Process Management Workshops 2014: 367-379 - [c36]Bart Hompes, Eric Verbeek, Wil M. P. van der Aalst:
Finding Suitable Activity Clusters for Decomposed Process Discovery. SIMPDA 2014: 16-30 - [c35]B. F. A. Hompes, H. M. W. Verbeek, Wil M. P. van der Aalst:
Finding Suitable Activity Clusters for Decomposed Process Discovery. SIMPDA (Revised Selected Papers) 2014: 32-57 - [c34]Dennis M. M. Schunselaar, Eric Verbeek, Hajo A. Reijers, Wil M. P. van der Aalst:
Using Monotonicity to Find Optimal Process Configurations Faster. SIMPDA 2014: 123-137 - 2013
- [c33]Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers:
A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets. PNSE+ModPE 2013: 135-154 - [c32]Eric Verbeek, Wil M. P. van der Aalst:
Decomposing Replay Problems: A Case Study. PNSE+ModPE 2013: 219-235 - [c31]Dennis M. M. Schunselaar, Tim van der Avoort, H. M. W. Verbeek, Wil M. P. van der Aalst:
YAWL in the Cloud. YAWL Symposium 2013: 41-48 - 2012
- [c30]Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers:
Creating Sound and Reversible Configurable Process Models Using CoSeNets. BIS 2012: 24-35 - [c29]Jan Martijn E. M. van der Werf, H. M. W. Verbeek, Wil M. P. van der Aalst:
Context-Aware Compliance Checking. BPM 2012: 98-113 - [c28]Henricus M. W. (Eric) Verbeek, Wil M. P. van der Aalst:
An Experimental Evaluation of Passage-Based Process Discovery. Business Process Management Workshops 2012: 205-210 - [c27]Henricus M. W. (Eric) Verbeek:
BPI Challenge 2012: The Transition System Case. Business Process Management Workshops 2012: 225-226 - 2011
- [j24]Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn:
Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3): 333-363 (2011) - [c26]Michael Westergaard, Henricus M. W. (Eric) Verbeek:
Efficient Implementation of Prioritized Transitions for High-level Petri Nets. PNSE 2011: 27-41 - [c25]Jan Vogelaar, H. M. W. Verbeek, B. Luka, Wil M. P. van der Aalst:
Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study. Business Process Management Workshops (2) 2011: 50-61 - [c24]Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn:
Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194 - [c23]R. P. Jagadeesh Chandra Bose, Henricus M. W. (Eric) Verbeek, Wil M. P. van der Aalst:
Discovering Hierarchical Process Models Using ProM. CAiSE Forum 2011: 33-40 - [c22]R. P. Jagadeesh Chandra Bose, Henricus M. W. (Eric) Verbeek, Wil M. P. van der Aalst:
Discovering Hierarchical Process Models Using ProM. CAiSE Forum (Selected Papers) 2011: 33-48 - 2010
- [j23]H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede:
Reduction rules for reset/inhibitor nets. J. Comput. Syst. Sci. 76(2): 125-143 (2010) - [j22]Wil M. P. van der Aalst, Vladimir A. Rubin, H. M. W. Verbeek, Boudewijn F. van Dongen, Ekkart Kindler, Christian W. Günther:
Process mining: a two-step approach to balance between underfitting and overfitting. Softw. Syst. Model. 9(1): 87-111 (2010) - [c21]Eric Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
ProM 6: The Process Mining Toolkit. BPM (Demos) 2010 - [c20]H. M. W. Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
XES, XESame, and ProM 6. CAiSE Forum (Selected Papers) 2010: 60-75 - [c19]Eric Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
XES Tools. CAiSE Forum 2010 - [p1]Eric Verbeek, Moe Thandar Wynn:
Verification. Modern Business Process Automation 2010: 513-539
2000 – 2009
- 2009
- [j21]Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond:
Business process verification - finally a reality! Bus. Process. Manag. J. 15(1): 74-92 (2009) - [j20]Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl:
Comparing and evaluating Petri net semantics for BPEL. Int. J. Bus. Process. Integr. Manag. 4(1): 60-73 (2009) - [j19]Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond:
Reduction rules for YAWL workflows with cancellation regions and OR-joins. Inf. Softw. Technol. 51(6): 1010-1020 (2009) - [j18]Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond:
Soundness-preserving reduction rules for reset workflow nets. Inf. Sci. 179(6): 769-790 (2009) - [j17]Niels Lohmann, Eric Verbeek, Remco M. Dijkman:
Petri Net Transformations for Business Processes - A Survey. Trans. Petri Nets Other Model. Concurr. 2: 46-63 (2009) - [j16]Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova:
A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. 2: 192-207 (2009) - [j15]Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn:
Soundness of Workflow Nets with Reset Arcs. Trans. Petri Nets Other Model. Concurr. 3: 50-70 (2009) - [c18]Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, Anne Rozinat, Eric Verbeek, Ton Weijters:
ProM: The Process Mining Toolkit. BPM (Demos) 2009 - 2008
- [j14]Wil M. P. van der Aalst, H. M. W. Verbeek:
Process Mining in Web Services: The WebSphere Case. IEEE Data Eng. Bull. 31(3): 45-48 (2008) - [j13]Jan Mendling, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst, Gustaf Neumann:
Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64(1): 312-329 (2008) - [j12]Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek:
Protos2CPN: using colored Petri nets for configuring and testing business processes. Int. J. Softw. Tools Technol. Transf. 10(1): 95-110 (2008) - [j11]Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek:
Conformance checking of service behavior. ACM Trans. Internet Techn. 8(3): 13:1-13:30 (2008) - [j10]Henricus M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk:
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. Trans. Petri Nets Other Model. Concurr. 1: 152-171 (2008) - 2007
- [j9]Boudewijn F. van Dongen, Monique H. Jansen-Vullers, H. M. W. Verbeek, Wil M. P. van der Aalst:
Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Comput. Ind. 58(6): 578-601 (2007) - [j8]H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede:
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. Comput. J. 50(3): 294-314 (2007) - [j7]Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera, Eric Verbeek:
Business process management: Where business processes and web services meet. Data Knowl. Eng. 61(1): 1-5 (2007) - [j6]Wil M. P. van der Aalst, Hajo A. Reijers, A. J. M. M. Weijters, Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, Minseok Song, H. M. W. Verbeek:
Business process mining: An industrial application. Inf. Syst. 32(5): 713-732 (2007) - [j5]Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede:
Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3): 162-198 (2007) - [c17]Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R. S. Mans, Ana Karla Alves de Medeiros, Anne Rozinat, Vladimir A. Rubin, Minseok Song, H. M. W. Verbeek, A. J. M. M. Weijters:
ProM 4.0: Comprehensive Support for Real Process Analysis. ICATPN 2007: 484-494 - 2006
- [c16]Jan Mendling, Michael Moser, Gustaf Neumann, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
Faulty EPCs in the SAP Reference Model. Business Process Management 2006: 451-457 - [c15]H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst:
Interoperability in the ProM Framework. EMOI-INTEROP 2006 - [c14]Paul Barborka, Lukas Helm, Georg Köldorfer, Jan Mendling, Gustaf Neumann, Boudewijn F. van Dongen, Eric Verbeek, Wil M. P. van der Aalst:
Integration of EPC-related Tools with ProM. EPK 2006: 105-120 - [i1]Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek:
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. The Role of Business Processes in Service Oriented Architectures 2006 - 2005
- [c13]Boudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, Wil M. P. van der Aalst:
The ProM Framework: A New Era in Process Mining Tool Support. ICATPN 2005: 444-454 - [c12]Eric Verbeek, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk:
Protos 7.0: Simulation Made Accessible. ICATPN 2005: 465-474 - [c11]Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek:
Verification of EPCs: Using Reduction Rules and Petri Nets. CAiSE 2005: 372-386 - [c10]Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. Verbeek, Petia Wohed:
Life After BPEL? EPEW/WS-FM 2005: 35-50 - [c9]Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede:
WofBPEL: A Tool for Automated Analysis of BPEL Processes. ICSOC 2005: 484-489 - 2004
- [j4]Mathias Weske, Wil M. P. van der Aalst, H. M. W. Verbeek:
Advances in business process management. Data Knowl. Eng. 50(1): 1-8 (2004) - [j3]H. M. W. Verbeek, Wil M. P. van der Aalst, Akhil Kumar:
XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows. Inf. Technol. Manag. 5(1-2): 65-110 (2004) - [c8]Eric Verbeek, Robert A. van der Toorn:
Transit Case Study. ICATPN 2004: 391-410 - 2003
- [c7]H. M. W. Verbeek, Twan Basten:
Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63 - [c6]Wil M. P. van der Aalst, Akhil Kumar, H. M. W. Verbeek:
Organizational Modeling in UML and XML in the Context of Workflow Systems. SAC 2003: 603-608 - 2002
- [j2]Akhil Kumar, Wil M. P. van der Aalst, Henricus M. W. (Eric) Verbeek:
Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance. J. Manag. Inf. Syst. 18(3): 157-194 (2002) - [c5]Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. Verbeek:
An Alternative Way to Analyze Workflow Graphs. CAiSE 2002: 535-552 - [c4]H. M. W. Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst:
XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. WES 2002: 93-108 - 2001
- [j1]H. M. W. Verbeek, Twan Basten, Wil M. P. van der Aalst:
Diagnosing Workflow Processes using Woflan. Comput. J. 44(4): 246-279 (2001) - [c3]Wil M. P. van der Aalst, H. M. W. Verbeek, Akhil Kumar:
Verification of XRL: An XML-based Workflow Language. CSCWD 2001: 427-432 - 2000
- [c2]Eric Verbeek, Wil M. P. van der Aalst:
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. ICATPN 2000: 475-484
1990 – 1999
- 1999
- [c1]Wil M. P. van der Aalst, Twan Basten, H. M. W. Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve:
Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS 1999: 353-360
Coauthor Index
[j33] [c57] [j31] [j30] [c55] [c54] [c53] [c52] [c51] [j29] [j28] [c50] [c49] [i2] [c48] [c46] [c45] [j25] [c44] [c43] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [j24] [c25] [c24] [c23] [c22] [j23] [j22] [c21] [c20] [c19] [j21] [j19] [j18] [j15] [c18] [j14] [j13] [j12] [j11] [j10] [j9] [j8] [j7] [j6] [j5] [c17] [c16] [c15] [c14] [i1] [c13] [c11] [c10] [c9] [j4] [j3] [c6] [j2] [c5] [c4] [j1] [c3] [c2] [c1]
a service of 
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-04-12 18:26 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:
