Jacques D. Fleuriot

92 papers A* 1A 3B 4C 6Misc 2Journal 47Unranked 27

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes. CoRR Ricardo Contreras, Filip Smola, Nusa Faric, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot
2025	J	`jnl`	APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries. CoRR Huajian Xin, Luming Li, Xiaoran Jin, Jacques D. Fleuriot, Wenda Li
2025	J	`jnl`	Comparing Care Pathways Between COVID-19 Pandemic Waves Using Electronic Health Records: A Process Mining Case Study. J. Heal. Informatics Res. Konstantin Georgiev, Jacques D. Fleuriot, Petros Papapanagiotou, Joanne McPeake, Susan D. Shenkin, Atul Anand
2025	J	`jnl`	Constructing the Lie Algebra of Smooth Vector Fields on a Lie Group in Isabelle/HOL. J. Autom. Reason. Richard Schmoetten, Jacques D. Fleuriot
2025	—	`conf`	Evaluating Personalised Beneficial Interventions in the Daily Lives of Older Adults Using a Camera. AIiH (2) Longfei Chen, Chris Lochhead, Robert B. Fisher, Nusa Faric, Jacques D. Fleuriot, Subramanian Ramamoorthy
2025	J	`jnl`	Evaluating Personalized Beneficial Interventions in the Daily Lives of Older Adults Using a Camera. CoRR Longfei Chen, Chris Lochhead, Robert B. Fisher, Nusa Faric, Jacques D. Fleuriot, Subramanian Ramamoorthy
2025	J	`jnl`	Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces. CoRR Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot
2025	C	`conf`	GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning. TIME Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot
2025	J	`jnl`	GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning. CoRR Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot
2025	J	`jnl`	Machine learning-based predictions of healthcare contacts following emergency hospitalisation using electronic health records. npj Digit. Medicine Konstantin Georgiev, Dimitrios Doudesis, Joanne McPeake, Nicholas L. Mills, Susan D. Shenkin, Jacques D. Fleuriot, Atul Anand
2025	J	`jnl`	Neurosymbolic AI for Reasoning Over Knowledge Graphs: A Survey. IEEE Trans. Neural Networks Learn. Syst. Lauren Nicole Delong, Ramon Fernández Mir, Jacques D. Fleuriot
2024	J	`jnl`	A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL. CoRR Richard Schmoetten, Jacques D. Fleuriot
2024	—	`conf`	Alignment-based conformance checking over probabilistic events. HICSS Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot
2024	J	`jnl`	Deep Embedding of Intuitionistic Linear Logic. Arch. Formal Proofs Filip Smola, Jacques D. Fleuriot
2024	J	`jnl`	Lie Groups and Algebras. Arch. Formal Proofs Richard Schmoetten, Jacques D. Fleuriot
2024	J	`jnl`	Linear Resources and Process Compositions. Arch. Formal Proofs Filip Smola, Jacques D. Fleuriot
2024	J	`jnl`	Linear Resources in Isabelle/HOL. J. Autom. Reason. Filip Smola, Jacques D. Fleuriot
2024	J	`jnl`	MARS: A neurosymbolic approach for interpretable drug discovery. CoRR Lauren Nicole Delong, Yojana Gadiya, Paola Galdi, Jacques D. Fleuriot, Daniel Domingo-Fernández
2024	J	`jnl`	Process-aware Human Activity Recognition. CoRR Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot, Jane Hillston
2024	—	`conf`	Verifying Properties of Activities of Daily Living. DataMod Ricardo Contreras, Filip Smola, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot
2023	J	`jnl`	Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
2023	J	`jnl`	Development of prediction models for one-year brain tumour survival using machine learning: a comparison of accuracy and interpretability. Comput. Methods Programs Biomed. Colleen E. Charlton, Michael Tin Chung Poon, Paul M. Brennan, Jacques D. Fleuriot
2023	J	`jnl`	Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs. CoRR Lauren Nicole Delong, Ramon Fernández Mir, Zonglin Ji, Fiona Niamh Coulter Smith, Jacques D. Fleuriot
2023	J	`jnl`	Neurosymbolic AI for Reasoning on Graph Structures: A Survey. CoRR Lauren Nicole Delong, Ramon Fernández Mir, Matthew Whyte, Zonglin Ji, Jacques D. Fleuriot
2022	—	`conf`	Constrained Training of Neural Networks via Theorem Proving. OVERLAY@AI*IA Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
2022	J	`jnl`	Constrained Training of Neural Networks via Theorem Proving. CoRR Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
2022	J	`jnl`	Constructing the Reals as Dedekind Cuts of Rationals. Arch. Formal Proofs Jacques D. Fleuriot, Lawrence C. Paulson
2022	B	`conf`	Multimorbidity profiles and stochastic block modeling improve ICU patient clustering. CCGRID Valerio Restocchi, Jorge Gaete-Villegas, Jacques D. Fleuriot
2022	C	`conf`	Re-imagining the Isabelle Archive of Formal Proofs. CICM Carlin MacKenzie, Fabian Huch, James Vaughan, Jacques D. Fleuriot
2022	J	`jnl`	Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
2021	—	`conf`	A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows. HICSS Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques D. Fleuriot
2021	J	`jnl`	An Evaluation of the Archive of Formal Proofs. CoRR Carlin MacKenzie, Jacques D. Fleuriot, James Vaughan
2021	J	`jnl`	Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way. CoRR Rui Zhao, Malcolm P. Atkinson, Petros Papapanagiotou, Federica Magnoni, Jacques D. Fleuriot
2021	J	`jnl`	Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way. Proc. ACM Hum. Comput. Interact. Rui Zhao, Malcolm P. Atkinson, Petros Papapanagiotou, Federica Magnoni, Jacques D. Fleuriot
2021	—	`conf`	Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. ADG Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
2021	J	`jnl`	Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL. CoRR Mark Chevallier, Jacques D. Fleuriot
2021	J	`jnl`	Hyperdual Numbers and Forward Differentiation. Arch. Formal Proofs Filip Smola, Jacques D. Fleuriot
2021	J	`jnl`	Interpretable Machine Learning Classifiers for Brain Tumour Survival Prediction. CoRR Colleen E. Charlton, Michael Tin Chung Poon, Paul M. Brennan, Jacques D. Fleuriot
2021	J	`jnl`	Real Exponents as the Limits of Sequences of Rational Exponents. Arch. Formal Proofs Jacques D. Fleuriot
2021	J	`jnl`	Schutz' Independent Axioms for Minkowski Spacetime. Arch. Formal Proofs Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
2021	J	`jnl`	Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. CoRR Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
2020	—	`conf`	Object-Level Reasoning with Logics Encoded in HOL Light. LFMTP Petros Papapanagiotou, Jacques D. Fleuriot
2019	J	`jnl`	Where are the Natural Numbers in Hilbert's Foundations of Geometry? CoRR Phil Scott, Jacques D. Fleuriot
2018	C	`conf`	A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. LOPSTR Petros Papapanagiotou, Jacques D. Fleuriot
2018	Misc	`ed.`	Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings AISC Jacques D. Fleuriot, Dongming Wang, Jacques Calmet
2018	J	`jnl`	Correct-by-construction Process Composition Using Classical Linear Logic Inference. CoRR Petros Papapanagiotou, Jacques D. Fleuriot
2018	Misc	`conf`	Machine Learning for Inductive Theorem Proving. AISC Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot
2018	J	`jnl`	The Boyer-Moore Waterfall Model Revisited. CoRR Petros Papapanagiotou, Jacques D. Fleuriot
2017	—	`conf`	A Step Towards the Standardisation of HIV Care Practices. HEALTHINF Cristina Adriana Alexandru, Daniel Clutterbuck, Petros Papapanagiotou, Jacques D. Fleuriot, Areti Manataki
2017	J	`jnl`	A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers. IEEE J. Biomed. Health Informatics Areti Manataki, Jacques D. Fleuriot, Petros Papapanagiotou
2017	J	`jnl`	Bootstrapping LCF Declarative Proofs. CoRR Phil Scott, Steven Obua, Jacques D. Fleuriot
2017	J	`jnl`	Compiling Purely Functional Structured Programs. CoRR Phil Scott, Steven Obua, Jacques D. Fleuriot
2017	J	`jnl`	Local Lexing. CoRR Steven Obua, Phil Scott, Jacques D. Fleuriot
2017	A	`conf`	WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition. CADE Petros Papapanagiotou, Jacques D. Fleuriot
2016	—	`conf`	Compass-free Navigation of Mazes. SCSS Phil Scott, Jacques D. Fleuriot
2016	J	`jnl`	Preface to the special issue on geometric reasoning. Ann. Math. Artif. Intell. Jacques D. Fleuriot, Tetsuo Ida
2016	C	`conf`	ProofScript: Proof Scripting for the Masses. ICTAC Steven Obua, Phil Scott, Jacques D. Fleuriot
2016	J	`jnl`	Social Network Processes in the Isabelle and Coq Theorem Proving Communities. CoRR Jacques D. Fleuriot, Steven Obua, Phil Scott
2015	C	`conf`	Type Inference for ZFH. CICM Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall
2014	J	`jnl`	Formal verification of collaboration patterns in healthcare. Behav. Inf. Technol. Petros Papapanagiotou, Jacques D. Fleuriot
2014	—	`conf`	Modelling and Implementation of Correct by Construction Healthcare Workflows. Business Process Management Workshops Petros Papapanagiotou, Jacques D. Fleuriot
2014	J	`jnl`	ProofPeer: Collaborative Theorem Proving. CoRR Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall
2014	B	`conf`	Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers. CBMS Areti Manataki, Jacques D. Fleuriot, Petros Papapanagiotou
2013	—	`ed.`	ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012 ATx/WInG@IJCAR Jacques D. Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill
2013	—	`ed.`	Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers Automated Deduction in Geometry Tetsuo Ida, Jacques D. Fleuriot
2012	—	`conf`	A Combinator Language for Theorem Discovery. AISC/MKM/Calculemus Phil Scott, Jacques D. Fleuriot
2012	C	`conf`	Diagrammatically-Driven Formal Verification of Web-Services Composition. Diagrams Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson
2012	B	`conf`	Rigorous process-based modelling of patterns for collaborative work in healthcare teams. CBMS Petros Papapanagiotou, Jacques D. Fleuriot, Adela Grando
2011	—	`conf`	A theorem proving framework for the formal verification of Web Services Composition WWV Petros Papapanagiotou, Jacques D. Fleuriot
2011	B	`conf`	Composable Discovery Engines for Interactive Theorem Proving. ITP Phil Scott, Jacques D. Fleuriot
2011	—	`conf`	Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus. ECOWS Petros Papapanagiotou, Jacques D. Fleuriot
2010	—	`conf`	An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. Automated Deduction in Geometry Phil Scott, Jacques D. Fleuriot
2010	—	`conf`	An Isabelle-Like Procedural Mode for HOL Light. LPAR (Yogyakarta) Petros Papapanagiotou, Jacques D. Fleuriot
2010	J	`jnl`	Automation for Dependently Typed Functional Programming. Fundam. Informaticae Sean Wilson, Jacques D. Fleuriot, Alan Smaill
2010	—	`conf`	Automation for Geometry in Isabelle/HOL. PAAR@IJCAR Laura I. Meikle, Jacques D. Fleuriot
2010	—	`conf`	Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. Automated Deduction in Geometry Jacques D. Fleuriot
2010	—	`conf`	Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. UITP Laura I. Meikle, Jacques D. Fleuriot
2008	—	`conf`	Combining Isabelle and QEPCAD-B in the Prover's Palette. AISC/MKM/Calculemus Laura I. Meikle, Jacques D. Fleuriot
2008	A*	`conf`	Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. CAV Laura I. Meikle, Jacques D. Fleuriot
2006	J	`jnl`	A proof-centric approach to mathematical assistants. J. Appl. Log. Lucas Dixon, Jacques D. Fleuriot
2005	—	`conf`	Constructing Induction Rules for Deductive Synthesis Proofs. CLASE Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
2004	—	`conf`	Higher Order Rippling in IsaPlanner. TPHOLs Lucas Dixon, Jacques D. Fleuriot
2004	—	`conf`	Mechanical Theorem Proving in Computational Geometry. Automated Deduction in Geometry Laura I. Meikle, Jacques D. Fleuriot
2003	—	`conf`	Formalizing Hilbert's Grundlagen in Isabelle/Isar. TPHOLs Laura I. Meikle, Jacques D. Fleuriot
2003	A	`conf`	IsaPlanner: A Prototype Proof Planner in Isabelle. CADE Lucas Dixon, Jacques D. Fleuriot
2002	—	`conf`	Proof planning Non-standard Analysis. AI&M Ewen Maclean, Jacques D. Fleuriot, Alan Smaill
2001	J	`jnl`	Theorem Proving in Infinitesimal Geometry. Log. J. IGPL Jacques D. Fleuriot
2000	J	`jnl`	Mechanizing Nonstandard Real Analysis. LMS J. Comput. Math. Jacques D. Fleuriot, Lawrence C. Paulson
2000	—	`conf`	Nonstandard Geometric Proofs. Automated Deduction in Geometry Jacques D. Fleuriot
2000	—	`conf`	On the Mechanization of Real Analysis in Isabelle/HOL. TPHOLs Jacques D. Fleuriot
1998	A	`conf`	A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia. CADE Jacques D. Fleuriot, Lawrence C. Paulson
1998	—	`conf`	Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. Automated Deduction in Geometry Jacques D. Fleuriot, Lawrence C. Paulson