A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows. - Petros Papapanagiotou; James Vaughan; Filip Smola; Jacques D. Fleuriot (HICSS, 2021)

Hyperdual Numbers and Forward Differentiation. - Filip Smola; Jacques D. Fleuriot (Arch. Formal Proofs, 2021)

Verifying Properties of Activities of Daily Living. - Ricardo Contreras; Filip Smola; Jiawei Zheng; Jane Hillston; Jacques D. Fleuriot (DataMod, 2024)

Deep Embedding of Intuitionistic Linear Logic. - Filip Smola; Jacques D. Fleuriot (Arch. Formal Proofs, 2024)

Linear Resources and Process Compositions. - Filip Smola; Jacques D. Fleuriot (Arch. Formal Proofs, 2024)

Linear Resources in Isabelle/HOL. - Filip Smola; Jacques D. Fleuriot (J. Autom. Reason., 2024)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces. - Mark Chevallier; Filip Smola; Richard Schmoetten; Jacques D. Fleuriot (CoRR, 2025)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes. - Ricardo Contreras; Filip Smola; Nusa Faric; Jiawei Zheng; Jane Hillston; Jacques D. Fleuriot (CoRR, 2025)

GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning. - Mark Chevallier; Filip Smola; Richard Schmoetten; Jacques D. Fleuriot (CoRR, 2025)