Jacques D. Fleuriot

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 41

Top Topics

Theorem Proving

Survival Prediction

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot
Alignment-based conformance checking over probabilistic events. HICSS (2024)
Richard Schmoetten, Jacques D. Fleuriot
A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL. CoRR (2024)
Richard Schmoetten, Jacques D. Fleuriot
Lie Groups and Algebras. Arch. Formal Proofs 2024 (2024)
Filip Smola, Jacques D. Fleuriot
Linear Resources in Isabelle/HOL. J. Autom. Reason. 68 (2) (2024)
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. 67 (1) (2023)
Colleen E. Charlton, Michael Tin Chung Poon, Paul M. Brennan, Jacques D. Fleuriot
Development of prediction models for one-year brain tumour survival using machine learning: a comparison of accuracy and interpretability. Comput. Methods Programs Biomed. 233 (2023)
Lauren Nicole Delong, Ramon Fernández Mir, Zonglin Ji, Fiona Niamh Coulter Smith, Jacques D. Fleuriot
Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs. CoRR (2023)
Lauren Nicole Delong, Ramon Fernández Mir, Matthew Whyte, Zonglin Ji, Jacques D. Fleuriot
Neurosymbolic AI for Reasoning on Graph Structures: A Survey. CoRR (2023)
Carlin MacKenzie, Fabian Huch, James Vaughan, Jacques D. Fleuriot
Re-imagining the Isabelle Archive of Formal Proofs. CICM (2022)
Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
Constrained Training of Neural Networks via Theorem Proving. CoRR (2022)
Jacques D. Fleuriot, Lawrence C. Paulson
Constructing the Reals as Dedekind Cuts of Rationals. Arch. Formal Proofs 2022 (2022)
Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
Constrained Training of Neural Networks via Theorem Proving. OVERLAY@AI*IA (2022)
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. CoRR (2022)
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. 66 (4) (2022)
Valerio Restocchi, Jorge Gaete-Villegas, Jacques D. Fleuriot
Multimorbidity profiles and stochastic block modeling improve ICU patient clustering. CCGRID (2022)
Carlin MacKenzie, Jacques D. Fleuriot, James Vaughan
An Evaluation of the Archive of Formal Proofs. CoRR (2021)
Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques D. Fleuriot
A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows. HICSS (2021)
Rui Zhao, Malcolm Atkinson, Petros Papapanagiotou, Federica Magnoni, Jacques D. Fleuriot
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way. CoRR (2021)
Filip Smola, Jacques D. Fleuriot
Hyperdual Numbers and Forward Differentiation. Arch. Formal Proofs 2021 (2021)
Colleen E. Charlton, Michael Tin Chung Poon, Paul M. Brennan, Jacques D. Fleuriot
Interpretable Machine Learning Classifiers for Brain Tumour Survival Prediction. CoRR (2021)
Mark Chevallier, Jacques D. Fleuriot
Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL. CoRR (2021)
Rui Zhao, Malcolm Atkinson, Petros Papapanagiotou, Federica Magnoni, Jacques D. Fleuriot
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way. Proc. ACM Hum. Comput. Interact. 5 (CSCW2) (2021)
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Schutz' Independent Axioms for Minkowski Spacetime. Arch. Formal Proofs 2021 (2021)
Jacques D. Fleuriot
Real Exponents as the Limits of Sequences of Rational Exponents. Arch. Formal Proofs 2021 (2021)
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. CoRR (2021)
Petros Papapanagiotou, Jacques D. Fleuriot
Object-Level Reasoning with Logics Encoded in HOL Light. LFMTP (2020)
Phil Scott, Jacques D. Fleuriot
Where are the Natural Numbers in Hilbert's Foundations of Geometry? CoRR (2019)
Petros Papapanagiotou, Jacques D. Fleuriot
Correct-by-construction Process Composition Using Classical Linear Logic Inference. CoRR (2018)
Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot
Machine Learning for Inductive Theorem Proving. AISC (2018)
Petros Papapanagiotou, Jacques D. Fleuriot
The Boyer-Moore Waterfall Model Revisited. CoRR (2018)
Petros Papapanagiotou, Jacques D. Fleuriot
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. LOPSTR (2018)
Phil Scott, Steven Obua, Jacques D. Fleuriot
Bootstrapping LCF Declarative Proofs. CoRR (2017)
Cristina Adriana Alexandru, Daniel Clutterbuck, Petros Papapanagiotou, Jacques D. Fleuriot, Areti Manataki
A Step Towards the Standardisation of HIV Care Practices. HEALTHINF (2017)
Steven Obua, Phil Scott, Jacques D. Fleuriot
Local Lexing. CoRR (2017)
Phil Scott, Steven Obua, Jacques D. Fleuriot
Compiling Purely Functional Structured Programs. CoRR (2017)
Petros Papapanagiotou, Jacques D. Fleuriot
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition. CADE (2017)
Areti Manataki, Jacques D. Fleuriot, Petros Papapanagiotou
A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers. IEEE J. Biomed. Health Informatics 21 (4) (2017)
Jacques D. Fleuriot, Steven Obua, Phil Scott
Social Network Processes in the Isabelle and Coq Theorem Proving Communities. CoRR (2016)
Steven Obua, Phil Scott, Jacques D. Fleuriot
ProofScript: Proof Scripting for the Masses. ICTAC (2016)
Phil Scott, Jacques D. Fleuriot
Compass-free Navigation of Mazes. SCSS (2016)
Jacques D. Fleuriot, Tetsuo Ida
Preface to the special issue on geometric reasoning. Ann. Math. Artif. Intell. 77 (1-2) (2016)
Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall
Type Inference for ZFH. CICM (2015)
Petros Papapanagiotou, Jacques D. Fleuriot
Modelling and Implementation of Correct by Construction Healthcare Workflows. Business Process Management Workshops (2014)
Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall
ProofPeer: Collaborative Theorem Proving. CoRR (2014)
Petros Papapanagiotou, Jacques D. Fleuriot
Formal verification of collaboration patterns in healthcare. Behav. Inf. Technol. 33 (12) (2014)
Areti Manataki, Jacques D. Fleuriot, Petros Papapanagiotou
Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers. CBMS (2014)
Petros Papapanagiotou, Jacques D. Fleuriot, Adela Grando
Rigorous process-based modelling of patterns for collaborative work in healthcare teams. CBMS (2012)
Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson
Diagrammatically-Driven Formal Verification of Web-Services Composition. Diagrams (2012)
Phil Scott, Jacques D. Fleuriot
A Combinator Language for Theorem Discovery. AISC/MKM/Calculemus (2012)
Laura I. Meikle, Jacques D. Fleuriot
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. Electron. Notes Theor. Comput. Sci. 285 (2012)
Phil Scott, Jacques D. Fleuriot
Composable Discovery Engines for Interactive Theorem Proving. ITP (2011)
Petros Papapanagiotou, Jacques D. Fleuriot
A theorem proving framework for the formal verification of Web Services Composition WWV (2011)
Petros Papapanagiotou, Jacques D. Fleuriot
Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus. ECOWS (2011)
Laura I. Meikle, Jacques D. Fleuriot
Automation for Geometry in Isabelle/HOL. PAAR@IJCAR (2010)
Phil Scott, Jacques D. Fleuriot
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. Automated Deduction in Geometry (2010)
Jacques D. Fleuriot
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. Automated Deduction in Geometry (2010)
Petros Papapanagiotou, Jacques D. Fleuriot
An Isabelle-Like Procedural Mode for HOL Light. LPAR (Yogyakarta) (2010)
Sean Wilson, Jacques D. Fleuriot, Alan Smaill
Automation for Dependently Typed Functional Programming. Fundam. Informaticae 102 (2) (2010)
Laura I. Meikle, Jacques D. Fleuriot
Combining Isabelle and QEPCAD-B in the Prover's Palette. AISC/MKM/Calculemus (2008)
Laura I. Meikle, Jacques D. Fleuriot
Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. CAV (2008)
Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
Constructing Induction Rules for Deductive Synthesis Proofs. Electron. Notes Theor. Comput. Sci. 153 (1) (2006)
Lucas Dixon, Jacques D. Fleuriot
A proof-centric approach to mathematical assistants. J. Appl. Log. 4 (4) (2006)
Lucas Dixon, Jacques D. Fleuriot
Higher Order Rippling in IsaPlanner. TPHOLs (2004)
Laura I. Meikle, Jacques D. Fleuriot
Mechanical Theorem Proving in Computational Geometry. Automated Deduction in Geometry (2004)
Lucas Dixon, Jacques D. Fleuriot
IsaPlanner: A Prototype Proof Planner in Isabelle. CADE (2003)
Laura I. Meikle, Jacques D. Fleuriot
Formalizing Hilbert's Grundlagen in Isabelle/Isar. TPHOLs (2003)
Ewen Maclean, Jacques D. Fleuriot, Alan Smaill
Proof planning Non-standard Analysis. AI&M (2002)
Jacques D. Fleuriot
Theorem Proving in Infinitesimal Geometry. Log. J. IGPL 9 (3) (2001)
Jacques D. Fleuriot
On the Mechanization of Real Analysis in Isabelle/HOL. TPHOLs (2000)
Jacques D. Fleuriot
Nonstandard Geometric Proofs. Automated Deduction in Geometry (2000)
Jacques D. Fleuriot, Lawrence C. Paulson
Mechanizing Nonstandard Real Analysis. LMS J. Comput. Math. 3 (2000)
Jacques D. Fleuriot, Lawrence C. Paulson
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. Automated Deduction in Geometry (1998)
Jacques D. Fleuriot, Lawrence C. Paulson
A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia. CADE (1998)