Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rc/Aubert22,
  author       = {Cl{\'{e}}ment Aubert},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Concurrencies in Reversible Concurrent Calculi},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {146--163},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_10},
  doi          = {10.1007/978-3-031-09005-9\_10},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/Aubert22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/BarylskaGMPPP22,
  author       = {Kamila Barylska and
                  Anna Gogolinska and
                  Lukasz Mikulski and
                  Anna Philippou and
                  Marcin Piatkowski and
                  Kyriaki Psara},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Formal Translation from Reversing Petri Nets to Coloured Petri Nets},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {172--186},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_12},
  doi          = {10.1007/978-3-031-09005-9\_12},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/BarylskaGMPPP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/DeworetzkiKMR22,
  author       = {Niklas Deworetzki and
                  Martin Kutrib and
                  Uwe Meyer and
                  Pia{-}Doreen Ritzke},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Optimizing Reversible Programs},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {224--238},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_16},
  doi          = {10.1007/978-3-031-09005-9\_16},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/DeworetzkiKMR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/DeworetzkiM22,
  author       = {Niklas Deworetzki and
                  Uwe Meyer},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Designing a Reversible Stack Machine},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {65--72},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_5},
  doi          = {10.1007/978-3-031-09005-9\_5},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/DeworetzkiM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/Earley22,
  author       = {Hannah Earley},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {The {\(\aleph\)}-Calculus - {A} Declarative Model of Reversible Programming},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {164--171},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_11},
  doi          = {10.1007/978-3-031-09005-9\_11},
  timestamp    = {Fri, 21 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/Earley22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/GiustinaPRR22,
  author       = {Davide Della Giustina and
                  Carla Piazza and
                  Brian Riccardi and
                  Riccardo Romanello},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Directed Graph Encoding in Quantum Computing Supporting Edge-Failures},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {75--92},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_6},
  doi          = {10.1007/978-3-031-09005-9\_6},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/GiustinaPRR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/HengleinKM22,
  author       = {Fritz Henglein and
                  Robin Kaarsgaard and
                  Mikkel Kragh Mathiesen},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Algeo: An Algebraic Approach to Reversibility},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {128--145},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_9},
  doi          = {10.1007/978-3-031-09005-9\_9},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/HengleinKM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/HillmichBSW22,
  author       = {Stefan Hillmich and
                  Lukas Burgholzer and
                  Florian St{\"{o}}gm{\"{u}}ller and
                  Robert Wille},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Reordering Decision Diagrams for Quantum Computing Is Harder Than
                  You Might Think},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {93--107},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_7},
  doi          = {10.1007/978-3-031-09005-9\_7},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/HillmichBSW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/HoeyU22,
  author       = {James Hoey and
                  Irek Ulidowski},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Towards Causal-Consistent Reversibility of Imperative Concurrent Programs},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {213--223},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_15},
  doi          = {10.1007/978-3-031-09005-9\_15},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rc/HoeyU22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/IkedaY22,
  author       = {Takashi Ikeda and
                  Shoji Yuen},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {A Reversible Debugger for Imperative Parallel Programs with Contracts},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {204--212},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_14},
  doi          = {10.1007/978-3-031-09005-9\_14},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/IkedaY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/KurodaY22,
  author       = {Shohei Kuroda and
                  Shigeru Yamashita},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli
                  Gates},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {20--27},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_2},
  doi          = {10.1007/978-3-031-09005-9\_2},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/KurodaY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/LamiLSCF22,
  author       = {Pietro Lami and
                  Ivan Lanese and
                  Jean{-}Bernard Stefani and
                  Claudio Sacerdoti Coen and
                  Giovanni Fabbretti},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Reversibility in Erlang: Imperative Constructs},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {187--203},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_13},
  doi          = {10.1007/978-3-031-09005-9\_13},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/LamiLSCF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/MalettoR22,
  author       = {Giacomo Maletto and
                  Luca Roversi},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Certifying Algorithms and Relevant Properties of Reversible Primitive
                  Permutations with Lean},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {111--127},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_8},
  doi          = {10.1007/978-3-031-09005-9\_8},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/MalettoR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/Mogensen22,
  author       = {Torben {\AE}gidius Mogensen},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Fast Control for Reversible Processors},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {51--64},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_4},
  doi          = {10.1007/978-3-031-09005-9\_4},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/Mogensen22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/Vos22,
  author       = {Alexis De Vos},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Reversible Computation in Integrated Photonics},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_1},
  doi          = {10.1007/978-3-031-09005-9\_1},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/Vos22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rc/YehW22,
  author       = {Lia Yeh and
                  John van de Wetering},
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Constructing All Qutrit Controlled Clifford+T gates in Clifford+T},
  booktitle    = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  pages        = {28--50},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9\_3},
  doi          = {10.1007/978-3-031-09005-9\_3},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/YehW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rc/2022,
  editor       = {Claudio Antares Mezzina and
                  Krzysztof Podlaski},
  title        = {Reversible Computation - 14th International Conference, {RC} 2022,
                  Urbino, Italy, July 5-6, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13354},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-09005-9},
  doi          = {10.1007/978-3-031-09005-9},
  isbn         = {978-3-031-09004-2},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/2022.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.