Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Jacques Fleuriot

A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers

scientific article published on 10 June 2016

Artificial Intelligence and Liver Transplant: Predicting Survival of Individual Grafts

scientific article published on 09 April 2020

Formal verification of collaboration patterns in healthcare

article

Formalizing Hilbert’s Grundlagen in Isabelle/Isar

Mechanizing Nonstandard Real Analysis

article published in 2000

Re-imagining the Isabelle Archive of Formal Proofs

Paulina is supported by:

About Paulina

Help