دنبال کردن
Victor Khomenko
Victor Khomenko
School of Computing, Newcastle University
ایمیل تأیید شده در ncl.ac.uk - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
Model checking based on prefixes of Petri net unfoldings‏
V Khomenko‏
Newcastle University, 2003‏
1242003
Canonical prefixes of Petri net unfoldings‏
V Khomenko, M Koutny, W Vogler‏
Acta Informatica 40, 95-118, 2003‏
1122003
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‏
972006
Detecting State Coding Conflicts in STG Unfoldings Using SAT‏
V Khomenko, M Koutny, A Yakovlev‏
ACSD'03, 51-60, 2003‏
822003
Towards an efficient algorithm for unfolding Petri nets‏
V Khomenko, M Koutny‏
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001‏
722001
Branching processes of high-level Petri nets‏
V Khomenko, M Koutny‏
International Conference on Tools and Algorithms for the Construction and …, 2003‏
632003
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‏
612002
Workcraft – A Framework for Interpreted Graph Models‏
I Poliakov, V Khomenko, A Yakovlev‏
Applications and Theory of Petri Nets: 30th International Conference, PETRI …, 2009‏
582009
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‏
572006
LP deadlock checking using partial order dependencies‏
V Khomenko, M Koutny‏
International Conference on Concurrency Theory, 410-425, 2000‏
432000
Algebra of Parameterised Graphs‏
A Mokhov, V Khomenko‏
ACM Transactions on Embedded Computing Systems 13 (4s), 2014‏
412014
Canonical prefixes of Petri net unfoldings‏
V Khomenko, M Koutny, W Vogler‏
International Conference on Computer Aided Verification, 582-595, 2002‏
332002
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design‏
A Madalinski, A Bystrov, K V., A Yakovlev‏
DATE'03, 926-931, 2003‏
312003
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‏
312002
Recent advances in unfolding technique‏
B Bonet, P Haslum, V Khomenko, S Thiébaux, W Vogler‏
Theoretical Computer Science 551, 84-101, 2014‏
302014
Diagnosability under Weak Fairness‏
V Germanos, S Haar, V Khomenko, S Schwoon‏
ACSD'14, 132-141, 2014‏
302014
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‏
272011
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‏
252019
Output-Determinacy and Asynchronous Circuit Synthesis‏
V Khomenko, M Schaefer, W Vogler‏
ACSD'07, 147-156, 2007‏
252007
Benefits of asynchronous control for analog electronics: Multiphase buck case study‏
D Sokolov, V Dubikhin, V Khomenko, D Lloyd, A Mokhov, A Yakovlev‏
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017‏
222017
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20