( en | de | ru )

 

Disambiguation of "Khomenko, Victor"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis of Asynchronous Hardware from Petri Nets.

, , , and . Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 345-401. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Viacheslav Khomenko

Andrei Khomenko

Victor Anspach

Status quo, Perspektiven und wirtschaftliche Potenziale der Biogaserzeugung auf landwirtschaftlichen Betrieben im ökologischen Landbau. Uni Kassel, (2009)

Victor Fässler

Victor Duysens

 

Other publications of authors with the same name

Merged processes: a new condensed representation of Petri net behaviour., , , and . Acta Inf., 43 (5): 307-330 (2006)Behaviour-Preserving Transition Insertions in Unfolding Prefixes.. ICATPN, volume 4546 of Lecture Notes in Computer Science, page 204-222. Springer, (2007)Modelling and Analysis Mobile Systems Using -calculus (EFCP)., and . Trans. Petri Nets Other Model. Concurr., (2015)Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis.. PNSE, volume 723 of CEUR Workshop Proceedings, page 9. CEUR-WS.org, (2011)Synthesis of SI Circuits from Burst-Mode Specifications., , , , and . DATE, page 366-369. IEEE, (2021)Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings., , and . ACSD, page 57-68. IEEE Computer Society, (2006)Logic Decomposition of Asynchronous Circuits Using STG Unfoldings.. ASYNC, page 3-12. IEEE Computer Society, (2011)A fixed window Level Crossing ADC with activity dependent power dissipation., , , and . NEWCAS, page 1-4. IEEE, (2016)Preface., , , and . Fundam. Informaticae, 169 (1-2): v-vi (2019)LP Deadlock Checking Using Partial Order Dependencies., and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 410-425. Springer, (2000)