Filip Smola

Orcid: 0009-0003-2045-3971

According to our database1, Filip Smola authored at least 5 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

2021
2022
2023
2024
0
1
2
3
4
3
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Linear Resources in Isabelle/HOL.
J. Autom. Reason., June, 2024

Linear Resources and Process Compositions.
Arch. Formal Proofs, 2024

Deep Embedding of Intuitionistic Linear Logic.
Arch. Formal Proofs, 2024

2021
Hyperdual Numbers and Forward Differentiation.
Arch. Formal Proofs, 2021

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


  Loading...