![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Selected Results of the COST Action IC1405, 2020
- Irek Ulidowski
, Ivan Lanese
, Ulrik Pagh Schultz
, Carla Ferreira
:
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Lecture Notes in Computer Science 12070, Springer 2020, ISBN 978-3-030-47360-0 - Bogdan 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
:
Foundations of Reversible Computation. 1-40 - Claudio 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:
Software and Reversible Systems: A Survey of Recent Activities. 41-59 - Alwin Zulehner, Robert Wille:
Simulation and Design of Quantum Circuits. 60-82 - Pawel Kerntopf, Claudio Moraga, Krzysztof Podlaski
, Radomir S. Stankovic:
Research on Reversible Functions Having Component Functions with Specified Properties: An Overview. 83-107 - James Hoey
, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal
:
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. 108-127 - Adrian Francalanza
, Claudio Antares Mezzina, Emilio Tuosto:
Towards Choreographic-Based Monitoring. 128-150 - Stefan Kuhn
, Bogdan Aman
, Gabriel Ciobanu
, Anna Philippou
, Kyriaki Psara
, Irek Ulidowski
:
Reversibility in Chemical Reactions. 151-176 - Ulrik Pagh Schultz
:
Reversible Control of Robots. 177-186 - Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück
:
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation. 187-207 - Harun Siljak
:
Reversible Computation in Wireless Communications. 208-221 - Miralem Mehic
, Marcin Niemiec
, Harun Siljak
, Miroslav Voznák:
Error Reconciliation in Quantum Key Distribution Protocols. 222-236
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.