Abstract is missing.
- Rigid Families for the Reversible π-CalculusIoana Cristescu, Jean Krivine, Daniele Varacca. 3-19 [doi]
- A Calculus for Local ReversibilityStefan Kuhn 0002, Irek Ulidowski. 20-35 [doi]
- Static VS Dynamic Reversibility in CCSDoriana Medic, Claudio Antares Mezzina. 36-51 [doi]
- Reversing Single SessionsFrancesco Tiezzi, Nobuko Yoshida. 52-69 [doi]
- Reversible Causal Graph DynamicsPablo Arrighi, Simon Martiel, Simon Perdrix. 73-88 [doi]
- Boosting Reversible Pushdown Machines by PreprocessingHolger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt. 89-104 [doi]
- Reversible Computation vs. Reversibility in Petri NetsKamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski. 105-118 [doi]
- Toward an Energy Efficient Language and Compiler for (Partially) Reversible AlgorithmsNirvan Tyagi, Jayson Lynch, Erik D. Demaine. 121-136 [doi]
- Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event SimulationDavide Cingolani, Mauro Ianni, Alessandro Pellegrini 0001, Francesco Quaglia. 137-152 [doi]
- Elements of a Reversible Object-Oriented Language - Work-in-Progress ReportUlrik Pagh Schultz, Holger Bock Axelsen. 153-159 [doi]
- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress ReportRobert Wille, Oliver Keszocze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler. 160-166 [doi]
- Design and Fabrication of CSWAP Gate Based on Nano-Electromechanical SystemsMert Yüksel, Selçuk Oguz Erbil, Atakan B. Ari, M. Selim Hanay. 169-174 [doi]
- Design of p-Valued Deutsch Quantum Gates with Multiple Control Signals and Mixed PolarityClaudio Moraga. 175-180 [doi]
- Using \pi DDs for Nearest Neighbor Optimization of Quantum CircuitsRobert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato. 181-196 [doi]
- Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum CircuitsAlexandru Paler. 199-212 [doi]
- Towards Quantum Programs Verification: From Quipper Circuits to QPMCLinda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani. 213-219 [doi]
- Application of Permutation Group Theory in Reversible Logic SynthesisDmitry V. Zakablukov. 223-238 [doi]
- Strongly Universal Reversible Gate SetsTim Boykett, Jarkko Kari, Ville Salo. 239-254 [doi]
- Enumeration of Reversible Functions and Its Application to Circuit ComplexityMathias Soeken, Nabila Abdessaied, Giovanni De Micheli. 255-270 [doi]
- A Finite Alternation Result for Reversible Boolean CircuitsPeter Selinger. 271-285 [doi]
- Generating Reversible Circuits from Higher-Order Functional ProgramsBenoît Valiron. 289-306 [doi]
- A Fast Symbolic Transformation Based Algorithm for Reversible Logic SynthesisMathias Soeken, Gerhard W. Dueck, D. Michael Miller. 307-321 [doi]
- Checking Reversibility of Boolean FunctionsRobert Wille, Aaron Lye, Philipp Niemann. 322-337 [doi]