| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Domenico Cantone, Simone Faro, Arianna Pavone |
Quantum String Matching Unfolded and Extended.  |
RC  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert |
Replications in Reversible Concurrent Calculi. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, Manfred Hauswirth |
Uncomputation in the Qrisp High-Level Quantum Programming Framework. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert, Peter Browning |
Implementation of a Reversible Distributed Calculus. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Wolpers Reholt, Robert Glück, Matthis Kruse |
Towards a Dereversibilizer: Fewer Asserts, Statically. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Irek Ulidowski |
Saving Memory Space in Deep Neural Networks by Recomputing: A Survey. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhoy Kole, Kamalika Datta, Philipp Niemann 0001, Indranil Sengupta 0001, Rolf Drechsler |
Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
Tail Recursion Transformation for Invertible Functions. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross |
Improved Synthesis of Toffoli-Hadamard Circuits. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Celal Cem Say |
Energy Complexity of Computation. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Uwe Meyer 0003 (eds.) |
Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamalika Datta, Abhoy Kole, Indranil Sengupta 0001, Rolf Drechsler |
Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Deworetzki, Lukas Gail |
Optimization of Reversible Control Flow Graphs. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Christian Rauch 0001 |
Computational Complexity of Reversible Reaction Systems. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend-Jan Quist, Alfons Laarman |
Optimizing Quantum Space Using Spooky Pebble Games. |
RC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Deworetzki, Uwe Meyer 0003 |
Designing a Reversible Stack Machine. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen |
Algeo: An Algebraic Approach to Reversibility. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Maletto, Luca Roversi |
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert |
Concurrencies in Reversible Concurrent Calculi. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis De Vos |
Reversible Computation in Integrated Photonics. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Ægidius Mogensen |
Fast Control for Reversible Processors. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Della Giustina, Carla Piazza, Brian Riccardi, Riccardo Romanello |
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannah Earley |
The ℵ-Calculus - A Declarative Model of Reversible Programming. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shohei Kuroda, Shigeru Yamashita |
Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille |
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara |
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
Reversibility in Erlang: Imperative Constructs. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Deworetzki, Martin Kutrib, Uwe Meyer 0003, Pia-Doreen Ritzke |
Optimizing Reversible Programs. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Antares Mezzina, Krzysztof Podlaski (eds.) |
Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Ikeda, Shoji Yuen |
A Reversible Debugger for Imperative Parallel Programs with Contracts. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James Hoey, Irek Ulidowski |
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lia Yeh, John van de Wetering |
Constructing All Qutrit Controlled Clifford+T gates in Clifford+T. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
Causal-Consistent Debugging of Distributed Erlang Programs. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Uwe Meyer 0003, Niklas Deworetzki, Marc Schuster |
Compiling Janus to RSSA. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Morita |
How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton? |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert, Doriana Medic |
Explicit Identifiers and Contexts in Reversible Concurrent Calculus. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Ægidius Mogensen |
Reversible Functional Array Programming. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Burgholzer, Rudy Raymond, Indranil Sengupta 0001, Robert Wille |
Efficient Construction of Functional Representations for Quantum Algorithms. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Niemann 0001, Luca Müller, Rolf Drechsler |
Finding Optimal Implementations of Non-native CNOT Gates Using SAT. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lasse Hay-Schmidt, Robert Glück, Martin Holm Cservenka, Tue Haulund |
Towards a Unified Language Architecture for Reversible Object-Oriented Programming. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando B. Matos, Luca Paolini, Luca Roversi |
Splitting Recursion Schemes into Reversible and Classical Interacting Threads. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
Towards a Truly Concurrent Semantics for Reversible CCS. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cau, Stefan Kuhn 0001, James Hoey |
Reversibility of Executable Interval Temporal Logic Specifications. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Vassor |
Reversibility and Predictions. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shigeru Yamashita, Tetsuo Yokoyama (eds.) |
Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Keisuke Nakano 0001 |
A Tangled Web of 12 Lens Laws. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Iain Phillips 0001 |
Forward-Reverse Observational Equivalences in CCSK. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Moraga |
OR-Toffoli and OR-Peres Reversible Gates. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Matsuo |
Variational Quantum Eigensolver and Its Applications. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Evan E. Dobbs, Robert Basmadjian, Alexandru Paler, Joseph S. Friedman |
Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek A. Perkowski |
Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostia Chardonnet, Alexis Saurin, Benoît Valiron |
Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Ikeda, Shoji Yuen |
A Reversible Runtime Environment for Parallel Programs. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips 0001, G. Michele Pinna, Irek Ulidowski |
Reversible Occurrence Nets and Causal Reversible Prime Event Structures. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Reversible Computations in Logic Programming. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Kristiansen |
Reversible Programming Languages Capturing Complexity Classes. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Michael Miller, Gerhard W. Dueck |
Search-Based Transformation Synthesis for 3-Valued Reversible Circuits. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Galindo 0002, Naoki Nishida 0001, Josep Silva, Salvador Tamarit |
ReverCSP: Time-Travelling in CSP Computations. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Keisuke Nakano 0001 |
Involutory Turing Machines. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche |
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Fu 0001, Kohei Kishida, Neil J. Ross, Peter Selinger |
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Mariusz Rawski (eds.) |
Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara |
Encoding Reversing Petri Nets in Answer Set Programming. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Doriana Medic, Claudio Antares Mezzina, Iain Phillips 0001, Nobuko Yoshida |
Towards a Formal Account for Software Transactional Memory. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Boykett |
Maximality of Reversible Gate Sets. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando B. Matos, Luca Paolini, Luca Roversi |
On the Expressivity of Total Reversible Programming Languages. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Ægidius Mogensen |
Hermes: A Language for Light-Weight Encryption. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry |
Fractional Types - Expressive and Safe Space Management for Ancilla Bits. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Graversen, Iain Phillips 0001, Nobuko Yoshida |
Event Structures for the Reversible Early Internal π-Calculus. |
RC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis De Vos, Stijn De Baerdemacker |
A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kirkedal Thomsen, Mathias Soeken (eds.) |
Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alwin Zulehner, Hartwig Bauer, Robert Wille |
Evaluating the Flexibility of A* for Mapping Quantum Circuits. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Kaarsgaard |
Inversion, Iteration, and the Art of Dual Wielding. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, Kyriaki Psara, Harun Siljak |
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | James Hoey, Irek Ulidowski |
Reversible Imperative Parallel Programs and Debugging. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel |
Reversibility vs Local Creation/Destruction. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Matsuo, Shigeru Yamashita |
An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli |
Evaluating ESOP Optimization Methods in Quantum Compilation Flows. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Malcolm Regan, Brody Eastwood, Mahita Nagabhiru, Frank Mueller 0001 |
Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Clairambault, Marc de Visme, Glynn Winskel |
Concurrent Quantum Strategies. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre A. A. de Almeida, Gerhard W. Dueck, Alexandre César Rodrigues da Silva |
Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Nishida 0001, Germán Vidal |
Characterizing Compatible View Updates in Syntactic Bidirectionalization. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Harsh Khetawat, Ashlesha Atrey, George Li, Frank Mueller 0001, Scott Pakin |
Implementing NChooseK on IBM Q Quantum Computer Systems. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Amy |
Sized Types for Low-Level Quantum Metaprogramming. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Ægidius Mogensen |
Reversible In-Place Carry-Lookahead Addition with Few Ancillae. |
RC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael P. Frank |
Physical Foundations of Landauer's Principle. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis De Vos, Stijn De Baerdemacker |
A Unified Approach to Quantum Computation and Classical Reversible Computation. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore |
Quantum Circuits for Floating-Point Arithmetic. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Hutslar, Jacques Carette, Amr Sabry |
A Library of Reversible Circuit Transformations (Work in Progress). |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrik Pagh Schultz |
Reversible Object-Oriented Programming with Region-Based Memory Management - Work-in-progress Report. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Ægidius Mogensen |
Garbage-Free Reversible Multiplication and Division. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kuhn 0001 |
Simulation of Base Excision Repair in the Calculus of Covalent Bonding. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulia Meuli, Mathias Soeken, Giovanni De Micheli |
SAT-based {CNOT, T} Quantum Circuit Synthesis. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Margolus |
Finite-State Classical Mechanics. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alwin Zulehner, Robert Wille |
QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report). |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Pfuhl, Jörg Ritter 0002, Paul Molitor |
Finding the Redundant Gates in Reversible Circuits. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Ollinger |
On Aperiodic Reversible Turing Machines (Invited Talk). |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Vassor, Jean-Bernard Stefani |
Checkpoint/Rollback vs Causally-Consistent Reversibility. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
\mathsf CoreFun : A Typed Functional Reversible Core Language. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license