Nikolaï Kosmatov

24 papers and 151 indexed citations i.

About

Nikolaï Kosmatov has authored 24 papers that have received a total of 151 indexed citations. This includes 11 papers in Software, 10 papers in Artificial Intelligence and 6 papers in Computational Theory and Mathematics. The topics of these papers are Software Testing and Debugging Techniques (11 papers), Security and Verification in Computing (8 papers) and Software Reliability and Analysis Research (6 papers). Nikolaï Kosmatov is often cited by papers focused on Software Testing and Debugging Techniques (11 papers), Security and Verification in Computing (8 papers) and Software Reliability and Analysis Research (6 papers) and collaborates with scholars based in France, Russia and United States. Nikolaï Kosmatov's co-authors include Virgile Prévosto, Sébastien Bardin, Julien Signoles, Pascale Le Gall and Florent Kirchner and has published in prestigious journals such as Communications of the ACM, Lecture notes in computer science and ACM SIGPLAN Notices

In The Last Decade

Rankless by CCL
2025