RC

Keyphrases

Publications

2024

Lukas Gail, Uwe Meyer
Connecting Reversible and Classical Computing Through Hybrid SSA. RC (2024)
Pablo Arrighi, Gilles Dowek, Amélia Durbec
A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis. RC (2024)
Scott Wesley
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper. RC (2024)
Liam Hurwitz, Kamalika Datta, Abhoy Kole, Rolf Drechsler
Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits? RC (2024)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
Compositional Reversible Computation. RC (2024)
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani
A Small-Step Semantics for Janus. RC (2024)
Lars-Bo Husted Vadgaard, Maja Hanne Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. RC (2024)
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Reversibility with Holes - (Work in Progress). RC (2024)
Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna
Model Checking Reversible Systems: Forwardly. RC (2024)
Shunya Oguchi, Shoji Yuen
Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language. RC (2024)
Ivan Lanese, Gregor Gössler
Causal Debugging for Concurrent Systems. RC (2024)
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Jeopardy: An Invertible Functional Programming Language. RC (2024)
Therese Lyngby, Rasmus Ross Nylandsted, Robert Glück, Tetsuo Yokoyama
Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. RC (2024)
Matteo Palazzo, Luca Roversi
Algorithmically Expressive, Always-Terminating Model for Reversible Computation. RC (2024)
Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross
Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits. RC (2024)

volume 14680, 2024

Reversible Computation - 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings RC 14680 (2024)

2023

volume 13960, 2023

Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings RC 13960 (2023)

2022

volume 13354, 2022

Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings RC 13354 (2022)

volume 12805, 2021

Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings RC 12805 (2021)