Notes on the history of reversible computation
IBM Journal of Research and Development
Time/space trade-offs for reversible computation
SIAM Journal on Computing
Ininvertible cellular automata: a review
Physica D
Reversibility and surjectivity problems of cellular automata
Journal of Computer and System Sciences
Small universal Turing machines
Theoretical Computer Science - Special issue on universal machines and computations
Universality of a reversible two-counter machine
Theoretical Computer Science - Special issue on universal machines and computations
Self-reproduction in a reversible cellular space
Theoretical Computer Science - Special issue on universal machines and computations
Firing squad synchronization problem in reversible cellular automata
Theoretical Computer Science
A computation-universal two-dimensional 8-state triangular reversible cellular automaton
Theoretical Computer Science - Special issue on universal machines and computations
Feynman Lectures on Computation
Feynman Lectures on Computation
Self-reproduction in three-dimensional reversible cellular space
Artificial Life
Universal computing in reversible and number-conserving two-dimensional cellular spaces
Collision-based computing
Proceedings of the 7th Colloquium on Automata, Languages and Programming
A Universal Turing Machine with 3 States and 9 Symbols
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Efficient exhaustive listings of reversible one dimensional cellular automata
Theoretical Computer Science - Special issue: Theoretical aspects of cellular automata
Theory of cellular automata: a survey
Theoretical Computer Science
Computation: finite and infinite machines
Computation: finite and infinite machines
Surprising Areas in the Quest for Small Universal Devices
Electronic Notes in Theoretical Computer Science (ENTCS)
Irreversibility and heat generation in the computing process
IBM Journal of Research and Development
Logical reversibility of computation
IBM Journal of Research and Development
Tessellations with local transformations
Journal of Computer and System Sciences
Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures
Journal of Computer and System Sciences
A universal reversible turing machine
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Four small universal turing machines
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Small semi-weakly universal turing machines
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Classification and universality of reversible logic elements with one-bit memory
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Membrane Computing
MCA model for simulating the failure of microinhomogeneous materials
Journal of Nanomaterials
Universality Issues in Reversible Computing Systems and Cellular Automata (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Reversible Computation and Reversible Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Design of reversible sequential circuits optimizing quantum cost, delay, and garbage outputs
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Quantum query algorithms for conjunctions
UC'10 Proceedings of the 9th international conference on Unconventional computation
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
Theoretical Computer Science
A simple and efficient universal reversible turing machine
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Fluctuation-driven computing on number-conserving cellular automata
Information Sciences: an International Journal
Towards a reversible functional language
RC'11 Proceedings of the Third international conference on Reversible Computation
Two-Way Reversible Multi-Head Finite Automata
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
Journal of Computer and System Sciences
Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements
Theoretical Computer Science
Synthesis and optimization of reversible circuits—a survey
ACM Computing Surveys (CSUR)
RC'13 Proceedings of the 5th international conference on Reversible Computation
| Hi-index | 5.23 |
Reversible computing is a paradigm where computing models are defined so that they reflect physical reversibility, one of the fundamental microscopic physical property of Nature. In this survey/tutorial paper, we discuss how computation can be carried out in a reversible system, how a universal reversible computer can be constructed by reversible logic elements, and how such logic elements are related to reversible physical phenomena. We shall see that, in reversible systems, computation can often be carried out in a very different manner from conventional (i.e., irreversible) computing systems, and even very simple reversible systems or logic elements have computation- or logical-universality. We discuss these problems based on reversible logic elements/circuits, reversible Turing machines, reversible cellular automata, and some other related models of reversible computing.