The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ian Green: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ian Green
    Using Abstraction to Automate Program Improvement by Transformation. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:317-322 [Conf]
  2. Peter Madden, Ian Green
    A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:64-79 [Conf]
  3. 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]
  4. Predrag Janicic, Alan Bundy, Ian Green
    A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:127-141 [Conf]
  5. Julian Richardson, Alan Smaill, Ian Green
    System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:129-133 [Conf]
  6. Raul Monroy, Alan Bundy, Ian Green
    Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:393-397 [Conf]
  7. Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin
    Coloured Rippling: An Extension of a Theorem Proving Heuristic. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:85-89 [Conf]
  8. Mateja Jamnik, Alan Bundy, Ian Green
    Automation of Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:528-533 [Conf]
  9. Alessandro Armando, Alan Smaill, Ian Green
    Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:2-9 [Conf]
  10. Raul Monroy, Alan Bundy, Ian Green
    Planning Equational Verification in CCS. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:43-52 [Conf]
  11. Peter Madden, Jane Hesketh, Ian Green, Alan Bundy
    A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:64-66 [Conf]
  12. Jeremy Gow, Alan Bundy, Ian Green
    Extensions to the Estimation Calculus. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:258-272 [Conf]
  13. Raul Monroy, Alan Bundy, Ian Green
    Searching for a Solution to Program Verification=Equation Solving in CCS. [Citation Graph (0, 0)][DBLP]
    MICAI, 2000, pp:1-12 [Conf]
  14. Alan Smaill, Ian Green
    Higher-Order Annotated Terms for Proof Search. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1996, pp:399-413 [Conf]
  15. 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]
  16. Alessandro Armando, Alan Smaill, Ian Green
    Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:4, pp:329-356 [Journal]
  17. Raul Monroy, Alan Bundy, Ian Green
    Planning Proofs of Equations in CCS. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2000, v:7, n:3, pp:263-304 [Journal]
  18. Mateja Jamnik, Alan Bundy, Ian Green
    On Automating Diagrammatic Proofs of Arithmetic Arguments. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:297-321 [Journal]

Search in 0.417secs, Finished in 0.418secs
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