Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

RC 2024: Toruń, Poland

> Home > Conferences and Workshops > RC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rc/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/2024
Torben Ægidius Mogensen, Lukasz Mikulski:
Reversible Computation - 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings. Lecture Notes in Computer Science 14680, Springer 2024, ISBN 978-3-031-62075-1

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rc/LaneseG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/LaneseG24
Ivan Lanese, Gregor Gössler:
Causal Debugging for Concurrent Systems. 3-9
- view
  authority control:
- export record
  dblp key:
  - conf/rc/CaretteHKS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/CaretteHKS24
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry:
Compositional Reversible Computation. 10-27

Models of Reversible Computation

- view
  authority control:
- export record
  dblp key:
  - conf/rc/PalazzoR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/PalazzoR24
Matteo Palazzo, Luca Roversi:
Algorithmically Expressive, Always-Terminating Model for Reversible Computation. 31-49
- view
  authority control:
- export record
  dblp key:
  - conf/rc/ArrighiDD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ArrighiDD24
Pablo Arrighi, Gilles Dowek, Amélia Durbec:
A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis. 50-68
- view
  authority control:
- export record
  dblp key:
  - conf/rc/FabbrettiLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/FabbrettiLS24
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Reversibility with Holes - (Work in Progress). 69-74

Experiments in Reversible Programming

- view
  authority control:
- export record
  dblp key:
  - conf/rc/VadgaardKLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/VadgaardKLT24
Lars-Bo Husted Vadgaard, Maja Hanne Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen:
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. 77-93
- view
  authority control:
- export record
  dblp key:
  - conf/rc/LyngbyNGY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/LyngbyNGY24
Therese Lyngby, Rasmus Ross Nylandsted, Robert Glück, Tetsuo Yokoyama:
Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. 94-102

Reversible and Quantum Programming Languages

- view
  authority control:
- export record
  dblp key:
  - conf/rc/LamiLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/LamiLS24
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani:
A Small-Step Semantics for Janus. 105-123
- view
  authority control:
- export record
  dblp key:
  - conf/rc/KristensenKT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/KristensenKT24
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen:
Jeopardy: An Invertible Functional Programming Language. 124-141
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Wesley24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Wesley24
Scott Wesley:
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper. 142-160
- view
  authority control:
- export record
  dblp key:
  - conf/rc/GailM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/GailM24
Lukas Gail, Uwe Meyer:
Connecting Reversible and Classical Computing Through Hybrid SSA. 161-178

Synthesis, Verification, and Analysis of Reversible and Quantum Systems

- view
  authority control:
- export record
  dblp key:
  - conf/rc/OguchiY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/OguchiY24
Shunya Oguchi, Shoji Yuen:
Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language. 181-200
- view
  authority control:
- export record
  dblp key:
  - conf/rc/HurwitzDKD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/HurwitzDKD24
Liam Hurwitz, Kamalika Datta, Abhoy Kole, Rolf Drechsler:
Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits? 201-217
- view
  authority control:
- export record
  dblp key:
  - conf/rc/LuogoMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/LuogoMP24
Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna:
Model Checking Reversible Systems: Forwardly. 218-237
- view
  authority control:
- export record
  dblp key:
  - conf/rc/AmyGKMMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/AmyGKMMR24
Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross:
Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits. 238-245

a service of

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.