Konstantinos Sagonas
About
Konstantinos Sagonas has authored 49 papers that have received a total of 369 indexed citations.
This includes 27 papers in Artificial Intelligence, 20 papers in Hardware and Architecture and 18 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (22 papers), Formal Methods in Verification (17 papers) and Parallel Computing and Optimization Techniques (17 papers). Konstantinos Sagonas is often cited by papers focused on Logic, programming, and type systems (22 papers), Formal Methods in Verification (17 papers) and Parallel Computing and Optimization Techniques (17 papers) and collaborates with scholars based in Sweden, Greece and Belgium. Konstantinos Sagonas's co-authors include Bengt Jönsson, Stavros Aronis, David S. Warren, Parosh Aziz Abdulla and Terrance Swift and has published in prestigious journals such as ACM Computing Surveys, Journal of the ACM and Future Generation Computer Systems.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Xiaozhong Ding Breakdown of academic impact, for papers by Christine Opagiste Breakdown of academic impact, for papers by David A. Herron Breakdown of academic impact, for papers by Yohei Sasaki Breakdown of academic impact, for papers by Hasan Ekim Breakdown of academic impact, for papers by Cayetano Medina Molina Breakdown of academic impact, for papers by Chaeyoun Oh Breakdown of academic impact, for papers by Abdeljabbar Ghanmi