Alan Bundy

	2012
155		Yuhui Lin, Alan Bundy, Gudmund Grov: The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods 2012: 231-236
154		Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-based theorem discovery and concept invention. Expert Syst. Appl. 39(2): 1637-1646 (2012)
	2011
153		Alan Bundy: Towards a Theory of Diagnosis of Faulty Ontologies. LDH 2011: 14-18
152		Alan Bundy: Automated theorem provers: a practical tool for the working mathematician? Ann. Math. Artif. Intell. 61(1): 3-14 (2011)
151		Moa Johansson, Lucas Dixon, Alan Bundy: Conjecture Synthesis for Inductive Theories. J. Autom. Reasoning 47(3): 251-289 (2011)
	2010
150		Jonathan Alexander Abourbih, Alan Bundy, Fiona McNeill: Using Linked Data for Semi-Automatic Guesstimation. AAAI Spring Symposium: Linked Data Meets Artificial Intelligence 2010
149		Jonathan Alexander Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill: A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. IJCAR 2010: 354-368
148		Moa Johansson, Lucas Dixon, Alan Bundy: Case-Analysis for Rippling and Inductive Proof. ITP 2010: 291-306
147		Michael Chan, Jos Lehmann, Alan Bundy: Higher-order Representation and Reasoning for Automated Ontology Evolution. KEOD 2010: 84-93
146		Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-Based Synthesis of Inductive Theories. MICAI (1) 2010: 348-361
145		Theodosia Togia, Fiona McNeill, Alan Bundy: Harnessing the power of folksonomies for formal ontology matching on-the-fly. OM 2010
144		Moa Johansson, Lucas Dixon, Alan Bundy: Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis 2010: 102-116
	2009
143		Raul Monroy, Alan Bundy, Ian Green: On Process Equivalence = Equation Solving in CCS. J. Autom. Reasoning 43(1): 53-80 (2009)
	2008
142		Alan Bundy: Automating Signature Evolution in Logical Theories. AISC/MKM/Calculemus 2008: 333-338
141		Alan Bundy, Michael Chan: Towards Ontology Evolution in Physics. WoLLIC 2008: 98-110
	2007
140		Predrag Janicic, Alan Bundy: Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM 2007: 80-93
139		Alan Bundy: Cooperating Reasoning Processes: More than Just the Sum of Their Parts. IJCAI 2007: 2-11
138		Alan Bundy: AI Bridges and Dreams. AI Soc. 21(4): 659-668 (2007)
137		Fiona McNeill, Alan Bundy: Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution. Int. J. Semantic Web Inf. Syst. 3(3): 1-35 (2007)
	2006
136		Alan Bundy, Fiona McNeill, Christopher Walton: On Repairing Reasoning Reversals via Representational Refinements. FLAIRS Conference 2006: 3-12
135		Moa Johansson, Alan Bundy, Lucas Dixon: Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100
134		Roy L. McCasland, Alan Bundy: MATHsAiD: A Mathematical Theorem Discovery Tool. SYNASC 2006: 17-22
133		Alan Bundy: A Very Mathematical Dilemma. Comput. J. 49(4): 480-486 (2006)
132		Roy L. McCasland, Alan Bundy, Patrick F. Smith: Ascertaining Mathematical Theorems. Electr. Notes Theor. Comput. Sci. 151(1): 21-38 (2006)
131		Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot: Constructing Induction Rules for Deductive Synthesis Proofs. Electr. Notes Theor. Comput. Sci. 153(1): 3-21 (2006)
130		Alan Bundy, Fiona McNeill: Representation as a Fluent: An AI Challenge for the Next Half Century. IEEE Intelligent Systems 21(3): 85-87 (2006)
129		Graham Steel, Alan Bundy: Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. J. Autom. Reasoning 36(1-2): 149-176 (2006)
	2005
128		Alex Blewitt, Alan Bundy, Ian Stark: Automatic verification of design patterns in Java. ASE 2005: 224-232
127		Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon: Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175
126		Mateja Jamnik, Alan Bundy: Psychological Validity of Schematic Proofs. Mechanizing Mathematical Reasoning 2005: 321-341
125		Graham Steel, Alan Bundy: Attacking Group Multicast Key Management Protocols Using Coral. Electr. Notes Theor. Comput. Sci. 125(1): 125-144 (2005)
	2004
