Filip Smola

List of my publications, starting from the most recent:

September 10, 2026British Journal of Anaesthesia

Multimorbidity in patients undergoing day surgery: a retrospective cohort study

Tracy, A. and Cafferkey, J. and Smola, F. and Masterson, J. and Fleuriot, J. and Anand, A. and Guthrie, B. and Lone, N.
August 22, 2026Scientific Reports

Integrated technologies of care: proof-of-concept study on an integrated physiological and activity monitoring system to enhance independence and care

Contreras, R. and Saied, I. and Long-fei, C. and Yang, F. and Farič, N. and Smola, F. and Alzaabi, A. and Anwar, U. and Mitra, S. and Ramamoorthy, S. and Arslan, T. and Hillston, J. and Fleuriot, J.D.
July 25, 2026LogicNN 2024

IsaGrad: Verified Automatic Differentiation over Computational Graphs in Imperative HOL

Hyman, A.R. and Smola, F. and Chevallier, M. and Fleuriot, J.D.
November 27, 2025IEEE Sensors

A Personalized Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes

Contreras, R. and Smola, F. and Farič, N. and Zheng, J. and Hillston, J. and Fleuriot, J.D.
October 13, 2025TIME 2025

GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning

Chevallier, M. and Smola, F. and Schmoetten, R. and Fleuriot, J.D.
September 23, 2025JMIR Human Factors

Early experiences and views of older adults living with sensing technology at home: A qualitative study

Farič, N. and Contreras, R. and Chen, L. and Saied, I. and Smola, F. and Hillston, J. and Wilkinson, H. and Lewis, S. and Fleuriot, J.D.
July 15, 2025Edinburgh Research Archive

Formalised approach to the composition of processes over linear resources

Smola, F.
November 25, 2024Archive of Formal Proofs

Linear Resources and Process Compositions

Smola, F. and Fleuriot, J.D.
November 25, 2024Archive of Formal Proofs

Deep Embedding of Intuitionistic Linear Logic

Smola, F. and Fleuriot, J.D.
May 18, 2024Journal of Automated Reasoning

Linear Resources in Isabelle/HOL

Smola, F. and Fleuriot, J.D.
April 19, 2024DataMod 2024

Verifying Properties of Activities of Daily Living

Contreras, R. and Smola, F. and Zheng, J. and Hillston, J. and Fleuriot, J.D.
December 31, 2021Archive of Formal Proofs

Hyperdual Numbers and Forward Differentiation

Smola, F. and Fleuriot, J.D.
January 05, 2021HICSS 2021

A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows

Papapanagiotou, P. and Vaughan, J. and Smola, F. and Fleuriot, J.D.