Top Down Versus Bottom Up in Service-Oriented Integration: An MDA-Based Solution for Minimizing Technology Coupling. - Theo Dirk Meijler; Gert H. Kruithof; Nick van Beest (ICSOC, 2006)

A Process Mining Approach to Redesign Business Processes - A Case Study in Gas Industry. - Nick R. T. P. van Beest; Laura Maruster (SYNASC, 2007)

A Vision for Agile Model-driven Enterprise Information Systems. - Nick R. T. P. van Beest; Nicolae B. Szirbik; Johan C. Wortmann (ICEIS (3), 2009)

Redesigning business processes: a methodology based on simulation and process mining techniques. - Laura Maruster; Nick R. T. P. van Beest (Knowl. Inf. Syst., 2009)

Assessing the Interference in Concurrent Business Processes. - Nick R. T. P. van Beest; N. B. Szirbika; Johan C. Wortmann (ICEIS (3), 2010)

Resolving Business Process Interference via Dynamic Reconfiguration. - Nick R. T. P. van Beest; Pavel Bulanov; Hans Wortmann; Alexander Lazovik (ICSOC, 2010)

Automatic Detection of Business Process Interference. - Nick van Beest; Eirini Kaldeli; Pavel Bulanov; Hans Wortmann; Alexander Lazovik (KiBP@KR, 2012)

Continuous Correctness of Business Processes Against Process Interference. - Nick van Beest; Doina Bucur (SOCA, 2013)

An Assessment Framework for Business Model Ontologies to Ensure the Viability of Business Models. - Austin D'Souza; Nick R. T. P. van Beest; George B. Huitema; Johan C. Wortmann; Hugo Velthuijsen (ICEIS (3), 2014)

A Review and Evaluation of Business Model Ontologies: A Viability Perspective. - Austin D'Souza; Nick R. T. P. van Beest; George B. Huitema; Johan C. Wortmann; Hugo Velthuijsen (ICEIS (Revised Selected Papers), 2014)

Assurance in Collaborative ICT-enabled Service Chains. - Y. W. van Wijk; Nick R. T. P. van Beest; K. F. C. de Bakker; Johan C. Wortmann (ICEIS (3), 2014)

Achieving Intention-Centric BPM through Automated Planning. - Nick R. T. P. van Beest; Nick Russell; Arthur H. M. ter Hofstede; Alexander Lazovik (SOCA, 2014)

Automated runtime repair of business processes. - Nick R. T. P. van Beest; Eirini Kaldeli; Pavel Bulanov; Johan C. Wortmann; Alexander Lazovik (Inf. Syst., 2014)

Log Delta Analysis: Interpretable Differencing of Business Process Event Logs. - Nick R. T. P. van Beest; Marlon Dumas; Luciano García-Bañuelos; Marcello La Rosa (BPM, 2015)

Design-Time Compliance of Service Compositions in Dynamic Service Environments. - Heerko Groefsema; Nick van Beest (SOCA, 2015)

Behavior-based Process Comparison in Apromore. - Abel Armas-Cervantes; Nick R. T. P. van Beest; Marlon Dumas; Luciano García-Bañuelos; Marcello La Rosa (BPM (Demos), 2016)

Behavioral Classification of Business Process Executions at Runtime. - Nick R. T. P. van Beest; Ingo Weber (Business Process Management Workshops, 2016)

Declarative Approaches for Compliance by Design. - Francesco Olivieri; Guido Governatori; Nick van Beest; Nina Ghanbari Ghooshchi (ASSRI, 2017)

Incremental and Interactive Business Process Model Repair in Apromore. - Abel Armas-Cervantes; Nick R. T. P. van Beest; Marcello La Rosa; Marlon Dumas; Simon Raboczi (BPM (Demos), 2017)

Automated Compliance Verification of Business Processes in Apromore. - Heerko Groefsema; Nick van Beest; Abel Armas-Cervantes (BPM (Demos), 2017)

Visualisation of Compliant Declarative Business Processes. - Nina Ghanbari Ghooshchi; Nick van Beest; Guido Governatori; Francesco Olivieri; Abdul Sattar 001 (EDOC, 2017)

Interactive and Incremental Business Process Model Repair. - Abel Armas-Cervantes; Nick R. T. P. van Beest; Marcello La Rosa; Marlon Dumas; Luciano García-Bañuelos (OTM Conferences (1), 2017)

Towards Reliable Predictive Process Monitoring. - Christopher Klinkmüller; Nick R. T. P. van Beest; Ingo Weber (CAiSE Forum, 2018)

Resource-Driven Substructural Defeasible Logic. - Francesco Olivieri; Guido Governatori; Matteo Cristani; Nick van Beest; Silvano Colombo Tosatto (PRIMA, 2018)

A Formal Model for Compliance Verification of Service Compositions. - Heerko Groefsema; Nick van Beest; Marco Aiello 001 (IEEE Trans. Serv. Comput., 2018)

