Alberto Policriti
About
Alberto Policriti has authored 97 papers that have received a total of 1.3k indexed citations.
This includes 58 papers in Computational Theory and Mathematics, 44 papers in Artificial Intelligence and 30 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (22 papers), Logic, programming, and type systems (18 papers) and Logic, Reasoning, and Knowledge (17 papers). Alberto Policriti is often cited by papers focused on Formal Methods in Verification (22 papers), Logic, programming, and type systems (18 papers) and Logic, Reasoning, and Knowledge (17 papers) and collaborates with scholars based in Italy, United States and Romania. Alberto Policriti's co-authors include Luca Bortolussi, Michele Morgante, Carla Piazza, Francesco Vezzi and Eugenio G. Omodeo and has published in prestigious journals such as Bioinformatics, BMC Bioinformatics and Theoretical and Applied Genetics.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Yusheng Kong Breakdown of academic impact, for papers by Ameneh Sazgarnia Breakdown of academic impact, for papers by David Davies Breakdown of academic impact, for papers by Takashi Kamiya Breakdown of academic impact, for papers by Lisa M. Cordes Breakdown of academic impact, for papers by Kun Li Breakdown of academic impact, for papers by Yi He Breakdown of academic impact, for papers by L. Stipkovits