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

Contreras, R. and Smola, F. and Zheng, J. and Hillston, J. and Fleuriot, J.
Verifying properties of Activities of Daily Living
DataMod (2024) - Proceedings forthcoming

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.:
Process Compositions
(Forthcoming)

Smola, F. and Fleuriot, J.D.:
Intuitionistic Linear Logic
(Forthcoming)

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