Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Louise A. Dennis
2010 – today
- 2012
[j8]Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini: Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012)- [c21]Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher: Verifying Brahms Human-Robot Teamwork Models. JELIA 2012: 385-397
- [e1]Louise A. Dennis, Olivier Boissier, Rafael H. Bordini (Eds.): Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7217, Springer 2012, ISBN 978-3-642-31914-3
- 2011
- [j7]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)
- [c20]Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher: A Formal Semantics for Brahms. CLIMA 2011: 259-274
- [c19]
- 2010
- [j6]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)
- [c18]Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Declarative Abstractions for Agent Based Hybrid Control Systems. DALT 2010: 96-111
2000 – 2009
- 2009
- [j5]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)
- [c17]Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer: Model Checking Normative Agent Organisations. CLIMA 2009: 64-82
- [c16]Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Agent Based Approaches to Engineering Autonomous Space Software. FMA 2009: 63-67
- 2008
- [c15]Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
- [c14]Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
- [c13]Louise A. Dennis, Michael Fisher: Programming Verifiable Heterogeneous Agent Systems. ProMAS 2008: 40-55
- 2007
- [j4]Louise A. Dennis: Enhancing Theorem Prover Interfaces with Program Slice Information. Electr. Notes Theor. Comput. Sci. 174(2): 19-33 (2007)
- [c12]Louise A. Dennis, Michael Fisher, Anthony Hepple: Language Constructs for Multi-agent Programming. CLIMA 2007: 137-156
- [c11]Anthony Hepple, Louise A. Dennis, Michael Fisher: A Common Basis for Agent Organisation in BDI Languages. LADS 2007: 71-88
- [c10]Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
- 2006
- [j3]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
- [c9]
- 2003
- [j2]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
- [c8]Jürgen Zimmer, Louise A. Dennis: Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. AISC 2002: 319-331
- [c7]
- [c6]
- [c5]Louise A. Dennis, Alan Bundy: A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs 2002: 182-197
- 2001
- [c4]Louise A. Dennis, Alan Smaill: Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. TPHOLs 2001: 185-200
- 2000
- [j1]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)
- [c3]Graham Collins, Louise A. Dennis: System Description: Embedding Verification into Microsoft Excel. CADE 2000: 497-501
- [c2]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
1990 – 1999
- 1997
- [c1]Louise A. Dennis, Alan Bundy, Ian Green: Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. CADE 1997: 276-290
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:39 CET by the dblp team