124		Alan Bundy: Planning and Patching Proof. AISC 2004: 26-37
123		Daniel Winterstein, Alan Bundy, Mateja Jamnik: On Differences between the Real and Physical Plane. Diagrams 2004: 29-31
122		Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams 2004: 432-434
121		Graham Steel, Alan Bundy, Monika Maidl: Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR 2004: 137-151
120		Daniel Winterstein, Alan Bundy, Corin A. Gurr: Dr.Doodle: A Diagrammatic Theorem Prover. IJCAR 2004: 331-335
119		Alan Bundy: Desert Island Column. Autom. Softw. Eng. 11(1): 91-92 (2004)
	2002
118		Alan Bundy: A Critique of Proof Planning. Computational Logic: Logic Programming and Beyond 2002: 160-177
117		Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: Using Animation in Diagrammatic Theorem Proving. Diagrams 2002: 46-60
116		Louise A. Dennis, Alan Bundy: A Comparison of Two Proof Critics: Power vs. Robustness. TPHOLs 2002: 182-197
115		Jon Whittle, Alan Bundy, Richard J. Boulton: Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. Formal Asp. Comput. 13(3-5): 403-421 (2002)
114		Predrag Janicic, Alan Bundy: A General Setting for Flexibly Combining and Augmenting Decision Procedures. J. Autom. Reasoning 28(3): 257-305 (2002)
	2001
113		Alex Blewitt, Alan Bundy, Ian Stark: Automatic Verification of Java Design Patterns. ASE 2001: 324-327
112		Alan Bundy: The Automation of Proof by Mathematical Induction. Handbook of Automated Reasoning 2001: 845-911
111		Steven Willmott, Julian Richardson, Alan Bundy, John Levine: Applying adversarial planning techniques to Go. Theor. Comput. Sci. 252(1-2): 45-82 (2001)
	2000
110		Ian Frank, David A. Basin, Alan Bundy: Combining Knowledge and Search to Solve Single-Suit Bridge. AAAI/IAAI 2000: 195-200
109		Simon Colton, Alan Bundy, Toby Walsh: Automatic Invention of Integer Sequences. AAAI/IAAI 2000: 558-563
108		Daniel Winterstein, Alan Bundy, Mateja Jamnik: A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. Diagrams 2000: 286-299
107		Simon Colton, Alan Bundy, Toby Walsh: Automatic Identification of Mathematical Concepts. ICML 2000: 183-190
106		Raul Monroy, Alan Bundy, Ian Green: Searching for a Solution to Program Verification=Equation Solving in CCS. MICAI 2000: 1-12
105		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)
104		Raul Monroy, Alan Bundy, Ian Green: Planning Proofs of Equations in CCS. Autom. Softw. Eng. 7(3): 263-304 (2000)
103		Simon Colton, Alan Bundy, Toby Walsh: On the notion of interestingness in automated mathematical discovery. Int. J. Hum.-Comput. Stud. 53(3): 351-375 (2000)
	1999
