Reversible Computation

- Invited Paper

- Moment Semantics for Reversible Rule-Based Systems

- Reversible machines

- A Hierarchy of Fast Reversible Turing Machines

- Real-time methods in reversible computation

- Reversible Ordered Restarting Automata

- Reversible Languages

- Garbage Collection for Reversible Functional Languages

- Reverse Code Generation for Parallel Discrete Event Simulation

- Towards a Domain-Specific Language for Reversible Assembly Sequences

- Design and verification of quantum circuits

- Reversibility in Extended Measurement-based Quantum Computation

- A Fully Fault-Tolerant Representation of Quantum Circuits

- Equational reasoning about quantum protocols

- Design of reversible circuits

- Design and Fabrication of a Microprocessor using Adiabatic CMOS and Bennett Clocking

- Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits

- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics

- Circuit Synthesis

- Technology Mapping for Single Target Gate based Circuits using Boolean Functional Decomposition

- Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits

- Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions

- Short Papers

- Power-Clock Generator Impact on the Performance of NEM-Based Adiabatic Logic Circuits

- A Cost Metric for the Design of Nearest Neighbor Quantum Circuits at the Reversible Logic Level

- Towards modelling of local reversibility

- Application of Functional Decomposition in Synthesis of Reversible Circuits