Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRC 2016: Bologna, Italy
- Simon J. Devitt, Ivan Lanese:
Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Lecture Notes in Computer Science 9720, Springer 2016, ISBN 978-3-319-40577-3
Process Calculi
- Ioana Cristescu, Jean Krivine, Daniele Varacca:
Rigid Families for the Reversible π-Calculus. 3-19 - Stefan Kuhn
, Irek Ulidowski:
A Calculus for Local Reversibility. 20-35 - Doriana Medic, Claudio Antares Mezzina:
Static VS Dynamic Reversibility in CCS. 36-51 - Francesco Tiezzi, Nobuko Yoshida:
Reversing Single Sessions. 52-69
Reversible Models
- Pablo Arrighi, Simon Martiel, Simon Perdrix:
Reversible Causal Graph Dynamics. 73-88 - Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt:
Boosting Reversible Pushdown Machines by Preprocessing. 89-104 - Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski:
Reversible Computation vs. Reversibility in Petri Nets. 105-118
Programming Languages
- Nirvan Tyagi, Jayson Lynch, Erik D. Demaine:
Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms. 121-136 - Davide Cingolani, Mauro Ianni, Alessandro Pellegrini, Francesco Quaglia:
Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation. 137-152 - Ulrik Pagh Schultz, Holger Bock Axelsen:
Elements of a Reversible Object-Oriented Language - Work-in-Progress Report. 153-159 - 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. 160-166
Quantum Computing
- Mert Yüksel, Selçuk Oguz Erbil, Atakan B. Ari, M. Selim Hanay:
Design and Fabrication of CSWAP Gate Based on Nano-Electromechanical Systems. 169-174 - Claudio Moraga:
Design of p-Valued Deutsch Quantum Gates with Multiple Control Signals and Mixed Polarity. 175-180 - Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato:
Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits. 181-196
Quantum Programming
- Alexandru Paler:
Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits. 199-212 - Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani:
Towards Quantum Programs Verification: From Quipper Circuits to QPMC. 213-219
Circuit Theory
- Dmitry V. Zakablukov:
Application of Permutation Group Theory in Reversible Logic Synthesis. 223-238 - Tim Boykett, Jarkko Kari, Ville Salo:
Strongly Universal Reversible Gate Sets. 239-254 - Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli:
Enumeration of Reversible Functions and Its Application to Circuit Complexity. 255-270 - Peter Selinger:
A Finite Alternation Result for Reversible Boolean Circuits. 271-285
Syntheses
- Benoît Valiron:
Generating Reversible Circuits from Higher-Order Functional Programs. 289-306 - Mathias Soeken, Gerhard W. Dueck, D. Michael Miller:
A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis. 307-321 - Robert Wille, Aaron Lye, Philipp Niemann:
Checking Reversibility of Boolean Functions. 322-337
a service of 
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 2024-04-18 20:18 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
