Louise A. Dennis

2008
17	EE	Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
16	EE	Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
2007
15	EE	Louise A. Dennis, Michael Fisher, Anthony Hepple: Language Constructs for Multi-agent Programming. CLIMA VIII 2007: 137-156
14	EE	Anthony Hepple, Louise A. Dennis, Michael Fisher: A Common Basis for Agent Organisation in BDI Languages. LADS 2007: 71-88
13	EE	Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
12	EE	Louise A. Dennis: Enhancing Theorem Prover Interfaces with Program Slice Information. Electr. Notes Theor. Comput. Sci. 174(2): 19-33 (2007)
2006
11	EE	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	EE	Louise A. Dennis: An Architecture for Proof Planning Systems. IJCAI 2005: 1558-1559
2003
9	EE	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	EE	Jürgen Zimmer, Louise A. Dennis: Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. AISC 2002: 319-331
7	EE	Simon Colton, Louise A. Dennis: The NumbersWithNames Program. AMAI 2002
6	EE	Louise A. Dennis, Alan Bundy: A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs 2002: 182-197
2001
5	EE	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	EE	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] [16] [17]
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] [16] [17]
7	Michael Fisher	[13] [14] [15] [16] [17]
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	[13]
19	Jürgen Zimmer	[8]

Colors in the list of coauthors