Louise A. Dennis

	2008
18		Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
17		Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
16		Louise A. Dennis, Michael Fisher: Programming Verifiable Heterogeneous Agent Systems. ProMAS 2008: 40-55
	2007
15		Louise A. Dennis, Michael Fisher, Anthony Hepple: Language Constructs for Multi-agent Programming. CLIMA VIII 2007: 137-156
14		Anthony Hepple, Louise A. Dennis, Michael Fisher: A Common Basis for Agent Organisation in BDI Languages. LADS 2007: 71-88
13		Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
12		Louise A. Dennis: Enhancing Theorem Prover Interfaces with Program Slice Information. Electr. Notes Theor. Comput. Sci. 174(2): 19-33 (2007)
	2006
11		Louise A. Dennis, Mateja Jamnik, Martin Pollet: On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. Electr. Notes Theor. Comput. Sci. 151(1): 93-110 (2006)
	2005
10		Louise A. Dennis: An Architecture for Proof Planning Systems. IJCAI 2005: 1558-1559
	2003
9		Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham: The PROSPER toolkit. STTT 4(2): 189-210 (2003)
	2002
8		Jürgen Zimmer, Louise A. Dennis: Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. AISC 2002: 319-331
7		Simon Colton, Louise A. Dennis: The NumbersWithNames Program. AMAI 2002
6		Louise A. Dennis, Alan Bundy: A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs 2002: 182-197
	2001
5		Louise A. Dennis, Alan Smaill: Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. TPHOLs 2001: 185-200
	2000
4		Graham Collins, Louise A. Dennis: System Description: Embedding Verification into Microsoft Excel. CADE 2000: 497-501
3		Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham: The PROSPER Toolkit. TACAS 2000: 78-92
2		Louise A. Dennis, Alan Bundy, Ian Green: Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Ann. Math. Artif. Intell. 29(1-4): 99-138 (2000)
	1997
1		Louise A. Dennis, Alan Bundy, Ian Green: Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. CADE 1997: 276-290

Coauthor Index

1	Rafael H. Bordini	[13] [17] [18]
2	Richard J. Boulton	[3] [9]
3	Alan Bundy	[1] [2] [6]
4	Graham Collins	[3] [4] [9]
5	Simon Colton	[7]
6	Berndt Farwer	[13] [17] [18]
7	Michael Fisher	[13] [14] [15] [16] [17] [18]
8	Michael J. C. Gordon	[3]
9	Ian Green	[1] [2]
10	Anthony Hepple	[14] [15]
11	Mateja Jamnik	[11]
12	Thomas F. Melham	[3] [9]
13	Michael Norrish	[3] [9]
14	Martin Pollet	[11]
15	Graham Robinson	[3]
16	Konrad Slind	[3] [9]
17	Alan Smaill	[5]
18	Michael Wooldridge (Michael J. Wooldridge)	[13]
19	Jürgen Zimmer	[8]

Colors in the list of coauthors