Dilian Gurov

22 papers and 69 indexed citations i.

Dilian Gurov has authored 22 papers that have received a total of 69 indexed citations. This includes 16 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 5 papers in Software. The topics of these papers are Formal Methods in Verification (14 papers), Logic, programming, and type systems (11 papers) and Software Testing and Debugging Techniques (5 papers). Dilian Gurov is often cited by papers focused on Formal Methods in Verification (14 papers), Logic, programming, and type systems (11 papers) and Software Testing and Debugging Techniques (5 papers) and collaborates with scholars based in Sweden, The Netherlands and France. Dilian Gurov's co-authors include Marieke Huisman, Christoph Sprenger, Bruce M. Kapron, Mads Dam and Cyrille Artho and has published in prestigious journals such as Artificial Intelligence, Applied Sciences and Theoretical Computer Science