Reversible Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 17)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030798369, 9783030798376

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reversibility of Executable Interval Temporal Logic Specifications

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_13 ◽

2021 ◽

pp. 214-223

Author(s):

Antonio Cau ◽

Stefan Kuhn ◽

James Hoey

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

Finding Optimal Implementations of Non-native CNOT Gates Using SAT

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_15 ◽

2021 ◽

pp. 242-255

Author(s):

Philipp Niemann ◽

Luca Müller ◽

Rolf Drechsler

Download Full-text

How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton?

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_1 ◽

2021 ◽

pp. 3-21

Author(s):

Kenichi Morita

Keyword(s):

Cellular Automaton ◽

Turing Machines ◽

Reversible Cellular Automaton

Download Full-text

Efficient Construction of Functional Representations for Quantum Algorithms

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_14 ◽

2021 ◽

pp. 227-241

Author(s):

Lukas Burgholzer ◽

Rudy Raymond ◽

Indranil Sengupta ◽

Robert Wille

Keyword(s):

Quantum Algorithms ◽

Efficient Construction ◽

Functional Representations

Download Full-text

Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_16 ◽

2021 ◽

pp. 256-265

Author(s):

Evan E. Dobbs ◽

Robert Basmadjian ◽

Alexandru Paler ◽

Joseph S. Friedman

Keyword(s):

Queuing Network

Download Full-text

Towards a Truly Concurrent Semantics for Reversible CCS

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_7 ◽

2021 ◽

pp. 109-125

Author(s):

Hernán Melgratti ◽

Claudio Antares Mezzina ◽

G. Michele Pinna

Download Full-text

Reversible Functional Array Programming

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_3 ◽

2021 ◽

pp. 45-63

Author(s):

Torben Ægidius Mogensen

Download Full-text

Towards a Unified Language Architecture for Reversible Object-Oriented Programming

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_6 ◽

2021 ◽

pp. 96-106

Author(s):

Lasse Hay-Schmidt ◽

Robert Glück ◽

Martin Holm Cservenka ◽

Tue Haulund

Keyword(s):

Object Oriented ◽

Object Oriented Programming

Download Full-text

Reversibility and Predictions

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_10 ◽

2021 ◽

pp. 163-181

Author(s):

Martin Vassor

Download Full-text

Compiling Janus to RSSA

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_4 ◽

2021 ◽

pp. 64-78

Author(s):

Martin Kutrib ◽

Uwe Meyer ◽

Niklas Deworetzki ◽

Marc Schuster

Download Full-text