Abstract is missing.
- Moment Semantics for Reversible Rule-Based SystemsVincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki. 3-26 [doi]
- A Hierarchy of Fast Reversible Turing MachinesHolger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher. 29-44 [doi]
- Real-Time Methods in Reversible ComputationTommi Pesu, Iain Phillips. 45-59 [doi]
- Reversible Ordered Restarting AutomataFriedrich Otto, Matthias Wendlandt, Kent Kwee. 60-75 [doi]
- Garbage Collection for Reversible Functional LanguagesTorben Ægidius Mogensen. 79-94 [doi]
- Reverse Code Generation for Parallel Discrete Event SimulationMarkus Schordan, David Jefferson, Peter D. Barnes Jr., Tomas Oppelstrup, Daniel J. Quinlan. 95-110 [doi]
- Towards a Domain-Specific Language for Reversible Assembly SequencesUlrik Pagh Schultz, Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen. 111-126 [doi]
- Reversibility in Extended Measurement-Based Quantum ComputationNidhal Hamrit, Simon Perdrix. 129-138 [doi]
- A Fully Fault-Tolerant Representation of Quantum CircuitsAlexandru Paler, Ilia Polian, Kae Nemoto, Simon J. Devitt. 139-154 [doi]
- Equational Reasoning About Quantum ProtocolsSimon J. Gay, Ittoop Vergheese Puthoor. 155-170 [doi]
- Design and Fabrication of a Microprocessor Using Adiabatic CMOS and Bennett ClockingIsmo K. Hänninen, César O. Campos-Aguillón, Rene Celis-Cordova, Gregory L. Snider. 173-185 [doi]
- Improved Algorithms for Debugging Problems on Erroneous Reversible CircuitsYuma Inoue, Shin-ichi Minato. 186-199 [doi]
- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation SemanticsMichael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken. 200-215 [doi]
- Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional DecompositionNabila Abdessaied, Mathias Soeken, Rolf Drechsler. 219-232 [doi]
- Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible CircuitsZaid Al-Wardi, Robert Wille, Rolf Drechsler. 233-247 [doi]
- Synthesis of Quantum Circuits for Dedicated Physical Machine DescriptionsPhilipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille. 248-264 [doi]
- Power-Clock Generator Impact on the Performance of NEM-Based Quasi-Adiabatic Logic CircuitsSamer Houri, Gérard Billiot, Marc Belleville, Alexandre Valentian, Hervé Fanet. 267-272 [doi]
- Towards a Cost Metric for Nearest Neighbor Constraints in Reversible CircuitsAbhoy Kole, Kamalika Datta, Indranil Sengupta, Robert Wille. 273-278 [doi]
- Towards Modelling of Local ReversibilityStefan Kuhn, Irek Ulidowski. 279-284 [doi]
- Application of Functional Decomposition in Synthesis of Reversible CircuitsMariusz Rawski. 285-290 [doi]