Julian Richardson

2007
17	EE	James D. Kiper, Martin S. Feather, Julian Richardson: Optimizing the V&V process for critical systems. GECCO 2007: 1139
16	EE	Tim Menzies, David Owen, Julian Richardson: The Strangest Thing About Software. IEEE Computer 40(1): 54-60 (2007)
2006
15	EE	Tim Menzies, Julian Richardson: Qualitative Modeling for Requirements Engineering. SEW 2006: 11-20
14	EE	Tim Menzies, Julian Richardson: Making Sense of Requirements, Sooner. IEEE Computer 39(10): 112-114 (2006)
2004
13	EE	Julian Richardson, Jeff Green: Automating Traceability for Generated Software Artifacts . ASE 2004: 24-33
2002
12	EE	Julian Richardson: A Semantics for Proof Plans with Applications to Interactive Proof Planning. LPAR 2002: 337-351
2001
11	EE	Steven Willmott, Julian Richardson, Alan Bundy, John Levine: Applying adversarial planning techniques to Go. Theor. Comput. Sci. 252(1-2): 45-82 (2001)
2000
10	EE	David Lacey, Julian Richardson, Alan Smaill: Logic Program Synthesis in a Higher-Order Setting. Computational Logic 2000: 87-100
9		Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson: An Abstract Formalization of Correct Schemas for Program Synthesis. J. Symb. Comput. 30(1): 93-127 (2000)
1999
8		Stephen Cresswell, Alan Smaill, Julian Richardson: Deductive Synthesis of Recursive Plans in Linear Logic. ECP 1999: 252-264
7		Alan Bundy, Julian Richardson: Proofs About Lists Using Ellipsis. LPAR 1999: 1-12
1998
6	EE	Julian Richardson, Alan Smaill, Ian Green: System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. CADE 1998: 129-133
5	EE	Steven Willmott, Julian Richardson, Alan Bundy, John Levine: An Adversarial Planning Approach to Go. Computers and Games 1998: 93-112
4	EE	Julian Richardson: Abstract: Proof Planning with Program Schemas. LOPSTR 1998: 313-315
1997
3	EE	Julian Richardson, Norbert E. Fuchs: Development of Correct Transformation Schemata for Prolog Programs. LOPSTR 1997: 263-281
1996
2		Laurent Fribourg, Julian Richardson: Symbolic Verification with Gap-Order Constraints. LOPSTR 1996: 20-37
1995
1		Julian Richardson: Automating Changes of Data Type in Functional Programs. KBSE 1995: 166-173

Coauthor Index

1	Alan Bundy	[5] [7] [11]
2	Stephen Cresswell	[8]
3	Martin S. Feather	[17]
4	Pierre Flener	[9]
5	Laurent Fribourg	[2]
6	Norbert E. Fuchs	[3]
7	Ian Green	[6]
8	Jeff Green	[13]
9	James D. Kiper	[17]
10	David Lacey	[10]
11	Kung-Kiu Lau	[9]
12	John Levine	[5] [11]
13	Tim Menzies	[14] [15] [16]
14	Mario Ornaghi	[9]
15	David Owen	[16]
16	Alan Smaill	[6] [8] [10]
17	Steven Willmott	[5] [11]

Colors in the list of coauthors