| 2013 | Exformatics Declarative Case Management Workflows as DCR Graphs. | Tijs Slaats, Raghava Rao Mukkamala, Thomas T. Hildebrandt, Morten Marquard |
| 2013 | An Exploratory Approach for Understanding Customer Behavior Processes Based on Clustering and Sequence Mining. | Alex Seret, Seppe K. L. M. vanden Broucke, Bart Baesens, Jan Vanthienen |
| 2013 | Discovering Stochastic Petri Nets with Arbitrary Delay Distributions from Event Logs. | Andreas Rogge-Solti, Wil M. P. van der Aalst, Mathias Weske |
| 2013 | An Extensible Platform for Process Model Search and Evaluation. | Christian Ress, Matthias Kunze |
| 2013 | Declarative Modeling-An Academic Dream or the Future for BPM? | Hajo A. Reijers, Tijs Slaats, Christian Stahl |
| 2013 | Verification of Query Completeness over Processes. | Simon Razniewski, Marco Montali, Werner Nutt |
| 2013 | Towards a Meta-Model for Goal-Based Social BPM. | Mohammad Ehson Rangiha, Bill Karakostas |
| 2013 | Supporting Domain Experts to Select and Configure Precise Compliance Rules. | Elham Ramezani, Dirk Fahland, Wil M. P. van der Aalst |
| 2013 | Process Improvement Focused Analysis of VINST IT Support Logs. | Shobana Radhakrishnan, Gokul Anantha |
| 2013 | Discovering Unbounded Synchronization Conditions in Artifact-Centric Process Models. | Viara Popova, Marlon Dumas |
| 2013 | Business Process Mining from E-Commerce Web Logs. | Nicols Poggi, Vinod Muthusamy, David Carrera, Rania Khalaf |
| 2013 | Business Process Assignment and Execution from Cloud to Mobile. | Tao Peng, Marco Ronchetti, Jovan Stevovic, Annamaria Chiasera, Giampaolo Armellin |
| 2013 | Analysis of the Volvo IT Incident and Problem Handling Processes using Process Mining and Social Network Analysis. | Zbigniew Paszkiewicz, Willy Picard |
| 2013 | Supply Chain Uncertainty Under ARIMA Demand Process. | Mi Pan, Weimin Wu |
| 2013 | A Petri Net Approach for Green Supply Chain Network Modeling and Performance Analysis. | Mi Pan, Weimin Wu |
| 2013 | Evaluating KIPN for Modeling KIP. | Joanne Manhes Netto, Flvia Maria Santoro, Fernanda Arajo Baio |
| 2013 | Conformance Checking in the Large: Partitioning and Topology. | Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst |
| 2013 | Enacting Complex Data Dependencies from Activity-Centric Business Process Models. | Andreas Meyer, Luise Pufahl, Dirk Fahland, Mathias Weske |
| 2013 | Modeling and Enacting Complex Data Dependencies in Business Processes. | Andreas Meyer, Luise Pufahl, Dirk Fahland, Mathias Weske |
| 2013 | An Experiment on the Capture of Business Processes from Knowledge Workers. | David Martinho, Antnio Rito Silva |
| 2013 | Worklr: Supporting and Capturing Business Processes from Knowledge Workers. | David Martinho, Antnio Rito Silva |
| 2013 | Professional Use of Process Mining for Analyzing Business Processes. | Josef Martens |
| 2013 | Automatic Extraction of Process Categories from Process Model Collections. | Monika Malinova, Remco M. Dijkman, Jan Mendling |
| 2013 | Discovering Data-Aware Declarative Process Models from Event Logs. | Fabrizio Maria Maggi, Marlon Dumas, Luciano Garca-Bauelos, Marco Montali |
| 2013 | Declarative Process Mining with the Declare Component of ProM. | Fabrizio Maria Maggi |