Automating Changes of Data Type in Functional Programs. - Julian Richardson (KBSE, 1995)

Symbolic Verification with Gap-Order Constraints. - Laurent Fribourg; Julian Richardson (LOPSTR, 1996)

Development of Correct Transformation Schemata for Prolog Programs. - Julian Richardson; Norbert E. Fuchs (LOPSTR, 1997)

System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. - Julian Richardson; Alan Smaill; Ian Green (CADE, 1998)

An Adversarial Planning Approach to Go. - Steven Willmott; Julian Richardson; Alan Bundy; John Levine (Computers and Games, 1998)

Abstract: Proof Planning with Program Schemas. - Julian Richardson (LOPSTR, 1998)

Deductive Synthesis of Recursive Plans in Linear Logic. - Stephen Cresswell; Alan Smaill; Julian Richardson (ECP, 1999)

Proofs About Lists Using Ellipsis. - Alan Bundy; Julian Richardson (LPAR, 1999)

Logic Program Synthesis in a Higher-Order Setting. - David Lacey; Julian Richardson; Alan Smaill (Computational Logic, 2000)

An Abstract Formalization of Correct Schemas for Program Synthesis. - Pierre Flener; Kung-Kiu Lau; Mario Ornaghi; Julian Richardson (J. Symb. Comput., 2000)

Applying adversarial planning techniques to Go. - Steven Willmott; Julian Richardson; Alan Bundy; John Levine (Theor. Comput. Sci., 2001)

A Semantics for Proof Plans with Applications to Interactive Proof Planning. - Julian Richardson (LPAR, 2002)

Automating Traceability for Generated Software Artifacts . - Julian Richardson; Jeff Green (ASE, 2004)

Qualitative Modeling for Requirements Engineering. - Tim Menzies; Julian Richardson (SEW, 2006)

Making Sense of Requirements, Sooner. - Tim Menzies; Julian Richardson (Computer, 2006)

Optimizing the V&V process for critical systems. - James D. Kiper; Martin S. Feather; Julian Richardson (GECCO, 2007)

The Strangest Thing About Software. - Tim Menzies; David Owen 002; Julian Richardson (Computer, 2007)

Learning better IV&V practices. - Tim Menzies; Markland Benson; Ken Costello; Christina Moats; Melissa Northey; Julian Richardson (Innov. Syst. Softw. Eng., 2008)

Semi-supervised Word Sense Disambiguation with Neural Models. - Dayu Yuan; Julian Richardson; Ryan Doherty; Colin Evans; Eric Altendorf (COLING, 2016)

Word Sense Disambiguation with Neural Language Models. - Dayu Yuan; Ryan Doherty; Julian Richardson; Colin Evans; Eric Altendorf (CoRR, 2016)

Process Discovery for Structured Program Synthesis. - Dell Zhang; Alexander Kuhnle; Julian Richardson; Murat Sensoy (CoRR, 2020)