Miniaturization of electronics and its limits
IBM Journal of Research and Development
Time/space trade-offs for reversible computation
SIAM Journal on Computing
A note on Bennett's time space tradeoff for reversible computation
SIAM Journal on Computing
An introduction to Kolmogorov complexity and its applications (2nd ed.)
An introduction to Kolmogorov complexity and its applications (2nd ed.)
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
SIAM Journal on Computing
Reversible simulation of irreversible computation
PhysComp96 Proceedings of the fourth workshop on Physics and computation
Reversible space equals deterministic space
Journal of Computer and System Sciences - Eleventh annual conference on computational learning theory&slash;Twelfth Annual IEEE conference on computational complexity
Quantum computation and quantum information
Quantum computation and quantum information
IEEE Transactions on Information Theory
Mathematical Structures in Computer Science
A reversible programming language and its invertible self-interpreter
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Principles of a reversible programming language
Proceedings of the 5th conference on Computing frontiers
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Spatial complexity of reversibly computable DAG
CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
On Reversible Combinatory Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
On one application of computations with oracle
Programming and Computing Software
Information, utility and bounded rationality
AGI'11 Proceedings of the 4th international conference on Artificial general intelligence
Time complexity of tape reduction for reversible turing machines
RC'11 Proceedings of the Third international conference on Reversible Computation
A reversible abstract machine and its space overhead
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
A Revised Attack on Computational Ontology
Minds and Machines
| Hi-index | 0.00 |
We survey some results of a quarter century of work on general reversible computation about energy-, time- and space requirements.