Calogero G. Zarba
About
Calogero G. Zarba has authored 7 papers that have received a total of 51 indexed citations.
This includes 6 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 1 paper in Computer Vision and Pattern Recognition. The topics of these papers are Advanced Algebra and Logic (4 papers), Logic, Reasoning, and Knowledge (3 papers) and Formal Methods in Verification (2 papers). Calogero G. Zarba is often cited by papers focused on Advanced Algebra and Logic (4 papers), Logic, Reasoning, and Knowledge (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States, Italy and France. Calogero G. Zarba's co-authors include Jacob T. Schwartz, Cesare Tinelli, Domenico Cantone, Eugenio G. Omodeo and Andrea Formisano and has published in prestigious journals such as Theoretical Computer Science, Journal of Automated Reasoning and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Enrica Rolle Top journals papers by D. L. Ferguson are published in Top countries impacted by papers by David M. Thompson Top countries impacted by papers by Michele Adorni Top journals papers by Oleksii Oleksenko are published in Top countries impacted by papers by Steven Johnstone Top countries impacted by papers by J. Florio Top journals papers by Dipayan Gangopadhyay are published in