The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for RC with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005-2012 (32) 2013 (22) 2014 (18) 2015 (21) 2016 (24) 2017 (20) 2018 (26) 2019 (16) 2020 (19) 2021 (18) 2022 (17) 2023 (16)
Publication types (Num. hits)
inproceedings(236) proceedings(13)
Venues (Conferences, Journals, ...)
RC(247) DAC(1) SBCCI(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

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