default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRC 2026: Turin, Italy
- Clément Aubert, Luca Roversi:
Reversible Computation - 18th International Conference, RC 2026, Turin, Italy, July 9-10, 2026, Proceedings. Lecture Notes in Computer Science 16626, Springer 2026, ISBN 978-3-032-30838-2
Models of Reversible and Quantum Computation
- Christine Li
, Lia Yeh:
Transversal AND in Quantum Codes. 3-40 - Nicolò Pizzo, Claudio Sacerdoti Coen:
A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value. 41-58 - Baptiste Vallée, Ivan Lanese:
On Weak Bisimilarities in CCSK. 59-74
Formal Developments in Reversible and Quantum Programs
- Giacomo Belli, Michele Amoretti:
Exact Quantum State Preparation with the Standard Recursive Block Basis. 77-94 - Daniel Dávalos, Hernán C. Melgratti:
A Lean Mechanization of Reversible Occurrence Nets. 95-111 - Hannah Blyton, Hugh D. Potter:
Discrete Semantics for Reversible Transistor Network Verification. 112-129
Applications of Reversible and Quantum Computations
- Byron Gregg, Christof Teuscher:
A Proposed Research Platform for Fully Adiabatic, Reversible, and Superscalar (FARS) Microarchitectures. 133-140 - Stefan Kuhn, Vandana Dwarka, Przemyslaw Grenda, Eero Vainikko:
Reversible Deep Learning for 13C NMR in Chemoinformatics: On Structures and Spectra. 141-148 - Antonio Tudisco, Deborah Volpe, Mariagrazia Graziano, Giovanna Turvani:
Toward Quantum Circuit Execution Success Estimation via Graph Neural Network-Based Prediction. 149-163
Reversible Programming Languages
- Lukas Gail, Uwe Meyer, Tristan Schönhals:
Compiling Roopl++ to HSSA. 167-183 - Ivan Lanese, Germán Vidal:
A Reversible Semantics for Janus. 184-200 - Toya Makino, Tetsuo Yokoyama:
Small-Step Semantics with Meta-level Reversibility for a Reversible Core Language. 201-218 - Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi:
PisoLang: a User-Friendly Reversible Programming Language with Inductive Types. 219-235
Support for Reversible Programming
- Julie Cailler, Martin Vassor:
A Graph Rewriting-Based Semantics and Implementation for ρ π. 239-257 - Joachim Tilsted Kristensen, Triera Gashi, Michael Kirkedal Thomsen:
Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation. 258-276 - Louis Marott Normann, Robert Glück:
PEARL: A Partial Evaluation Toolbox for a Reversible Language. 277-284 - Yuna Sadamoto, Shoji Yuen, Claudio Antares Mezzina:
Introducing Time Passage to the Reversible Semantics for Erlang. 285-292
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.
last updated on 2026-09-02 23:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
