Solving Optimisation Problems with Catamorphism. - Richard S. Bird; Oege de Moor (MPC, 1992)

Inductive Data Types for Predicate Transformers. - Oege de Moor (Inf. Process. Lett., 1992)

From Dynamic Programming to Greedy Algorithms. - Richard S. Bird; Oege de Moor (Formal Program Development, 1993)

Virtual Data Structures. - S. Doaitse Swierstra; Oege de Moor (Formal Program Development, 1993)

List Partitions. - Richard S. Bird; Oege de Moor (Formal Aspects Comput., 1993)

Categories, Relations and Dynamic Programming. - Oege de Moor (Math. Struct. Comput. Sci., 1994)

An Algebraic Construction of Predicate Transformers. - Paul H. B. Gardiner; Clare E. Martin; Oege de Moor (Sci. Comput. Program., 1994)

A Generic Program for Sequential Decision Processes - Oege de Moor (PLILP, 1995)

The algebra of programming. - Richard S. Bird; Oege de Moor (NATO ASI DPD, 1996)

Generic Functional Programming with Types and Relations. - Richard S. Bird; Oege de Moor; Paul F. Hoogendijk (J. Funct. Program., 1996)

Algebra of programming. - Richard S. Bird; Oege de Moor (Prentice Hall, 1997)

More Haste, Less Speed: Lazy Versus Eager Evaluation. - Richard S. Bird; Geraint Jones; Oege de Moor (J. Funct. Program., 1997)

Generic Program Transformation. - Oege de Moor; Ganesh Sittampalam (Advanced Functional Programming, 1998)

Transformation in intentional programming. - William Aitken; Brian Dickens; Paul Kwiatkowski; Oege de Moor; David Richter; Charles Simonyi (ICSR, 1998)

Aspect-Oriented Compilers. - Oege de Moor; Simon L. Peyton Jones; Eric Van Wyk (GCSE, 1999)

Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting. - Oege de Moor; Jeremy Gibbons (Sci. Comput. Program., 1999)

Invited Talk: Pointwise Relational Programming. - Oege de Moor; Jeremy Gibbons (AMAST, 2000)

First-class Attribute Grammars. - Oege de Moor; Kevin Backhouse; S. Doaitse Swierstra (Informatica (Slovenia), 2000)

Container types categorically. - Paul F. Hoogendijk; Oege de Moor (J. Funct. Program., 2000)

Imperative Program Transformation by Rewriting. - David Lacey; Oege de Moor (CC, 2001)

Higher-Order Pattern Matching for Automatically Applying Fusion Transformations. - Ganesh Sittampalam; Oege de Moor (PADO, 2001)

Higher-order matching for program transformation. - Oege de Moor; Ganesh Sittampalam (Theor. Comput. Sci., 2001)

Forwarding in Attribute Grammars for Modular Language Design. - Eric Van Wyk; Oege de Moor; Kevin Backhouse; Paul Kwiatkowski (CC, 2002)

Transforming the .NET intermediate language using path logic programming. - Stephen Drape; Oege de Moor; Ganesh Sittampalam (PPDP, 2002)

Static analysis of aspects. - Damien Sereni; Oege de Moor (AOSD, 2003)

Compiling embedded languages. - Conal Elliott; Sigbjørn Finne; Oege de Moor (J. Funct. Program., 2003)

Universal Regular Path Queries. - Oege de Moor; David Lacey; Eric Van Wyk (High. Order Symb. Comput., 2003)

Measuring the dynamic behaviour of AspectJ programs. - Bruno Dufour; Christopher Goard; Laurie J. Hendren; Oege de Moor; Ganesh Sittampalam; Clark Verbrugge (OOPSLA, 2004)

Incremental execution of transformation specifications. - Ganesh Sittampalam; Oege de Moor; Ken Friis Larsen (POPL, 2004)

Preface. - Brian M. Barry; Oege de Moor (eTX, 2004)

