Julian Richardson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2016

Semi-supervised Word Sense Disambiguation with Neural ModelsDayu Yuan, Julian Richardson, Ryan Doherty, Colin Evans, Eric Altendorf. COLING 2016: 1374-1385 [doi]

2008

Learning better IV&V practicesTim Menzies, Markland Benson, Ken Costello, Christina Moats, Melissa Northey, Julian Richardson. isse, 4(2):169-183, 2008. [doi]

2007

Optimizing the V&V process for critical systemsJames D. Kiper, Martin S. Feather, Julian Richardson. gecco 2007: 1139 [doi]

The Strangest Thing About SoftwareTim Menzies, David Owen, Julian Richardson. Computer, 40(1):54-60, 2007. [doi]

2006

Qualitative Modeling for Requirements EngineeringTim Menzies, Julian Richardson. sew 2006: 11-20 [doi]

Making Sense of Requirements, SoonerTim Menzies, Julian Richardson. Computer, 39(10):112-114, 2006. [doi]

2004

Automating Traceability for Generated Software Artifacts Julian Richardson, Jeff Green. jckbse 2004: 24-33 [doi]

2002

A Semantics for Proof Plans with Applications to Interactive Proof PlanningJulian Richardson. lpar 2002: 337-351 [doi]

2001

Applying adversarial planning techniques to GoSteven Willmott, Julian Richardson, Alan Bundy, John Levine. TCS, 252(1-2):45-82, 2001. [doi]

2000

An Abstract Formalization of Correct Schemas for Program SynthesisPierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson. JSC, 30(1):93-127, 2000.

Logic Program Synthesis in a Higher-Order SettingDavid Lacey, Julian Richardson, Alan Smaill. cl 2000: 87-100 [doi]

1999

Proofs About Lists Using EllipsisAlan Bundy, Julian Richardson. lpar 1999: 1-12

Deductive Synthesis of Recursive Plans in Linear LogicStephen Cresswell, Alan Smaill, Julian Richardson. ecp 2000: 252-264

1998

Abstract: Proof Planning with Program SchemasJulian Richardson. LOPSTR 1990: 313-315 [doi]

System Description: Proof Planning in Higher-Order Logic with Lambda-ClamJulian Richardson, Alan Smaill, Ian Green. cade 1998: 129-133 [doi]

An Adversarial Planning Approach to GoSteven Willmott, Julian Richardson, Alan Bundy, John Levine. CG 1999: 93-112 [doi]

1997

Development of Correct Transformation Schemata for Prolog ProgramsJulian Richardson, Norbert E. Fuchs. LOPSTR 1998: 263-281 [doi]

1996

Symbolic Verification with Gap-Order ConstraintsLaurent Fribourg, Julian Richardson. LOPSTR 1997: 20-37

1995

Automating Changes of Data Type in Functional ProgramsJulian Richardson. jckbse 1995: 166-173

Sign in or sign up to see more results.

runs on WebDSL