dblp.uni-trier.dewww.uni-trier.de

Ian Green Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Alessandro Armando [8] [13]
2David A. Basin [3]
3Alan Bundy [2] [3] [6] [7] [9] [11] [12] [14] [15] [16] [17] [18] [19]
4Louise A. Dennis [7] [17]
5Jeremy Gow [14]
6Jane Hesketh [2]
7Mateja Jamnik [6] [12]
8Predrag Janicic [15]
9Peter Madden [2] [4]
10Raul Monroy [9] [11] [16] [18] [19]
11Julian Richardson [10]
12Alan Smaill [5] [8] [10] [13]
13Toby Walsh [3]
14Tetsuya Yoshida [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)