- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j5 |      | Laura I. Meikle, Jacques D. Fleuriot: Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. Electr. Notes Theor. Comput. Sci. 285: 115-119 (2012) |
| c20 | | Phil Scott, Jacques D. Fleuriot: A Combinator Language for Theorem Discovery. AISC/MKM/Calculemus 2012: 371-385 |
| c19 | | Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson: Diagrammatically-Driven Formal Verification of Web-Services Composition. Diagrams 2012: 241-255 |
| 2011 | ||
| c18 | | Petros Papapanagiotou, Jacques D. Fleuriot: Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus. ECOWS 2011: 31-38 |
| c17 | | Phil Scott, Jacques D. Fleuriot: Composable Discovery Engines for Interactive Theorem Proving. ITP 2011: 370-375 |
| c16 | | Petros Papapanagiotou, Jacques D. Fleuriot: A theorem proving framework for the formal verification of Web Services Composition. WWV 2011: 1-16 |
| 2010 | ||
| j4 | | Sean Wilson, Jacques D. Fleuriot, Alan Smaill: Automation for Dependently Typed Functional Programming. Fundam. Inform. 102(2): 209-228 (2010) |
| c15 | | Jacques D. Fleuriot: Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. Automated Deduction in Geometry 2010: 34-50 |
| c14 | | Phil Scott, Jacques D. Fleuriot: An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. Automated Deduction in Geometry 2010: 182-200 |
| c13 | | Petros Papapanagiotou, Jacques D. Fleuriot: An Isabelle-Like Procedural Mode for HOL Light. LPAR (Yogyakarta) 2010: 565-580 |
| 2008 | ||
| c12 | | Laura I. Meikle, Jacques D. Fleuriot: Combining Isabelle and QEPCAD-B in the Prover's Palette. AISC/MKM/Calculemus 2008: 315-330 |
| c11 | | Laura I. Meikle, Jacques D. Fleuriot: Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. CAV 2008: 309-313 |
| 2006 | ||
| j3 | | 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) |
| j2 | | Lucas Dixon, Jacques D. Fleuriot: A proof-centric approach to mathematical assistants. J. Applied Logic 4(4): 505-532 (2006) |
| 2004 | ||
| c10 | | Laura I. Meikle, Jacques D. Fleuriot: Mechanical Theorem Proving in Computational Geometry. Automated Deduction in Geometry 2004: 1-18 |
| c9 | | |
| 2003 | ||
| c8 | | Lucas Dixon, Jacques D. Fleuriot: IsaPlanner: A Prototype Proof Planner in Isabelle. CADE 2003: 279-283 |
| c7 | | Laura I. Meikle, Jacques D. Fleuriot: Formalizing Hilbert's Grundlagen in Isabelle/Isar. TPHOLs 2003: 319-334 |
| 2002 | ||
| c6 | | |
| c5 | | |
| 2001 | ||
| j1 | | Jacques D. Fleuriot: Theorem Proving in Infinitesimal Geometry. Logic Journal of the IGPL 9(3): 447-474 (2001) |
| 2000 | ||
| c4 | | |
| c3 | | |
| 1998 | ||
| c2 | | Jacques D. Fleuriot, Lawrence C. Paulson: Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. Automated Deduction in Geometry 1998: 47-66 |
| c1 | | Jacques D. Fleuriot, Lawrence C. Paulson: A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia. CADE 1998: 3-16 |
| 1 | Alan Bundy | |
| 2 | Lucas Dixon | |
| 3 | Jeremy Gow | |
| 4 | Ewen Maclean | |
| 5 | Laura I. Meikle | |
| 6 | Petros Papapanagiotou | |
| 7 | Lawrence C. Paulson | |
| 8 | Phil Scott | |
| 9 | Alan Smaill | |
| 10 | Sean Wilson |
Data released under the ODC-BY 1.0 license — See also our legal information page