![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jacques D. Fleuriot
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j17]Richard Schmoetten, Jacques D. Fleuriot:
Lie Groups and Algebras. Arch. Formal Proofs 2024 (2024) - [j16]Filip Smola, Jacques D. Fleuriot
:
Linear Resources in Isabelle/HOL. J. Autom. Reason. 68(2): 9 (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) - 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) - 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) - 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) - 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) - 2014
- [j5]Petros Papapanagiotou
, Jacques D. Fleuriot
:
Formal verification of collaboration patterns in healthcare. Behav. Inf. Technol. 33(12): 1278-1293 (2014) - 2010
- [j4]Sean Wilson, Jacques D. Fleuriot
, Alan Smaill:
Automation for Dependently Typed Functional Programming. Fundam. Informaticae 102(2): 209-228 (2010) - 2006
- [j3]Lucas Dixon, Jacques D. Fleuriot
:
A proof-centric approach to mathematical assistants. J. Appl. Log. 4(4): 505-532 (2006) - 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)
Conference and Workshop Papers
- 2024
- [c39]Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot:
Alignment-based conformance checking over probabilistic events. HICSS 2024: 5982-5991 - 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 - 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 - 2020
- [c33]Petros Papapanagiotou, Jacques D. Fleuriot
:
Object-Level Reasoning with Logics Encoded in HOL Light. LFMTP 2020: 18-34 - 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 - 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 - 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 - 2015
- [c26]Steven Obua, Jacques D. Fleuriot
, Phil Scott, David Aspinall:
Type Inference for ZFH. CICM 2015: 87-101 - 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 - 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
- [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 - 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 - 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 - 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 - 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
Editorship
- 2018
- [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] - 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]
Informal and Other Publications
- 2024
- [i17]Richard Schmoetten, Jacques D. Fleuriot:
A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL. CoRR abs/2407.19211 (2024) - 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
- [i14]Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
:
Constrained Training of Neural Networks via Theorem Proving. CoRR abs/2207.03880 (2022) - 2021
- [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) - 2019
- [i8]Phil Scott, Jacques D. Fleuriot:
Where are the Natural Numbers in Hilbert's Foundations of Geometry? CoRR abs/1911.07057 (2019) - 2018
- [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
- [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
- [i2]Jacques D. Fleuriot, Steven Obua, Phil Scott:
Social Network Processes in the Isabelle and Coq Theorem Proving Communities. CoRR abs/1609.07127 (2016) - 2014
- [i1]Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall:
ProofPeer: Collaborative Theorem Proving. CoRR abs/1404.6186 (2014)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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 2024-08-27 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint