default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRC 2018: Leicester, UK
- Jarkko Kari, Irek Ulidowski:
Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings. Lecture Notes in Computer Science 11106, Springer 2018, ISBN 978-3-319-99497-0
Invited Papers
- Michael P. Frank:
Physical Foundations of Landauer's Principle. 3-33 - Ivan Lanese:
From Reversible Semantics to Reversible Debugging. 34-46 - Norman Margolus:
Finite-State Classical Mechanics. 47-60 - Nicolas Ollinger:
On Aperiodic Reversible Turing Machines (Invited Talk). 61-64
Reversible Concurrent Computation
- Claudio Antares Mezzina:
On Reversibility and Broadcast. 67-83 - Anna Philippou, Kyriaki Psara:
Reversible Computation in Petri Nets. 84-101 - Eva Graversen
, Iain Phillips, Nobuko Yoshida:
Event Structure Semantics of (controlled) Reversible CCS. 102-122 - Stefan Kuhn:
Simulation of Base Excision Repair in the Calculus of Covalent Bonding. 123-129
Quantum Circuits
- Alexis De Vos, Stijn De Baerdemacker:
A Unified Approach to Quantum Computation and Classical Reversible Computation. 133-143 - Bob Coecke, Quanlong Wang:
ZX-Rules for 2-Qubit Clifford+T Quantum Circuits. 144-161 - Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore:
Quantum Circuits for Floating-Point Arithmetic. 162-174 - Giulia Meuli, Mathias Soeken, Giovanni De Micheli:
SAT-based {CNOT, T} Quantum Circuit Synthesis. 175-188 - Kevin D. Osborn, Waltraut Wustmann:
Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons. 189-204 - Matthias Pfuhl, Jörg Ritter, Paul Molitor:
Finding the Redundant Gates in Reversible Circuits. 205-219 - Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler:
Multi-objective Synthesis of Quantum Circuits Using Genetic Programming. 220-227 - Wakaki Hattori, Shigeru Yamashita:
Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures. 228-243 - Alwin Zulehner, Robert Wille:
QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report). 244-250
Reversible Programming Languages
- Torben Ægidius Mogensen:
Garbage-Free Reversible Multiplication and Division. 253-268 - Martin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen:
Data Structures and Dynamic Memory Management in Reversible Languages. 269-285 - Martin Vassor, Jean-Bernard Stefani:
Checkpoint/Rollback vs Causally-Consistent Reversibility. 286-303 - Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen:
\mathsf CoreFun : A Typed Functional Reversible Core Language. 304-321 - Ulrik Pagh Schultz:
Reversible Object-Oriented Programming with Region-Based Memory Management - Work-in-progress Report. 322-328
Applications
- Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen:
Encryption and Reversible Computations - Work-in-progress Paper. 331-338 - Christian Hutslar, Jacques Carette, Amr Sabry:
A Library of Reversible Circuit Transformations (Work in Progress). 339-345 - Harun Siljak:
Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications - Work in Progress Report. 346-352
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
