( en | de | ru )

 

Disambiguation of "Yakovlev, Alexandre"

Author of the publication

copydeleteadd this publication to your clipboard
Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited.

, , , , and . DAC, page 36:1-36:6. ACM, (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.

Sergey Yakovlev

Alexandre Varnek

Alexandre Martins

Alexandre Darmoise

Alexandre Alexeev

 

Other publications of authors with the same name

Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis., , , , and . DAC, page 63-66. ACM Press, (1996)Synthesis of Speed-Independent Circuits from STG-Unfolding Segment., , , , and . DAC, page 16-21. ACM Press, (1997)Hardware and Petri Nets: Application to Asynchronous Circuit Design., , , , and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 1-15. Springer, (2000)Evaluation of energy-recovering interconnects for low-power 3D stacked ICs., , , and . 3DIC, page 1-5. IEEE, (2009)Analyzing Semantics of Concurrent Hardware Specifications., and . ICPP (3), page 211-218. Pennsylvania State University Press, (1989)0-271-00686-2.GALS synthesis and verification for xMAS models., , and . DATE, page 1419-1424. ACM, (2015)Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings., , and . ACSD, page 57-68. IEEE Computer Society, (2006)Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures., and . DATE, page 568-569. IEEE Computer Society, (2005)Priority Arbiters., , and . ASYNC, page 128-137. IEEE Computer Society, (2000)Multiple-Rail Phase-Encoding for NoC., , , , and . ASYNC, page 107-116. IEEE Computer Society, (2006)