Filip Smola

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Predictive Analytics

Limited Resources

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Filip Smola, Jacques D. Fleuriot
Linear Resources in Isabelle/HOL. J. Autom. Reason. 68 (2) (2024)
Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques D. Fleuriot
A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows. HICSS (2021)
Filip Smola, Jacques D. Fleuriot
Hyperdual Numbers and Forward Differentiation. Arch. Formal Proofs 2021 (2021)