| 2012 | Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits. | Marek Szyprowski, Pawel Kerntopf |
| 2012 | Using | Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler |
| 2012 | Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. | Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2012 | Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots. | Ulrik Pagh Schultz |
| 2012 | Reversible and Quantum Circuit Optimization: A Functional Approach. | Zahra Sasanian, D. Michael Miller |
| 2012 | Properties of Quantum Templates. | Md. Mazder Rahman, Gerhard W. Dueck |
| 2012 | A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. | Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2012 | Design of an Online Testable Ternary Circuit from the Truth Table. | Noor M. Nayeem, Jacqueline E. Rice |
| 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 | Controlled Reversibility and Compensations. | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2012 | One-Way Reversible Multi-head Finite Automata. | Martin Kutrib, Andreas Malcher |
| 2012 | A Verification Technique for Reversible Process Algebra. | Jean Krivine |
| 2012 | Isomorphic Interpreters from Logically Reversible Abstract Machines. | Roshan P. James, Amr Sabry |
| 2012 | Synthesizing Loops for Program Inversion. | Cong Hou, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc |
| 2012 | Frugal Encoding in Reversible MOQA: A Case Study for Quicksort. | Diarmuid Early, Ang Gao, Michel P. Schellekens |
| 2012 | Tutorial: Graphical Calculus for Quantum Circuits. | Bob Coecke, Ross Duncan |
| 2012 | Garbageless Reversible Implementation of Integer Linear Transformations. | Stphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen |
| 2012 | Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 | Holger Bock Axelsen, Michael Kirkedal Thomsen |
| 2011 | Towards a Reversible Functional Language. | Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glck |
| 2011 | A Reversible Processor Architecture and Its Reversible Logic Design. | Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glck |
| 2011 | RevKit: An Open Source Toolkit for the Design of Reversible Circuits. | Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| 2011 | Transforming MCT Circuits to NCVW Circuits. | Zahra Sasanian, D. Michael Miller |
| 2011 | Optimization of Reversible Circuits Using Reconfigured Templates. | Md. Mazder Rahman, Gerhard W. Dueck, Anindita Banerjee |
| 2011 | Hybrid GF(2) - Boolean Expressions ..for Quantum Computing Circuits. | Claudio Moraga |
| 2011 | Changing the Gate Order for Optimal LNN Conversion. | Atsushi Matsuo, Shigeru Yamashita |