Verifying Multi-party Authentication Using Rank Functions and PVS. - Rob Verhoeven; Francien Dechesne (Formal Aspects in Security and Trust, 2008)

Traceability of Loss Measurements of Extra High Voltage Three-Phase Shunt Reactors. - Eddy So; Rob Verhoeven; Luc Dorpmanns; Dave Angelo (IEEE Trans. Instrum. Meas., 2015)

Using Process Mining to Evaluate Colon Cancer Guideline Adherence with Cancer Registry Data: a Case Study. - Gijs Geleijnse; Himalini Aklecha; Mark Vroling; Rob Verhoeven; Felice N. van Erning; Pauline A. Vissers; Joos C. A. M. Buijs; Xander A. Verbeek (AMIA, 2018)

Characterizing Tropical Forest Cover Loss Using Dense Sentinel-1 Data and Active Fire Alerts. - Johannes Reiche; Rob Verhoeven; Jan Verbesselt; Eliakim Hamunyela; Niels Wielaard; Martin Herold 001 (Remote. Sens., 2018)

A High-Precision Current Transformer for Loss Measurements of EHV Shunt Reactors. - Eddy So; Rob Verhoeven; Bart Simons; Harold V. Parks; Dave Angelo (IEEE Trans. Instrum. Meas., 2019)

Towards Evidence-Based Analysis of Palliative Treatments for Stomach and Esophageal Cancer Patients: a Process Mining Approach. - Pam Pijnenborg; Rob Verhoeven; Murat Firat; Hanneke van Laarhoven; Laura Genga (ICPM, 2021)

Interactive Multi-interest Process Pattern Discovery. - Mozhgan Vazifehdoostirani; Laura Genga; Xixi Lu 001; Rob Verhoeven; Hanneke van Laarhoven; Remco M. Dijkman (BPM, 2023)

Predictive Insights for Personalising Esophagogastric Cancer Treatment Process - A Case Study. - Mozhgan Vazifehdoostirani; Andrei Buliga 001; Laura Genga; Rob Verhoeven; Remco M. Dijkman (ICPM Workshops, 2024)