default search action
RC 2012: Copenhagen, Denmark
- Robert Glück, Tetsuo Yokoyama:
Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Lecture Notes in Computer Science 7581, Springer 2013, ISBN 978-3-642-36314-6
Theoretical Considerations
- Bob Coecke, Ross Duncan
:
Tutorial: Graphical Calculus for Quantum Circuits. 1-13 - Martin Kutrib
One-Way Reversible Multi-head Finite Automata. 14-28 - Kenichi Morita:
A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads. 29-43 - Rodrigo Torres-Avilés, Nicolas Ollinger, Anahí Gajardo
Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine. 44-56
Reversible Software and Languages
- Roshan P. James, Amr Sabry
Isomorphic Interpreters from Logically Reversible Abstract Machines. 57-71 - Cong Hou, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc
Synthesizing Loops for Program Inversion. 72-84 - Diarmuid Early, Ang Gao, Michel P. Schellekens:
Frugal Encoding in Reversible MOQA: A Case Study for Quicksort. 85-96 - Ulrik Pagh Schultz
Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots. 97-111
Reversible and Quantum Circuits
- Zahra Sasanian, D. Michael Miller:
Reversible and Quantum Circuit Optimization: A Functional Approach. 112-124 - Md. Mazder Rahman, Gerhard W. Dueck:
Properties of Quantum Templates. 125-137 - Marek Szyprowski, Pawel Kerntopf:
Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits. 138-151 - Noor M. Nayeem, Jacqueline E. Rice:
Design of an Online Testable Ternary Circuit from the Truth Table. 152-159
Physical Realizations and Design
- Stéphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen:
Garbageless Reversible Implementation of Integer Linear Transformations. 160-170 - Holger Bock Axelsen, Michael Kirkedal Thomsen:
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1. 171-182 - Julia Seiter, Mathias Soeken
Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. 183-196 - Mathias Soeken
Using πDDs in the Design of Reversible Circuits. 197-203
Distributed Systems
- Jean Krivine:
A Verification Technique for Reversible Process Algebra. 204-217 - Iain Phillips
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. 218-232 - Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Controlled Reversibility and Compensations. 233-240
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 2024-12-22 18:46 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: