Alberto Casagrande
About
Alberto Casagrande has authored 19 papers that have received a total of 250 indexed citations.
This includes 7 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Formal Methods in Verification (6 papers), Logic, programming, and type systems (3 papers) and Gene Regulatory Network Analysis (3 papers). Alberto Casagrande is often cited by papers focused on Formal Methods in Verification (6 papers), Logic, programming, and type systems (3 papers) and Gene Regulatory Network Analysis (3 papers) and collaborates with scholars based in Italy, United States and Spain. Alberto Casagrande's co-authors include Carla Piazza, Rossano Girometti, Alberto Policriti, Luca Benvenuti and Tiziano Villa and has published in prestigious journals such as Molecular Breeding, Medical & Biological Engineering & Computing and Information and Computation.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by María Calado Otero Breakdown of academic impact, for papers by Matteo Cappucci Breakdown of academic impact, for papers by Miriam Dolciami Breakdown of academic impact, for papers by Xia Zhou Breakdown of academic impact, for papers by M. Deepak Breakdown of academic impact, for papers by Magdalena Muc Breakdown of academic impact, for papers by P. M. Kilmartin Breakdown of academic impact, for papers by Petra Munda