Perfiles

Dhiraj K Pradhan

Professor of Computer Science, University of Bristol

Dirección de correo verificada de cs.bris.ac.uk

Citado por 15144

Fault tolerance Logic Synthesis Computer architecture error correcting codes Galois Field

Marek Perkowski

Professor of Electrical and Computer Engineering, Portland State University

Dirección de correo verificada de pdx.edu

Citado por 9579

multiple-valued logic reversible logic logic synthesis quantum computing

Niklas Een

Researcher at Google

Dirección de correo verificada de een.se

Citado por 9456

Machine Learning Formal verification Logic synthesis

Tsutomu Sasao

Visiting Professor, Meiji University

Dirección de correo verificada de cs.meiji.ac.jp

Citado por 9145

Logic synthesis Multiple-valued logic Logic Design Switching Theory

Alexander Barkalov

Professor, University of Zielona Góra

Dirección de correo verificada de iie.uz.zgora.pl

Citado por 6488

Logic Synthesis Control Units VLSI

Mathias Soeken

Microsoft

Dirección de correo verificada de epfl.ch

Citado por 5544

Computer Science Logic Synthesis Quantum Computing

Gerhard W Dueck

Professor of Computer Science, University of New Brunswick

Dirección de correo verificada de unb.ca

Citado por 5368

Logic Synthesis Reversible Logic Garbage Collection

Marc Riedel

Full Professor of Electrical and Computer Engineering, University of Minnesota

Dirección de correo verificada de umn.edu

Citado por 4864

Logic Synthesis Logic Verification Formal Verification Synthetic Biology Molecular Computing

Fabrizio Ferrandi

Politecnico di Milano

Dirección de correo verificada de polimi.it

Citado por 4046

High-Level Synthesis HW/SW codesign Reconfigurable Computing Logic synthesis Embedded Systems

Maciej Ciesielski

Professor of ELectrical and Computer Engineering

Dirección de correo verificada de ecs.umass.edu

Citado por 3645

Formal verification SImulation Logic synthesis High-level Synthesis

1 - 10