George Kastrinis
About
George Kastrinis has authored 5 papers that have received a total of 42 indexed citations.
This includes 4 papers in Artificial Intelligence, 3 papers in Software and 2 papers in Computer Networks and Communications. The topics of these papers are Software Testing and Debugging Techniques (3 papers), Security and Verification in Computing (3 papers) and Formal Methods in Verification (2 papers). George Kastrinis is often cited by papers focused on Software Testing and Debugging Techniques (3 papers), Security and Verification in Computing (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Greece. George Kastrinis's co-authors include Yannis Smaragdakis, George Balatsouras and Neville Grech and has published in prestigious journals such as ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by T. Kageyama are about Top countries impacted by papers by Christopher Boyd Top journals papers by W. Zagórski are published in Top countries impacted by papers by Elena R. Dobrovinskaya Top authors papers by J. Montaño are co-authored with Top fields papers by Jonathan Badrock are about Top authors papers by Sophie Soury-Lavergne are co-authored with Top authors papers by Sergey Filchagin are co-authored with