[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Reversible Computation

15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Martin Kutrib

    1. Universität Giessen, Giessen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Uwe Meyer

    1. Technische Hochschule Mittelhessen, Giessen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13960)

Included in the following conference series:

Conference proceedings info: RC 2023.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in  Giessen, Germany, during July 18–19, 2023.
The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows:​ Foundations; Reversible Programming; Quantum Computing; and Quantum Circuits.

Keywords

Table of contents (15 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Energy Complexity of Computation

      • Ahmet Celal Cem Say
      Pages 3-11

  3. Foundations

    1. Front Matter

      Pages 13-13
      Download chapter PDF

    2. Replications in Reversible Concurrent Calculi

      • Clément Aubert
      Pages 15-23

    3. Towards a Taxonomy for Reversible Computation Approaches

      • Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jarosław Adam Miszczak, Iain Phillips, Irek Ulidowski et al.
      Pages 24-39

    4. Computational Complexity of Reversible Reaction Systems

      • Markus Holzer, Christian Rauch
      Pages 40-54

  4. Reversible Programming

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Optimization of Reversible Control Flow Graphs

      • Niklas Deworetzki, Lukas Gail
      Pages 57-72

    3. Tail Recursion Transformation for Invertible Functions

      • Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
      Pages 73-88

    4. Saving Memory Space in Deep Neural Networks by Recomputing: A Survey

      • Irek Ulidowski
      Pages 89-105

    5. Towards a Dereversibilizer: Fewer Asserts, Statically

      • Jonas Wolpers Reholt, Robert Glück, Matthis Kruse
      Pages 106-114

  5. Quantum Computing

    1. Front Matter

      Pages 115-115
      Download chapter PDF

    2. Quantum String Matching Unfolded and Extended

      • Domenico Cantone, Simone Faro, Arianna Pavone
      Pages 117-133

    3. Optimizing Quantum Space Using Spooky Pebble Games

      • Arend-Jan Quist, Alfons Laarman
      Pages 134-149

    4. Uncomputation in the Qrisp High-Level Quantum Programming Framework

      • Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, Manfred Hauswirth
      Pages 150-165

  6. Quantum Circuits

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Improved Synthesis of Toffoli-Hadamard Circuits

      • Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross
      Pages 169-209

    3. Implementation of a Reversible Distributed Calculus

      • Clément Aubert, Peter Browning
      Pages 210-217

    4. Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture

      • Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler
      Pages 218-231
Back to top

Other volumes

  1. Reversible Computation

Editors and Affiliations

  • Universität Giessen, Giessen, Germany

    Martin Kutrib

  • Technische Hochschule Mittelhessen, Giessen, Germany

    Uwe Meyer

Bibliographic Information

  • Book Title: Reversible Computation

  • Book Subtitle: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings

  • Editors: Martin Kutrib, Uwe Meyer

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-38100-3

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-38099-0Published: 13 July 2023

  • eBook ISBN: 978-3-031-38100-3Published: 11 July 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 245

  • Number of Illustrations: 53 b/w illustrations, 16 illustrations in colour

  • Topics: Logic Design

Publish with us

Policies and ethics

Back to top

Search

Navigation