Alberto Policriti
About
Alberto Policriti has authored 95 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 28 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, Eugenio G. Omodeo and Francesco Vezzi 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
Top fields papers by Kenji Yagi are about Top countries impacted by papers by B. G. Müller Top fields papers by D. F. Brewer are about Top countries impacted by papers by Rui Cerqueira Top authors papers by Oh‐Seung Kwon are co-authored with Top journals papers by Li Zhao are published in Top journals papers by Boon‐Chong Seet are published in Top countries impacted by papers by Y. Zorian