Abstract is missing.
- Physical Foundations of Landauer's PrincipleMichael P. Frank. 3-33 [doi]
- From Reversible Semantics to Reversible DebuggingIvan Lanese. 34-46 [doi]
- Finite-State Classical MechanicsNorman Margolus. 47-60 [doi]
- On Aperiodic Reversible Turing Machines (Invited Talk)Nicolas Ollinger. 61-64 [doi]
- On Reversibility and BroadcastClaudio Antares Mezzina. 67-83 [doi]
- Reversible Computation in Petri NetsAnna Philippou, Kyriaki Psara. 84-101 [doi]
- Event Structure Semantics of (controlled) Reversible CCSEva Graversen, Iain Phillips 0001, Nobuko Yoshida. 102-122 [doi]
- Simulation of Base Excision Repair in the Calculus of Covalent BondingStefan Kuhn 0001. 123-129 [doi]
- A Unified Approach to Quantum Computation and Classical Reversible ComputationAlexis De Vos, Stijn De Baerdemacker. 133-143 [doi]
- ZX-Rules for 2-Qubit Clifford+T Quantum CircuitsBob Coecke, Quanlong Wang. 144-161 [doi]
- Quantum Circuits for Floating-Point ArithmeticThomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore. 162-174 [doi]
- SAT-based {CNOT, T} Quantum Circuit SynthesisGiulia Meuli, Mathias Soeken, Giovanni De Micheli. 175-188 [doi]
- Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using FluxonsKevin D. Osborn, Waltraut Wustmann. 189-204 [doi]
- Finding the Redundant Gates in Reversible CircuitsMatthias Pfuhl, Jörg Ritter, Paul Molitor. 205-219 [doi]
- Multi-objective Synthesis of Quantum Circuits Using Genetic ProgrammingMoein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler. 220-227 [doi]
- Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor ArchitecturesWakaki Hattori, Shigeru Yamashita. 228-243 [doi]
- QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report)Alwin Zulehner, Robert Wille. 244-250 [doi]
- Garbage-Free Reversible Multiplication and DivisionTorben Ægidius Mogensen. 253-268 [doi]
- Data Structures and Dynamic Memory Management in Reversible LanguagesMartin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen. 269-285 [doi]
- Checkpoint/Rollback vs Causally-Consistent ReversibilityMartin Vassor, Jean-Bernard Stefani. 286-303 [doi]
- \mathsf CoreFun : A Typed Functional Reversible Core LanguagePetur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen. 304-321 [doi]
- Reversible Object-Oriented Programming with Region-Based Memory Management - Work-in-progress ReportUlrik Pagh Schultz. 322-328 [doi]
- Encryption and Reversible Computations - Work-in-progress PaperDominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen. 331-338 [doi]
- A Library of Reversible Circuit Transformations (Work in Progress)Christian Hutslar, Jacques Carette, Amr Sabry. 339-345 [doi]
- Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications - Work in Progress ReportHarun Siljak. 346-352 [doi]