Improving reachability analysis of hybrid automata for engine control. - Alberto Casagrande; Andrea Balluchi; Luca Benvenuti; Alberto Policriti; Tiziano Villa; Alberto L. Sangiovanni-Vincentelli (CDC, 2004)

Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. - Alberto Casagrande; Carla Piazza; Bud Mishra (CDC/ECC, 2005)

Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. - Alberto Casagrande; Kevin Casey; Rachele Falchi; Carla Piazza; Benedetto Ruperti; Giannina Vizzotto; Bud Mishra (AB, 2007)

Composing Semi-algebraic O-Minimal Automata. - Alberto Casagrande; Pietro Corvaja; Carla Piazza; Bud Mishra (HSCC, 2007)

Decidable Compositions of O-Minimal Automata. - Alberto Casagrande; Pietro Corvaja; Carla Piazza; Bud Mishra (ATVA, 2008)

Inclusion dynamics hybrid automata. - Alberto Casagrande; Carla Piazza; Alberto Policriti; Bud Mishra (Inf. Comput., 2008)

GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies. - Alberto Casagrande; Cristian Del Fabbro; Simone Scalabrin; Alberto Policriti (BIBM, 2009)

Discrete Semantics for Hybrid Automata. - Alberto Casagrande; Carla Piazza; Alberto Policriti (Discret. Event Dyn. Syst., 2009)

SCOP family fingerprints: An information theoretic approach to structural classification of protein domains. - Alberto Casagrande; Francesco Fabris (BIBM Workshops, 2011)

Model Checking on Hybrid Automata. - Alberto Casagrande; Carla Piazza (DSD, 2012)

Hybrid Automata and ε-Analysis on a Neural Oscillator - Alberto Casagrande; Tommaso Dreossi; Carla Piazza (HSB, 2012)

Family Fingerprints: a Global Approach to Structural Classification. - Alberto Casagrande; Francesco Fabris (J. Bioinform. Comput. Biol., 2012)

PolyMorph: A P300 Polymorphic Speller. - Alberto Casagrande; Joanna Jarmolowska; Marcello Turconi; Francesco Fabris; Piero Paolo Battaglini (Brain and Health Informatics, 2013)

pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems. - Alberto Casagrande; Tommaso Dreossi (DSD, 2013)

Approximated Symbolic Computations over Hybrid Automata. - Alberto Casagrande; Tommaso Dreossi; Carla Piazza (HAS, 2013)

External Interactions on Hybrid Models of Biological Systems. - Alberto Casagrande; Carla Piazza (FMMB, 2014)

Reasoning about connectivity without paths. - Alberto Casagrande; Eugenio G. Omodeo (ICTCS, 2014)

ϵ-Semantics computations on biological systems. - Alberto Casagrande; Tommaso Dreossi; Jana Fabriková; Carla Piazza (Inf. Comput., 2014)

PolyMorph: Increasing P300 Spelling Efficiency by Selection Matrix Polymorphism and Sentence-Based Predictions. - Alberto Casagrande; Joanna Jarmolowska; Marcello Turconi; Francesco Fabris; Pierpaolo Busan; Piero Paolo Battaglini (CoRR, 2015)

Is Hyper-extensionality Preservable Under Deletions of Graph Elements? - Alberto Casagrande; Carla Piazza; Alberto Policriti (ICTCS, 2015)

Unwinding biological systems. - Alberto Casagrande; Carla Piazza (Theor. Comput. Sci., 2015)

On Perfect Matchings for some Bipartite Graphs. - Alberto Casagrande; Francesco Di Cosmo; Eugenio G. Omodeo (SETS@ABZ, 2018)

PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions. - Alberto Casagrande; Joanna Jarmolowska; Marcello Turconi; Pierpaolo Busan; Francesco Fabris; Piero Paolo Battaglini (Int. J. Hum. Comput. Interact., 2018)

Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation? - Domenico Cantone; Alberto Casagrande; Francesco Fabris; Eugenio G. Omodeo (CILC, 2019)

Extending Information Agreement by Continuity. - Alberto Casagrande; Francesco Fabris; Rossano Girometti (BIBM, 2020)

Computing Information Agreement. - Alberto Casagrande; Francesco Fabris; Rossano Girometti (CoRR, 2020)

Beyond kappa: an informational index for diagnostic agreement in dichotomous and multivalue ordered-categorical ratings. - Alberto Casagrande; Francesco Fabris; Rossano Girometti (Medical Biol. Eng. Comput., 2020)

Preface. - Alberto Casagrande; Eugenio G. Omodeo; Maurizio Proietti (Fundam. Informaticae, 2021)

Parameter synthesis of polynomial dynamical systems. - Alberto Casagrande; Thao Dang 001; Luca Dorigo; Tommaso Dreossi; Carla Piazza; Eleonora Pippia (Inf. Comput., 2022)

Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests. - Alberto Casagrande; Francesco Fabris; Rossano Girometti (Medical Biol. Eng. Comput., 2022)

Set-Based Invariants over Polynomial Systems. - Alberto Casagrande; Alessandro Cimatti; Luca Dorigo; Carla Piazza; Stefano Tonetta (CILC, 2023)

DivNoise: A Data Collection for Source Identification on Diverse Camera Sensors. - Alberto Casagrande; Alessio Belli; Cecilia Pasquini; Duc-Tien Dang-Nguyen (PKDD/ECML Workshops (2), 2023)

Adaptive Directions for Bernstein-Based Polynomial Set Evolution. - Alberto Casagrande; Carla Piazza (RP, 2023)

Significativity Indices for Agreement Values. - Alberto Casagrande; Francesco Fabris; Rossano Girometti; Roberto Pagliarini (CoRR, 2025)

A prevalence-robust measure of diagnostic test performance. - Alberto Casagrande; Francesco Fabris; Rossano Girometti (Netw. Model. Anal. Health Informatics Bioinform., 2025)