![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
RC 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.