PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Mokhov, Andrey"

Author of the publication

copydeleteadd this publication to your clipboard
Reduction of Order Structures.

, , and . ACSD, page 96-105. IEEE Computer Society, (2017)

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.

Andrey Belkin University of Stuttgart

Jun. -Prof. Dr. -Ing. Andrey Morozov University of Stuttgart

 

Other publications of authors with the same name

Synthesis of Processor Instruction Sets from High-Level ISA Specifications., , , , , and . IEEE Trans. Computers, 63 (6): 1552-1566 (2014)Concurrent Multiresource Arbiter: Design and Applications., , , , and . IEEE Trans. Computers, 62 (1): 31-44 (2013)Direct Construction of Complete Merged Processes., and . Comput. J., 57 (5): 693-707 (2014)A scalable physical model for Nano-Electro-Mechanical relays., , and . PATMOS, page 1-7. IEEE, (2014)Design of safety critical systems by refinement., , , and . DATE, page 1-4. European Design and Automation Association, (2014)A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets., , and . ACSD, page 100-109. IEEE Computer Society, (2015)Towards power-elastic systems through concurrency management., , , , , , , and . IET Computers & Digital Techniques, 6 (1): 33-42 (2012)Efficient composition of scenario-based hardware specifications., , and . IET Computers & Digital Techniques, 13 (2): 57-69 (2019)Mining Conditional Partial Order Graphs from Event Logs., , and . T. Petri Nets and Other Models of Concurrency, (2016)Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays., , , and . ISVLSI, page 158-163. IEEE Computer Society, (2017)