Nikos Gorogiannis
About
Nikos Gorogiannis has authored 19 papers that have received a total of 173 indexed citations.
This includes 14 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 7 papers in Software. The topics of these papers are Formal Methods in Verification (10 papers), Logic, Reasoning, and Knowledge (8 papers) and Software Testing and Debugging Techniques (6 papers). Nikos Gorogiannis is often cited by papers focused on Formal Methods in Verification (10 papers), Logic, Reasoning, and Knowledge (8 papers) and Software Testing and Debugging Techniques (6 papers) and collaborates with scholars based in United Kingdom, Singapore and Italy. Nikos Gorogiannis's co-authors include J G. Brotherston, Anthony Hunter, Max Kanovich, Mark Ryan and Ilya Sergey and has published in prestigious journals such as Artificial Intelligence, International Journal of Approximate Reasoning and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by B. Di Micco are published in Top countries impacted by papers by Omar Dib Top countries impacted by papers by Tiuri E. Kroese Top fields papers by Jacopo Monticelli are about Top countries impacted by papers by Yuzhong Chen Top fields papers by Harsha Chopra are about Top journals papers by G. Gariano are published in Top authors papers by Barbara E. Hanna are co-authored with