abc: an extensible AspectJ compiler. - Pavel Avgustinov; Aske Simon Christensen; Laurie J. Hendren; Sascha Kuzins; Jennifer Lhoták; Ondrej Lhoták; Oege de Moor; Damien Sereni; Ganesh Sittampalam; Julian Tibble (AOSD, 2005)

abc: The AspectBench Compiler for AspectJ. - Chris Allan; Pavel Avgustinov; Aske Simon Christensen; Laurie J. Hendren; Sascha Kuzins; Jennifer Lhoták; Ondrej Lhoták; Oege de Moor; Damien Sereni; Ganesh Sittampalam; Julian Tibble (GPCE, 2005)

abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. - Chris Allan; Pavel Avgustinov; Aske Simon Christensen; Bruno Dufour; Christopher Goard; Laurie J. Hendren; Sascha Kuzins; Jennifer Lhoták; Ondrej Lhoták; Oege de Moor; Damien Sereni; Ganesh Sittampalam; et al. (OOPSLA Companion, 2005)

Adding trace matching with free variables to AspectJ. - Chris Allan; Pavel Avgustinov; Aske Simon Christensen; Laurie J. Hendren; Sascha Kuzins; Ondrej Lhoták; Oege de Moor; Damien Sereni; Ganesh Sittampalam; Julian Tibble (OOPSLA, 2005)

CodeQuest: querying source code with datalog. - Elnar Hajiyev; Mathieu Verbaere; Oege de Moor; Kris De Volder (OOPSLA Companion, 2005)

Optimising aspectJ. - Pavel Avgustinov; Aske Simon Christensen; Laurie J. Hendren; Sascha Kuzins; Jennifer Lhoták; Ondrej Lhoták; Oege de Moor; Damien Sereni; Ganesh Sittampalam; Julian Tibble (PLDI, 2005)

Adding open modules to AspectJ. - Neil Ongkingco; Pavel Avgustinov; Julian Tibble; Laurie J. Hendren; Oege de Moor; Ganesh Sittampalam (AOSD, 2006)

codeQuest: Scalable Source Code Queries with Datalog. - Elnar Hajiyev; Mathieu Verbaere; Oege de Moor (ECOOP, 2006)

Aspects for Trace Monitoring. - Pavel Avgustinov; Eric Bodden; Elnar Hajiyev; Laurie J. Hendren; Ondrej Lhoták; Oege de Moor; Neil Ongkingco; Damien Sereni; Ganesh Sittampalam; Julian Tibble; Mathieu Verbaere (FATES/RV, 2006)

JunGL: a scripting language for refactoring. - Mathieu Verbaere; Ran Ettinger; Oege de Moor (ICSE, 2006)

Aspects and Data Refinement. - Pavel Avgustinov; Eric Bodden; Elnar Hajiyev; Oege de Moor; Neil Ongkingco; Damien Sereni; Ganesh Sittampalam; Julian Tibble (MPC, 2006)

Efficient trace monitoring. - Pavel Avgustinov; Julian Tibble; Eric Bodden; Laurie J. Hendren; Ondrej Lhoták; Oege de Moor; Neil Ongkingco; Ganesh Sittampalam (OOPSLA Companion, 2006)

Datalog as a pointcut language in aspect-oriented programming. - Elnar Hajiyev; Neil Ongkingco; Pavel Avgustinov; Oege de Moor; Damien Sereni; Julian Tibble; Mathieu Verbaere (OOPSLA Companion, 2006)

Scripting refactorings with JunGL. - Mathieu Verbaere; Arnaud Payement; Oege de Moor (OOPSLA Companion, 2006)

Editorial. - Olivier Danvy; Oege de Moor; Julian A. Padget; Peter Thiemann 001 (High. Order Symb. Comput., 2006)

abc : An Extensible AspectJ Compiler. - Pavel Avgustinov; Aske Simon Christensen; Laurie J. Hendren; Sascha Kuzins; Jennifer Lhoták; Ondrej Lhoták; Oege de Moor; Damien Sereni; Ganesh Sittampalam; Julian Tibble (LNCS Trans. Aspect Oriented Softw. Dev., 2006)

