Search Results - Dennis, Louise Abigail

  • Showing 1 - 17 results of 17
Refine Results
  1. 1
    An Architecture for Proof Planning Systems

    An Architecture for Proof Planning Systems by Dennis, Louise Abigail

    Published 2005
    Get full text
  2. 2
    The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs

    The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs by Dennis, Louise Abigail

    Published 2004
    Get full text
  3. 3
    Student attitudes to plagiarism and collusion within computer science

    Student attitudes to plagiarism and collusion within computer science by Dennis, Louise Abigail

    Published 2005
    Get full text
  4. 4
    A Comparison of two Proof Critics: Power vs. Robustness

    A Comparison of two Proof Critics: Power vs. Robustness by Dennis, Louise Abigail, Bundy, Alan

    Published 2002
    Get full text
  5. 5
    Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

    Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus by Zimmer, Juergen, Dennis, Louise Abigail

    Published 2002
    Get full text
  6. 6
    The NumbersWithNames Program

    The NumbersWithNames Program by Colton, Simon, Dennis, Louise Abigail

    Published 2002
    Get full text
  7. 7
    Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

    Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain by Dennis, Louise Abigail, Smaill, Alan

    Published 2001
    Get full text
  8. 8
    System Description: Embedding Verification into Microsoft Excel

    System Description: Embedding Verification into Microsoft Excel by Collins, Graham, Dennis, Louise Abigail

    Published 2000
    Get full text
  9. 9
    Integrating SVC and HOL with the PROSPER Toolkit

    Integrating SVC and HOL with the PROSPER Toolkit by Stevenson, Alan, Dennis, Louise Abigail

    Published 2000
    Get full text
  10. 10
    What can be learned from failed proofs of non-theorems?

    What can be learned from failed proofs of non-theorems? by Dennis, Louise Abigail, Nogueira, Pablo

    Published 2005
    Get full text
  11. 11
    Rippling in PVS

    Rippling in PVS by Adams, Andrew A., Dennis, Louise Abigail

    Published 2003
    Get full text
  12. 12
    The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction

    The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction by Dennis, Louise Abigail, Bundy, Alan, Green, Ian

    Published 2000
    Get full text
  13. 13
    Using a Generalisation Critic to find Bisimulations for Coinductive Proofs

    Using a Generalisation Critic to find Bisimulations for Coinductive Proofs by Dennis, Louise Abigail, Bundy, Alan, Green, Ian

    Published 1999
    Get full text
  14. 14
    On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner

    On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner by Dennis, Louise Abigail, Jamnik, Mateja, Pollet, Martin

    Published 2005
    Get full text
  15. 15
    Predicting the metabolic energy costs of bipedalism using evolutionary robotics

    Predicting the metabolic energy costs of bipedalism using evolutionary robotics by Sellers, William Irvin, Dennis, Louise Abigail, Crompton, Robin Hugh

    Published 2003
    Get full text
  16. 16
    Evaluating alternative gait strategies using evolutionary robotics

    Evaluating alternative gait strategies using evolutionary robotics by Sellers, William Irvin, Dennis, Louise Abigail, Wang, W.-J., Crompton, Robin Hugh

    Published 2004
    Get full text
  17. 17
    The PROSPER Toolkit

    The PROSPER Toolkit by Dennis, Louise Abigail, Collins, Graham, Norrish, Michael, Boulton, Richard, Slind, Konrad, Robinson, Graham, Gordon, Mike, Melham, Tom

    Published 2000
    Get full text

Search Tools: