Julian Richardson

According to our database, Julian Richardson authored at least 21 papers between 1995 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Process Discovery for Structured Program Synthesis.

Dell Zhang, Alexander Kuhnle, Julian Richardson, Murat Sensoy

CoRR, 2020

2016

Word Sense Disambiguation with Neural Language Models.

Dayu Yuan, Ryan Doherty, Julian Richardson, Colin Evans, Eric Altendorf

CoRR, 2016

Semi-supervised Word Sense Disambiguation with Neural Models.

Dayu Yuan, Julian Richardson, Ryan Doherty, Colin Evans, Eric Altendorf

Proceedings of the COLING 2016, 2016

2008

Learning better IV&V practices.

Tim Menzies, Markland Benson, Ken Costello, Christina Moats, Melissa Northey, Julian Richardson

Innov. Syst. Softw. Eng., 2008

2007

The Strangest Thing About Software.

Tim Menzies, David Owen, Julian Richardson

Computer, 2007

Optimizing the V&V process for critical systems.

James D. Kiper, Martin S. Feather, Julian Richardson

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

2006

Making Sense of Requirements, Sooner.

Tim Menzies, Julian Richardson

Computer, 2006

Qualitative Modeling for Requirements Engineering.

Tim Menzies, Julian Richardson

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2004

Automating Traceability for Generated Software Artifacts .

Julian Richardson, Jeff Green

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2002

A Semantics for Proof Plans with Applications to Interactive Proof Planning.

Julian Richardson

Proceedings of the Logic for Programming, 2002

2001

Applying adversarial planning techniques to Go.

Steven Willmott, Julian Richardson, Alan Bundy, John Levine

Theor. Comput. Sci., 2001

2000

An Abstract Formalization of Correct Schemas for Program Synthesis.

Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson

J. Symb. Comput., 2000

Logic Program Synthesis in a Higher-Order Setting.

David Lacey, Julian Richardson, Alan Smaill

Proceedings of the Computational Logic, 2000

1999

Proofs About Lists Using Ellipsis.

Alan Bundy, Julian Richardson

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Deductive Synthesis of Recursive Plans in Linear Logic.

Stephen Cresswell, Alan Smaill, Julian Richardson

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

1998

Abstract: Proof Planning with Program Schemas.

Julian Richardson

Proceedings of the Logic Programming Synthesis and Transformation, 1998

An Adversarial Planning Approach to Go.

Steven Willmott, Julian Richardson, Alan Bundy, John Levine

Proceedings of the Computers and Games, First International Conference, 1998

System Description: Proof Planning in Higher-Order Logic with Lambda-Clam.

Julian Richardson, Alan Smaill, Ian Green

Proceedings of the Automated Deduction, 1998

1997

Development of Correct Transformation Schemata for Prolog Programs.

Julian Richardson, Norbert E. Fuchs

Proceedings of the Logic Programming Synthesis and Transformation, 1997

1996

Symbolic Verification with Gap-Order Constraints.

Laurent Fribourg, Julian Richardson

Proceedings of the Logic Programming Synthesis and Transformation, 1996

1995

Automating Changes of Data Type in Functional Programs.

Julian Richardson

Proceedings of the Proceedings KBSE'95, 1995