102		Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: An ML Editor Based on Proofs-As-Programs. ASE 1999: 166-173
101		Predrag Janicic, Alan Bundy, Ian Green: A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. CADE 1999: 127-141
100		Dieter Hutter, Alan Bundy: The Design of the CADE-16 Inductive Theorem Prover Contest. CADE 1999: 374-377
99		Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: System Description: CyNTHIA. CADE 1999: 388-392
98		Simon Colton, Alan Bundy, Toby Walsh: Automatic Concept Formation in Pure Mathematics. IJCAI 1999: 786-793
97		Alan Bundy, Julian Richardson: Proofs About Lists Using Ellipsis. LPAR 1999: 1-12
96		Jeremy Gow, Alan Bundy, Ian Green: Extensions to the Estimation Calculus. LPAR 1999: 258-272
95		Alan Bundy: A Survey of Automated Deduction. Artificial Intelligence Today 1999: 153-174
94		Peter Madden, Alan Bundy, Alan Smaill: Recursive Program Optimization Through Inductive Synthesis Proof Transformation. J. Autom. Reasoning 22(1): 65-115 (1999)
93		Andrew Ireland, Alan Bundy: Automatic Verification of Functions with Accumulating Parameters. J. Funct. Program. 9(2): 225-245 (1999)
92		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
91		Raul Monroy, Alan Bundy, Ian Green: Planning Equational Verification in CCS. ASE 1998: 43-52
90		Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy: System Description: An Interface Between CLAM and HOL. CADE 1998: 134-138
89		Steven Willmott, Julian Richardson, Alan Bundy, John Levine: An Adversarial Planning Approach to Go. Computers and Games 1998: 93-112
88		Raul Monroy, Alan Bundy, Ian Green: Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. ECAI 1998: 393-397
87		Alan Bundy: A Science of Reasoning (Extended Abstract). TABLEAUX 1998: 10-17
86		Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon: An Interface between Clam and HOL. TPHOLs 1998: 87-104
85		Helen Lowe, Michal Pechoucek, Alan Bundy: Proof planning for maintainable configuration systems. AI EDAM 12(4): 345-356 (1998)
84		Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy: Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Ann. Math. Artif. Intell. 22(3-4): 259-279 (1998)
83		Weiru Liu, David McBryan, Alan Bundy: The Method of Assigning Incidences. Appl. Intell. 9(2): 139-161 (1998)
82		Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy: Lightweight Formalisation in Support of Requirements Engineering. Autom. Softw. Eng. 5(2): 183-210 (1998)
81		Helen Lowe, Alan Bundy, Duncan McLean: The Use of Proof Planning for Co-operative Theorem Proving. J. Symb. Comput. 25(2): 239-261 (1998)
	1997
80		Louise A. Dennis, Alan Bundy, Ian Green: Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. CADE 1997: 276-290
79		Mateja Jamnik, Alan Bundy, Ian Green: Automation of Diagrammatic Reasoning. IJCAI (1) 1997: 528-533
78		Jon Whittle, Alan Bundy, Helen Lowe: An Editor for Helping Novices to Learn Standard ML. PLILP 1997: 389-405
77		Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reasoning 19(3): 319-346 (1997)
	1996
76		Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996: 523-529
75		Alan Bundy: Proof Planning. AIPS 1996: 261-267
74		Andrew Ireland, Alan Bundy: Extensions to a Generalization Critic for Inductive Proof. CADE 1996: 47-61
73		Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin: Experiments in Automating Hardware Verification Using Inductive Proof Planning. FMCAD 1996: 94-108
72		Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Calculating Criticalities. Artif. Intell. 88(1-2): 39-67 (1996)
71		Weiru Liu, Alan Bundy: Constructing probabilistic ATMSs using extended incidence calculus. Int. J. Approx. Reasoning 15(2): 145-182 (1996)
70		Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reasoning 16(1-2): 113-145 (1996)
	1995
69		Alan Bundy, Vincent Lombart: Relational Rippling: A General Approach. IJCAI 1995: 175-181
68		R. G. McLean, Alan Bundy, Weiru Liu: Assignment methods for incidence calculus. Int. J. Approx. Reasoning 12(1): 21-41 (1995)
	1994
67		Alan Bundy: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings Springer 1994
66		Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin: Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI 1994: 85-89
65		Raul Monroy, Alan Bundy, Andrew Ireland: Proof Plans for the Correction of False Conjectures. LPAR 1994: 54-68
64		Alan Bundy, Hector MacQueen: The New Software Copyright Law. Comput. J. 37(2): 79-82 (1994)
63		Weiru Liu, Alan Bundy: A comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence. Int. J. Hum.-Comput. Stud. 40(6): 1009-1032 (1994)
	1993
