IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Publications

• An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata

  2018

• QMDDs: Efficient Quantum Function Representation and Manipulation

  2015

• Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques

  2009