Francesco Logozzo
About
Francesco Logozzo has authored 23 papers that have received a total of 194 indexed citations.
This includes 19 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 7 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (16 papers), Formal Methods in Verification (13 papers) and Parallel Computing and Optimization Techniques (6 papers). Francesco Logozzo is often cited by papers focused on Logic, programming, and type systems (16 papers), Formal Methods in Verification (13 papers) and Parallel Computing and Optimization Techniques (6 papers) and collaborates with scholars based in United States, France and Italy. Francesco Logozzo's co-authors include Manuel Fähndrich, Patrick Cousot, Radhia Cousot, Francesco Ranzato and Doron Peled and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and Lecture notes in computer science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Changpeng Shao Breakdown of academic impact, for papers by Dennis Baron Breakdown of academic impact, for papers by Jessica McKinney Breakdown of academic impact, for papers by Ivan Sivčev Breakdown of academic impact, for papers by Freda van der Walt Breakdown of academic impact, for papers by Honglei Wang Breakdown of academic impact, for papers by Juerg Hauser Breakdown of academic impact, for papers by Tomasz Mróz