62		Weiru Liu, Alan Bundy, David Stuart Robertson: Recovering Incedence Functions. ECSQARU 1993: 241-248
61		Weiru Liu, Alan Bundy, David Stuart Robertson: On the Relations between Incidence Calculus and ATMS. ECSQARU 1993: 249-256
60		Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Logic Program Synthesis. ICLP 1993: 441-455
59		David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews: A Framework for Program Development Based on Schematic Proof. IWSSD 1993: 162-171
58		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
57		Alistair Manning, Andrew Ireland, Alan Bundy: Incresing the Versatility of Heuristic Based Theorem Provers. LPAR 1993: 194-204
56		Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill: Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62(2): 185-253 (1993)
	1992
55		Jane Hesketh, Alan Bundy, Alan Smaill: Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. CADE 1992: 310-324
54		Toby Walsh, Alex Nunes, Alan Bundy: The Use of Proof Plans to Sum Series. CADE 1992: 325-339
53		Ian Frank, David A. Basin, Alan Bundy: An Adaptation of Proof-Planning to Declarer Play in Bridge. ECAI 1992: 72-76
52		Ina Kraan, David A. Basin, Alan Bundy: Logic Program Synthesis via Proof Planning. LOPSTR 1992: 1-14
51		Alan Bundy: Tutorial Notes: Reasoning about Logic Programs. Logic Programming Summer School 1992: 252-277
50		Alan Bundy: Die Geschichte der Mechanisierung der Logik in der KI (Interview). KI 6(3): 99-101 (1992)
	1991
49		David Robertson, Alan Bundy, Robert Muetzelfeldt, Mandy Haggith, Michael Uschold: Eco-Logic - Logic-Based Approaches to Ecological Modeling. MIT Press 1991: 1-243
48		Alan Bundy: The Use of Proof Plans for Normalization. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 149-166
47		Alan Bundy: A Science of Reasoning. Computational Logic - Essays in Honor of Alan Robinson 1991: 178-198
46		Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh: Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. LOPSTR 1991: 27-45
45		Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill: Experiments with Proof Plans for Induction. J. Autom. Reasoning 7(3): 303-324 (1991)
	1990
44		Paul Brna, Alan Bundy, Helen Pain: A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. ALPUK 1990: 22-55
43		Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland: Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990: 132-146
42		Alan Bundy: A Science of Reasoning: Extended Abstract. CADE 1990: 633-640
41		Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill: The Oyster-Clam System. CADE 1990: 647-648
40		Alan Bundy: The Use of Proof Plans in Formal Methods. DISCO 1990: 151-153
	1989
39		Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens: A Rational Reconstruction and Extension of Recursion Analysis. IJCAI 1989: 359-365
38		Alan Bundy: IJCAI Policy Statement: IJCAI Policy on Multiple Publication of Papers. AI Magazine 10(1): 73-75 (1989)
37		David Stuart Robertson, Alan Bundy, Michael Uschold, Robert Muetzelfeldt: The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface. International Journal of Man-Machine Studies 31(1): 1-26 (1989)
36		Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver: Solving Symbolic Equations with PRESS. J. Symb. Comput. 7(1): 71-84 (1989)
	1988
35		Alan Bundy: The Use of Explicit Plans to Guide Inductive Proofs. CADE 1988: 111-120
34		Alan Bundy: A Broader Interpretation of Logic in Logic Programming. ICLP/SLP 1988: 1624-1648
33		Alan Bundy: IJCAI Policy on Multiple Publication of Papers. AI Commun. 1(4): 3-5 (1988)
32		Frank van Harmelen, Alan Bundy: Explanation-Based Generalisation = Partial Evaluation. Artif. Intell. 36(3): 401-412 (1988)
31		Alan Bundy: Probability, truth, and logic: reply to Cheeseman. Computational Intelligence 4: 69-70 (1988)
30		Alan Bundy, Leon Sterling: Meta-Level Inference: Two Applications. J. Autom. Reasoning 4(1): 15-27 (1988)
	1987
29		Alan Bundy: AI Bridges and Dreams. AI Soc. 1(1): 62-71 (1987)
	1986
28		Alan Bundy: Correctness Criteria of Some Algorithms for Uncertain Reasoning Using Incidence Calculus. J. Autom. Reasoning 2(2): 109-126 (1986)
	1985
