ask others

RC 2012: Copenhagen, Denmark

> Home > Conferences and Workshops > RC

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/2012
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/2012
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/CoeckeD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/CoeckeD12
Bob Coecke, Ross Duncan:
Tutorial: Graphical Calculus for Quantum Circuits. 1-13
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/KutribM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/KutribM12
Martin Kutrib, Andreas Malcher:
One-Way Reversible Multi-head Finite Automata. 14-28
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/Morita12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/Morita12
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/TorresOG12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/TorresOG12
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/JamesS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/JamesS12
Roshan P. James, Amr Sabry:
Isomorphic Interpreters from Logically Reversible Abstract Machines. 57-71
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/HouQJFV12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/HouQJFV12
Cong Hou, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc:
Synthesizing Loops for Program Inversion. 72-84
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/EarlyGS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/EarlyGS12
Diarmuid Early, Ang Gao, Michel P. Schellekens:
Frugal Encoding in Reversible MOQA: A Case Study for Quicksort. 85-96
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/Schultz12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/Schultz12
Ulrik Pagh Schultz:
Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots. 97-111

Reversible and Quantum Circuits

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/SasanianM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/SasanianM12
Zahra Sasanian, D. Michael Miller:
Reversible and Quantum Circuit Optimization: A Functional Approach. 112-124
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/RahmanD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/RahmanD12
Md. Mazder Rahman, Gerhard W. Dueck:
Properties of Quantum Templates. 125-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/SzyprowskiK12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/SzyprowskiK12
Marek Szyprowski, Pawel Kerntopf:
Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits. 138-151
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/NayeemR12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/NayeemR12
Noor M. Nayeem, Jacqueline E. Rice:
Design of an Online Testable Ternary Circuit from the Truth Table. 152-159

Physical Realizations and Design

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/BurignatVVT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/BurignatVVT12
Stéphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen:
Garbageless Reversible Implementation of Integer Linear Transformations. 160-170
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/AxelsenT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/AxelsenT12
Holger Bock Axelsen, Michael Kirkedal Thomsen:
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2^k±2^l±1. 171-182
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/SeiterSWD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/SeiterSWD12
Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler:
Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. 183-196
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/SoekenWMD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/SoekenWMD12
Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler:
Using πDDs in the Design of Reversible Circuits. 197-203

Distributed Systems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/Krivine12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/Krivine12
Jean Krivine:
A Verification Technique for Reversible Process Algebra. 204-217
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/PhillipsUY12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/PhillipsUY12
Iain Phillips, Irek Ulidowski, Shoji Yuen:
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. 218-232
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/LaneseMS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/LaneseMS12
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Controlled Reversibility and Compensations. 233-240

maintained by

at