Jacques D. Fleuriot

	2011
22		Petros Papapanagiotou, Jacques D. Fleuriot: Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus. ECOWS 2011: 31-38
21		Phil Scott, Jacques D. Fleuriot: Composable Discovery Engines for Interactive Theorem Proving. ITP 2011: 370-375
20		Petros Papapanagiotou, Jacques D. Fleuriot: A theorem proving framework for the formal verification of Web Services Composition WWV 2011: 1-16
	2010
19		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
18		Jacques D. Fleuriot: Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. Automated Deduction in Geometry 2010: 34-50
17		Petros Papapanagiotou, Jacques D. Fleuriot: An Isabelle-Like Procedural Mode for HOL Light. LPAR (Yogyakarta) 2010: 565-580
16		Sean Wilson, Jacques D. Fleuriot, Alan Smaill: Automation for Dependently Typed Functional Programming. Fundam. Inform. 102(2): 209-228 (2010)
	2008
15		Laura I. Meikle, Jacques D. Fleuriot: Combining Isabelle and QEPCAD-B in the Prover's Palette. AISC/MKM/Calculemus 2008: 315-330
14		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
13		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)
12		Lucas Dixon, Jacques D. Fleuriot: A proof-centric approach to mathematical assistants. J. Applied Logic 4(4): 505-532 (2006)
	2004
11		Laura I. Meikle, Jacques D. Fleuriot: Mechanical Theorem Proving in Computational Geometry. Automated Deduction in Geometry 2004: 1-18
10		Lucas Dixon, Jacques D. Fleuriot: Higher Order Rippling in IsaPlanner. TPHOLs 2004: 83-98
	2003
9		Lucas Dixon, Jacques D. Fleuriot: IsaPlanner: A Prototype Proof Planner in Isabelle. CADE 2003: 279-283
8		Laura I. Meikle, Jacques D. Fleuriot: Formalizing Hilbert's Grundlagen in Isabelle/Isar. TPHOLs 2003: 319-334
	2002
7		Ewen Maclean, Jacques D. Fleuriot, Alan Smaill: Proof planning Non-standard Analysis. AMAI 2002
6		Ewen Maclean, Jacques D. Fleuriot, Alan Smaill: Proof planning Non-standard Analysis. ISAIM 2002
	2001
5		Jacques D. Fleuriot: Theorem Proving in Infinitesimal Geometry. Logic Journal of the IGPL 9(3): 447-474 (2001)
	2000
4		Jacques D. Fleuriot: Nonstandard Geometric Proofs. Automated Deduction in Geometry 2000: 246-267
3		Jacques D. Fleuriot: On the Mechanization of Real Analysis in Isabelle/HOL. TPHOLs 2000: 145-161
	1998
2		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
1		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

Coauthor Index

1	Alan Bundy	[13]
2	Lucas Dixon	[9] [10] [12] [13]
3	Jeremy Gow	[13]
4	Ewen Maclean	[6] [7]
5	Laura I. Meikle	[8] [11] [14] [15]
6	Petros Papapanagiotou	[17] [20] [22]
7	Lawrence C. Paulson	[1] [2]
8	Phil Scott	[19] [21]
9	Alan Smaill	[6] [7] [16]
10	Sean Wilson	[16]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page