Skip to content
cs-conference-ranking.org

Ian Green

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

7

Active years

1991–1999

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
1999CADEA Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.Predrag Janicic, Alan Bundy, Ian Green
1999LPARExtensions to the Estimation Calculus.Jeremy Gow, Alan Bundy, Ian Green
1998CADESystem Description: Proof Planning in Higher-Order Logic with Lambda-Clam.Julian Richardson, Alan Smaill, Ian Green
1998ECAIObservant: An Annotated Term-Rewriting System for Deciding Observation Congruence.Ral Monroy, Alan Bundy, Ian Green
1997CADEUsing A Generalisation Critic to Find Bisimulations for Coinductive Proofs.Louise A. Dennis, Alan Bundy, Ian Green
1997IJCAIAutomation of Diagrammatic Reasoning.Mateja Jamnik, Alan Bundy, Ian Green
1994AISCA General Technique for Automatically Optimizing Programs Through the Use of Proof Plans.Peter Madden, Ian Green
1994ECAIColoured Rippling: An Extension of a Theorem Proving Heuristic.Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin
1993LOPSTRA General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).Peter Madden, Jane Hesketh, Ian Green, Alan Bundy
1991AAAIUsing Abstraction to Automate Program Improvement by Transformation.Ian Green