| * | 2009 |
|---|
| 9 | EE | 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 |
| 8 | EE | Lucas Dixon,
Ross Duncan:
Graphical Reasoning in Compact Closed Categories for Quantum Computation
CoRR abs/0902.0514: (2009) |
| 2008 |
|---|
| 7 | EE | 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 | EE | Moa Johansson,
Alan Bundy,
Lucas Dixon:
Best-First Rippling.
Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100 |
| 5 | EE | 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 | EE | Lucas Dixon,
Jacques D. Fleuriot:
A proof-centric approach to mathematical assistants.
J. Applied Logic 4(4): 505-532 (2006) |
| 2005 |
|---|
| 3 | EE | Bin Yang,
Alan Bundy,
Alan Smaill,
Lucas Dixon:
Deductive synthesis of workflows for e-Science.
CCGRID 2005: 168-175 |
| 2004 |
|---|
| 2 | EE | Lucas Dixon,
Jacques D. Fleuriot:
Higher Order Rippling in IsaPlanner.
TPHOLs 2004: 83-98 |
| 2003 |
|---|
| 1 | EE | Lucas Dixon,
Jacques D. Fleuriot:
IsaPlanner: A Prototype Proof Planner in Isabelle.
CADE 2003: 279-283 |
