Profiles

Kenneth C. Smith

Professor Emeritus, University of Toronto

Verified email at eecg.toronto.edu

Cited by 17944

Circuits Multiple-Valued Logic Computer Music Human-Computer Interaction Databases

Marek Perkowski

Professor of Electrical and Computer Engineering, Portland State University

Verified email at pdx.edu

Cited by 9641

multiple-valued logic reversible logic logic synthesis quantum computing

Tsutomu Sasao

Visiting Professor, Meiji University

Verified email at cs.meiji.ac.jp

Cited by 9203

Logic synthesis Multiple-valued logic Logic Design Switching Theory

Reiner Hähnle

Professor of Computer Science, Technical University of Darmstadt

Verified email at cs.tu-darmstadt.de

Cited by 8604

Formal Methods Formal Verification Program Verification Software Verification Multiple-Valued Logic

Vincent Gaudet

University of Waterloo

Verified email at uwaterloo.ca

Cited by 8233

Circuits and systems iterative decoding LDPC codes stochastic computing Multiple-Valued Logic

David Michael Miller

Professor Emeritus of Computer Science, University of Victoria

Verified email at uvic.ca

Cited by 7300

Reversible logic Quantum logic Multiple-valued logic Spectral logic

Claudio Moraga

Technical University of Dortmund, Germany

Verified email at moraga.de

Cited by 5259

Soft Computing Multiple-valued Logic Spectral Techniques Reversible Computing

Claudio Moraga

University of Dortmund

Verified email at alum.mit.edu

Cited by 5250

Multiple-valued Logic Spectral Techniques Reversible Computing

Elena Dubrova

Royal Institute of Technology (KTH), Stockholm, Sweden

Verified email at kth.se

Cited by 4732

Lightweight Cryptography Hardware Security Fault-Tolerant Design Multiple-Valued Logic Logic Synthesis and Verification

Pawel Kerntopf

Professor, Warsaw University of Technology

Verified email at ii.pw.edu.pl

Cited by 1931

reversible logic logic synthesis decision diagrams multiple-valued logic

1 - 10