Victor Khomenko
About
Victor Khomenko has authored 49 papers that have received a total of 258 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.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Yue Zhou are published in Top fields papers by Guilherme Paim are about Top countries impacted by papers by Leon de Kock Top fields papers by Siddhartha Singh are about Top countries impacted by papers by Masahiro Ôhara Top fields papers by Heiner Meulemann are about Top authors papers by Virgilijus Baliuckas are co-authored with Top journals papers by Junji Katsuhira are published in