Victor Khomenko

49 papers and 257 indexed citations i.

Victor Khomenko has authored 49 papers that have received a total of 257 indexed citations. This includes 34 papers in Computational Theory and Mathematics, 26 papers in Hardware and Architecture and 20 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (30 papers), Petri Nets in System Modeling (19 papers) and Embedded Systems Design Techniques (18 papers). Victor Khomenko is often cited by papers focused on Formal Methods in Verification (30 papers), Petri Nets in System Modeling (19 papers) and Embedded Systems Design Techniques (18 papers) and collaborates with scholars based in United Kingdom, Germany and Australia. Victor Khomenko's co-authors include Alex Yakovlev, Andrey Mokhov, Walter Vogler, Danil Sokolov and Maciej Koutny and has published in prestigious journals such as Theoretical Computer Science, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and The Computer Journal