arrow
返回
H

Heerko Groefsema

CSIRO

8H指数
19论文数
225被引数
收录论文 6
发表时间
A first and fast symbolic approach for data-aware business process compliance checking
err2026-01-27
err0
PREAI
errSilvano Colombo Tosatto; Hannah Burke; Nick van Beest; Heerko Groefsema
err分享
err收藏
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs
err2023-11-01
err2
errOAAI
errvan Beest, Nick; Groefsema, Heerko; Cryer, Adrian; Governatori, Guido; Tosatto, Silvano Colombo; Burke, Hannah
err分享
err收藏
Efficient conditional compliance checking of business process models
err2020-02-01
err7
errOAAI
errGroefsema, H.; van Beest, N. R. T. P.; Armas-Cervantes, A.
err分享
err收藏
Variability in business processes: Automatically obtaining a generic specification
err2019-02-01
err10
errOAAI
errvan Beest, Nick; Groefsema, Heerko; Garcia-Banuelos, Luciano; Aiello, Marco
err分享
err收藏
A Formal Model for Compliance Verification of Service Compositions
err2018-05-01
err21
errOAAI
errGroefsema, Heerko; van Beest, Nick R. T. P.; Aiello, Marco
err分享
err收藏