| 2013 | Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers Robert Glück, Tetsuo Yokoyama |
| 2012 | A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads. Kenichi Morita |
| 2012 | A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2012 | A Verification Technique for Reversible Process Algebra. Jean Krivine |
| 2012 | Controlled Reversibility and Compensations. Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2012 | Design of an Online Testable Ternary Circuit from the Truth Table. Noor M. Nayeem, Jacqueline E. Rice |
| 2012 | Frugal Encoding in Reversible MOQA: A Case Study for Quicksort. Diarmuid Early, Ang Gao, Michel P. Schellekens |
| 2012 | Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 Holger Bock Axelsen, Michael Kirkedal Thomsen |
| 2012 | Garbageless Reversible Implementation of Integer Linear Transformations. Stéphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen |
| 2012 | Isomorphic Interpreters from Logically Reversible Abstract Machines. Roshan P. James, Amr Sabry |
| 2012 | One-Way Reversible Multi-head Finite Automata. Martin Kutrib, Andreas Malcher |
| 2012 | Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits. Marek Szyprowski, Pawel Kerntopf |
| 2012 | Properties of Quantum Templates. Md. Mazder Rahman, Gerhard W. Dueck |
| 2012 | Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2012 | Reversible and Quantum Circuit Optimization: A Functional Approach. Zahra Sasanian, D. Michael Miller |
| 2012 | Synthesizing Loops for Program Inversion. Cong Hou, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc |
| 2012 | Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots. Ulrik Pagh Schultz |
| 2012 | Tutorial: Graphical Calculus for Quantum Circuits. Bob Coecke, Ross Duncan |
| 2012 | Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine. Rodrigo Torres-Avilés, Nicolas Ollinger, Anahí Gajardo |
| 2012 | Using Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler |