Julian Richardson Vis

*	2008
18	EE	Tim Menzies, Markland Benson, Ken Costello, Christina Moats, Melissa Northey, Julian Richardson: Learning better IV&V practices. ISSE 4(2): 169-183 (2008)
	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	EE	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	Markland Benson	[18]
2	Alan Bundy	[5] [7] [11]
3	Ken Costello	[18]
4	Stephen Cresswell	[8]
5	Martin S. Feather	[17]
6	Pierre Flener	[9]
7	Laurent Fribourg	[2]
8	Norbert E. Fuchs	[3]
9	Ian Green	[6]
10	Jeff Green	[13]
11	James D. Kiper	[17]
12	David Lacey	[10]
13	Kung-Kiu Lau	[9]
14	John Levine	[5] [11]
15	Tim Menzies	[14] [15] [16] [18]
16	Christina Moats	[18]
17	Melissa Northey	[18]
18	Mario Ornaghi	[9]
19	David Owen	[16]
20	Alan Smaill	[6] [8] [10]
21	Steven Willmott	[5] [11]

Colors in the list of coauthors