Lucas Dixon

	2012
19		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
18		Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov: Towards Formal Proof Script Refactoring. Calculemus/MKM 2011: 260-275
17		Moa Johansson, Lucas Dixon, Alan Bundy: Conjecture Synthesis for Inductive Theories. J. Autom. Reasoning 47(3): 251-289 (2011)
	2010
16		Lucas Dixon, Ross Duncan, Aleks Kissinger: Open Graphs and Computational Reasoning DCM 2010: 169-180
15		Moa Johansson, Lucas Dixon, Alan Bundy: Case-Analysis for Rippling and Inductive Proof. ITP 2010: 291-306
14		Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-Based Synthesis of Inductive Theories. MICAI (1) 2010: 348-361
13		Moa Johansson, Lucas Dixon, Alan Bundy: Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis 2010: 102-116
12		Lucas Dixon, Aleks Kissinger: Open Graphs and Monoidal Theories CoRR abs/1011.4114: (2010)
	2009
11		Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings Springer 2009
10		Lucas Dixon, Ross Duncan: Graphical reasoning in compact closed categories for quantum computation. Ann. Math. Artif. Intell. 56(1): 23-42 (2009)
9		Lucas Dixon, Ross Duncan: Graphical Reasoning in Compact Closed Categories for Quantum Computation CoRR abs/0902.0514: (2009)
8		Lucas Dixon, Alan Smaill, Tracy Tsang: Plans, Actions and Dialogues Using Linear Logic. Journal of Logic, Language and Information 18(2): 251-289 (2009)
	2008
7		Lucas Dixon, Ross Duncan: Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation. AISC/MKM/Calculemus 2008: 77-92
	2006
6		Moa Johansson, Alan Bundy, Lucas Dixon: Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100
5		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)
4		Lucas Dixon, Jacques D. Fleuriot: A proof-centric approach to mathematical assistants. J. Applied Logic 4(4): 505-532 (2006)
	2005
3		Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon: Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175
	2004
2		Lucas Dixon, Jacques D. Fleuriot: Higher Order Rippling in IsaPlanner. TPHOLs 2004: 83-98
	2003
1		Lucas Dixon, Jacques D. Fleuriot: IsaPlanner: A Prototype Proof Planner in Isabelle. CADE 2003: 279-283

Coauthor Index

1	David Aspinall	[18]
2	Alan Bundy	[3] [5] [6] [13] [14] [15] [17] [19]
3	Jacques Carette	[11]
4	Claudio Sacerdoti Coen	[11]
5	Ross Duncan	[7] [9] [10] [16]
6	Jacques D. Fleuriot	[1] [2] [4] [5]
7	Jeremy Gow	[5]
8	Gudmund Grov	[18]
9	Moa Johansson	[6] [13] [15] [17]
10	Aleks Kissinger	[12] [16]
11	Roy L. McCasland	[14] [19]
12	Omar Montano-Rivas	[14] [19]
13	Alan Smaill	[3] [8]
14	Tracy Tsang	[8]
15	Stephen M. Watt	[11]
16	Iain Whiteside	[18]
17	Bin Yang	[3]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page