Abstract is missing.
- Reversible Computation in Integrated PhotonicsAlexis De Vos. 3-19 [doi]
- Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli GatesShohei Kuroda, Shigeru Yamashita. 20-27 [doi]
- Constructing All Qutrit Controlled Clifford+T gates in Clifford+TLia Yeh, John van de Wetering. 28-50 [doi]
- Fast Control for Reversible ProcessorsTorben Ægidius Mogensen. 51-64 [doi]
- Designing a Reversible Stack MachineNiklas Deworetzki, Uwe Meyer 0003. 65-72 [doi]
- Directed Graph Encoding in Quantum Computing Supporting Edge-FailuresDavide Della Giustina, C. Piazza, B. Riccardi, R. Romanello. 75-92 [doi]
- Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might ThinkStefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille. 93-107 [doi]
- Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with LeanGiacomo Maletto, Luca Roversi. 111-127 [doi]
- Algeo: An Algebraic Approach to ReversibilityFritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen. 128-145 [doi]
- Concurrencies in Reversible Concurrent CalculiClément Aubert. 146-163 [doi]
- The ℵ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\aleph $$\end{document}-Calculus - A Declarative Model of Reversible ProgrammingHannah Earley. 164-171 [doi]
- Formal Translation from Reversing Petri Nets to Coloured Petri NetsKamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara. 172-186 [doi]
- Reversibility in Erlang: Imperative ConstructsPietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti. 187-203 [doi]
- A Reversible Debugger for Imperative Parallel Programs with ContractsTakashi Ikeda, Shoji Yuen. 204-212 [doi]
- Towards Causal-Consistent Reversibility of Imperative Concurrent ProgramsJames Hoey, Irek Ulidowski. 213-223 [doi]
- Optimizing Reversible ProgramsNiklas Deworetzki, Martin Kutrib, Uwe Meyer 0003, Pia-Doreen Ritzke. 224-238 [doi]