Giuseppe Squillace

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Dynamical Systems

Feed Forward Artificial Neural Networks

Differential Equations

Top Venues

J. Log. Algebraic Methods Program.

Publications

Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. 134 (2023)
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST (2022)