default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/rc/rc2018.bht:"
download as .bib file
@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.
retrieved on 2024-10-28 10:25 CET from data curated 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:
