The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Louise A. Dennis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jürgen Zimmer, Louise A. Dennis
    Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:319-331 [Conf]
  2. Simon Colton, Louise A. Dennis
    The NumbersWithNames Program. [Citation Graph (0, 0)][DBLP]
    AMAI, 2002, pp:- [Conf]
  3. Graham Collins, Louise A. Dennis
    System Description: Embedding Verification into Microsoft Excel. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:497-501 [Conf]
  4. Louise A. Dennis, Alan Bundy, Ian Green
    Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:276-290 [Conf]
  5. Louise A. Dennis
    An Architecture for Proof Planning Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1558-1559 [Conf]
  6. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
    The PROSPER Toolkit. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:78-92 [Conf]
  7. Louise A. Dennis, Alan Bundy
    A Comparison of Two Proof Critics: Power vs. Robustness. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:182-197 [Conf]
  8. Louise A. Dennis, Alan Smaill
    Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:185-200 [Conf]
  9. Louise A. Dennis, Alan Bundy, Ian Green
    Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:99-138 [Journal]
  10. Louise A. Dennis, Mateja Jamnik, Martin Pollet
    On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:151, n:1, pp:93-110 [Journal]
  11. Louise A. Dennis
    Enhancing Theorem Prover Interfaces with Program Slice Information. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:19-33 [Journal]
  12. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
    The PROSPER toolkit. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:189-210 [Journal]

  13. A flexible framework for verifying agent programs. [Citation Graph (, )][DBLP]


  14. Language Constructs for Multi-agent Programming. [Citation Graph (, )][DBLP]


  15. Automated Verification of Multi-Agent Programs. [Citation Graph (, )][DBLP]


  16. A Common Semantic Basis for BDI Languages. [Citation Graph (, )][DBLP]


  17. Programming Verifiable Heterogeneous Agent Systems. [Citation Graph (, )][DBLP]


  18. A Common Basis for Agent Organisation in BDI Languages. [Citation Graph (, )][DBLP]


  19. Agent Based Approaches to Engineering Autonomous Space Software [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002