Srđan Krstić
About
Srđan Krstić has authored 12 papers that have received a total of 90 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
Top authors papers by Paula M. Marinho are co-authored with Top countries impacted by papers by James Pettifer Top authors papers by Elyes Chabchoub are co-authored with Top countries impacted by papers by J.-F. Blanc Top fields papers by Richard D. Ryder are about Top authors papers by M. Kuerster are co-authored with Top journals papers by Markus Reinartz are published in Top fields papers by Pieter Jacobs are about