Stavros Aronis

6 papers and 104 indexed citations i.

Stavros Aronis has authored 6 papers that have received a total of 104 indexed citations. This includes 4 papers in Computational Theory and Mathematics, 3 papers in Hardware and Architecture and 3 papers in Software. The topics of these papers are Formal Methods in Verification (4 papers), Software Testing and Debugging Techniques (3 papers) and Parallel Computing and Optimization Techniques (3 papers). Stavros Aronis is often cited by papers focused on Formal Methods in Verification (4 papers), Software Testing and Debugging Techniques (3 papers) and Parallel Computing and Optimization Techniques (3 papers) and collaborates with scholars based in Sweden and Greece. Stavros Aronis's co-authors include Konstantinos Sagonas, Bengt Jönsson, Parosh Aziz Abdulla, Mohamed Faouzi Atig and Carl Leonardsson and has published in prestigious journals such as Journal of the ACM, ACM SIGPLAN Notices and Acta Informatica