Seguir
Alberto Casagrande
Alberto Casagrande
Dirección de correo verificada de units.it - Página principal
Título
Citado por
Citado por
Año
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla
nature 449 (7161), 463-467, 2007
38942007
A consensus list of microsatellite markers for olive genotyping
L Baldoni, NG Cultrera, R Mariotti, C Ricciolini, S Arcioni, GG Vendramin, ...
Molecular Breeding 24, 213-231, 2009
2392009
Ariadne: a framework for reachability analysis of hybrid automata
A Balluchi, A Casagrande, P Collins, A Ferrari, T Villa, ...
MTNS 2006, 17th International Symposium on Mathematical Theory of Networks …, 2006
792006
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
492008
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
272005
Inclusion dynamics hybrid automata
A Casagrande, C Piazza, A Policriti, B Mishra
Information and Computation 206 (12), 1394-1424, 2008
242008
Discrete Semantics for Hybrid Automata: Avoiding Misleading Assumptions in Systems Biology
A Casagrande, C Piazza, A Policriti
Discrete Event Dynamic Systems 19, 471-493, 2009
202009
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
202009
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
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, 289-296, 2021
162021
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
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
142020
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
Hybrid Automata and\epsilon-Analysis on a Neural Oscillator
A Casagrande, T Dreossi, C Piazza
arXiv preprint arXiv:1208.3852, 2012
132012
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
Reasoning about connectivity without paths.
A Casagrande, EG Omodeo
ICTCS 13, 93-108, 2014
102014
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
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
82007
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
82006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20