Jacques D. Fleuriot
Orcid: 0000-0002-6867-9836
According to our database1,
Jacques D. Fleuriot
authored at least 71 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on inf.ed.ac.uk
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 57th Hawaii International Conference on System Sciences, 2024
2023
Development of prediction models for one-year brain tumour survival using machine learning: a comparison of accuracy and interpretability.
Comput. Methods Programs Biomed., May, 2023
Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL.
J. Autom. Reason., March, 2023
2022
J. Autom. Reason., 2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
Multimorbidity profiles and stochastic block modeling improve ICU patient clustering.
Proceedings of the 22nd IEEE International Symposium on Cluster, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
2021
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way.
Proc. ACM Hum. Comput. Interact., 2021
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems.
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
CoRR, 2021
CoRR, 2021
Arch. Formal Proofs, 2021
A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows.
Proceedings of the 54th Hawaii International Conference on System Sciences, 2021
2020
Proceedings of the Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2020
2019
2018
CoRR, 2018
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
2017
A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers.
IEEE J. Biomed. Health Informatics, 2017
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition.
Proceedings of the Automated Deduction - CADE 26, 2017
Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017
2016
CoRR, 2016
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016
2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
2014
Behav. Inf. Technol., 2014
Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014
Proceedings of the Business Process Management Workshops, 2014
2012
Proceedings of the Diagrammatic Representation and Inference, 2012
Rigorous process-based modelling of patterns for collaborative work in healthcare teams.
Proceedings of CBMS 2012, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011
Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus.
Proceedings of the 9th IEEE European Conference on Web Services, 2011
2010
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette.
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time.
Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010
Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010
2008
Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2006
2005
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005
2004
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004
Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004
2003
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003
2002
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002
2001
2000
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000
Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000
1998
A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia.
Proceedings of the Automated Deduction, 1998
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle.
Proceedings of the Automated Deduction in Geometry, 1998