Complete and Interpretable Conformance Checking of Business Processes. - Luciano García-Bañuelos; Nick van Beest; Marlon Dumas; Marcello La Rosa; Willem Mertens (IEEE Trans. Software Eng., 2018)

Checking Regulatory Compliance: Will We Live to See It? - Silvano Colombo Tosatto; Guido Governatori; Nick van Beest (BPM, 2019)

Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools. - Gabriela Ferraro; Ho-Pun Lam; Silvano Colombo Tosatto; Francesco Olivieri; Mohammad Badiul Islam; Nick van Beest; Guido Governatori (JSAI-isAI Workshops, 2019)

Efficient Full Compliance Checking of Concurrent Components for business Process Models. - Silvano Colombo Tosatto; Guido Governatori; Nick van Beest; Francesco Olivieri (FLAP, 2019)

Variability in business processes: Automatically obtaining a generic specification. - Nick van Beest; Heerko Groefsema; Luciano García-Bañuelos; Marco Aiello 001 (Inf. Syst., 2019)

Verifying Compliance of Process Compositions Through Certification of its Components. - Silvano Colombo Tosatto; Guido Governatori; Nick van Beest (EDOC, 2020)

Efficient conditional compliance checking of business process models. - Heerko Groefsema; Nick R. T. P. van Beest; Abel Armas-Cervantes (Comput. Ind., 2020)

Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time. - Silvano Colombo Tosatto; Guido Governatori; Nick van Beest (CoRR, 2020)

Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants. - Silvano Colombo Tosatto; Guido Governatori; Nick van Beest (CoRR, 2021)

Synthesis of Regulation Compliant Business Processes. - Nina Ghanbari Ghooshchi; Nick van Beest; Guido Governatori; Francesco Olivieri (IEEE Trans. Serv. Comput., 2021)

On the Use of the Conformance and Compliance Keywords During Verification of Business Processes. - Heerko Groefsema; Nick R. T. P. van Beest; Guido Governatori (BPM (Forum), 2022)

Dealing with Unexpected Runtime Outcomes Within Process Models. - Silvano Colombo Tosatto; Nick van Beest (BPM (Forum), 2022)

GRACE: A Simulator for Continuous Goal Recognition over Changing Environments. - Zihang Su; Artem Polyvyanyy; Nir Lipovetzky; Sebastian Sardiña; Nick van Beest (PMAI@IJCAI, 2022)

Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques. - Zihang Su; Tianshi Yu; Nir Lipovetzky; Alireza Mohammadi 002; Denny Oetomo; Artem Polyvyanyy; Sebastian Sardiña; Ying Tan 001; Nick van Beest (ICPM, 2023)

The Privacy Pillar - A Conceptual Framework for Foundation Model-based Systems. - Tingting Bi; Guangsheng Yu; Qinghua Lu 001; Xiwei Xu 001; Nick van Beest (CoRR, 2023)

Fast and accurate data-driven goal recognition using process mining techniques. - Zihang Su; Artem Polyvyanyy; Nir Lipovetzky; Sebastian Sardiña; Nick van Beest (Artif. Intell., 2023)

Cross-Instance Regulatory Compliance Checking of Business Process Event Logs. - Nick van Beest; Heerko Groefsema; Adrian Cryer; Guido Governatori; Silvano Colombo Tosatto; Hannah M. S. Burke (IEEE Trans. Software Eng., 2023)

Pushing the Limits: Concurrency Detection in Acyclic Sound Free-Choice Workflow Nets in O(P² + T²). - Thomas M. Prinz; Julien Klaus; Nick R. T. P. van Beest (PNSE@Petri Nets, 2024)

Smart Contracts' Upgradability for Flexible Business Processes. - Sidra Malik; H. M. N. Dilum Bandara; Nick R. T. P. van Beest; Xiwei Xu 001 (BPM (Blockchain and RPA Forum), 2024)

Pushing the Limits: Concurrency Detection in Acyclic, Live, and 1-Safe Free-Choice Nets in O((P+T)2). - Thomas M. Prinz; Julien Klaus; Nick R. T. P. van Beest (CoRR, 2024)

Adaptive goal recognition using process mining techniques. - Zihang Su; Artem Polyvyanyy; Nir Lipovetzky; Sebastian Sardiña; Nick van Beest (Eng. Appl. Artif. Intell., 2024)

Managing and Anticipating Out-of-Order Events in Online Compliance Monitoring. - Silvano Colombo Tosatto; Hannah M. S. Burke; Nick R. T. P. van Beest; Heerko Groefsema (CAiSE (2), 2025)

Process mining over sensor data: Goal recognition for powered transhumeral prostheses. - Zihang Su; Tianshi Yu; Artem Polyvyanyy; Ying Tan 001; Nir Lipovetzky; Sebastian Sardiña; Nick van Beest; Alireza Mohammadi 002; Denny Oetomo (Inf. Syst., 2025)