Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jacques D. Fleuriot" ( http://dblp.L3S.de/Authors/Jacques_D._Fleuriot )

  Author page on DBLP  Author page in RDF  Community of Jacques D. Fleuriot in ASPL-2

Publication years (Num. hits)
1998-2008 (15) 2010-2011 (7)
Publication types (Num. hits)
article(4) inproceedings(18)
Venues (Conferences, Journals, ...)
Automated Deduction in Geometr...(5) TPHOLs(3) CADE(2) AISC/MKM/Calculemus(1) AMAI(1) CAV(1) ECOWS(1) Electr. Notes Theor. Comput. S...(1) Fundam. Inform.(1) ISAIM(1) ITP(1) J. Applied Logic(1) Logic Journal of the IGPL(1) LPAR (Yogyakarta)(1) WWV(1)
Authors
Jacques D. Fleuriot(22) Laura I. Meikle(4) Lucas Dixon(4) Alan Smaill(3) Petros Papapanagiotou(3) Ewen Maclean(2) Lawrence C. Paulson(2) Phil Scott(2) Alan Bundy(1) Jeremy Gow(1) Sean Wilson(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Petros Papapanagiotou, Jacques D. Fleuriot A theorem proving framework for the formal verification of Web Services Composition Search on Bibsonomy WWV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Petros Papapanagiotou, Jacques D. Fleuriot Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus. Search on Bibsonomy ECOWS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF proofs-as-processes, Web Services, formal verification, theorem proving, services composition
1Phil Scott, Jacques D. Fleuriot Composable Discovery Engines for Interactive Theorem Proving. Search on Bibsonomy ITP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sean Wilson, Jacques D. Fleuriot, Alan Smaill Automation for Dependently Typed Functional Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Petros Papapanagiotou, Jacques D. Fleuriot An Isabelle-Like Procedural Mode for HOL Light. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jacques D. Fleuriot Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Phil Scott, Jacques D. Fleuriot An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Laura I. Meikle, Jacques D. Fleuriot Combining Isabelle and QEPCAD-B in the Prover's Palette. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Laura I. Meikle, Jacques D. Fleuriot Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot Constructing Induction Rules for Deductive Synthesis Proofs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Lucas Dixon, Jacques D. Fleuriot A proof-centric approach to mathematical assistants. Search on Bibsonomy J. Applied Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Laura I. Meikle, Jacques D. Fleuriot Mechanical Theorem Proving in Computational Geometry. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Lucas Dixon, Jacques D. Fleuriot Higher Order Rippling in IsaPlanner. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Lucas Dixon, Jacques D. Fleuriot IsaPlanner: A Prototype Proof Planner in Isabelle. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Laura I. Meikle, Jacques D. Fleuriot Formalizing Hilbert's Grundlagen in Isabelle/Isar. Search on Bibsonomy TPHOLs The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ewen Maclean, Jacques D. Fleuriot, Alan Smaill Proof planning Non-standard Analysis. Search on Bibsonomy ISAIM The full citation details ... 2002 DBLP  BibTeX  RDF
1Ewen Maclean, Jacques D. Fleuriot, Alan Smaill Proof planning Non-standard Analysis. Search on Bibsonomy AMAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Jacques D. Fleuriot Theorem Proving in Infinitesimal Geometry. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jacques D. Fleuriot Nonstandard Geometric Proofs. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jacques D. Fleuriot On the Mechanization of Real Analysis in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jacques D. Fleuriot, Lawrence C. Paulson A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia. Search on Bibsonomy CADE The full citation details ... 1998 DBLP  BibTeX  RDF
1Jacques D. Fleuriot, Lawrence C. Paulson Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.