Nicola Galesi
About
Nicola Galesi has authored 34 papers that have received a total of 256 indexed citations.
This includes 32 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 6 papers in Discrete Mathematics and Combinatorics. The topics of these papers are Combinatorial Optimization and Complexity Theory (15 papers), Formal Methods in Verification (14 papers) and Logic, programming, and type systems (14 papers). Nicola Galesi is often cited by papers focused on Combinatorial Optimization and Complexity Theory (15 papers), Formal Methods in Verification (14 papers) and Logic, programming, and type systems (14 papers) and collaborates with scholars based in Italy, Spain and United States. Nicola Galesi's co-authors include Massimo Lauria, Olaf Beyersdorff, Juan Luis Esteban, Jan Johannsen and Marı́a Luisa Bonet and has published in prestigious journals such as Journal of the ACM, SIAM Journal on Computing and Journal of Computer and System Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Chunlin Guo are published in Top authors papers by Esra Akı are co-authored with Top fields papers by Päivi Mäntyniemi are about Top authors papers by Álvaro Baik Cho are co-authored with Top fields papers by Mitsunori Uemura are about Top authors papers by Stacy Blythe are co-authored with Top authors papers by Keith Somerville are co-authored with Top fields papers by Teresa Martínez‐Menchón are about