Louise A. Dennis

	2012
28		Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini: Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012)
	2011
27		Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher: A Formal Semantics for Brahms. CLIMA 2011: 259-274
26		Louise A. Dennis: Plan Indexing for State-Based Plans. DALT 2011: 3-15
25		Louise A. Dennis, Ian Green, Alan Smaill: The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling. J. Autom. Reasoning 47(1): 57-105 (2011)
	2010
24		Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Declarative Abstractions for Agent Based Hybrid Control Systems. DALT 2010: 96-111
23		Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres: Satellite Control Using Rational Agent Programming. IEEE Intelligent Systems 25(3): 92-97 (2010)
	2009
22		Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer: Model Checking Normative Agent Organisations. CLIMA 2009: 64-82
21		Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Agent Based Approaches to Engineering Autonomous Space Software FMA 2009: 63-67
20		Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin: Towards the Verification of Pervasive Systems. ECEASST 22: (2009)
	2008
19		Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
18		Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
17		Louise A. Dennis, Michael Fisher: Programming Verifiable Heterogeneous Agent Systems. ProMAS 2008: 40-55
	2007
16		Louise A. Dennis, Michael Fisher, Anthony Hepple: Language Constructs for Multi-agent Programming. CLIMA 2007: 137-156
15		Anthony Hepple, Louise A. Dennis, Michael Fisher: A Common Basis for Agent Organisation in BDI Languages. LADS 2007: 71-88
14		Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
13		Louise A. Dennis: Enhancing Theorem Prover Interfaces with Program Slice Information. Electr. Notes Theor. Comput. Sci. 174(2): 19-33 (2007)
	2006
12		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
11		Louise A. Dennis: An Architecture for Proof Planning Systems. IJCAI 2005: 1558-1559
	2003
10		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
9		Jürgen Zimmer, Louise A. Dennis: Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. AISC 2002: 319-331
8		Simon Colton, Louise A. Dennis: The NumbersWithNames Program. AMAI 2002
7		Simon Colton, Louise A. Dennis: The NumbersWithNames Program. ISAIM 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	Myrto Arapinis	[20]
2	Rafael H. Bordini	[14] [18] [19] [28]
3	Richard J. Boulton	[3] [10]
4	Alan Bundy	[1] [2] [6]
5	Muffy Calder (Muffy Thomas)	[20]
6	Graham Collins	[3] [4] [10]
7	Simon Colton	[7] [8]
8	Clare Dixon	[27]
9	Berndt Farwer	[14] [18] [19]
10	Michael Fisher	[14] [15] [16] [17] [18] [19] [20] [21] [23] [24] [27] [28]
11	Michael J. C. Gordon	[3]
12	Philip D. Gray	[20]
13	Ian Green	[1] [2] [25]
14	Anthony Hepple	[15] [16]
15	Mateja Jamnik	[12]
16	Savas Konur	[20]
17	Nicholas Lincoln	[21] [23] [24]
18	Alexei Lisitsa	[21] [23] [24]
19	Thomas F. Melham (Tom Melham)	[3] [10]
20	John-Jules Ch. Meyer	[22]
21	Alice Miller	[20]
22	Michael Norrish	[3] [10]
23	Martin Pollet	[12]
24	Eike Ritter	[20]
25	Graham Robinson	[3]
26	Mark Ryan (Mark Dermot Ryan)	[20]
27	Sven Schewe	[20]
28	Maarten Sierhuis	[27]
29	Konrad Slind	[3] [10]
30	Alan Smaill	[5] [25]
31	Richard Stocker	[27]
32	Nick A. M. Tinnemeier	[22]
33	Chris Unsworth	[20]
34	Sandor M. Veres	[21] [23] [24]
35	Matthew P. Webster	[28]
36	Michael Wooldridge (Michael J. Wooldridge)	[14]
37	Rehana Yasmin	[20]
38	Jürgen Zimmer	[9]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page