| 2015 | Garbage Collection for Reversible Functional Languages. | Torben gidius Mogensen |
| 2015 | Towards Modelling of Local Reversibility. | Stefan Kuhn, Irek Ulidowski |
| 2015 | Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits. | Abhoy Kole, Kamalika Datta, Indranil Sengupta, Robert Wille |
| 2015 | Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. | Yuma Inoue, Shin-ichi Minato |
| 2015 | Power-Clock Generator Impact on the Performance of NEM-Based Quasi-Adiabatic Logic Circuits. | Samer Houri, Grard Billiot, Marc Belleville, Alexandre Valentian, Herv Fanet |
| 2015 | Design and Fabrication of a Microprocessor Using Adiabatic CMOS and Bennett Clocking. | Ismo K. Hnninen, Csar O. Campos-Aguilln, Rene Celis-Cordova, Gregory L. Snider |
| 2015 | Reversibility in Extended Measurement-Based Quantum Computation. | Nidhal Hamrit, Simon Perdrix |
| 2015 | Equational Reasoning About Quantum Protocols. | Simon J. Gay, Ittoop Vergheese Puthoor |
| 2015 | Moment Semantics for Reversible Rule-Based Systems. | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
| 2015 | A Hierarchy of Fast Reversible Turing Machines. | Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher |
| 2015 | Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits. | Zaid Al-Wardi, Robert Wille, Rolf Drechsler |
| 2015 | Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition. | Nabila Abdessaied, Mathias Soeken, Rolf Drechsler |
| 2014 | RevVis: Visualization of Structures and Properties in Reversible Circuits. | Robert Wille, Jannis Stoppe, Eleonora Schnborn, Kamalika Datta, Rolf Drechsler |
| 2014 | Concurrency and Reversibility. | Irek Ulidowski, Iain Phillips, Shoji Yuen |
| 2014 | Reversible Computing Using Adiabatic Superconductor Logic. | Naoki Takeuchi, Yuki Yamanashi, Nobuyuki Yoshikawa |
| 2014 | Templates for Positive and Negative Control Toffoli Networks. | Md. Zamilur Rahman, Jacqueline E. Rice |
| 2014 | Cross-Level Validation of Topological Quantum Circuits. | Alexandru Paler, Simon J. Devitt, Kae Nemoto, Ilia Polian |
| 2014 | Equivalence Checking in Multi-level Quantum Systems. | Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2014 | Arbitration and Reversibility of Parallel Delay-Insensitive Modules. | Daniel Morrison, Irek Ulidowski |
| 2014 | Reference Counting for Reversible Languages. | Torben gidius Mogensen |
| 2014 | Mapping NCV Circuits to Optimized Clifford+T Circuits. | D. Michael Miller, Mathias Soeken, Rolf Drechsler |
| 2014 | Degrees of Reversibility for DFA and DPDA. | Martin Kutrib, Thomas Worsch |
| 2014 | Trace Complexity of Chaotic Reversible Cellular Automata. | Jarkko Kari, Ville Salo, Ilkka Trm |
| 2014 | BDD Operations for Quantum Graph States. | Hidefumi Hiraishi, Hiroshi Imai |
| 2014 | Classical Control of Large-Scale Quantum Computers. | Simon J. Devitt |