Search dblp for Publications

export results for "toc:db/series/lncs/lncs12070.bht:"

 download as .bib file

@incollection{DBLP:series/lncs/0001ACPPU20,
  author       = {Stefan Kuhn and
                  Bogdan Aman and
                  Gabriel Ciobanu and
                  Anna Philippou and
                  Kyriaki Psara and
                  Irek Ulidowski},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Reversibility in Chemical Reactions},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {151--176},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_7},
  doi          = {10.1007/978-3-030-47361-7\_7},
  timestamp    = {Fri, 14 May 2021 08:30:49 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/0001ACPPU20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/AmanCGKKKLMMNPPPUV20,
  author       = {Bogdan Aman and
                  Gabriel Ciobanu and
                  Robert Gl{\"{u}}ck and
                  Robin Kaarsgaard and
                  Jarkko Kari and
                  Martin Kutrib and
                  Ivan Lanese and
                  Claudio Antares Mezzina and
                  Lukasz Mikulski and
                  Rajagopal Nagarajan and
                  Iain C. C. Phillips and
                  G. Michele Pinna and
                  Luca Prigioniero and
                  Irek Ulidowski and
                  Germ{\'{a}}n Vidal},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Foundations of Reversible Computation},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {1--40},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_1},
  doi          = {10.1007/978-3-030-47361-7\_1},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/AmanCGKKKLMMNPPPUV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/FrancalanzaMT20,
  author       = {Adrian Francalanza and
                  Claudio Antares Mezzina and
                  Emilio Tuosto},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Towards Choreographic-Based Monitoring},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {128--150},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_6},
  doi          = {10.1007/978-3-030-47361-7\_6},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/FrancalanzaMT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/HoeyL0UV20,
  author       = {James Hoey and
                  Ivan Lanese and
                  Naoki Nishida and
                  Irek Ulidowski and
                  Germ{\'{a}}n Vidal},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {A Case Study for Reversible Computing: Reversible Debugging of Concurrent
                  Programs},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {108--127},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_5},
  doi          = {10.1007/978-3-030-47361-7\_5},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/HoeyL0UV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/KerntopfMPS20,
  author       = {Pawel Kerntopf and
                  Claudio Moraga and
                  Krzysztof Podlaski and
                  Radomir S. Stankovic},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Research on Reversible Functions Having Component Functions with Specified
                  Properties: An Overview},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {83--107},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_4},
  doi          = {10.1007/978-3-030-47361-7\_4},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/KerntopfMPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/MehicNSV20,
  author       = {Miralem Mehic and
                  Marcin Niemiec and
                  Harun Siljak and
                  Miroslav Vozn{\'{a}}k},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Error Reconciliation in Quantum Key Distribution Protocols},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {222--236},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_11},
  doi          = {10.1007/978-3-030-47361-7\_11},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/MehicNSV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/MezzinaSGHHCLMSSU20,
  author       = {Claudio Antares Mezzina and
                  Rudolf Schlatte and
                  Robert Gl{\"{u}}ck and
                  Tue Haulund and
                  James Hoey and
                  Martin Holm Cservenka and
                  Ivan Lanese and
                  Torben {\AE}. Mogensen and
                  Harun Siljak and
                  Ulrik Pagh Schultz and
                  Irek Ulidowski},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Software and Reversible Systems: {A} Survey of Recent Activities},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {41--59},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_2},
  doi          = {10.1007/978-3-030-47361-7\_2},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/MezzinaSGHHCLMSSU20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/SchordanOTG20,
  author       = {Markus Schordan and
                  Tomas Oppelstrup and
                  Michael Kirkedal Thomsen and
                  Robert Gl{\"{u}}ck},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Reversible Languages and Incremental State Saving in Optimistic Parallel
                  Discrete Event Simulation},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {187--207},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_9},
  doi          = {10.1007/978-3-030-47361-7\_9},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/SchordanOTG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/Schultz20,
  author       = {Ulrik Pagh Schultz},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Reversible Control of Robots},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {177--186},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_8},
  doi          = {10.1007/978-3-030-47361-7\_8},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/Schultz20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/Siljak20,
  author       = {Harun Siljak},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Reversible Computation in Wireless Communications},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {208--221},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_10},
  doi          = {10.1007/978-3-030-47361-7\_10},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/Siljak20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/ZulehnerW20,
  author       = {Alwin Zulehner and
                  Robert Wille},
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Simulation and Design of Quantum Circuits},
  booktitle    = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  pages        = {60--82},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7\_3},
  doi          = {10.1007/978-3-030-47361-7\_3},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/ZulehnerW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/lncs/12070,
  editor       = {Irek Ulidowski and
                  Ivan Lanese and
                  Ulrik Pagh Schultz and
                  Carla Ferreira},
  title        = {Reversible Computation: Extending Horizons of Computing - Selected
                  Results of the {COST} Action {IC1405}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12070},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-47361-7},
  doi          = {10.1007/978-3-030-47361-7},
  isbn         = {978-3-030-47360-0},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/12070.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.