


default search action
RC 2025: Odense, Denmark
- Robert Glück

, Robin Kaarsgaard
:
Reversible Computation - 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings. Lecture Notes in Computer Science 15716, Springer 2025, ISBN 978-3-031-97062-7 - William Arnone, Ivan Lanese:

Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility. 1-8 - Clément Aubert

, Iain C. C. Phillips
, Irek Ulidowski
:
Independence and Causality in the Reversible Concurrent Setting. 9-26 - Adam D. Barwell

, Ping Hou
, Martin Vassor
, Nobuko Yoshida
:
Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $. 27-36 - Giacomo Belli

, Andrea Bersellini, Michele Amoretti
:
Implementation of an Optimally Bounded Algorithm for Quantum State Preparation. 37-53 - Tristan Cam

, Cyril Gavoille
, Yvan Le Borgne, Simon Martiel
:
Universal Graph Theory Operations for Graph State Preparation. 54-70 - Jens Emil Christensen, Søren Fuglede Jørgensen

, Andreas Pavlogiannis, Jaco van de Pol:
On Exact Sizes of Minimal CNOT Circuits. 71-88 - Alexis De Vos:

Two Small Quantum Building-Blocks Suffice. 89-101 - Thomas Kelly, Aleks Kissinger:

Approximate Optimisation of Quantum Circuits Using the ZX Calculus with Phase Squashing. 102-118 - Shunya Oguchi, Shoji Yuen

, Nobuko Yoshida
:
RevMiGo: Reversible Channel-Based Communication in Go Language. 119-127 - Matteo Palazzo

, Luca Roversi
:
Towards a Characterization of Two-Way Bijections in a Reversible Computational Model. 128-136 - Maxime Remaud, Vivien Vandaele:

Ancilla-Free Quantum Adder with Sublinear Depth. 137-154 - Uku Zingel, Stefan Kuhn

, Eero Vainikko
:
Implementing Reversible Neural Networks. 155-161

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














