Abstract is missing.
- Tutorial: Graphical Calculus for Quantum CircuitsBob Coecke, Ross Duncan. 1-13 [doi]
- One-Way Reversible Multi-head Finite AutomataMartin Kutrib, Andreas Malcher. 14-28 [doi]
- A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of HeadsKenichi Morita. 29-43 [doi]
- Undecidability of the Surjectivity of the Subshift Associated to a Turing MachineRodrigo Torres, Nicolas Ollinger, Anahí Gajardo. 44-56 [doi]
- Isomorphic Interpreters from Logically Reversible Abstract MachinesRoshan P. James, Amr Sabry. 57-71 [doi]
- Synthesizing Loops for Program InversionCong Hou, Daniel J. Quinlan, David Jefferson, Richard Fujimoto, Richard W. Vuduc. 72-84 [doi]
- Frugal Encoding in Reversible MOQA: A Case Study for QuicksortDiarmuid Early, Ang Gao, Michel P. Schellekens. 85-96 [doi]
- Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable RobotsUlrik Pagh Schultz. 97-111 [doi]
- Reversible and Quantum Circuit Optimization: A Functional ApproachZahra Sasanian, D. Michael Miller. 112-124 [doi]
- Properties of Quantum TemplatesMd. Mazder Rahman, Gerhard W. Dueck. 125-137 [doi]
- Optimal 4-bit Reversible Mixed-Polarity Toffoli CircuitsMarek Szyprowski, Pawel Kerntopf. 138-151 [doi]
- Design of an Online Testable Ternary Circuit from the Truth TableNoor M. Nayeem, Jacqueline E. Rice. 152-159 [doi]
- Garbageless Reversible Implementation of Integer Linear TransformationsStéphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen. 160-170 [doi]
- l ±1Holger Bock Axelsen, Michael Kirkedal Thomsen. 171-182 [doi]
- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision DiagramsJulia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler. 183-196 [doi]
- πDDs in the Design of Reversible CircuitsMathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler. 197-203 [doi]
- A Verification Technique for Reversible Process AlgebraJean Krivine. 204-217 [doi]
- A Reversible Process Calculus and the Modelling of the ERK Signalling PathwayIain Phillips, Irek Ulidowski, Shoji Yuen. 218-232 [doi]
- Controlled Reversibility and CompensationsIvan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. 233-240 [doi]