↓ 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 Rigid Families for the Reversible $$\pi $$ -Calculus
  3. Altmetric Badge
    Chapter 2 A Calculus for Local Reversibility
  4. Altmetric Badge
    Chapter 3 Static VS Dynamic Reversibility in CCS
  5. Altmetric Badge
    Chapter 4 Reversing Single Sessions
  6. Altmetric Badge
    Chapter 5 Reversible Causal Graph Dynamics
  7. Altmetric Badge
    Chapter 6 Boosting Reversible Pushdown Machines by Preprocessing
  8. Altmetric Badge
    Chapter 7 Reversible Computation vs. Reversibility in Petri Nets
  9. Altmetric Badge
    Chapter 8 Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
  10. Altmetric Badge
    Chapter 9 Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation
  11. Altmetric Badge
    Chapter 10 Elements of a Reversible Object-Oriented Language
  12. Altmetric Badge
    Chapter 11 Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
  13. Altmetric Badge
    Chapter 12 Design and Fabrication of CSWAP Gate Based on Nano-Electromechanical Systems
  14. Altmetric Badge
    Chapter 13 Design of p -Valued Deutsch Quantum Gates with Multiple Control Signals and Mixed Polarity
  15. Altmetric Badge
    Chapter 14 Using $$\pi $$ DDs for Nearest Neighbor Optimization of Quantum Circuits
  16. Altmetric Badge
    Chapter 15 Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits
  17. Altmetric Badge
    Chapter 16 Towards Quantum Programs Verification: From Quipper Circuits to QPMC
  18. Altmetric Badge
    Chapter 17 Application of Permutation Group Theory in Reversible Logic Synthesis
  19. Altmetric Badge
    Chapter 18 Strongly Universal Reversible Gate Sets
  20. Altmetric Badge
    Chapter 19 Enumeration of Reversible Functions and Its Application to Circuit Complexity
  21. Altmetric Badge
    Chapter 20 A Finite Alternation Result for Reversible Boolean Circuits
  22. Altmetric Badge
    Chapter 21 Generating Reversible Circuits from Higher-Order Functional Programs
  23. Altmetric Badge
    Chapter 22 A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis
  24. Altmetric Badge
    Chapter 23 Checking Reversibility of Boolean Functions
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 tweeter

Readers on

2 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 2016
DOI 10.1007/978-3-319-40578-0
978-3-31-940577-3, 978-3-31-940578-0

Devitt, Simon, Lanese, Ivan

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter 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 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Postgraduate 1 50%
Student > Ph. D. Student 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Engineering 1 50%