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

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.:
Hyperdual Numbers and Forward Differentiation
AFP (2021)