Refactoring Tools. - Danny Dig; Ralph E. Johnson; Frank Tip; Oege de Moor; Jan Becicka; William G. Griswold; Markus Keller (ECOOP Workshops, 2007)

.QL: Object-Oriented Queries Made Easy. - Oege de Moor; Damien Sereni; Mathieu Verbaere; Elnar Hajiyev; Pavel Avgustinov; Torbjörn Ekman 001; Neil Ongkingco; Julian Tibble (GTTSE, 2007)

Making trace monitors feasible. - Pavel Avgustinov; Julian Tibble; Oege de Moor (OOPSLA, 2007)

A comparison of compilation techniques for trace monitors with free variables. - Pavel Avgustinov; Julian Tibble; Oege de Moor (OOPSLA Companion, 2007)

Improve software quality with SemmleCode: an eclipse plugin for semantic code search. - Mathieu Verbaere; Elnar Hajiyev; Oege de Moor (OOPSLA Companion, 2007)

Object-oriented queries over software systems: (abstract of invited talk). - Oege de Moor; Elnar Hajiyev; Mathieu Verbaere (PEPM, 2007)

Semantics of static pointcuts in aspectJ. - Pavel Avgustinov; Elnar Hajiyev; Neil Ongkingco; Oege de Moor; Damien Sereni; Julian Tibble; Mathieu Verbaere (POPL, 2007)

On the Semantics of Matching Trace Monitoring Patterns. - Pavel Avgustinov; Julian Tibble; Oege de Moor (RV, 2007)

Keynote Address: .QL for Source Code Analysis. - Oege de Moor; Mathieu Verbaere; Elnar Hajiyev; Pavel Avgustinov; Torbjörn Ekman 001; Neil Ongkingco; Damien Sereni; Julian Tibble (SCAM, 2007)

Efficient local type inference. - Ben Bellamy; Pavel Avgustinov; Oege de Moor; Damien Sereni (OOPSLA, 2008)

Sound and extensible renaming for java. - Max Schäfer; Torbjörn Ekman 001; Oege de Moor (OOPSLA, 2008)

Type inference for datalog and its application to query optimisation. - Oege de Moor; Damien Sereni; Pavel Avgustinov; Mathieu Verbaere (PODS, 2008)

Adding magic to an optimising datalog compiler. - Damien Sereni; Pavel Avgustinov; Oege de Moor (SIGMOD Conference, 2008)

Stepping Stones over the Refactoring Rubicon. - Max Schäfer; Mathieu Verbaere; Torbjörn Ekman 001; Oege de Moor (ECOOP, 2009)

Formalising and Verifying Reference Attribute Grammars in Coq. - Max Schäfer; Torbjörn Ekman 001; Oege de Moor (ESOP, 2009)

Challenge proposal: verification of refactorings. - Max Schäfer; Torbjörn Ekman 001; Oege de Moor (PLPV, 2009)

Specifying and implementing refactorings. - Max Schäfer; Oege de Moor (OOPSLA, 2010)

Type inference for datalog with complex type hierarchies. - Max Schäfer; Oege de Moor (POPL, 2010)

A memory efficient reachability data structure through bit vector compression. - Sebastiaan J. van Schaik; Oege de Moor (SIGMOD Conference, 2011)

Synthesising graphics card programs from DSLs. - Luke Cartey; Rune B. Lyngsø; Oege de Moor (PLDI, 2012)

Tracking Static Analysis Violations over Time to Capture Developer Characteristics. - Pavel Avgustinov; Arthur I. Baars; Anders Starcke Henriksen; R. Greg Lavender; Galen Menzel; Oege de Moor; Max Schäfer; Julian Tibble (ICSE (1), 2015)

QL: Object-oriented Queries on Relational Data. - Pavel Avgustinov; Oege de Moor; Michael Peyton Jones; Max Schäfer (ECOOP, 2016)