Victor Khomenko
- Computational Theory and Mathematics top 2%
- Hardware and Architecture top 5%
- Electrical and Electronic Engineering
- Computer Networks and Communications
- Software top 10%
- Co-authors
- Alex YakovlevMaciej KoutnyAndrey MokhovWalter VoglerDanil SokolovRoland MeyerDavid G. LloydMark Schaefer
- Topics
- Formal Methods in Verification (35 papers)Petri Nets in System Modeling (22 papers)Low-power high-performance VLSI design (19 papers)
- Journals
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsTheoretical Computer ScienceIEEE Transactions on Very Large Scale Integration (VLSI) Systems
- Partner nations
- United KingdomGermanyAustralia
In The Last Decade
Victor Khomenko
51 papers receiving 336 citations
Peers
Comparison fields: 5 of 25
- Computational Theory and Mathematics 215
- Hardware and Architecture 201
- Electrical and Electronic Engineering 138
- Computer Networks and Communications 54
- Software 42
Countries citing papers authored by Victor Khomenko
This map shows the geographic impact of Victor Khomenko's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Victor Khomenko with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Victor Khomenko more than expected).
Fields of papers citing papers by Victor Khomenko
This network shows the impact of papers produced by Victor Khomenko. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Victor Khomenko. The network helps show where Victor Khomenko may publish in the future.
Co-authorship network of co-authors of Victor Khomenko
This figure shows the co-authorship network connecting the top 25 collaborators of Victor Khomenko. A scholar is included among the top collaborators of Victor Khomenko based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Victor Khomenko. Victor Khomenko is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 1 | |
| 2 | 2 | |
| 3 | 5 | |
| 4 | 2 | |
| 5 | 13 | |
| 6 | 2 | |
| 7 | Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings | 0 |
| 8 | Logic Decomposition of Asynchronous Circuits Using STG Unfoldings | 1 |
| 9 | A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes | 1 |
| 10 | A Usable Reachability Analyser | 9 |
| 11 | Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings | 1 |
| 12 | 8 | |
| 13 | Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT | 22 |
| 14 | Derivation of Set and Reset Covers for gC Elements and Standard C Implementation Using STG Unfoldings | 1 |
| 15 | Detecting State Encoding Conflicts in STG Unfoldings Using SAT | 20 |
| 16 | Computing Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT | 1 |
| 17 | 10 | |
| 18 | 8 | |
| 19 | 12 | |
| 20 | 1 |
About Victor Khomenko
Victor Khomenko is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Software, having authored 59 papers that have together received 349 indexed citations. Recurring topics across this work include Formal Methods in Verification (35 papers), Petri Nets in System Modeling (22 papers) and Low-power high-performance VLSI design (19 papers). The work is most often cited by research in Hardware and Architecture (201 citations), Computational Theory and Mathematics (215 citations) and Software (42 citations). Victor Khomenko has collaborated with scholars based in United Kingdom, Germany and Australia. Frequent co-authors include Alex Yakovlev, Maciej Koutny, Andrey Mokhov, Walter Vogler, Danil Sokolov, Roland Meyer, David G. Lloyd, Mark Schaefer, A. Kondratyev and A. Bystrov. Their work appears in journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Theoretical Computer Science and IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.