Journal Papers

Smola, F. and Fleuriot, J.D.
Linear Resources in Isabelle/HOL
Journal of Automated Reasoning 68, 9 (2024)
DOI: 10.1007/s10817-024-09698-2

---

Conference Papers

Chevallier, M. and Smola, F. and Schmoetten, R. and Fleuriot, J.D.
GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
TIME (2025)
(Proceedings forthcoming)

Contreras, R. and Smola, F. and Zheng, J. and Hillston, J. and Fleuriot, J.
Verifying Properties of Activities of Daily Living
DataMod (2024)
DOI: 10.1007/978-3-031-87908-1_4

Papapanagiotou, P. and Vaughan, J. and Smola, F. and Fleuriot, J.D.
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)
DOI: 10.24251/HICSS.2021.122

---

Archive of Formal Proofs

Smola, F. and Fleuriot, J.D.:
Linear Resources and Process Compositions
AFP (2024) and GitHub

Smola, F. and Fleuriot, J.D.:
Deep Embedding of Intuitionistic Linear Logic
AFP (2024) and GitHub

Smola, F. and Fleuriot, J.D.:
Hyperdual Numbers and Forward Differentiation
AFP (2021) and GitHub