| Ariadne: a framework for reachability analysis of hybrid automata A Balluchi, A Casagrande, P Collins, A Ferrari, T Villa, ... In: Proceedings of the International Syposium on Mathematical Theory of …, 2006 | 69 | 2006 |
| Room and high temperature wear behaviour of Ni matrix micro-and nano-SiC composite electrodeposits M Lekka, A Lanzutti, A Casagrande, C De Leitenburg, PL Bonora, ... Surface and Coatings Technology 206 (17), 3658-3665, 2012 | 49 | 2012 |
| Reachability computation for hybrid systems with Ariadne L Benvenuti, D Bresolin, A Casagrande, P Collins, A Ferrari, E Mazzi, ... IFAC Proceedings Volumes 41 (2), 8960-8965, 2008 | 40 | 2008 |
| Semi-algebraic constant reset hybrid automata-SACoRe A Casagrande, C Piazza, B Mishra Proceedings of the 44th IEEE Conference on Decision and Control, 678-683, 2005 | 28 | 2005 |
| Inclusion dynamics hybrid automata A Casagrande, C Piazza, A Policriti, B Mishra Information and Computation 206 (12), 1394-1424, 2008 | 20 | 2008 |
| GAM: genomic assemblies merger: a graph based method to integrate different assemblies A Casagrande, C Del Fabbro, S Scalabrin, A Policriti 2009 IEEE International Conference on Bioinformatics and Biomedicine, 321-326, 2009 | 19 | 2009 |
| Independent dynamics hybrid automata in systems biology A Casagrande, V Mysore, C Piazza, B Mishra Proceedings of the First International Conference on Algebraic Biology (AB …, 2005 | 17 | 2005 |
| Discrete semantics for hybrid automata A Casagrande, C Piazza, A Policriti Discrete Event Dynamic Systems 19 (4), 471-493, 2009 | 15 | 2009 |
| Translating time-course gene expression profiles into semi-algebraic hybrid automata via dimensionality reduction A Casagrande, K Casey, R Falchi, C Piazza, B Ruperti, G Vizzotto, ... International Conference on Algebraic Biology, 51-65, 2007 | 15 | 2007 |
| Que “tier, F.; Wincker, P. French-Italian Public Consortium for Grapevine Genome Characterization. The grapevine genome sequence suggests ancestral hexaploidization in major … O Jaillon, JM Aury, B Noel, A Policriti, C Clepet, A Casagrande, ... Nature 449, 7161, 2007 | 14 | 2007 |
| Improving reachability analysis of hybrid automata for engine control A Casagrande, A Balluchi, L Benvenuti, A Policriti, T Villa, ... 2004 43rd IEEE Conference on Decision and Control (CDC)(IEEE Cat. No …, 2004 | 12 | 2004 |
| An effective pressure–flow characterization of respiratory asynchronies in mechanical ventilation A Casagrande, F Quintavalle, R Fernandez, L Blanch, M Ferluga, E Lena, ... Journal of Clinical Monitoring and Computing 35 (2), 289-296, 2021 | 9 | 2021 |
| Reasoning about connectivity without paths. A Casagrande, EG Omodeo ICTCS 13, 93-108, 2014 | 9 | 2014 |
| Is hyper-extensionality preservable under deletions of graph elements? A Casagrande, C Piazza, A Policriti Electronic Notes in Theoretical Computer Science 322, 103-118, 2016 | 8 | 2016 |
| pyHybrid analysis: A package for semantics analysis of hybrid systems A Casagrande, T Dreossi 2013 Euromicro Conference on Digital System Design, 815-818, 2013 | 8 | 2013 |
| Hybrid Automata and\epsilon-Analysis on a Neural Oscillator A Casagrande, T Dreossi, C Piazza arXiv preprint arXiv:1208.3852, 2012 | 8 | 2012 |
| Composing semi-algebraic o-minimal automata A Casagrande, P Corvaja, C Piazza, B Mishra International Workshop on Hybrid Systems: Computation and Control, 668-671, 2007 | 7 | 2007 |
| Hybrid systems: a first-order approach to verification and approximation techniques A Casagrande, A Policriti, T Villa PhD thesis, Department of Mathematics and Computer Science, University of …, 2006 | 7 | 2006 |
| PolyMorph: A P300 Polymorphic Speller A Casagrande, J Jarmolowska, M Turconi, F Fabris, PP Battaglini International Conference on Brain and Health Informatics, 297-306, 2013 | 5 | 2013 |
| Decidable compositions of o-minimal automata A Casagrande, P Corvaja, C Piazza, B Mishra International Symposium on Automated Technology for Verification and …, 2008 | 5 | 2008 |
Francesco FabrisTrieste UniversityPotvrđena adresa e-pošte na units.it
