↓ 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 Moment Semantics for Reversible Rule-Based Systems
  3. Altmetric Badge
    Chapter 2 A Hierarchy of Fast Reversible Turing Machines
  4. Altmetric Badge
    Chapter 3 Real-Time Methods in Reversible Computation
  5. Altmetric Badge
    Chapter 4 Reversible Ordered Restarting Automata
  6. Altmetric Badge
    Chapter 5 Garbage Collection for Reversible Functional Languages
  7. Altmetric Badge
    Chapter 6 Reverse Code Generation for Parallel Discrete Event Simulation
  8. Altmetric Badge
    Chapter 7 Towards a Domain-Specific Language for Reversible Assembly Sequences
  9. Altmetric Badge
    Chapter 8 Reversibility in Extended Measurement-Based Quantum Computation
  10. Altmetric Badge
    Chapter 9 A Regular Representation of Quantum Circuits
  11. Altmetric Badge
    Chapter 10 Reversible Computation
  12. Altmetric Badge
    Chapter 11 Design and Fabrication of a Microprocessor Using Adiabatic CMOS and Bennett Clocking
  13. Altmetric Badge
    Chapter 12 Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits
  14. Altmetric Badge
    Chapter 13 Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics
  15. Altmetric Badge
    Chapter 14 Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition
  16. Altmetric Badge
    Chapter 15 Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits
  17. Altmetric Badge
    Chapter 16 Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions
  18. Altmetric Badge
    Chapter 17 Power-Clock Generator Impact on the Performance of NEM-Based Quasi-Adiabatic Logic Circuits
  19. Altmetric Badge
    Chapter 18 Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits
  20. Altmetric Badge
    Chapter 19 Towards Modelling of Local Reversibility
  21. Altmetric Badge
    Chapter 20 Application of Functional Decomposition in Synthesis of Reversible Circuits
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

2 tweeters


1 Dimensions

Readers on

6 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Reversible Computation
Published by
Springer International Publishing, June 2015
DOI 10.1007/978-3-319-20860-2
978-3-31-920859-6, 978-3-31-920860-2

Krivine, Jean, Stefani, Jean-Bernard

Twitter Demographics

The data shown below were collected from the profiles of 2 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 6 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status Count As %
Unknown 6 100%
Readers by discipline Count As %
Unknown 6 100%