27		Alan Bundy: Discovery and Reasoning in Mathematics. IJCAI 1985: 1221-1230
26		Alan Bundy, Richard Clutterbuck: Raising the Standards of AI Products. IJCAI 1985: 1289-1294
25		Alan Bundy, Bernard Silver, Dave Plummer: An Analytical Comparison of Some Rule-Learning Programs. Artif. Intell. 27(2): 137-181 (1985)
24		Alan Bundy: Incidence Calculus: A Mechanism for Probabilistic Reasoning. J. Autom. Reasoning 1(3): 263-283 (1985)
	1984
23		Michael Uschold, Nigel Harding, Robert Muetzelfeldt, Alan Bundy: An Intelligent Front End for Ecological Modelling. ECAI 1984: 13-22
22		Alan Bundy: Incidence Calculus: A Mechanism for Probabilistic Reasoning. FGCS 1984: 166-174
21		Mary Angela Papalaskaris, Alan Bundy: Topics for Circumscription. NMR 1984: 355-362
20		Alan Bundy: A generalized interval package and its use for semantic checking. ACM Trans. Math. Softw. 10(4): 397-409 (1984)
	1983
19		Alan Bundy: Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983 William Kaufmann 1983
18		Alan Bundy: How to Get the Most Out of IJCAI-83. AI Magazine 4(1): 35-36 (1983)
17		Alan Bundy: The Nature of AI: A Reply to Schank. AI Magazine 4(4): 29-31 (1983)
	1982
16		Leon Sterling, Alan Bundy: Meta-Level Inference and Program Verification. CADE 1982: 144-150
15		Alan Bundy, Bernard Silver: A Critical Survey of Rule Learning Programs. ECAI 1982: 151-157
14		Alan Bundy, Lawrence Byrd, Chris Mellish: Special Purpose, but Domain Independent, Inference Mechanisms. ECAI 1982: 67-74
13		Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver: Solving Symbolic Equations with PRESS. EUROCAM 1982: 109-116
	1981
12		Alan Borning, Alan Bundy: Using Matching in Algebraic Equation Solving. IJCAI 1981: 466-471
11		Alan Bundy, Bernard Silver: Homogenization: Preparing Equations for Change of Unknown. IJCAI 1981: 551-553
10		Alan Bundy: What Is the Well-Dressed AI Educator Wearing Now? AI Magazine 3(1): 13-14 (1981)
9		Alan Bundy, Bob Welham: Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation. Artif. Intell. 16(2): 189-212 (1981)
	1980
8		Alan Bundy, Bob Welham: Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. CADE 1980: 24-38
	1978
7		Alan Bundy, George F. Luger, Chris Mellish, Martha Stone Palmer: Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving. AISB/GI (ECAI) 1978: 71-81
6		Alan Bundy: Will it Reach the Top? Prediction in the Mechanics World. Artif. Intell. 10(2): 129-146 (1978)
	1977
5		Alan Bundy: Can Domain Specific Knowledge Be Generalized? IJCAI 1977: 496
4		George F. Luger, Alan Bundy: Representing Semantic Information In Pulley Problems. IJCAI 1977: 500
	1976
3		Alan Bundy, George F. Luger, M. Stone, R. Welham: MECHNO, Year one. AISB (ECAI) 1976: 94-103
	1975
2		Alan Bundy: Analysing Mathematical Proofs (Or Reading Between the Lines). IJCAI 1975: 22-28
	1973
1		Alan Bundy: Doing Arithmetic with Diagrams. IJCAI 1973: 130-138

Coauthor Index

