Nick van Beest

29 papers A 2B 4Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
A first and fast symbolic approach for data-aware business process compliance checking.
Inf. Softw. Technol.
Silvano Colombo Tosatto, Hannah M. S. Burke, Nick van Beest, Heerko Groefsema
2025 J jnl
Process mining over sensor data: Goal recognition for powered transhumeral prostheses.
Inf. Syst.
Zihang Su, Tianshi Yu, Artem Polyvyanyy, Ying Tan, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest, Alireza Mohammadi, Denny Oetomo
2024 J jnl
Adaptive goal recognition using process mining techniques.
Eng. Appl. Artif. Intell.
Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest
2023 J jnl
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs.
IEEE Trans. Software Eng.
Nick van Beest, Heerko Groefsema, Adrian Cryer, Guido Governatori, Silvano Colombo Tosatto, Hannah M. S. Burke
2023 B conf
Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques.
ICPM
Zihang Su, Tianshi Yu, Nir Lipovetzky, Alireza Mohammadi, Denny Oetomo, Artem Polyvyanyy, Sebastian Sardiña, Ying Tan, Nick van Beest
2023 J jnl
Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques.
CoRR
Zihang Su, Tianshi Yu, Nir Lipovetzky, Alireza Mohammadi, Denny Oetomo, Artem Polyvyanyy, Sebastian Sardiña, Ying Tan, Nick van Beest
2023 J jnl
Fast and accurate data-driven goal recognition using process mining techniques.
Artif. Intell.
Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest
2023 J jnl
The Privacy Pillar - A Conceptual Framework for Foundation Model-based Systems.
CoRR
Tingting Bi, Guangsheng Yu, Qinghua Lu, Xiwei Xu, Nick van Beest
2022 — conf
Dealing with Unexpected Runtime Outcomes Within Process Models.
BPM (Forum)
Silvano Colombo Tosatto, Nick van Beest
2022 — conf
GRACE: A Simulator for Continuous Goal Recognition over Changing Environments.
PMAI@IJCAI
Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest
2021 J jnl
Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants.
CoRR
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
2021 J jnl
Synthesis of Regulation Compliant Business Processes.
IEEE Trans. Serv. Comput.
Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri
2020 J jnl
Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time.
CoRR
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
2020 B conf
Verifying Compliance of Process Compositions Through Certification of its Components.
EDOC
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
2019 — conf
Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools.
JSAI-isAI Workshops
Gabriela Ferraro, Ho-Pun Lam, Silvano Colombo Tosatto, Francesco Olivieri, Mohammad Badiul Islam, Nick van Beest, Guido Governatori
2019 A conf
Checking Regulatory Compliance: Will We Live to See It?
BPM
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
2019 J jnl
Efficient Full Compliance Checking of Concurrent Components for business Process Models.
FLAP
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri
2019 J jnl
Variability in business processes: Automatically obtaining a generic specification.
Inf. Syst.
Nick van Beest, Heerko Groefsema, Luciano García-Bañuelos, Marco Aiello
2018 J jnl
A Formal Model for Compliance Verification of Service Compositions.
IEEE Trans. Serv. Comput.
Heerko Groefsema, Nick van Beest, Marco Aiello
2018 J jnl
Complete and Interpretable Conformance Checking of Business Processes.
IEEE Trans. Software Eng.
Luciano García-Bañuelos, Nick van Beest, Marlon Dumas, Marcello La Rosa, Willem Mertens
2018 B conf
Resource-Driven Substructural Defeasible Logic.
PRIMA
Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto
2018 J jnl
Resource-driven Substructural Defeasible Logic.
CoRR
Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto
2017 — conf
Automated Compliance Verification of Business Processes in Apromore.
BPM (Demos)
Heerko Groefsema, Nick van Beest, Abel Armas-Cervantes
2017 — conf
Declarative Approaches for Compliance by Design.
ASSRI
Francesco Olivieri, Guido Governatori, Nick van Beest, Nina Ghanbari Ghooshchi
2017 B conf
Visualisation of Compliant Declarative Business Processes.
EDOC
Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri, Abdul Sattar
2015 — conf
Design-Time Compliance of Service Compositions in Dynamic Service Environments.
SOCA
Heerko Groefsema, Nick van Beest
2013 — conf
Continuous Correctness of Business Processes Against Process Interference.
SOCA
Nick van Beest, Doina Bucur
2012 — conf
Automatic Detection of Business Process Interference.
KiBP@KR
Nick van Beest, Eirini Kaldeli, Pavel Bulanov, Hans Wortmann, Alexander Lazovik
2006 A conf
Top Down Versus Bottom Up in Service-Oriented Integration: An MDA-Based Solution for Minimizing Technology Coupling.
ICSOC
Theo Dirk Meijler, Gert H. Kruithof, Nick van Beest