Search dblp for Publications

export results for "toc:db/conf/rc/rc2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/rc/0002U16,
  author       = {Stefan Kuhn and
                  Irek Ulidowski},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {A Calculus for Local Reversibility},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {20--35},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_2},
  doi          = {10.1007/978-3-319-40578-0\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rc/0002U16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/AnticoliPTZ16,
  author       = {Linda Anticoli and
                  Carla Piazza and
                  Leonardo Taglialegne and
                  Paolo Zuliani},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Towards Quantum Programs Verification: From Quipper Circuits to {QPMC}},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {213--219},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_16},
  doi          = {10.1007/978-3-319-40578-0\_16},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rc/AnticoliPTZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/ArrighiMP16,
  author       = {Pablo Arrighi and
                  Simon Martiel and
                  Simon Perdrix},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Reversible Causal Graph Dynamics},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {73--88},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_5},
  doi          = {10.1007/978-3-319-40578-0\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/ArrighiMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/AxelsenKMW16,
  author       = {Holger Bock Axelsen and
                  Martin Kutrib and
                  Andreas Malcher and
                  Matthias Wendlandt},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Boosting Reversible Pushdown Machines by Preprocessing},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {89--104},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_6},
  doi          = {10.1007/978-3-319-40578-0\_6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/AxelsenKMW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/BarylskaKMP16,
  author       = {Kamila Barylska and
                  Maciej Koutny and
                  Lukasz Mikulski and
                  Marcin Piatkowski},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Reversible Computation vs. Reversibility in Petri Nets},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {105--118},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_7},
  doi          = {10.1007/978-3-319-40578-0\_7},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rc/BarylskaKMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/BoykettKS16,
  author       = {Tim Boykett and
                  Jarkko Kari and
                  Ville Salo},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Strongly Universal Reversible Gate Sets},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {239--254},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_18},
  doi          = {10.1007/978-3-319-40578-0\_18},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/BoykettKS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/CingolaniI0Q16,
  author       = {Davide Cingolani and
                  Mauro Ianni and
                  Alessandro Pellegrini and
                  Francesco Quaglia},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Mixing Hardware and Software Reversibility for Speculative Parallel
                  Discrete Event Simulation},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {137--152},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_9},
  doi          = {10.1007/978-3-319-40578-0\_9},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/CingolaniI0Q16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/CristescuKV16,
  author       = {Ioana Cristescu and
                  Jean Krivine and
                  Daniele Varacca},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Rigid Families for the Reversible {\(\pi\)}-Calculus},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_1},
  doi          = {10.1007/978-3-319-40578-0\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/CristescuKV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/MedicM16,
  author       = {Doriana Medic and
                  Claudio Antares Mezzina},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Static {VS} Dynamic Reversibility in {CCS}},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {36--51},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_3},
  doi          = {10.1007/978-3-319-40578-0\_3},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/MedicM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/Moraga16,
  author       = {Claudio Moraga},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Design of p-Valued Deutsch Quantum Gates with Multiple Control Signals
                  and Mixed Polarity},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {175--180},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_13},
  doi          = {10.1007/978-3-319-40578-0\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/Moraga16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/Paler16,
  author       = {Alexandru Paler},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Circular {CNOT} Circuits: Definition, Analysis and Application to
                  Fault-Tolerant Quantum Circuits},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {199--212},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_15},
  doi          = {10.1007/978-3-319-40578-0\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/Paler16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/SchultzA16,
  author       = {Ulrik Pagh Schultz and
                  Holger Bock Axelsen},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Elements of a Reversible Object-Oriented Language - Work-in-Progress
                  Report},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {153--159},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_10},
  doi          = {10.1007/978-3-319-40578-0\_10},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rc/SchultzA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/Selinger16,
  author       = {Peter Selinger},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {A Finite Alternation Result for Reversible Boolean Circuits},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {271--285},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_20},
  doi          = {10.1007/978-3-319-40578-0\_20},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/Selinger16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/SoekenAM16,
  author       = {Mathias Soeken and
                  Nabila Abdessaied and
                  Giovanni De Micheli},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Enumeration of Reversible Functions and Its Application to Circuit
                  Complexity},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {255--270},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_19},
  doi          = {10.1007/978-3-319-40578-0\_19},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/SoekenAM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/SoekenDM16,
  author       = {Mathias Soeken and
                  Gerhard W. Dueck and
                  D. Michael Miller},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {A Fast Symbolic Transformation Based Algorithm for Reversible Logic
                  Synthesis},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {307--321},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_22},
  doi          = {10.1007/978-3-319-40578-0\_22},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/SoekenDM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/TiezziY16,
  author       = {Francesco Tiezzi and
                  Nobuko Yoshida},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Reversing Single Sessions},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {52--69},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_4},
  doi          = {10.1007/978-3-319-40578-0\_4},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/TiezziY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/TyagiLD16,
  author       = {Nirvan Tyagi and
                  Jayson Lynch and
                  Erik D. Demaine},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Toward an Energy Efficient Language and Compiler for (Partially) Reversible
                  Algorithms},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {121--136},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_8},
  doi          = {10.1007/978-3-319-40578-0\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/TyagiLD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/Valiron16,
  author       = {Beno{\^{\i}}t Valiron},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Generating Reversible Circuits from Higher-Order Functional Programs},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {289--306},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_21},
  doi          = {10.1007/978-3-319-40578-0\_21},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rc/Valiron16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/WilleKOTD16,
  author       = {Robert Wille and
                  Oliver Kesz{\"{o}}cze and
                  Lars Othmer and
                  Michael Kirkedal Thomsen and
                  Rolf Drechsler},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Initial Ideas for Automatic Design and Verification of Control Logic
                  in Reversible HDLs - Work in Progress Report},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {160--166},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_11},
  doi          = {10.1007/978-3-319-40578-0\_11},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/WilleKOTD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/WilleLN16,
  author       = {Robert Wille and
                  Aaron Lye and
                  Philipp Niemann},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Checking Reversibility of Boolean Functions},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {322--337},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_23},
  doi          = {10.1007/978-3-319-40578-0\_23},
  timestamp    = {Tue, 24 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rc/WilleLN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/WilleQIYM16,
  author       = {Robert Wille and
                  Nils Quetschlich and
                  Yuma Inoue and
                  Norihito Yasuda and
                  Shin{-}ichi Minato},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Using {\textbackslash}pi DDs for Nearest Neighbor Optimization of
                  Quantum Circuits},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {181--196},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_14},
  doi          = {10.1007/978-3-319-40578-0\_14},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/WilleQIYM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/YukselEAH16,
  author       = {Mert Y{\"{u}}ksel and
                  Sel{\c{c}}uk Oguz Erbil and
                  Atakan B. Ari and
                  M. Selim Hanay},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Design and Fabrication of {CSWAP} Gate Based on Nano-Electromechanical
                  Systems},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {169--174},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_12},
  doi          = {10.1007/978-3-319-40578-0\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/YukselEAH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/Zakablukov16,
  author       = {Dmitry V. Zakablukov},
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Application of Permutation Group Theory in Reversible Logic Synthesis},
  booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  pages        = {223--238},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0\_17},
  doi          = {10.1007/978-3-319-40578-0\_17},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/Zakablukov16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rc/2016,
  editor       = {Simon J. Devitt and
                  Ivan Lanese},
  title        = {Reversible Computation - 8th International Conference, {RC} 2016,
                  Bologna, Italy, July 7-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9720},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40578-0},
  doi          = {10.1007/978-3-319-40578-0},
  isbn         = {978-3-319-40577-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.