Julian Richardson

21 papers A* 1A 2B 3C 4Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
Process Discovery for Structured Program Synthesis.
CoRR
Dell Zhang, Alexander Kuhnle, Julian Richardson, Murat Sensoy
2016 B conf
Semi-supervised Word Sense Disambiguation with Neural Models.
COLING
Dayu Yuan, Julian Richardson, Ryan Doherty, Colin Evans, Eric Altendorf
2016 J jnl
Word Sense Disambiguation with Neural Language Models.
CoRR
Dayu Yuan, Ryan Doherty, Julian Richardson, Colin Evans, Eric Altendorf
2008 J jnl
Learning better IV&V practices.
Innov. Syst. Softw. Eng.
Tim Menzies, Markland Benson, Ken Costello, Christina Moats, Melissa Northey, Julian Richardson
2007 A conf
Optimizing the V&V process for critical systems.
GECCO
James D. Kiper, Martin S. Feather, Julian Richardson
2007 J jnl
The Strangest Thing About Software.
Computer
Tim Menzies, David Owen, Julian Richardson
2006 J jnl
Making Sense of Requirements, Sooner.
Computer
Tim Menzies, Julian Richardson
2006 C conf
Qualitative Modeling for Requirements Engineering.
SEW
Tim Menzies, Julian Richardson
2004 A* conf
Automating Traceability for Generated Software Artifacts .
ASE
Julian Richardson, Jeff Green
2002 B conf
A Semantics for Proof Plans with Applications to Interactive Proof Planning.
LPAR
Julian Richardson
2001 J jnl
Applying adversarial planning techniques to Go.
Theor. Comput. Sci.
Steven Willmott, Julian Richardson, Alan Bundy, John Levine
2000 J jnl
An Abstract Formalization of Correct Schemas for Program Synthesis.
J. Symb. Comput.
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
2000 — conf
Logic Program Synthesis in a Higher-Order Setting.
Computational Logic
David Lacey, Julian Richardson, Alan Smaill
1999 — conf
Deductive Synthesis of Recursive Plans in Linear Logic.
ECP
Stephen Cresswell, Alan Smaill, Julian Richardson
1999 B conf
Proofs About Lists Using Ellipsis.
LPAR
Alan Bundy, Julian Richardson
1998 C conf
Abstract: Proof Planning with Program Schemas.
LOPSTR
Julian Richardson
1998 — conf
An Adversarial Planning Approach to Go.
Computers and Games
Steven Willmott, Julian Richardson, Alan Bundy, John Levine
1998 A conf
System Description: Proof Planning in Higher-Order Logic with Lambda-Clam.
CADE
Julian Richardson, Alan Smaill, Ian Green
1997 C conf
Development of Correct Transformation Schemata for Prolog Programs.
LOPSTR
Julian Richardson, Norbert E. Fuchs
1996 C conf
Symbolic Verification with Gap-Order Constraints.
LOPSTR
Laurent Fribourg, Julian Richardson
1995 — conf
Automating Changes of Data Type in Functional Programs.
KBSE
Julian Richardson