On this page you will find a list of postgraduate students in whose supervision I am or was involved. 

Below PhD students for which I acted as Copromotor in the Dutch system.

H.A. Proper (KUN, The Netherlands).
"A Theory for Conceptual Modelling of Evolving Application Domains".
The degree was awarded, with the predicate cum laude, in April 1994.
I acted as 2nd Copromoter.

J.W.G.M. Hubbers (KUN, The Netherlands).
"Object-Oriented Analysis for Multi-faceted Applications with Distibuted Control".
The degree was awarded in December 1998.

A.A.F. van der Maas (KUN, The Netherlands).
"Formal Patient Case Analysis".
The degree was awarded in December 1999.

Below PhD students for which I have acted (or am still acting) as principal supervisor in the Australian system.

M. Adams (QUT, Australia).
"Facilitating Dynamic Flexibility and Exception Handling for Workflows".
The degree was awarded in December 2007. An electronic copy of the thesis is available from this page.  

L. Aldred (QUT, Australia)
"Communication Abstractions for Business Process Integration"
Started in 2003. 

D. Edmond (QUT, Australia).
"Applications of Reflection for Cooperative Information Systems".
The degree was awarded in 2000 (my involvement started in 1999).

B. Kiepuszewski (QUT, Australia).
"Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows".
The degree was awarded in 2003. An electronic copy of the thesis is available from this page

R. Lau (QUT, Australia).
"Belief Revision for Adaptive Information Agents".
The degree was awarded in 2003 (my involvement started in December 1998).

P. Oaks (QUT, Australia).
"Enabling ad hoc interaction with electronic services". 
The degree was awarded in 2005. An electronic copy of the thesis is available from this page

N. Russell (QUT, Australia)
"Foundations of Process-Aware Information Systems"
The degree was awarded in December 2007. An electronic copy of the thesis is available from this page.  

Below PhD students for which I have acted (or am still acting) as associate supervisor in the Australian system.

A.P. Barros (UQ, Australia).
"On the Conceptualisation of Workflow Specifications".
The degree was awarded in October 1998.

M. La Rosa (QUT, Australia).
"Configurable and Executable Reference Process Models"
Started in November 2005.

J. O'Sullivan (QUT, Australia).
"Towards a Precise Understanding of Service Properties"
The degree was awarded in 2007. An electronic copy of the thesis is available from this page  

G. Redding (QUT, Australia).
"Reconciliation of Object-centric and Process-centric Approaches to Information Systems Engineering"
Started in January 2006. 

Y.W. Si (QUT, Australia).
"A Framework for the Specification and Execution of Composite Trading Activities".
The degree was awarded in 2005.

M. Wynn (QUT, Australia).
"Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins"
The degree was awarded in 2006. An electronic copy of the thesis is available from this page