default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJacques D. Fleuriot
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j20]Konstantin Georgiev
, Jacques D. Fleuriot, Petros Papapanagiotou, Joanne McPeake, Susan D. Shenkin, Atul Anand:
Comparing Care Pathways Between COVID-19 Pandemic Waves Using Electronic Health Records: A Process Mining Case Study. J. Heal. Informatics Res. 9(1): 41-66 (2025)- [i20]Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot:
Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces. CoRR abs/2501.13712 (2025) - 2024
- [j19]Richard Schmoetten, Jacques D. Fleuriot:
Lie Groups and Algebras. Arch. Formal Proofs 2024 (2024) - [j18]Filip Smola, Jacques D. Fleuriot:
Deep Embedding of Intuitionistic Linear Logic. Arch. Formal Proofs 2024 (2024) - [j17]Filip Smola, Jacques D. Fleuriot:
Linear Resources and Process Compositions. Arch. Formal Proofs 2024 (2024) - [j16]Filip Smola, Jacques D. Fleuriot:
Linear Resources in Isabelle/HOL. J. Autom. Reason. 68(2): 9 (2024) - [c39]Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot:
Alignment-based conformance checking over probabilistic events. HICSS 2024: 5982-5991 - [i19]Richard Schmoetten, Jacques D. Fleuriot:
A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL. CoRR abs/2407.19211 (2024) - [i18]Lauren Nicole Delong, Yojana Gadiya, Paola Galdi, Jacques D. Fleuriot, Daniel Domingo-Fernández:
MARS: A neurosymbolic approach for interpretable drug discovery. CoRR abs/2410.05289 (2024) - [i17]Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot, Jane Hillston:
Process-aware Human Activity Recognition. CoRR abs/2411.08814 (2024) - 2023
- [j15]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: 107482 (2023) - [j14]Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. 67(1): 9 (2023) - [i16]Lauren Nicole Delong, Ramon Fernández Mir, Matthew Whyte, Zonglin Ji, Jacques D. Fleuriot:
Neurosymbolic AI for Reasoning on Graph Structures: A Survey. CoRR abs/2302.07200 (2023) - [i15]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 abs/2307.08411 (2023) - 2022
- [j13]Jacques D. Fleuriot, Lawrence C. Paulson:
Constructing the Reals as Dedekind Cuts of Rationals. Arch. Formal Proofs 2022 (2022) - [j12]Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. 66(4): 953-988 (2022) - [c38]Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot:
Constrained Training of Neural Networks via Theorem Proving. OVERLAY@AI*IA 2022: 7-12 - [c37]Valerio Restocchi, Jorge Gaete-Villegas, Jacques D. Fleuriot:
Multimorbidity profiles and stochastic block modeling improve ICU patient clustering. CCGRID 2022: 925-932 - [c36]Carlin MacKenzie, Fabian Huch, James Vaughan, Jacques D. Fleuriot:
Re-imagining the Isabelle Archive of Formal Proofs. CICM 2022: 162-167 - [i14]Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot:
Constrained Training of Neural Networks via Theorem Proving. CoRR abs/2207.03880 (2022) - 2021
- [j11]Jacques D. Fleuriot:
Real Exponents as the Limits of Sequences of Rational Exponents. Arch. Formal Proofs 2021 (2021) - [j10]Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
Schutz' Independent Axioms for Minkowski Spacetime. Arch. Formal Proofs 2021 (2021) - [j9]Filip Smola, Jacques D. Fleuriot:
Hyperdual Numbers and Forward Differentiation. Arch. Formal Proofs 2021 (2021) - [j8]Rui Zhao, Malcolm P. 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): 460:1-460:43 (2021) - [c35]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: 1-10 - [c34]Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. ADG 2021: 116-128 - [i13]Carlin MacKenzie, Jacques D. Fleuriot, James Vaughan:
An Evaluation of the Archive of Formal Proofs. CoRR abs/2104.01052 (2021) - [i12]Colleen E. Charlton, Michael Tin Chung Poon, Paul M. Brennan, Jacques D. Fleuriot:
Interpretable Machine Learning Classifiers for Brain Tumour Survival Prediction. CoRR abs/2106.09424 (2021) - [i11]Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot:
Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. CoRR abs/2108.10868 (2021) - [i10]Rui Zhao, Malcolm P. Atkinson, Petros Papapanagiotou, Federica Magnoni, Jacques D. Fleuriot:
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way. CoRR abs/2110.01056 (2021) - [i9]Mark Chevallier, Jacques D. Fleuriot:
Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL. CoRR abs/2112.05996 (2021) - 2020
- [c33]Petros Papapanagiotou, Jacques D. Fleuriot:
Object-Level Reasoning with Logics Encoded in HOL Light. LFMTP 2020: 18-34
2010 – 2019
- 2019
- [i8]Phil Scott, Jacques D. Fleuriot:
Where are the Natural Numbers in Hilbert's Foundations of Geometry? CoRR abs/1911.07057 (2019) - 2018
- [c32]Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot:
Machine Learning for Inductive Theorem Proving. AISC 2018: 87-103 - [c31]Petros Papapanagiotou, Jacques D. Fleuriot:
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. LOPSTR 2018: 77-93 - [e3]Jacques D. Fleuriot, Dongming Wang, Jacques Calmet:
Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings. Lecture Notes in Computer Science 11110, Springer 2018, ISBN 978-3-319-99956-2 [contents] - [i7]Petros Papapanagiotou, Jacques D. Fleuriot:
The Boyer-Moore Waterfall Model Revisited. CoRR abs/1808.03810 (2018) - [i6]Petros Papapanagiotou, Jacques D. Fleuriot:
Correct-by-construction Process Composition Using Classical Linear Logic Inference. CoRR abs/1808.05490 (2018) - 2017
- [j7]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): 1156-1162 (2017) - [c30]Cristina Adriana Alexandru, Daniel Clutterbuck, Petros Papapanagiotou, Jacques D. Fleuriot, Areti Manataki:
A Step Towards the Standardisation of HIV Care Practices. HEALTHINF 2017: 457-462 - [c29]Petros Papapanagiotou, Jacques D. Fleuriot:
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition. CADE 2017: 357-370 - [i5]Steven Obua, Phil Scott, Jacques D. Fleuriot:
Local Lexing. CoRR abs/1702.03277 (2017) - [i4]Phil Scott, Steven Obua, Jacques D. Fleuriot:
Compiling Purely Functional Structured Programs. CoRR abs/1703.05227 (2017) - [i3]Phil Scott, Steven Obua, Jacques D. Fleuriot:
Bootstrapping LCF Declarative Proofs. CoRR abs/1703.05351 (2017) - 2016
- [j6]Jacques D. Fleuriot, Tetsuo Ida:
Preface to the special issue on geometric reasoning. Ann. Math. Artif. Intell. 77(1-2): 155-156 (2016) - [c28]Steven Obua, Phil Scott, Jacques D. Fleuriot:
ProofScript: Proof Scripting for the Masses. ICTAC 2016: 333-348 - [c27]Phil Scott, Jacques D. Fleuriot:
Compass-free Navigation of Mazes. SCSS 2016: 143-155 - [i2]Jacques D. Fleuriot, Steven Obua, Phil Scott:
Social Network Processes in the Isabelle and Coq Theorem Proving Communities. CoRR abs/1609.07127 (2016) - 2015
- [c26]Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall:
Type Inference for ZFH. CICM 2015: 87-101 - 2014
- [j5]Petros Papapanagiotou, Jacques D. Fleuriot:
Formal verification of collaboration patterns in healthcare. Behav. Inf. Technol. 33(12): 1278-1293 (2014) - [c25]Petros Papapanagiotou, Jacques D. Fleuriot:
Modelling and Implementation of Correct by Construction Healthcare Workflows. Business Process Management Workshops 2014: 28-39 - [c24]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: 257-262 - [i1]Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall:
ProofPeer: Collaborative Theorem Proving. CoRR abs/1404.6186 (2014) - 2013
- [e2]Tetsuo Ida, Jacques D. Fleuriot:
Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7993, Springer 2013, ISBN 978-3-642-40671-3 [contents] - [e1]Jacques D. Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012. EPiC Series in Computing 17, EasyChair 2013 [contents] - 2012
- [c23]Phil Scott, Jacques D. Fleuriot:
A Combinator Language for Theorem Discovery. AISC/MKM/Calculemus 2012: 371-385 - [c22]Petros Papapanagiotou, Jacques D. Fleuriot, Adela Grando:
Rigorous process-based modelling of patterns for collaborative work in healthcare teams. CBMS 2012: 1-6 - [c21]Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson:
Diagrammatically-Driven Formal Verification of Web-Services Composition. Diagrams 2012: 241-255 - 2011
- [c20]Petros Papapanagiotou, Jacques D. Fleuriot:
Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus. ECOWS 2011: 31-38 - [c19]Phil Scott, Jacques D. Fleuriot:
Composable Discovery Engines for Interactive Theorem Proving. ITP 2011: 370-375 - [c18]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. Informaticae 102(2): 209-228 (2010) - [c17]Jacques D. Fleuriot:
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. Automated Deduction in Geometry 2010: 34-50 - [c16]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 - [c15]Laura I. Meikle, Jacques D. Fleuriot:
Automation for Geometry in Isabelle/HOL. PAAR@IJCAR 2010: 84-94 - [c14]Petros Papapanagiotou, Jacques D. Fleuriot:
An Isabelle-Like Procedural Mode for HOL Light. LPAR (Yogyakarta) 2010: 565-580 - [c13]Laura I. Meikle, Jacques D. Fleuriot:
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. UITP 2010: 115-119
2000 – 2009
- 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]Lucas Dixon, Jacques D. Fleuriot:
A proof-centric approach to mathematical assistants. J. Appl. Log. 4(4): 505-532 (2006) - 2005
- [c10]Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot:
Constructing Induction Rules for Deductive Synthesis Proofs. CLASE 2005: 3-21 - 2004
- [c9]Laura I. Meikle, Jacques D. Fleuriot:
Mechanical Theorem Proving in Computational Geometry. Automated Deduction in Geometry 2004: 1-18 - [c8]Lucas Dixon, Jacques D. Fleuriot:
Higher Order Rippling in IsaPlanner. TPHOLs 2004: 83-98 - 2003
- [c7]Lucas Dixon, Jacques D. Fleuriot:
IsaPlanner: A Prototype Proof Planner in Isabelle. CADE 2003: 279-283 - [c6]Laura I. Meikle, Jacques D. Fleuriot:
Formalizing Hilbert's Grundlagen in Isabelle/Isar. TPHOLs 2003: 319-334 - 2002
- [c5]Ewen Maclean, Jacques D. Fleuriot, Alan Smaill:
Proof planning Non-standard Analysis. AI&M 2002 - 2001
- [j2]Jacques D. Fleuriot:
Theorem Proving in Infinitesimal Geometry. Log. J. IGPL 9(3): 447-474 (2001) - 2000
- [j1]Jacques D. Fleuriot, Lawrence C. Paulson:
Mechanizing Nonstandard Real Analysis. LMS J. Comput. Math. 3: 140-190 (2000) - [c4]Jacques D. Fleuriot:
Nonstandard Geometric Proofs. Automated Deduction in Geometry 2000: 246-267 - [c3]Jacques D. Fleuriot:
On the Mechanization of Real Analysis in Isabelle/HOL. TPHOLs 2000: 145-161
1990 – 1999
- 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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 01:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
