Travelled to:1 × Germany
2 × USA
Collaborated with:L.I.Meikle L.Dixon L.C.Paulson P.Papapanagiotou
Talks about:planner (2) isabell (2) nonstandard (1) principia (1) framework (1) workflow (1) prototyp (1) geometri (1) composit (1) approach (1)
Person: Jacques D. Fleuriot
DBLP: Fleuriot:Jacques_D=
Contributed to:
2008
200319982017Wrote 4 papers:
- CAV-2008-MeikleF #approach #proving #verification
- Prover’s Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B (LIM, JDF), pp. 309–313.
- CADE-2003-DixonF #named #prototype #proving #theorem proving
- IsaPlanner: A Prototype Proof Planner in Isabelle (LD, JDF), pp. 279–283.
- CADE-1998-FleuriotP #analysis #geometry #proving #standard #theorem proving
- A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton’s Principia (JDF, LCP), pp. 3–16.
- CADE-2017-PapapanagiotouF #composition #framework #named #process #specification #workflow
- WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition (PP, JDF), pp. 357–370.