Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Martin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen |
Data Structures and Dynamic Memory Management in Reversible Languages. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wakaki Hattori, Shigeru Yamashita |
Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anna Philippou, Kyriaki Psara |
Reversible Computation in Petri Nets. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jarkko Kari, Irek Ulidowski (eds.) |
Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen |
Encryption and Reversible Computations - Work-in-progress Paper. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kevin D. Osborn, Waltraut Wustmann |
Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke, Quanlong Wang |
ZX-Rules for 2-Qubit Clifford+T Quantum Circuits. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Moein Sarvaghad-Moghaddam, Philipp Niemann 0001, Rolf Drechsler |
Multi-objective Synthesis of Quantum Circuits Using Genetic Programming. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese |
From Reversible Semantics to Reversible Debugging. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Antares Mezzina |
On Reversibility and Broadcast. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Harun Siljak |
Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications - Work in Progress Report. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eva Graversen, Iain Phillips 0001, Nobuko Yoshida |
Event Structure Semantics of (controlled) Reversible CCS. |
RC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alwin Zulehner, Robert Wille |
Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leniency Marbaniang, Abhoy Kole, Kamalika Datta, Indranil Sengupta 0001 |
Design of Efficient Quantum Circuits Using Nearest Neighbor Constraint in 2D Architecture. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sai Phaneendra Parlapalli, Chetan Vudadha, M. B. Srinivas |
An ESOP Based Cube Decomposition Technique for Reversible Circuits. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | P. Mercy Nesa Rani, Abhoy Kole, Kamalika Datta, Indranil Sengupta 0001 |
Improved Decomposition of Multiple-Control Ternary Toffoli Gates Using Muthukrishnan-Stroud Quantum Gates. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abhoy Kole, Robert Wille, Kamalika Datta, Indranil Sengupta 0001 |
Test Pattern Generation Effort Evaluation of Reversible Circuits. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Roetteler |
Tools for Quantum and Reversible Circuit Compilation. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Martin Kutrib |
Reversible Nondeterministic Finite Automata. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Iain Phillips 0001, Hafizur Rahaman 0001 (eds.) |
Reversible Computation - 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Goutam Paul 0001, Anupam Chattopadhyay, Chander Chandak |
Designing Parity Preserving Reversible Circuits. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anmol Prakash Surhonne, Anupam Chattopadhyay, Robert Wille |
Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits - Work in Progress Report. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Niemann 0001, Alwin Zulehner, Robert Wille, Rolf Drechsler |
Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael P. Frank |
Foundations of Generalized Reversible Computing. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alwin Zulehner, Stefan Gasser, Robert Wille |
Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A ^* ∗. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ayrat Galisultanov, Yann Perrin, Hervé Fanet, Gaël Pillonnet |
Capacitive-Based Adiabatic Logic. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Md Asif Nashiry, Mozammel H. A. Khan, Jacqueline E. Rice |
Controlled and Uncontrolled SWAP Gates in Reversible Logic Synthesis. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tue Haulund, Torben Ægidius Mogensen, Robert Glück |
Implementing Reversible Object-Oriented Language Features on Reversible Machines. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sai Phaneendra Parlapalli, Chetan Vudadha, M. B. Srinivas |
Optimizing the Reversible Circuits Using Complementary Control Line Transformation. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alex Parent, Martin Roetteler, Krysta M. Svore |
REVS: A Tool for Space-Optimized Reversible Circuit Synthesis. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zaid Al-Wardi, Robert Wille, Rolf Drechsler |
Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ritajit Majumdar, Saikat Basu, Susmita Sur-Kolay |
A Method to Reduce Resources for Quantum Error Correction. |
RC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mert Yüksel, Selçuk Oguz Erbil, Atakan B. Ari, M. Selim Hanay |
Design and Fabrication of CSWAP Gate Based on Nano-Electromechanical Systems. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Valiron |
Generating Reversible Circuits from Higher-Order Functional Programs. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Arrighi, Simon Martiel, Simon Perdrix |
Reversible Causal Graph Dynamics. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski |
Reversible Computation vs. Reversibility in Petri Nets. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato |
Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga |
Design of p-Valued Deutsch Quantum Gates with Multiple Control Signals and Mixed Polarity. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Pagh Schultz, Holger Bock Axelsen |
Elements of a Reversible Object-Oriented Language - Work-in-Progress Report. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Doriana Medic, Claudio Antares Mezzina |
Static VS Dynamic Reversibility in CCS. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nirvan Tyagi, Jayson Lynch, Erik D. Demaine |
Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler |
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Selinger |
A Finite Alternation Result for Reversible Boolean Circuits. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Tiezzi 0001, Nobuko Yoshida |
Reversing Single Sessions. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Wille, Aaron Lye, Philipp Niemann 0001 |
Checking Reversibility of Boolean Functions. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Soeken, Gerhard W. Dueck, D. Michael Miller |
A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Boosting Reversible Pushdown Machines by Preprocessing. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry V. Zakablukov |
Application of Permutation Group Theory in Reversible Logic Synthesis. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Davide Cingolani, Mauro Ianni, Alessandro Pellegrini 0001, Francesco Quaglia |
Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Paler |
Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tim Boykett, Jarkko Kari, Ville Salo |
Strongly Universal Reversible Gate Sets. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kuhn 0001, Irek Ulidowski |
A Calculus for Local Reversibility. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani |
Towards Quantum Programs Verification: From Quipper Circuits to QPMC. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simon J. Devitt, Ivan Lanese (eds.) |
Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Cristescu, Jean Krivine, Daniele Varacca |
Rigid Families for the Reversible π-Calculus. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli |
Enumeration of Reversible Functions and Its Application to Circuit Complexity. |
RC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Samer Houri, Gérard Billiot, Marc Belleville, Alexandre Valentian, Hervé Fanet |
Power-Clock Generator Impact on the Performance of NEM-Based Quasi-Adiabatic Logic Circuits. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mariusz Rawski |
Application of Functional Decomposition in Synthesis of Reversible Circuits. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ismo K. Hänninen, César O. Campos-Aguillón, Rene Celis-Cordova, Gregory L. Snider |
Design and Fabrication of a Microprocessor Using Adiabatic CMOS and Bennett Clocking. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuma Inoue, Shin-ichi Minato |
Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Paler, Ilia Polian, Kae Nemoto, Simon J. Devitt |
A Fully Fault-Tolerant Representation of Quantum Circuits. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Otto, Matthias Wendlandt, Kent Kwee |
Reversible Ordered Restarting Automata. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nabila Abdessaied, Mathias Soeken, Rolf Drechsler |
Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher |
A Hierarchy of Fast Reversible Turing Machines. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abhoy Kole, Kamalika Datta, Indranil Sengupta 0001, Robert Wille |
Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Pagh Schultz, Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen |
Towards a Domain-Specific Language for Reversible Assembly Sequences. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Simon J. Gay, Ittoop Vergheese Puthoor |
Equational Reasoning About Quantum Protocols. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zaid Al-Wardi, Robert Wille, Rolf Drechsler |
Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kuhn 0001, Irek Ulidowski |
Towards Modelling of Local Reversibility. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken |
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tommi Pesu, Iain Phillips 0001 |
Real-Time Methods in Reversible Computation. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean Krivine, Jean-Bernard Stefani (eds.) |
Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Markus Schordan, David R. Jefferson, Peter D. Barnes Jr., Tomas Oppelstrup, Daniel J. Quinlan |
Reverse Code Generation for Parallel Discrete Event Simulation. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Niemann 0001, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille |
Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
Moment Semantics for Reversible Rule-Based Systems. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Torben Ægidius Mogensen |
Garbage Collection for Reversible Functional Languages. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nidhal Hamrit, Simon Perdrix |
Reversibility in Extended Measurement-Based Quantum Computation. |
RC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Paler, Simon J. Devitt, Kae Nemoto, Ilia Polian |
Cross-Level Validation of Topological Quantum Circuits. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hidefumi Hiraishi, Hiroshi Imai |
BDD Operations for Quantum Graph States. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Takeuchi, Yuki Yamanashi, Nobuyuki Yoshikawa |
Reversible Computing Using Adiabatic Superconductor Logic. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Thomas Worsch |
Degrees of Reversibility for DFA and DPDA. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | D. Michael Miller, Mathias Soeken, Rolf Drechsler |
Mapping NCV Circuits to Optimized Clifford+T Circuits. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon J. Devitt |
Classical Control of Large-Scale Quantum Computers. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Niemann 0001, Robert Wille, Rolf Drechsler |
Equivalence Checking in Multi-level Quantum Systems. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nabila Abdessaied, Mathias Soeken, Rolf Drechsler |
Quantum Circuit Optimization by Hadamard Gate Reduction. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shigeru Yamashita, Shin-ichi Minato (eds.) |
Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Md. Zamilur Rahman, Jacqueline E. Rice |
Templates for Positive and Negative Control Toffoli Networks. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anindita Banerjee, Anirban Pathak, Gerhard W. Dueck |
Minimal Designs of Reversible Sequential Elements. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler |
RevVis: Visualization of Structures and Properties in Reversible Circuits. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Torben Ægidius Mogensen |
Reference Counting for Reversible Languages. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jarkko Kari, Ville Salo, Ilkka Törmä |
Trace Complexity of Chaotic Reversible Cellular Automata. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nurul Ain Binti Adnan, Shigeru Yamashita, Simon J. Devitt, Kae Nemoto |
2D Qubit Layout Optimization for Topological Quantum Computation. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Morrison, Irek Ulidowski |
Arbitration and Reversibility of Parallel Delay-Insensitive Modules. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Irek Ulidowski, Iain Phillips 0001, Shoji Yuen |
Concurrency and Reversibility. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Chattopadhyay, Soumajit Majumder, Chander Chandak, Nahian Chowdhury |
Constructive Reversible Logic Synthesis for Boolean Functions with Special Properties. |
RC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ismo Hänninen, Hao Lu, Craig S. Lent, Gregory L. Snider |
Energy Recovery and Logical Reversibility in Adiabatic CMOS Multiplier. |
RC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chris Thachuk |
Logically and Physically Reversible Natural Computing: A Tutorial. |
RC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arighna Deb, Debesh K. Das, Hafizur Rahaman 0001, Bhargab B. Bhattacharya, Robert Wille, Rolf Drechsler |
Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure. |
RC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barry C. Sanders |
Efficient Algorithms for Universal Quantum Simulation. |
RC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Torben Æ. Mogensen |
Garbage-Free Reversible Constant Multipliers for Arbitrary Integers. |
RC |
2013 |
DBLP DOI BibTeX RDF |
|