Battista, Ludovico

Battista, Ludovico  

FM  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
Bounded cohomology classes of exact forms 1-gen-2024 Battista, Ludovico; Francaviglia, Stefano; Moraschini, Marco; Sarti, Filippo; Savini, Alessio
Dodecahedral L-spaces and hyperbolic 4-manifolds 1-gen-2024 Battista, Ludovico; Ferrari, Leonardo; Santoro, Diego
Formal Verification of Stability for Parametric affine Switched Systems 1-gen-2024 Battista, Ludovico; Tonetta, Stefano
Infinitesimal rigidity for cubulated manifolds 1-gen-2023 Battista, Ludovico
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 1-gen-2023 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios
Stability Verification of an Industrial Switched PI Control Systems 1-gen-2024 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios