A. Casagrande

Most-cited papers

The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla
O. Jaillon, J. Aury, B. Noël, A. Policriti +52 more
2007Nature3,609 citations Open access
Semantic Scholar
A consensus list of microsatellite markers for olive genotyping
L. Baldoni, N. Cultrera, R. Mariotti, C. Ricciolini +16 more
2009Molecular breeding194 citations
Semantic Scholar
Ariadne: a framework for reachability analysis of hybrid automata
A. Balluchi, A. Casagrande, Pieter Collins, A. Ferrari +2 more
200649 citations
Semantic Scholar
Reachability computation for hybrid systems with Ariadne
L. Benvenuti, D. Bresolin, A. Casagrande, Pieter Collins +4 more
200841 citations Open access
Semantic Scholar
Beyond kappa: an informational index for diagnostic agreement in dichotomous and multivalue ordered-categorical ratings
A. Casagrande, Francesco Fabris, R. Girometti
2020Medical and Biological Engineering and Computing31 citations Open access
Semantic Scholar
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe
A. Casagrande, C. Piazza, B. Mishra
2005Proceedings of the 44th IEEE Conference on Decision and Control22 citations
Semantic Scholar
An effective pressure–flow characterization of respiratory asynchronies in mechanical ventilation
A. Casagrande, F. Quintavalle, R. Fernandez, L. Blanch +4 more
2020Journal of clinical monitoring and computing20 citations Open access
Semantic Scholar
Inclusion dynamics hybrid automata
A. Casagrande, C. Piazza, A. Policriti, B. Mishra
2008Information and Computation17 citations Open access
Semantic Scholar
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies
A. Casagrande, C. Del Fabbro, S. Scalabrin, A. Policriti
2009IEEE International Conference on Bioinformatics and Biomedicine16 citations
Semantic Scholar
Discrete Semantics for Hybrid Automata
A. Casagrande, C. Piazza, A. Policriti
2009Discrete event dynamic systems14 citations
Semantic Scholar
Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests
A. Casagrande, Francesco Fabris, R. Girometti
2022Medical and Biological Engineering and Computing13 citations Open access
Semantic Scholar
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction
A. Casagrande, Kevin Casey, Rachele Falchi, C. Piazza +3 more
2007Algebraic Biology12 citations
Semantic Scholar
Hybrid Automata and ε-Analysis on a Neural Oscillator
A. Casagrande, T. Dreossi, C. Piazza
2012International Workshop on Hybrid Systems Biology11 citations Open access
Semantic Scholar
Improving reachability analysis of hybrid automata for engine control
A. Casagrande, A. Balluchi, L. Benvenuti, A. Policriti +2 more
2004IEEE Conference on Decision and Control11 citations
Semantic Scholar
Is Hyper-extensionality Preservable Under Deletions of Graph Elements?
A. Casagrande, C. Piazza, A. Policriti
2016Italian Conference on Theoretical Computer Science7 citations Open access
Semantic Scholar
Discreteness, hybrid automata, and biology
A. Casagrande, C. Piazza, A. Policriti
2008International Workshop on Discrete Event Systems7 citations
Semantic Scholar
Composing Semi-algebraic O-Minimal Automata
A. Casagrande, P. Corvaja, C. Piazza, B. Mishra
2007International Conference on Hybrid Systems: Computation and Control6 citations
Semantic Scholar
Tolque: A Tool for Algorithmic Algebraic Model Checking
V. Mysore, A. Casagrande, C. Piazza, B. Mishra
20056 citations
Semantic Scholar
An information-oriented paradigm in evaluating accuracy and agreement in radiology
A. Casagrande, Francesco Fabris, R. Girometti
2023European Radiology Experimental4 citations Open access
Semantic Scholar
The quest for Diophantine finite-fold-ness
Cantone Domenico, A. Casagrande, Francesco Fabris, Omodeo Eugenio
2021ArTS Archivio della ricerca di Trieste (University of Trieste https://www.units.it/)4 citations Open access
Semantic Scholar
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems
A. Casagrande, T. Dreossi
20132013 Euromicro Conference on Digital System Design4 citations
Semantic Scholar
PolyMorph: A P300 Polymorphic Speller
A. Casagrande, Joanna Jarmolowska, M. Turconi, Francesco Fabris +1 more
2013Brain and Health Informatics4 citations Open access
Semantic Scholar
Decidable Compositions of O-Minimal Automata
A. Casagrande, P. Corvaja, C. Piazza, B. Mishra
2008Automated Technology for Verification and Analysis4 citations
Semantic Scholar
Parameter synthesis of polynomial dynamical systems
A. Casagrande, T. Dang, L. Dorigo, T. Dreossi +2 more
2022Information and Computation3 citations Open access
Semantic Scholar
Extending Information Agreement by Continuity
A. Casagrande, Francesco Fabris, R. Girometti
2020IEEE International Conference on Bioinformatics and Biomedicine3 citations
Semantic Scholar
Unwinding biological systems
A. Casagrande, C. Piazza
2015Theoretical Computer Science3 citations Open access
Semantic Scholar
Model Checking on Hybrid Automata
A. Casagrande, C. Piazza
20122012 15th Euromicro Conference on Digital System Design3 citations
Semantic Scholar
Synchronized product of semi-algebraic O-minimal hybrid automata
B. Mishra, A. Casagrande, P. Corvaja, C. Piazza
20073 citations
Semantic Scholar
Pressure-flow breath representation eases asynchrony identification in mechanically ventilated patients
A. Casagrande, F. Quintavalle, Enrico Lena, Francesco Fabris +1 more
2021Journal of clinical monitoring and computing2 citations Open access
Semantic Scholar
ϵ-Semantics computations on biological systems
A. Casagrande, T. Dreossi, J. Fabriková, C. Piazza
2014Information and Computation2 citations Open access
Semantic Scholar
A common protocol for olive genotyping using microsatellite DNA: a consensus list of markers
L. Baldoni, G. Cultrera, R. Mariotti, C. Ricciolini +16 more
20092 citations
Semantic Scholar
Computing Information Agreement
A. Casagrande, Francesco Fabris, R. Girometti
2020arXiv.org1 citations
Semantic Scholar
PolyMorph: Increasing P300 Spelling Efficiency by Selection Matrix Polymorphism and Sentence-Based Predictions
A. Casagrande, Joanna Jarmolowska, M. Turconi, Francesco Fabris +2 more
2015arXiv.org1 citations
Semantic Scholar
Reasoning about connectivity without paths
A. Casagrande, E. Omodeo
2014Italian Conference on Theoretical Computer Science1 citations
Semantic Scholar
Epsilon-Semantics computations on biological systems
A. Casagrande, T. Dreossi, Jana Drazanová, C. Piazza
20141 citations
Semantic Scholar
External Interactions on Hybrid Models of Biological Systems
A. Casagrande, C. Piazza
2014International Conference on Formal Methods in Macro-Biology1 citations
Semantic Scholar
Approximated Symbolic Computations over Hybrid Automata
A. Casagrande, T. Dreossi, C. Piazza
2013HAS1 citations Open access
Semantic Scholar
SCOP family fingerprints: An information theoretic approach to structural classification of protein domains
A. Casagrande, Francesco Fabris
20112011 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW)1 citations
Semantic Scholar
Hybrid Automata and Bisimulations
A. Casagrande
20101 citations
Semantic Scholar
Parallel Composition of Semi-Algebraic O-Minimal Automata ?
A. Casagrande, P. Corvaja, C. Piazza, B. Mishra
20081 citations
Semantic Scholar
A New Algorithm for Reachability Analysis of Hybrid Automata
A. Casagrande, A. Balluchi, L. Benvenuti, A. Policriti +2 more
20031 citations
Semantic Scholar
Noninterference in Smart Contracts: MEV Detection and Protection
Semia Guesmi, A. Casagrande, C. Piazza, Sabina Rossi
2026Distributed Ledger Technologies: Research and Practice0 citations
Semantic Scholar
Adaptive Directions for Bernstein-Based Polynomial Set Evolution
A. Casagrande, C. Piazza
2023Reachability Problems0 citations
Semantic Scholar
Set-Based Invariants over Polynomial Systems
A. Casagrande, A. Cimatti, L. Dorigo, C. Piazza +1 more
2023Italian Conference on Computational Logic0 citations
Semantic Scholar
Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation?
Domenico Cantone, A. Casagrande, Francesco Fabris, E. Omodeo
2019Italian Conference on Computational Logic0 citations
Semantic Scholar
PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions
A. Casagrande, Joanna Jarmolowska, M. Turconi, P. Busan +2 more
2018International journal of human computer interactions0 citations
Semantic Scholar
On Perfect Matchings for some Bipartite Graphs
A. Casagrande, Francesco Di Cosmo, E. Omodeo
2018SETS@ABZ0 citations
Semantic Scholar
Applications of-Semantics to Biological Systems 1
A. Casagrande, T. Dreossi, J. Fabriková, C. Piazza
20140 citations
Semantic Scholar
Family Fingerprints: a Global Approach to Structural Classification
A. Casagrande, Francesco Fabris
2012J. Bioinform. Comput. Biol.0 citations
Semantic Scholar
Composing FOCoRe Hybrid Automata
A. Casagrande, B. Mishra, C. Piazza
20110 citations
Semantic Scholar