Alberto Casagrande

38 papers B 1C 2Journal 15Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Marginal Significativity Index for Agreement Values. BIBM Alberto Casagrande, Roberto Pagliarini
2025	J	`jnl`	A prevalence-robust measure of diagnostic test performance. Netw. Model. Anal. Health Informatics Bioinform. Alberto Casagrande, Francesco Fabris, Rossano Girometti
2025	J	`jnl`	Significativity Indices for Agreement Values. CoRR Alberto Casagrande, Francesco Fabris, Rossano Girometti, Roberto Pagliarini
2025	J	`jnl`	Significativity Indices for Agreement Values. Stat. Comput. Alberto Casagrande, Francesco Fabris, Rossano Girometti, Roberto Pagliarini
2023	—	`conf`	Adaptive Directions for Bernstein-Based Polynomial Set Evolution. RP Alberto Casagrande, Carla Piazza
2023	—	`conf`	DivNoise: A Data Collection for Source Identification on Diverse Camera Sensors. PKDD/ECML Workshops (2) Alberto Casagrande, Alessio Belli, Cecilia Pasquini, Duc-Tien Dang-Nguyen
2023	—	`conf`	Set-Based Invariants over Polynomial Systems. CILC Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta
2022	J	`jnl`	Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests. Medical Biol. Eng. Comput. Alberto Casagrande, Francesco Fabris, Rossano Girometti
2022	J	`jnl`	Parameter synthesis of polynomial dynamical systems. Inf. Comput. Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia
2021	J	`jnl`	Preface. Fundam. Informaticae Alberto Casagrande, Eugenio G. Omodeo, Maurizio Proietti
2020	J	`jnl`	Beyond kappa: an informational index for diagnostic agreement in dichotomous and multivalue ordered-categorical ratings. Medical Biol. Eng. Comput. Alberto Casagrande, Francesco Fabris, Rossano Girometti
2020	J	`jnl`	Computing Information Agreement. CoRR Alberto Casagrande, Francesco Fabris, Rossano Girometti
2020	—	`conf`	Extending Information Agreement by Continuity. BIBM Alberto Casagrande, Francesco Fabris, Rossano Girometti
2019	—	`conf`	Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation? CILC Domenico Cantone, Alberto Casagrande, Francesco Fabris, Eugenio G. Omodeo
2019	—	`ed.`	Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. CILC Alberto Casagrande, Eugenio G. Omodeo
2018	—	`conf`	On Perfect Matchings for some Bipartite Graphs. SETS@ABZ Alberto Casagrande, Francesco Di Cosmo, Eugenio G. Omodeo
2018	J	`jnl`	PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions. Int. J. Hum. Comput. Interact. Alberto Casagrande, Joanna Jarmolowska, Marcello Turconi, Pierpaolo Busan, Francesco Fabris, Piero Paolo Battaglini
2015	—	`conf`	Is Hyper-extensionality Preservable Under Deletions of Graph Elements? ICTCS Alberto Casagrande, Carla Piazza, Alberto Policriti
2015	J	`jnl`	PolyMorph: Increasing P300 Spelling Efficiency by Selection Matrix Polymorphism and Sentence-Based Predictions. CoRR Alberto Casagrande, Joanna Jarmolowska, Marcello Turconi, Francesco Fabris, Pierpaolo Busan, Piero Paolo Battaglini
2015	J	`jnl`	Unwinding biological systems. Theor. Comput. Sci. Alberto Casagrande, Carla Piazza
2014	—	`conf`	External Interactions on Hybrid Models of Biological Systems. FMMB Alberto Casagrande, Carla Piazza
2014	—	`conf`	Reasoning about connectivity without paths. ICTCS Alberto Casagrande, Eugenio G. Omodeo
2014	J	`jnl`	ϵ-Semantics computations on biological systems. Inf. Comput. Alberto Casagrande, Tommaso Dreossi, Jana Fabriková, Carla Piazza
2013	—	`conf`	Approximated Symbolic Computations over Hybrid Automata. HAS Alberto Casagrande, Tommaso Dreossi, Carla Piazza
2013	—	`conf`	PolyMorph: A P300 Polymorphic Speller. Brain and Health Informatics Alberto Casagrande, Joanna Jarmolowska, Marcello Turconi, Francesco Fabris, Piero Paolo Battaglini
2013	C	`conf`	pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems. DSD Alberto Casagrande, Tommaso Dreossi
2012	J	`jnl`	Family Fingerprints: a Global Approach to Structural Classification. J. Bioinform. Comput. Biol. Alberto Casagrande, Francesco Fabris
2012	—	`conf`	Hybrid Automata and ε-Analysis on a Neural Oscillator HSB Alberto Casagrande, Tommaso Dreossi, Carla Piazza
2012	C	`conf`	Model Checking on Hybrid Automata. DSD Alberto Casagrande, Carla Piazza
2011	—	`conf`	SCOP family fingerprints: An information theoretic approach to structural classification of protein domains. BIBM Workshops Alberto Casagrande, Francesco Fabris
2009	J	`jnl`	Discrete Semantics for Hybrid Automata. Discret. Event Dyn. Syst. Alberto Casagrande, Carla Piazza, Alberto Policriti
2009	—	`conf`	GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies. BIBM Alberto Casagrande, Cristian Del Fabbro, Simone Scalabrin, Alberto Policriti
2008	B	`conf`	Decidable Compositions of O-Minimal Automata. ATVA Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
2008	J	`jnl`	Inclusion dynamics hybrid automata. Inf. Comput. Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra
2007	—	`conf`	Composing Semi-algebraic O-Minimal Automata. HSCC Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
2007	—	`conf`	Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. AB Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra
2005	—	`conf`	Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. CDC/ECC Alberto Casagrande, Carla Piazza, Bud Mishra
2004	—	`conf`	Improving reachability analysis of hybrid automata for engine control. CDC Alberto Casagrande, Andrea Balluchi, Luca Benvenuti, Alberto Policriti, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli