Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Domenico Cantone, Simone Faro, Arianna Pavone |
Quantum String Matching Unfolded and Extended. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 117-133, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Clément Aubert |
Replications in Reversible Concurrent Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 15-23, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, Manfred Hauswirth |
Uncomputation in the Qrisp High-Level Quantum Programming Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 150-165, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Clément Aubert, Peter Browning |
Implementation of a Reversible Distributed Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 210-217, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Wolpers Reholt, Robert Glück, Matthis Kruse |
Towards a Dereversibilizer: Fewer Asserts, Statically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 106-114, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Irek Ulidowski |
Saving Memory Space in Deep Neural Networks by Recomputing: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 89-105, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 232-244, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
Tail Recursion Transformation for Invertible Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 73-88, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross |
Improved Synthesis of Toffoli-Hadamard Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 169-209, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ahmet Celal Cem Say |
Energy Complexity of Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 3-11, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![Springer, 978-3-031-38099-0 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 218-231, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 24-39, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Deworetzki, Lukas Gail |
Optimization of Reversible Control Flow Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 57-72, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Christian Rauch 0001 |
Computational Complexity of Reversible Reaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 40-54, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Arend-Jan Quist, Alfons Laarman |
Optimizing Quantum Space Using Spooky Pebble Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, pp. 134-149, 2023, Springer, 978-3-031-38099-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Deworetzki, Uwe Meyer 0003 |
Designing a Reversible Stack Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 65-72, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen |
Algeo: An Algebraic Approach to Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 128-145, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Maletto, Luca Roversi |
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 111-127, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Clément Aubert |
Concurrencies in Reversible Concurrent Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 146-163, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexis De Vos |
Reversible Computation in Integrated Photonics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 3-19, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Torben Ægidius Mogensen |
Fast Control for Reversible Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 51-64, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Davide Della Giustina, Carla Piazza, Brian Riccardi, Riccardo Romanello |
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 75-92, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hannah Earley |
The ℵ-Calculus - A Declarative Model of Reversible Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 164-171, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shohei Kuroda, Shigeru Yamashita |
Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 20-27, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 93-107, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 172-186, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
Reversibility in Erlang: Imperative Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 187-203, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Deworetzki, Martin Kutrib, Uwe Meyer 0003, Pia-Doreen Ritzke |
Optimizing Reversible Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 224-238, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![Springer, 978-3-031-09004-2 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Ikeda, Shoji Yuen |
A Reversible Debugger for Imperative Parallel Programs with Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 204-212, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | James Hoey, Irek Ulidowski |
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 213-223, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lia Yeh, John van de Wetering |
Constructing All Qutrit Controlled Clifford+T gates in Clifford+T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, pp. 28-50, 2022, Springer, 978-3-031-09004-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
Causal-Consistent Debugging of Distributed Erlang Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 79-95, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Uwe Meyer 0003, Niklas Deworetzki, Marc Schuster |
Compiling Janus to RSSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 64-78, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Morita |
How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 3-21, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Clément Aubert, Doriana Medic |
Explicit Identifiers and Contexts in Reversible Concurrent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 144-162, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Torben Ægidius Mogensen |
Reversible Functional Array Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 45-63, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Burgholzer, Rudy Raymond, Indranil Sengupta 0001, Robert Wille |
Efficient Construction of Functional Representations for Quantum Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 227-241, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Niemann 0001, Luca Müller, Rolf Drechsler |
Finding Optimal Implementations of Non-native CNOT Gates Using SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 242-255, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 96-106, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Armando B. Matos, Luca Paolini, Luca Roversi |
Splitting Recursion Schemes into Reversible and Classical Interacting Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 204-213, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
Towards a Truly Concurrent Semantics for Reversible CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 109-125, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cau, Stefan Kuhn 0001, James Hoey |
Reversibility of Executable Interval Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 214-223, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Vassor |
Reversibility and Predictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 163-181, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![Springer, 978-3-030-79836-9 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Keisuke Nakano 0001 |
A Tangled Web of 12 Lens Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 185-203, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Iain Phillips 0001 |
Forward-Reverse Observational Equivalences in CCSK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 126-143, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga |
OR-Toffoli and OR-Peres Reversible Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 266-273, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Matsuo |
Variational Quantum Eigensolver and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 22-41, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, pp. 256-265, 2021, Springer, 978-3-030-79836-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marek A. Perkowski |
Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 3-32, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 144-152, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Ikeda, Shoji Yuen |
A Reversible Runtime Environment for Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 272-279, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 35-53, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Germán Vidal |
Reversible Computations in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 246-254, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lars Kristiansen |
Reversible Programming Languages Capturing Complexity Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 111-127, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | D. Michael Miller, Gerhard W. Dueck |
Search-Based Transformation Synthesis for 3-Valued Reversible Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 218-236, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Galindo 0002, Naoki Nishida 0001, Josep Silva, Salvador Tamarit |
ReverCSP: Time-Travelling in CSP Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 239-245, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Keisuke Nakano 0001 |
Involutory Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 54-70, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 189-205, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 153-168, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![Springer, 978-3-030-52481-4 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara |
Encoding Reversing Petri Nets in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 264-271, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Doriana Medic, Claudio Antares Mezzina, Iain Phillips 0001, Nobuko Yoshida |
Towards a Formal Account for Software Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 255-263, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tim Boykett |
Maximality of Reversible Gate Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 206-217, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Armando B. Matos, Luca Paolini, Luca Roversi |
On the Expressivity of Total Reversible Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 128-143, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Torben Ægidius Mogensen |
Hermes: A Language for Light-Weight Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 93-110, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 169-186, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eva Graversen, Iain Phillips 0001, Nobuko Yoshida |
Event Structures for the Reversible Early Internal π-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 71-90, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexis De Vos, Stijn De Baerdemacker |
A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 23-33, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![Springer, 978-3-030-21499-9 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alwin Zulehner, Hartwig Bauer, Robert Wille |
Evaluating the Flexibility of A* for Mapping Quantum Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 171-190, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robin Kaarsgaard |
Inversion, Iteration, and the Art of Dual Wielding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 34-50, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 238-245, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | James Hoey, Irek Ulidowski |
Reversible Imperative Parallel Programs and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 108-127, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel |
Reversibility vs Local Creation/Destruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 51-66, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Matsuo, Shigeru Yamashita |
An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 162-168, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 191-206, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 146-161, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Clairambault, Marc de Visme, Glynn Winskel |
Concurrent Quantum Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 3-19, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 131-145, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Germán Vidal |
Characterizing Compatible View Updates in Syntactic Bidirectionalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 67-83, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 209-223, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Amy |
Sized Types for Low-Level Quantum Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 87-107, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Torben Ægidius Mogensen |
Reversible In-Place Carry-Lookahead Addition with Few Ancillae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 224-237, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael P. Frank |
Physical Foundations of Landauer's Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 3-33, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexis De Vos, Stijn De Baerdemacker |
A Unified Approach to Quantum Computation and Classical Reversible Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 133-143, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore |
Quantum Circuits for Floating-Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 162-174, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Hutslar, Jacques Carette, Amr Sabry |
A Library of Reversible Circuit Transformations (Work in Progress). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 339-345, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Pagh Schultz |
Reversible Object-Oriented Programming with Region-Based Memory Management - Work-in-progress Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 322-328, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Torben Ægidius Mogensen |
Garbage-Free Reversible Multiplication and Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 253-268, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kuhn 0001 |
Simulation of Base Excision Repair in the Calculus of Covalent Bonding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 123-129, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giulia Meuli, Mathias Soeken, Giovanni De Micheli |
SAT-based {CNOT, T} Quantum Circuit Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 175-188, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Norman Margolus |
Finite-State Classical Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 47-60, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 244-250, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Pfuhl, Jörg Ritter 0002, Paul Molitor |
Finding the Redundant Gates in Reversible Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 205-219, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Ollinger |
On Aperiodic Reversible Turing Machines (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 61-64, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Vassor, Jean-Bernard Stefani |
Checkpoint/Rollback vs Causally-Consistent Reversibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 286-303, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
\mathsf CoreFun : A Typed Functional Reversible Core Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, pp. 304-321, 2018, Springer, 978-3-319-99497-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|