default search action
Search dblp for Publications
export results for "toc:db/conf/rc/rc2018.bht:"
@inproceedings{DBLP:conf/rc/CoeckeW18, author = {Bob Coecke and Quanlong Wang}, editor = {Jarkko Kari and Irek Ulidowski}, title = {ZX-Rules for 2-Qubit Clifford+T Quantum Circuits}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {144--161}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_10}, doi = {10.1007/978-3-319-99498-7\_10}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/rc/CoeckeW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/CservenkaGHM18, author = {Martin Holm Cservenka and Robert Gl{\"{u}}ck and Tue Haulund and Torben {\AE}gidius Mogensen}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Data Structures and Dynamic Memory Management in Reversible Languages}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {269--285}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_19}, doi = {10.1007/978-3-319-99498-7\_19}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/CservenkaGHM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/Frank18, author = {Michael P. Frank}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Physical Foundations of Landauer's Principle}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {3--33}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_1}, doi = {10.1007/978-3-319-99498-7\_1}, timestamp = {Thu, 30 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/Frank18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/GraversenPY18, author = {Eva Graversen and Iain Phillips and Nobuko Yoshida}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Event Structure Semantics of (controlled) Reversible {CCS}}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {102--122}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_7}, doi = {10.1007/978-3-319-99498-7\_7}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/GraversenPY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/HanerSRS18, author = {Thomas H{\"{a}}ner and Mathias Soeken and Martin Roetteler and Krysta M. Svore}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Quantum Circuits for Floating-Point Arithmetic}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {162--174}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_11}, doi = {10.1007/978-3-319-99498-7\_11}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/HanerSRS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/HattoriY18, author = {Wakaki Hattori and Shigeru Yamashita}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {228--243}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_16}, doi = {10.1007/978-3-319-99498-7\_16}, timestamp = {Thu, 30 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/HattoriY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/HutslarCS18, author = {Christian Hutslar and Jacques Carette and Amr Sabry}, editor = {Jarkko Kari and Irek Ulidowski}, title = {A Library of Reversible Circuit Transformations (Work in Progress)}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {339--345}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_24}, doi = {10.1007/978-3-319-99498-7\_24}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/HutslarCS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/JacobsenKT18, author = {Petur Andrias H{\o}jgaard Jacobsen and Robin Kaarsgaard and Michael Kirkedal Thomsen}, editor = {Jarkko Kari and Irek Ulidowski}, title = {{\textbackslash}mathsf CoreFun : {A} Typed Functional Reversible Core Language}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {304--321}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_21}, doi = {10.1007/978-3-319-99498-7\_21}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/JacobsenKT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/Kuhn18, author = {Stefan Kuhn}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Simulation of Base Excision Repair in the Calculus of Covalent Bonding}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {123--129}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_8}, doi = {10.1007/978-3-319-99498-7\_8}, timestamp = {Fri, 14 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/Kuhn18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/Lanese18, author = {Ivan Lanese}, editor = {Jarkko Kari and Irek Ulidowski}, title = {From Reversible Semantics to Reversible Debugging}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {34--46}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_2}, doi = {10.1007/978-3-319-99498-7\_2}, timestamp = {Thu, 30 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/Lanese18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/Margolus18, author = {Norman Margolus}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Finite-State Classical Mechanics}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {47--60}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_3}, doi = {10.1007/978-3-319-99498-7\_3}, timestamp = {Thu, 30 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/Margolus18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/MeuliSM18, author = {Giulia Meuli and Mathias Soeken and Giovanni De Micheli}, editor = {Jarkko Kari and Irek Ulidowski}, title = {SAT-based \{CNOT, T\} Quantum Circuit Synthesis}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {175--188}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_12}, doi = {10.1007/978-3-319-99498-7\_12}, timestamp = {Thu, 30 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/MeuliSM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/Mezzina18, author = {Claudio Antares Mezzina}, editor = {Jarkko Kari and Irek Ulidowski}, title = {On Reversibility and Broadcast}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {67--83}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_5}, doi = {10.1007/978-3-319-99498-7\_5}, timestamp = {Thu, 30 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/Mezzina18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/Mogensen18, author = {Torben {\AE}gidius Mogensen}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Garbage-Free Reversible Multiplication and Division}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {253--268}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_18}, doi = {10.1007/978-3-319-99498-7\_18}, timestamp = {Thu, 30 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/Mogensen18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/Ollinger18, author = {Nicolas Ollinger}, editor = {Jarkko Kari and Irek Ulidowski}, title = {On Aperiodic Reversible Turing Machines (Invited Talk)}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {61--64}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_4}, doi = {10.1007/978-3-319-99498-7\_4}, timestamp = {Thu, 30 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/Ollinger18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/OsbornW18, author = {Kevin D. Osborn and Waltraut Wustmann}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient {CNOT} Gate Using Fluxons}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {189--204}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_13}, doi = {10.1007/978-3-319-99498-7\_13}, timestamp = {Thu, 13 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/OsbornW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/PfuhlRM18, author = {Matthias Pfuhl and J{\"{o}}rg Ritter and Paul Molitor}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Finding the Redundant Gates in Reversible Circuits}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {205--219}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_14}, doi = {10.1007/978-3-319-99498-7\_14}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rc/PfuhlRM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/PhilippouP18, author = {Anna Philippou and Kyriaki Psara}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Reversible Computation in Petri Nets}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {84--101}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_6}, doi = {10.1007/978-3-319-99498-7\_6}, timestamp = {Thu, 30 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/PhilippouP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/Sarvaghad-Moghaddam18, author = {Moein Sarvaghad{-}Moghaddam and Philipp Niemann and Rolf Drechsler}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Multi-objective Synthesis of Quantum Circuits Using Genetic Programming}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {220--227}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_15}, doi = {10.1007/978-3-319-99498-7\_15}, timestamp = {Tue, 24 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rc/Sarvaghad-Moghaddam18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/Schultz18, author = {Ulrik Pagh Schultz}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Reversible Object-Oriented Programming with Region-Based Memory Management - Work-in-progress Report}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {322--328}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_22}, doi = {10.1007/978-3-319-99498-7\_22}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rc/Schultz18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/Siljak18, author = {Harun Siljak}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications - Work in Progress Report}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {346--352}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_25}, doi = {10.1007/978-3-319-99498-7\_25}, timestamp = {Thu, 13 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/Siljak18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/TaborskyLT18, author = {Dominik T{\'{a}}borsk{\'{y}} and Ken Friis Larsen and Michael Kirkedal Thomsen}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Encryption and Reversible Computations - Work-in-progress Paper}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {331--338}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_23}, doi = {10.1007/978-3-319-99498-7\_23}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/TaborskyLT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/VassorS18, author = {Martin Vassor and Jean{-}Bernard Stefani}, editor = {Jarkko Kari and Irek Ulidowski}, title = {Checkpoint/Rollback vs Causally-Consistent Reversibility}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {286--303}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_20}, doi = {10.1007/978-3-319-99498-7\_20}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/VassorS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/VosB18, author = {Alexis De Vos and Stijn De Baerdemacker}, editor = {Jarkko Kari and Irek Ulidowski}, title = {A Unified Approach to Quantum Computation and Classical Reversible Computation}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {133--143}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_9}, doi = {10.1007/978-3-319-99498-7\_9}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/VosB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/ZulehnerW18, author = {Alwin Zulehner and Robert Wille}, editor = {Jarkko Kari and Irek Ulidowski}, title = {QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report)}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {244--250}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_17}, doi = {10.1007/978-3-319-99498-7\_17}, timestamp = {Thu, 30 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/ZulehnerW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rc/2018, editor = {Jarkko Kari and Irek Ulidowski}, title = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7}, doi = {10.1007/978-3-319-99498-7}, isbn = {978-3-319-99497-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.