Alex Yakovlev

Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers

Jordi Cortadella, Luciano Lavagno, Alex Yakovlev · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 1996 · 505 citations · Full text

Engineering, Computer Engineering, Computer Science +13

Deriving Petri nets from finite transition systems

Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno et al. · IEEE Transactions on Computers · 1998 · 235 citations · Full text

Engineering, Computer Engineering, Computer Science +13

Design and Analysis of Dual-Rail Circuits for Security Applications

Danil Sokolov, Julian Murphy, A. Bystrov et al. · IEEE Transactions on Computers · 2005 · 150 citations

Engineering, Computer Engineering, Electrical Engineering +15

Signal Graphs: From Self-Timed to Timed Ones

Leonid Ya. Rosenblum, Alex Yakovlev · 1985 · 148 citations

Computing, Computer Science, Computer Systems +11

A Survey of Emerging Interconnects for On-Chip Efficient Multicast and Broadcast in Many-Cores

Ammar Karkar, Terrence Mak, Kin‐Fai Tong et al. · IEEE Circuits and Systems Magazine · 2016 · 134 citations

Engineering, Computer Engineering, Electrical Engineering +17