Abstract is missing.
- Foundations of Reversible ComputationBogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal. 1-40 [doi]
- Software and Reversible Systems: A Survey of Recent ActivitiesClaudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski. 41-59 [doi]
- Simulation and Design of Quantum CircuitsAlwin Zulehner, Robert Wille. 60-82 [doi]
- Research on Reversible Functions Having Component Functions with Specified Properties: An OverviewPawel Kerntopf, Claudio Moraga, Krzysztof Podlaski, Radomir S. Stankovic. 83-107 [doi]
- A Case Study for Reversible Computing: Reversible Debugging of Concurrent ProgramsJames Hoey, Ivan Lanese, Naoki Nishida 0001, Irek Ulidowski, Germán Vidal. 108-127 [doi]
- Towards Choreographic-Based MonitoringAdrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto. 128-150 [doi]
- Reversibility in Chemical ReactionsStefan Kuhn 0001, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski. 151-176 [doi]
- Reversible Control of RobotsUlrik Pagh Schultz. 177-186 [doi]
- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event SimulationMarkus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück. 187-207 [doi]
- Reversible Computation in Wireless CommunicationsHarun Siljak. 208-221 [doi]
- Error Reconciliation in Quantum Key Distribution ProtocolsMiralem Mehic, Marcin Niemiec, Harun Siljak, Miroslav Voznák. 222-236 [doi]