Sign in
RC
2011
2015
2019
2023
2011
2023
Keyphrases
Publications
2023
Joachim Tilsted Kristensen
,
Robin Kaarsgaard
,
Michael Kirkedal Thomsen
Tail Recursion Transformation for Invertible Functions.
RC
(2023)
Jonas Wolpers Reholt
,
Robert Glück
,
Matthis Kruse
Towards a Dereversibilizer: Fewer Asserts, Statically.
RC
(2023)
Robert Glück
,
Ivan Lanese
,
Claudio Antares Mezzina
,
Jaroslaw Adam Miszczak
,
Iain C. C. Phillips
,
Irek Ulidowski
,
Germán Vidal
Towards a Taxonomy for Reversible Computation Approaches.
RC
(2023)
Matthew Amy
,
Andrew N. Glaudell
,
Sarah Meng Li
,
Neil J. Ross
Improved Synthesis of Toffoli-Hadamard Circuits.
RC
(2023)
Markus Holzer
,
Christian Rauch
Computational Complexity of Reversible Reaction Systems.
RC
(2023)
Clément Aubert
,
Peter Browning
Implementation of a Reversible Distributed Calculus.
RC
(2023)
Abhoy Kole
,
Kamalika Datta
,
Philipp Niemann
,
Indranil Sengupta
,
Rolf Drechsler
Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures.
RC
(2023)
Ahmet Celal Cem Say
Energy Complexity of Computation.
RC
(2023)
Domenico Cantone
,
Simone Faro
,
Arianna Pavone
Quantum String Matching Unfolded and Extended.
RC
(2023)
Arend-Jan Quist
,
Alfons Laarman
Optimizing Quantum Space Using Spooky Pebble Games.
RC
(2023)
Clément Aubert
Replications in Reversible Concurrent Calculi.
RC
(2023)
Niklas Deworetzki
,
Lukas Gail
Optimization of Reversible Control Flow Graphs.
RC
(2023)
Irek Ulidowski
Saving Memory Space in Deep Neural Networks by Recomputing: A Survey.
RC
(2023)
Raphael Seidel
,
Nikolay Tcholtchev
,
Sebastian Bock
,
Manfred Hauswirth
Uncomputation in the Qrisp High-Level Quantum Programming Framework.
RC
(2023)
Kamalika Datta
,
Abhoy Kole
,
Indranil Sengupta
,
Rolf Drechsler
Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture.
RC
(2023)
volume 13960, 2023
Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
RC
13960 (2023)
2022
Kamila Barylska
,
Anna Gogolinska
,
Lukasz Mikulski
,
Anna Philippou
,
Marcin Piatkowski
,
Kyriaki Psara
Formal Translation from Reversing Petri Nets to Coloured Petri Nets.
RC
(2022)
Shohei Kuroda
,
Shigeru Yamashita
Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates.
RC
(2022)
Davide Della Giustina
,
C. Piazza
,
B. Riccardi
,
R. Romanello
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures.
RC
(2022)
Hannah Earley
The ℵ-Calculus - A Declarative Model of Reversible Programming.
RC
(2022)
Stefan Hillmich
,
Lukas Burgholzer
,
Florian Stögmüller
,
Robert Wille
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think.
RC
(2022)
Alexis De Vos
Reversible Computation in Integrated Photonics.
RC
(2022)
Clément Aubert
Concurrencies in Reversible Concurrent Calculi.
RC
(2022)
Torben Ægidius Mogensen
Fast Control for Reversible Processors.
RC
(2022)
Giacomo Maletto
,
Luca Roversi
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean.
RC
(2022)
James Hoey
,
Irek Ulidowski
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs.
RC
(2022)
Takashi Ikeda
,
Shoji Yuen
A Reversible Debugger for Imperative Parallel Programs with Contracts.
RC
(2022)
Lia Yeh
,
John van de Wetering
Constructing All Qutrit Controlled Clifford+T gates in Clifford+T.
RC
(2022)
Niklas Deworetzki
,
Uwe Meyer
Designing a Reversible Stack Machine.
RC
(2022)
Niklas Deworetzki
,
Martin Kutrib
,
Uwe Meyer
,
Pia-Doreen Ritzke
Optimizing Reversible Programs.
RC
(2022)
Fritz Henglein
,
Robin Kaarsgaard
,
Mikkel Kragh Mathiesen
Algeo: An Algebraic Approach to Reversibility.
RC
(2022)
Pietro Lami
,
Ivan Lanese
,
Jean-Bernard Stefani
,
Claudio Sacerdoti Coen
,
Giovanni Fabbretti
Reversibility in Erlang: Imperative Constructs.
RC
(2022)
volume 13354, 2022
Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings
RC
13354 (2022)
2021
Keisuke Nakano
A Tangled Web of 12 Lens Laws.
RC
(2021)
Martin Vassor
Reversibility and Predictions.
RC
(2021)
Hernán C. Melgratti
,
Claudio Antares Mezzina
,
G. Michele Pinna
Towards a Truly Concurrent Semantics for Reversible CCS.
RC
(2021)
Antonio Cau
,
Stefan Kuhn
,
James Hoey
Reversibility of Executable Interval Temporal Logic Specifications.
RC
(2021)
Philipp Niemann
,
Luca Müller
,
Rolf Drechsler
Finding Optimal Implementations of Non-native CNOT Gates Using SAT.
RC
(2021)
Lasse Hay-Schmidt
,
Robert Glück
,
Martin Holm Cservenka
,
Tue Haulund
Towards a Unified Language Architecture for Reversible Object-Oriented Programming.
RC
(2021)
Armando B. Matos
,
Luca Paolini
,
Luca Roversi
Splitting Recursion Schemes into Reversible and Classical Interacting Threads.
RC
(2021)
Ivan Lanese
,
Iain Phillips
Forward-Reverse Observational Equivalences in CCSK.
RC
(2021)
Torben Ægidius Mogensen
Reversible Functional Array Programming.
RC
(2021)
Giovanni Fabbretti
,
Ivan Lanese
,
Jean-Bernard Stefani
Causal-Consistent Debugging of Distributed Erlang Programs.
RC
(2021)
Lukas Burgholzer
,
Rudy Raymond
,
Indranil Sengupta
,
Robert Wille
Efficient Construction of Functional Representations for Quantum Algorithms.
RC
(2021)
Evan E. Dobbs
,
Robert Basmadjian
,
Alexandru Paler
,
Joseph S. Friedman
Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network.
RC
(2021)
Atsushi Matsuo
Variational Quantum Eigensolver and Its Applications.
RC
(2021)
Clément Aubert
,
Doriana Medic
Explicit Identifiers and Contexts in Reversible Concurrent Calculus.
RC
(2021)
Martin Kutrib
,
Uwe Meyer
,
Niklas Deworetzki
,
Marc Schuster
Compiling Janus to RSSA.
RC
(2021)
Kenichi Morita
How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton?
RC
(2021)
volume 12805, 2021
Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings
RC
12805 (2021)