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 fields papers by Allison Hudson are about Top journals papers by G. Comunale are published in Top fields papers by Helder Pereira are about Top journals papers by F. Kingdon Ward are published in Top fields papers by Phyllisis M. Ngin are about Top authors papers by Pablo Sánchez are co-authored with Top journals papers by Naoto Araki are published in Top fields papers by W. Stokes are about