DREOSSI, Tommaso

DREOSSI, Tommaso  

DIMI - DIPARTIMENTO DI MATEMATICA E INFORMATICA (attivo dal 01/01/1900 al 31/12/2015)  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.01 secondi).
Titolo Data di pubblicazione Autore(i) File
Approximated Symbolic Computations over Hybrid Automata 1-gen-2013 A., Casagrande; Dreossi, Tommaso; Piazza, Carla
Falsifying Oscillation Properties of Parametric Biological Models 1-gen-2013 Thao, Dang; Dreossi, Tommaso
Hybrid Automata and epsilon-Analysis on a Neural Oscillator 1-gen-2012 Casagrande, A; Dreossi, Tommaso; Piazza, Carla
Parallelotope bundles for polynomial reachability 1-gen-2016 Dreossi, Tommaso; Dang, Thao; Piazza, Carla
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models 1-gen-2015 Dreossi, Tommaso; Thao, Dang; Piazza, Carla
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems2013 Euromicro Conference on Digital System Design 1-gen-2013 Alberto, Casagrande; Dreossi, Tommaso
Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems 4-apr-2016 Dreossi, Tommaso
Reachability computation for polynomial dynamical systems 1-gen-2017 Dreossi, Tommaso; Dang, Thao; Piazza, Carla
Set-Based Analysis for Biological Modeling 1-gen-2019 Dang, Thao; Dreossi, Tommaso; Fanchon, Eric; Maler, Oded; Piazza, Carla; Rocca, Alexandre
ϵ-Semantics computations on biological systems 1-gen-2014 Casagrande, A.; Dreossi, Tommaso; Fabriková, J.; Piazza, Carla