2008 |
4 | EE | Alberto Casagrande,
Pietro Corvaja,
Carla Piazza,
Bud Mishra:
Decidable Compositions of O-Minimal Automata.
ATVA 2008: 274-288 |
3 | EE | Alberto Casagrande,
Carla Piazza,
Alberto Policriti,
Bud Mishra:
Inclusion dynamics hybrid automata.
Inf. Comput. 206(12): 1394-1424 (2008) |
2007 |
2 | EE | Alberto Casagrande,
Kevin Casey,
Rachele Falchi,
Carla Piazza,
Benedetto Ruperti,
Giannina Vizzotto,
Bud Mishra:
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction.
AB 2007: 51-65 |
1 | EE | Alberto Casagrande,
Pietro Corvaja,
Carla Piazza,
Bud Mishra:
Composing Semi-algebraic O-Minimal Automata.
HSCC 2007: 668-671 |