Giuseppe Squillace

According to our database, Giuseppe Squillace authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal lumping of polynomial differential equations through approximate equivalences.

Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

J. Log. Algebraic Methods Program., August, 2023

2022

An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations.

Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022