| Model checking based on prefixes of Petri net unfoldings V Khomenko Newcastle University, 2003 | 124 | 2003 |
| Canonical prefixes of Petri net unfoldings V Khomenko, M Koutny, W Vogler Acta Informatica 40, 95-118, 2003 | 112 | 2003 |
| Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT V Khomenko, M Koutny, A Yakovlev Fundamenta Informaticae 70 (1-2), 49-73, 2006 | 96 | 2006 |
| Detecting State Coding Conflicts in STG Unfoldings Using SAT V Khomenko, M Koutny, A Yakovlev ACSD'03, 51-60, 2003 | 79 | 2003 |
| Towards an efficient algorithm for unfolding Petri nets V Khomenko, M Koutny CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001 | 73 | 2001 |
| Branching processes of high-level Petri nets V Khomenko, M Koutny Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003 | 65 | 2003 |
| Parallelisation of the Petri net unfolding algorithm K Heljanko, V Khomenko, M Koutny Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002 | 61 | 2002 |
| Workcraft – A Framework for Interpreted Graph Models I Poliakov, V Khomenko, A Yakovlev Applications and Theory of Petri Nets: 30th International Conference, PETRI …, 2009 | 58 | 2009 |
| Merged processes: a new condensed representation of Petri net behaviour V Khomenko, A Kondratyev, M Koutny, W Vogler Acta Informatica 43 (5), 307-330, 2006 | 57 | 2006 |
| LP deadlock checking using partial order dependencies V Khomenko, M Koutny International Conference on Concurrency Theory, 410-425, 2000 | 43 | 2000 |
| Algebra of Parameterised Graphs A Mokhov, V Khomenko ACM Transactions on Embedded Computing Systems 13 (4s), 2014 | 41 | 2014 |
| Canonical prefixes of Petri net unfoldings V Khomenko, M Koutny, W Vogler Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 34 | 2002 |
| Recent advances in unfolding technique B Bonet, P Haslum, V Khomenko, S Thiébaux, W Vogler Theoretical Computer Science 551, 84-101, 2014 | 31 | 2014 |
| Diagnosability under Weak Fairness V Germanos, S Haar, V Khomenko, S Schwoon ACSD'14, 132-141, 2014 | 30 | 2014 |
| Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design A Madalinski, A Bystrov, K V., A Yakovlev DATE'03, 926-931, 2003 | 30 | 2003 |
| Detecting state coding conflicts in STGs using integer programming V Khomenko, M Koutny, A Yakovlev Proceedings of the conference on Design, Automation and Test in Europe, 338, 2002 | 28 | 2002 |
| Improved parallel composition of labelled Petri nets A Alekseyev, V Khomenko, A Mokhov, D Wist, A Yakovlev 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 27 | 2011 |
| Output-Determinacy and Asynchronous Circuit Synthesis V Khomenko, M Schaefer, W Vogler ACSD'07, 147-156, 2007 | 24 | 2007 |
| Automating the design of asynchronous logic control for AMS electronics D Sokolov, V Khomenko, A Mokhov, V Dubikhin, D Lloyd, A Yakovlev IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2019 | 23 | 2019 |
| STG decomposition strategies in combination with unfolding V Khomenko, M Schaefer, W Vogler, R Wollowski Acta Informatica 46, 433-474, 2009 | 23 | 2009 |
a yakovlevNewcastle Universitynewcastle.ac.uk의 이메일 확인됨
