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).
"Managing Variability in Process-Aware Information Systems".
The degree was awarded in April 2009. An electronic copy of the thesis is available from this page

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).
"Object-Centric Process Models and the Design of Flexible Processes"
The degree is expected to be awarded in 2009. An electronic copy of the thesis can be downloaded here

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