Giuseppe Squillace
Orcid: 0009-0003-2382-511X
According to our database1,
Giuseppe Squillace authored at least 11 papers
between 2022 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
IEEE Trans. Knowl. Data Eng., July, 2026
2025
Appl. Netw. Sci., December, 2025
Comput. Oper. Res., 2025
Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE.
Proceedings of the Automated Technology for Verification and Analysis, 2025
2024
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
Proceedings of the IEEE International Conference on Data Mining, 2024
2023
Formal lumping of polynomial differential equations through approximate equivalences.
J. Log. Algebraic Methods Program., August, 2023
2022
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022