Marek Perkowski
Portland State University(US)
Publications by Year
Research Areas
Quantum Computing Algorithms and Architecture, Quantum Information and Cryptography, Quantum-Dot Cellular Automata, Formal Methods in Verification, Low-power high-performance VLSI design
Most-Cited Works
- → Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis(2006)260 cited
- A General Decomposition for Reversible Logic(2001)
- Logic synthesis of reversible wave cascades(2002)
- → An algorithm for bi-decomposition of logic functions(2001)102 cited
- → Minimization of exclusive sum-of-products expressions for multiple-valued input, incompletely specified functions(1996)97 cited
- Fast Heuristic Minimization of Exclusive-Sums-of-Products(2001)
- → Evolutionary Approach to Quantum and Reversible Circuits Synthesis(2003)92 cited
- → A fast algorithm to minimize multi-output mixed-polarity generalized Reed-Muller forms(1988)92 cited