Using SPIN and STeP to Verify Business Processes Specifications. - Juan Carlos Augusto; Michael J. Butler; Carla Ferreira 001; Stephen-John Craig (Ershov Memorial Conference, 2003)

A Compiler Generator for Constraint Logic Programs. - Stephen-John Craig; Michael Leuschel (Ershov Memorial Conference, 2003)

LIX: an Effective Self-applicable Partial Evaluator for Prolog. - Stephen-John Craig; Michael Leuschel (FLOPS, 2004)

Fully Automatic Binding-Time Analysis for Prolog. - Stephen-John Craig; John P. Gallagher; Michael Leuschel; Kim S. Henriksen (LOPSTR, 2004)

Specialising Interpreters Using Offline Partial Deduction. - Michael Leuschel; Stephen-John Craig; Maurice Bruynooghe; Wim Vanhoof (Program Development in Computational Logic, 2004)

Self-tuning resource aware specialisation for prolog. - Stephen-John Craig; Michael Leuschel (PPDP, 2005)

Practicable Prolog specialisation. - Stephen-John Craig (2005)

Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. - Michael Leuschel; Stephen-John Craig; Daniel Elphick (LOPSTR, 2006)

The Ecce and Logen partial evaluators and their web interfaces. - Michael Leuschel; Daniel Elphick; Mauricio Varea; Stephen-John Craig; Marc Fontaine (PEPM, 2006)