↓ Skip to main content

Reversible Computation

Overview of attention for book
Cover of 'Reversible Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Physical Foundations of Landauer’s Principle
  3. Altmetric Badge
    Chapter 2 From Reversible Semantics to Reversible Debugging
  4. Altmetric Badge
    Chapter 3 Finite-State Classical Mechanics
  5. Altmetric Badge
    Chapter 4 On Aperiodic Reversible Turing Machines (Invited Talk)
  6. Altmetric Badge
    Chapter 5 On Reversibility and Broadcast
  7. Altmetric Badge
    Chapter 6 Reversible Computation in Petri Nets
  8. Altmetric Badge
    Chapter 7 Event Structure Semantics of (controlled) Reversible CCS
  9. Altmetric Badge
    Chapter 8 Simulation of Base Excision Repair in the Calculus of Covalent Bonding
  10. Altmetric Badge
    Chapter 9 A Unified Approach to Quantum Computation and Classical Reversible Computation
  11. Altmetric Badge
    Chapter 10 ZX-Rules for 2-Qubit Clifford+T Quantum Circuits
  12. Altmetric Badge
    Chapter 11 Quantum Circuits for Floating-Point Arithmetic
  13. Altmetric Badge
    Chapter 12 SAT-based {CNOT, T} Quantum Circuit Synthesis
  14. Altmetric Badge
    Chapter 13 Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons
  15. Altmetric Badge
    Chapter 14 Finding the Redundant Gates in Reversible Circuits
  16. Altmetric Badge
    Chapter 15 Multi-objective Synthesis of Quantum Circuits Using Genetic Programming
  17. Altmetric Badge
    Chapter 16 Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures
  18. Altmetric Badge
    Chapter 17 QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report)
  19. Altmetric Badge
    Chapter 18 Garbage-Free Reversible Multiplication and Division
  20. Altmetric Badge
    Chapter 19 Data Structures and Dynamic Memory Management in Reversible Languages
  21. Altmetric Badge
    Chapter 20 Checkpoint/Rollback vs Causally-Consistent Reversibility
  22. Altmetric Badge
    Chapter 21 $$\mathsf {CoreFun}$$ : A Typed Functional Reversible Core Language
  23. Altmetric Badge
    Chapter 22 Reversible Object-Oriented Programming with Region-Based Memory Management
  24. Altmetric Badge
    Chapter 23 Encryption and Reversible Computations
  25. Altmetric Badge
    Chapter 24 A Library of Reversible Circuit Transformations (Work in Progress)
  26. Altmetric Badge
    Chapter 25 Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
23 X users
wikipedia
1 Wikipedia page

Citations

dimensions_citation
2 Dimensions