Srđan Krstić
About
Srđan Krstić has authored 12 papers that have received a total of 92 indexed citations.
This includes 7 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 4 papers in Sociology and Political Science. The topics of these papers are Formal Methods in Verification (5 papers), Security and Verification in Computing (4 papers) and Software Testing and Debugging Techniques (3 papers). Srđan Krstić is often cited by papers focused on Formal Methods in Verification (5 papers), Security and Verification in Computing (4 papers) and Software Testing and Debugging Techniques (3 papers) and collaborates with scholars based in Switzerland, Luxembourg and Austria. Srđan Krstić's co-authors include Domenico Bianculli, Carlo Ghezzi, Ezio Bartocci, Marcello M. Bersani and Gerardo Schneider and has published in prestigious journals such as International Journal on Software Tools for Technology Transfer and Formal Methods in System Design.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Martin Selinger Breakdown of academic impact, for papers by Zalina Takhirova Breakdown of academic impact, for papers by Rodrigo Muñoz-Castañeda Breakdown of academic impact, for papers by Marie Sylvianne Rabodoarivelo Breakdown of academic impact, for papers by Marlen Metzner Breakdown of academic impact, for papers by Robert Sember Breakdown of academic impact, for papers by Antonino Rullo Breakdown of academic impact, for papers by Phelipe Magalhães Duarte