1	Jonathan Alexander Abourbih	[149] [150]
2	Alessandro Armando	[84]
3	David A. Basin	[52] [53] [59] [60] [66] [70] [73] [110]
4	Luke Blaney	[149]
5	Alex Blewitt	[113] [128]
6	Alan Borning	[12]
7	Richard J. Boulton	[86] [90] [99] [102] [115]
8	Paul Brna	[44]
9	Lawrence Byrd	[13] [14] [36]
10	Michael Chan	[141] [147]
11	Richard Clutterbuck	[26]
12	Simon Colton	[98] [103] [107] [109]
13	Louise A. Dennis	[80] [105] [116]
14	Lucas Dixon	[127] [131] [135] [144] [146] [148] [151] [154]
15	Jacques D. Fleuriot	[131]
16	Ian Frank	[53] [110]
17	Norbert E. Fuchs	[82]
18	Jason Gallagher	[84]
19	Fausto Giunchiglia	[72] [76] [77]
20	Michael J. C. Gordon	[86] [90]
21	Jeremy Gow	[96] [131]
22	Ian Green	[58] [66] [79] [80] [88] [91] [92] [96] [101] [104] [105] [106] [143]
23	Gudmund Grov	[155]
24	Corin A. Gurr	[117] [120] [122]
25	Mandy Haggith	[49]
26	Nigel Harding	[23]
27	Frank van Harmelen	[32] [39] [41] [43] [45] [56]
28	Jane Hesketh	[39] [45] [46] [55] [58] [82]
29	Christian Horn	[41]
30	Dieter Hutter	[100]
31	Andrew Ireland	[43] [56] [57] [65] [74] [93]
32	Mateja Jamnik	[79] [92] [108] [117] [122] [123] [126]
33	Predrag Janicic	[101] [114] [140]
34	Moa Johansson	[135] [144] [148] [151]
35	Ina Kraan	[46] [52] [59] [60] [70]
36	Jos Lehmann	[147]
37	John Levine	[89] [111]
38	Yuhui Lin	[155]
39	Weiru Liu	[61] [62] [63] [68] [71] [83]
40	Vincent Lombart	[69]
41	Helen Lowe	[78] [81] [85] [99] [102]
42	George F. Luger	[3] [4] [7]
43	Hector MacQueen	[64]
44	Peter Madden	[58] [94]
45	Monika Maidl	[121]
46	Alistair Manning	[57]
47	Seán Matthews	[59]
48	David McBryan	[83]
49	Roy L. McCasland	[132] [134] [146] [154]
50	Duncan McLean	[81]
51	R. G. McLean	[68]
52	Fiona McNeill	[130] [136] [137] [145] [149] [150]
53	Chris Mellish (Christopher S. Mellish)	[7] [14]
54	Raul Monroy (Raúl Monroy Borja)	[65] [88] [91] [104] [106] [143]
55	Omar Montano-Rivas	[146] [154]
56	Robert Muetzelfeldt	[23] [37] [49]
57	Alex Nunes	[54]
58	Richard A. O'Keefe	[13] [36]
59	Francisco J. Cantú Ortiz (Francisco J. Cantu)	[73]
60	Helen Pain	[44]
61	Martha Palmer (Martha Stone Palmer)	[7]
62	Mary-Angela Papalaskari (Mary Angela Papalaskaris)	[21]
63	Michal Pechoucek	[85]
64	Dave Plummer	[25]
65	Julian Richardson	[89] [97] [111]
66	David Stuart Robertson (David Robertson)	[37] [49] [61] [62] [82]
67	Roberto Sebastiani	[72] [76]
68	Bernard Silver	[11] [13] [15] [25] [36]
69	Konrad Slind	[86] [90]
70	Alan Smaill	[39] [41] [43] [45] [55] [56] [73] [84] [94] [127]
71	Patrick F. Smith	[132]
72	Ian Stark	[113] [128]
73	Graham Steel	[121] [125] [129]
74	Leon Sterling	[13] [16] [30] [36]
75	Andrew Stevens	[39] [56]
76	M. Stone	[3]
77	Theodosia Togia	[145]
78	Michael Uschold	[23] [37] [49]
79	Adolfo Villafiorita	[77]
80	Toby Walsh	[54] [66] [72] [76] [77] [98] [103] [107] [109]
81	Christopher Walton	[136]
82	Bob Welham	[8] [9]
83	R. Welham	[3]
84	Jon Whittle (Jonathan Whittle)	[78] [99] [102] [115]
85	Geraint A. Wiggins	[46]
86	Steven Willmott	[89] [111]
87	Daniel Winterstein	[108] [117] [120] [122] [123]
88	Bin Yang	[127]
89	Tetsuya Yoshida	[66]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page