Rush Hour is PSAPCE-complete, or "Why you should generously tip parking lot attendants"
Theoretical Computer Science
A reversible carry-look-ahead adder using control gates
Integration, the VLSI Journal
Collision-based computing
Universal computing in reversible and number-conserving two-dimensional cellular spaces
Collision-based computing
A Simple Universal Logic Element and Cellular Automata for Reversible Computing
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Designing and implementing small quantum circuits and algorithms
Proceedings of the 40th annual Design Automation Conference
Using HDLs for describing quantum circuits: a framework for efficient quantum algorithm simulation
Proceedings of the 1st conference on Computing frontiers
Thermodynamical cost of reversible computing
Proceedings of the 2nd conference on Computing frontiers
Revisiting an automatic program inverter for Lisp
ACM SIGPLAN Notices
Exact sat-based toffoli network synthesis
Proceedings of the 17th ACM Great Lakes symposium on VLSI
A reversible programming language and its invertible self-interpreter
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Efficient and exact quantum compression
Information and Computation
Fast exact Toffoli network synthesis of reversible logic
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Reversible logic synthesis with Fredkin and Peres gates
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Non-uniform cellular automata based associative memory: Evolutionary design and basins of attraction
Information Sciences: an International Journal
Reversible computing and cellular automata—A survey
Theoretical Computer Science
RBFFCA: A Hybrid Pattern Classifier Using Radial Basis Function and Fuzzy Cellular Automata
Fundamenta Informaticae - Special issue on DLT'04
Pairwise decomposition of toffoli gates in a quantum circuit
Proceedings of the 18th ACM Great Lakes symposium on VLSI
Principles of a reversible programming language
Proceedings of the 5th conference on Computing frontiers
Optimized reversible binary-coded decimal adders
Journal of Systems Architecture: the EUROMICRO Journal
When–and how–can a cellular automaton be rewritten as a lattice gas?
Theoretical Computer Science
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder
UC '08 Proceedings of the 7th international conference on Unconventional Computing
New Fast Decision Tree Classifier for Identifying Protein Coding Regions
ISICA '08 Proceedings of the 3rd International Symposium on Advances in Computation and Intelligence
BDD-based synthesis of reversible logic for large functions
Proceedings of the 46th Annual Design Automation Conference
International Journal of Bioinformatics Research and Applications
Exact multiple-control toffoli network synthesis with SAT techniques
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IBM Journal of Research and Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Universality Issues in Reversible Computing Systems and Cellular Automata (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A universal reversible turing machine
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Enhancing debugging of multiple missing control errors in reversible logic
Proceedings of the 20th symposium on Great lakes symposium on VLSI
Reducing the number of lines in reversible circuits
Proceedings of the 47th Design Automation Conference
Reversible logic synthesis through ant colony optimization
Proceedings of the Conference on Design, Automation and Test in Europe
Proceedings of the Conference on Design, Automation and Test in Europe
Integration, the VLSI Journal
Partial evaluation of the reversible language janus
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
What do reversible programs compute?
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Tree search and quantum computation
Quantum Information Processing
Improving ESOP-based synthesis of reversible logic using evolutionary algorithms
EvoApplications'11 Proceedings of the 2011 international conference on Applications of evolutionary computation - Volume Part II
ROM-based computation: quantum versus classical
Quantum Information & Computation
Reversible conservative rational abstract geometrical computation is turing-universal
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Quantum Information Processing
Design and simulation of self-repairing DNA lattices
DNA'06 Proceedings of the 12th international conference on DNA Computing
Classification and universality of reversible logic elements with one-bit memory
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Evolving reversible circuits for the even-parity problem
EC'05 Proceedings of the 3rd European conference on Applications of Evolutionary Computing
An efficient approach for designing and minimizing reversible programmable logic arrays
Proceedings of the great lakes symposium on VLSI
Realizing reversible circuits using a new class of quantum gates
Proceedings of the 49th Annual Design Automation Conference
Hybrid GF(2) --- boolean expressions ..for quantum computing circuits
RC'11 Proceedings of the Third international conference on Reversible Computation
RevKit: an open source toolkit for the design of reversible circuits
RC'11 Proceedings of the Third international conference on Reversible Computation
Partial evaluation of janus part 2: assertions and procedures
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Two-Way Reversible Multi-Head Finite Automata
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
RBFFCA: A Hybrid Pattern Classifier Using Radial Basis Function and Fuzzy Cellular Automata
Fundamenta Informaticae - Special issue on DLT'04
Describing and optimising reversible logic using a functional language
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
BDD-Based Synthesis of Reversible Logic
International Journal of Applied Metaheuristic Computing
Automatic design of low-power encoders using reversible circuit synthesis
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Strength of the reversible, garbage-free 2k ± 1 multiplier
RC'13 Proceedings of the 5th international conference on Reversible Computation
Universal gates in other universes
RC'13 Proceedings of the 5th international conference on Reversible Computation
White dots do matter: rewriting reversible logic circuits
RC'13 Proceedings of the 5th international conference on Reversible Computation
Exploiting negative control lines in the optimization of reversible circuits
RC'13 Proceedings of the 5th international conference on Reversible Computation
Reducing the depth of quantum circuits using additional circuit lines
RC'13 Proceedings of the 5th international conference on Reversible Computation
On the Origin of Ambiguity in Efficient Communication
Journal of Logic, Language and Information
RMDDS: Reed-muller decision diagram synthesis of reversible logic circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Trading off circuit lines and gate costs in the synthesis of reversible logic
Integration, the VLSI Journal
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level
Quantum Information Processing
Hi-index | 0.00 |