Yaroslav S. Usenko

11 papers and 51 indexed citations i.

Yaroslav S. Usenko has authored 11 papers that have received a total of 51 indexed citations. This includes 8 papers in Computational Theory and Mathematics, 5 papers in Artificial Intelligence and 4 papers in Software. The topics of these papers are Formal Methods in Verification (8 papers), Logic, programming, and type systems (4 papers) and Model-Driven Software Engineering Techniques (4 papers). Yaroslav S. Usenko is often cited by papers focused on Formal Methods in Verification (8 papers), Logic, programming, and type systems (4 papers) and Model-Driven Software Engineering Techniques (4 papers) and collaborates with scholars based in The Netherlands and Germany. Yaroslav S. Usenko's co-authors include Jan Friso Groote, Alban Ponse, Johann L. Hurink, Wan Fokkink and David N. Jansen and has published in prestigious journals such as Lecture notes in computer science, Information Processing Letters and Science of Computer Programming