Alex Yakovlev
Altai State Medical University(RU)Newcastle College(GB)Joint Institute for Nuclear Research(RU)Consultative and Diagnostic Center(RU)Microsystems (United Kingdom)(GB)University of York(GB)University of Newcastle Australia(AU)Newcastle University(GB)
Publications by Year
Research Areas
Low-power high-performance VLSI design, Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Interconnection Networks and Systems, Formal Methods in Verification
Most-Cited Works
- Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers(1996)
- → Deriving Petri nets from finite transition systems(1998)234 cited
- Concurrent hardware : the theory and practice of self-timed design(1993)
- → Logic Synthesis for Asynchronous Controllers and Interfaces(2002)161 cited
- → Design and Analysis of Dual-Rail Circuits for Security Applications(2005)150 cited
- Signal Graphs: From Self-Timed to Timed Ones(1985)
- → A Survey of Emerging Interconnects for On-Chip Efficient Multicast and Broadcast in Many-Cores(2016)133 cited
- → Comprehensive analysis of the impact of single and arrays of through silicon vias induced stress on high-k / metal gate CMOS performance(2010)119 cited