RC C

26 papers

YearTitle / Authors
2018A Library of Reversible Circuit Transformations (Work in Progress).
Christian Hutslar, Jacques Carette, Amr Sabry
2018A Unified Approach to Quantum Computation and Classical Reversible Computation.
Alexis De Vos, Stijn De Baerdemacker
2018Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons.
Kevin D. Osborn, Waltraut Wustmann
2018Checkpoint/Rollback vs Causally-Consistent Reversibility.
Martin Vassor, Jean-Bernard Stefani
2018Data Structures and Dynamic Memory Management in Reversible Languages.
Martin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen
2018Encryption and Reversible Computations - Work-in-progress Paper.
Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen
2018Event Structure Semantics of (controlled) Reversible CCS.
Eva Graversen, Iain Phillips, Nobuko Yoshida
2018Finding the Redundant Gates in Reversible Circuits.
Matthias Pfuhl, Jörg Ritter, Paul Molitor
2018Finite-State Classical Mechanics.
Norman Margolus
2018From Reversible Semantics to Reversible Debugging.
Ivan Lanese
2018Garbage-Free Reversible Multiplication and Division.
Torben Ægidius Mogensen
2018Multi-objective Synthesis of Quantum Circuits Using Genetic Programming.
Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
2018On Aperiodic Reversible Turing Machines (Invited Talk).
Nicolas Ollinger
2018On Reversibility and Broadcast.
Claudio Antares Mezzina
2018Physical Foundations of Landauer's Principle.
Michael P. Frank
2018QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report).
Alwin Zulehner, Robert Wille
2018Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures.
Wakaki Hattori, Shigeru Yamashita
2018Quantum Circuits for Floating-Point Arithmetic.
Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore
2018Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications - Work in Progress Report.
Harun Siljak
2018Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Jarkko Kari, Irek Ulidowski
2018Reversible Computation in Petri Nets.
Anna Philippou, Kyriaki Psara
2018Reversible Object-Oriented Programming with Region-Based Memory Management - Work-in-progress Report.
Ulrik Pagh Schultz
2018SAT-based {CNOT, T} Quantum Circuit Synthesis.
Giulia Meuli, Mathias Soeken, Giovanni De Micheli
2018Simulation of Base Excision Repair in the Calculus of Covalent Bonding.
Stefan Kuhn
2018ZX-Rules for 2-Qubit Clifford+T Quantum Circuits.
Bob Coecke, Quanlong Wang
2018\mathsf CoreFun : A Typed Functional Reversible Core Language.
Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen