• F. Rabbi, Design, Development and Verification of a Compensable Workflow Modeling Language, StFX MSc, expected 2011
  • N. Leyla, A Personalized Access Control Framework for Workflow-based Healthcare Information, StFX MSc, 2011
  • A. Mashiyat, Distributed Verification of Time Constrained Workflows, StFX MSc, 2011
  • K. Miller, Timed CTL-BDI Verification of Ontology Driven Workflow in a Shared Memory Environment,  StFX MSc, 2010
  • K. MacNeil, Evaluating and Extending Compensable Transaction Composition, StFX Honours Comp Sci, May 2009
  • F. ImamAn Inconsistency Tolerant Approach to Ontology Merging, StFX MSc, 2008
  • J. Dallien, Workflow Verification for Health Care, StFX MSc, 2007
  • Alicia MillsLogic and the Cantor Set, StFX Honours Math, 2007
  • Nike Fluegg, Hybrid Systems and Verification, StFX Honours Math, 2007
  • Holly MacCallumParaconsistency and Bilattices,  StFX Honours Math, 2006
  • Keith MillerTableau verification of Lamport’s TLA, StFX Honours Comp Sci, 2006
  • Jeff DallienAutomated Recognition of Stutter Invariant LTL Formulas, StFX Honours Comp Sci, 2004.