Follow
Alberto Casagrande
Title
Cited by
Cited by
Year
A consensus list of microsatellite markers for olive genotyping
L Baldoni, NG Cultrera, R Mariotti, C Ricciolini, S Arcioni, GG Vendramin, ...
Molecular Breeding 24 (3), 213-231, 2009
2222009
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
702006
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
412008
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
282005
Inclusion dynamics hybrid automata
A Casagrande, C Piazza, A Policriti, B Mishra
Information and Computation 206 (12), 1394-1424, 2008
212008
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
192009
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
172005
Discrete semantics for hybrid automata
A Casagrande, C Piazza, A Policriti
Discrete Event Dynamic Systems 19 (4), 471-493, 2009
162009
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
152007
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
142007
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
122004
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
92021
Reasoning about connectivity without paths.
A Casagrande, EG Omodeo
ICTCS 13, 93-108, 2014
92014
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
82016
pyHybrid analysis: A package for semantics analysis of hybrid systems
A Casagrande, T Dreossi
2013 Euromicro Conference on Digital System Design, 815-818, 2013
82013
Hybrid Automata and\epsilon-Analysis on a Neural Oscillator
A Casagrande, T Dreossi, C Piazza
arXiv preprint arXiv:1208.3852, 2012
82012
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
72007
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
72006
French-Italian Public Consortium for Grapevine Genome, The gra0070evine genome sequence suggests ancestral hexaploidization in major angiosperm phyla
O Jaillon, JM Aury, B Noel, A Policriti, C Clepet, A Casagrande, ...
Nature 449 (7161), 463-467, 2007
62007
Beyond kappa: an informational index for diagnostic agreement in dichotomous and multivalue ordered-categorical ratings
A Casagrande, F Fabris, R Girometti
Medical & Biological Engineering & Computing 58 (12), 3089-3099, 2020
52020
The system can't perform the operation now. Try again later.
Articles 1–20