Search dblp for Publications

export results for "toc:db/conf/cie/cie2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cie/Ambos-SpiesBZ13,
  author       = {Klaus Ambos{-}Spies and
                  Ulrike Brandt and
                  Martin Ziegler},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Real Benefit of Promises and Advice},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_1},
  doi          = {10.1007/978-3-642-39053-1\_1},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Ambos-SpiesBZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BockerB13,
  author       = {Sebastian B{\"{o}}cker and
                  Jan Baumbach},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Cluster Editing},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {33--44},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_5},
  doi          = {10.1007/978-3-642-39053-1\_5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BockerB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BournezGPZ13,
  author       = {Olivier Bournez and
                  Daniel Silva Gra{\c{c}}a and
                  Amaury Pouly and
                  Ning Zhong},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Computability and Computational Complexity of the Evolution of Nonlinear
                  Dynamical Systems},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {12--21},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_2},
  doi          = {10.1007/978-3-642-39053-1\_2},
  timestamp    = {Wed, 29 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BournezGPZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Braga13,
  author       = {Mar{\'{\i}}lia D. V. Braga},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {An Overview of Genomic Distances Modeled with Indels},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {22--31},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_3},
  doi          = {10.1007/978-3-642-39053-1\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Braga13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Braverman13,
  author       = {Mark Braverman},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Noise versus Computational Intractability in Dynamics},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {32},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_4},
  doi          = {10.1007/978-3-642-39053-1\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Braverman13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CaseR13,
  author       = {John Case and
                  Michael Ralston},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Beyond Rogers' Non-constructively Computable Function},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {45--54},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_6},
  doi          = {10.1007/978-3-642-39053-1\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/CaseR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Cervelle13,
  author       = {Julien Cervelle},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Constructing Continuous Systems from Discrete Cellular Automata},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {55--64},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_7},
  doi          = {10.1007/978-3-642-39053-1\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Cervelle13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CicaleseCGMV13,
  author       = {Ferdinando Cicalese and
                  Gennaro Cordasco and
                  Luisa Gargano and
                  Martin Milanic and
                  Ugo Vaccaro},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Latency-Bounded Target Set Selection in Social Networks},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {65--77},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_8},
  doi          = {10.1007/978-3-642-39053-1\_8},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/CicaleseCGMV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Cormode13,
  author       = {Graham Cormode},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Summary Data Structures for Massive Data},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {78--86},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_9},
  doi          = {10.1007/978-3-642-39053-1\_9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/Cormode13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DondiE13,
  author       = {Riccardo Dondi and
                  Nadia El{-}Mabrouk},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Aligning and Labeling Genomes under the Duplication-Loss Model},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {97--107},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_11},
  doi          = {10.1007/978-3-642-39053-1\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/DondiE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Durand-Lose13,
  author       = {J{\'{e}}r{\^{o}}me Durand{-}Lose},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Irrationality Is Needed to Compute with Signal Machines with Only
                  Three Speeds},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {108--119},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_12},
  doi          = {10.1007/978-3-642-39053-1\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Durand-Lose13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/EhrenfeuchtR13,
  author       = {Andrzej Ehrenfeucht and
                  Grzegorz Rozenberg},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Processes Inspired by the Functioning of Living Cells: Natural Computing
                  Approach},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {120--122},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_13},
  doi          = {10.1007/978-3-642-39053-1\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/EhrenfeuchtR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Endriss13,
  author       = {Ulle Endriss},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Recent Developments in Collective Decision Making in Combinatorial
                  Domains},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {123},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_14},
  doi          = {10.1007/978-3-642-39053-1\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Endriss13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Finocchi13,
  author       = {Irene Finocchi},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Software Streams: Big Data Challenges in Dynamic Program Analysis},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {124--134},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_15},
  doi          = {10.1007/978-3-642-39053-1\_15},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Finocchi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/FischbachS13,
  author       = {Tim Fischbach and
                  Benjamin Seyfferth},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {On {\(\lambda\)}-Definable Functions on Ordinals},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {135--146},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_16},
  doi          = {10.1007/978-3-642-39053-1\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/FischbachS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Fortnow13,
  author       = {Lance Fortnow},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {A Personal View of the {P} versus {NP} Problem},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {147--148},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_17},
  doi          = {10.1007/978-3-642-39053-1\_17},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Fortnow13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/FrancoM13,
  author       = {Giuditta Franco and
                  Alessio Milanese},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {An Investigation on Genomic Repeats},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {149--160},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_18},
  doi          = {10.1007/978-3-642-39053-1\_18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/FrancoM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/FranklinKMS13,
  author       = {Johanna N. Y. Franklin and
                  Asher M. Kach and
                  Russell G. Miller and
                  Reed Solomon},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Local Computability for Ordinals},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {161--170},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_19},
  doi          = {10.1007/978-3-642-39053-1\_19},
  timestamp    = {Wed, 16 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/FranklinKMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/FujiwaraY13,
  author       = {Makoto Fujiwara and
                  Keita Yokoyama},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {A Note on the Sequential Version of Statements},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {171--180},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_20},
  doi          = {10.1007/978-3-642-39053-1\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/FujiwaraY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GaoJS13,
  author       = {Ziyuan Gao and
                  Sanjay Jain and
                  Frank Stephan},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {On Conservative Learning of Recursively Enumerable Languages},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {181--190},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_21},
  doi          = {10.1007/978-3-642-39053-1\_21},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/GaoJS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Gasperin13,
  author       = {Anthony Gasperin},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Topology of Asymptotic Cones and Non-deterministic Polynomial Time
                  Computations},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {191--199},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_22},
  doi          = {10.1007/978-3-642-39053-1\_22},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Gasperin13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GavruskinK13,
  author       = {Alexander Gavruskin and
                  Bakhadyr Khoussainov},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {On Decidable and Computable Models of Theories},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {200--209},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_23},
  doi          = {10.1007/978-3-642-39053-1\_23},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/GavruskinK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GawrychowskiMN13,
  author       = {Pawel Gawrychowski and
                  Florin Manea and
                  Dirk Nowotka},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Discovering Hidden Repetitions in Words},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {210--219},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_24},
  doi          = {10.1007/978-3-642-39053-1\_24},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/GawrychowskiMN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Genova13,
  author       = {Daniela Genova},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Language Forbidding-Enforcing Systems Defining {DNA} Codewords},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {220--229},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_25},
  doi          = {10.1007/978-3-642-39053-1\_25},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Genova13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Greenberg13,
  author       = {Noam Greenberg},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Computing K-Trivial Sets by Incomplete Random Sets},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {230},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_26},
  doi          = {10.1007/978-3-642-39053-1\_26},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Greenberg13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Habic13,
  author       = {Miha E. Habic},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Cardinal-Recognizing Infinite Time Turing Machines},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {231--240},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_27},
  doi          = {10.1007/978-3-642-39053-1\_27},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Habic13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Haigh13,
  author       = {Thomas Haigh},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {'Stored Program Concept' Considered Harmful: History and Historiography},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {241--251},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_28},
  doi          = {10.1007/978-3-642-39053-1\_28},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Haigh13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/HansenI13,
  author       = {Thomas Dueholm Hansen and
                  Rasmus Ibsen{-}Jensen},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {The Complexity of Interior Point Methods for Solving Discounted Turn-Based
                  Stochastic Games},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {252--262},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_29},
  doi          = {10.1007/978-3-642-39053-1\_29},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/HansenI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Hashagen13,
  author       = {Ulf Hashagen},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {The Computation of Nature, Or: Does the Computer Drive Science and
                  Technology?},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {263--270},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_30},
  doi          = {10.1007/978-3-642-39053-1\_30},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Hashagen13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Kari13,
  author       = {Lila Kari},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Negative Glues and Non-determinism in Nanocomputations by Self-assembly},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {271--272},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_31},
  doi          = {10.1007/978-3-642-39053-1\_31},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Kari13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KartzowS13,
  author       = {Alexander Kartzow and
                  Philipp Schlicht},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Structures without Scattered-Automatic Presentation},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {273--283},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_32},
  doi          = {10.1007/978-3-642-39053-1\_32},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/KartzowS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KrishnaGD13,
  author       = {Shankara Narayanan Krishna and
                  Marian Gheorghe and
                  Ciprian Dragomir},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Some Classes of Generalised Communicating {P} Systems and Simple Kernel
                  {P} Systems},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {284--293},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_33},
  doi          = {10.1007/978-3-642-39053-1\_33},
  timestamp    = {Fri, 28 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/KrishnaGD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/LubarskyR13,
  author       = {Robert S. Lubarsky and
                  Michael Rathjen},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Realizability Models Separating Various Fan Theorems},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {306--315},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_35},
  doi          = {10.1007/978-3-642-39053-1\_35},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/LubarskyR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/McGregor13,
  author       = {Andrew McGregor},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Towards a Theory of Homomorphic Compression},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {316--319},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_36},
  doi          = {10.1007/978-3-642-39053-1\_36},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/McGregor13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/MelnikovN13,
  author       = {Alexander G. Melnikov and
                  Andr{\'{e}} Nies},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {The Classification Problem for Compact Computable Metric Spaces},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {320--328},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_37},
  doi          = {10.1007/978-3-642-39053-1\_37},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/MelnikovN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Pagnani13,
  author       = {Andrea Pagnani},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Exploiting Co-evolution across Protein Families for Predicting Native
                  Contacts and Protein-Protein Interaction Surfaces},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {329},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_38},
  doi          = {10.1007/978-3-642-39053-1\_38},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/Pagnani13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/PardiniBMMT13,
  author       = {Giovanni Pardini and
                  Roberto Barbuti and
                  Andrea Maggiolo{-}Schettini and
                  Paolo Milazzo and
                  Simone Tini},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {A Compositional Semantics of Reaction Systems with Restriction},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {330--339},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_39},
  doi          = {10.1007/978-3-642-39053-1\_39},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/PardiniBMMT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Parida13,
  author       = {Laxmi Parida},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Using Random Graphs in Population Genomics},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {340--341},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_40},
  doi          = {10.1007/978-3-642-39053-1\_40},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Parida13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Peretyatkin13,
  author       = {Mikhail G. Peretyat'kin},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable
                  Countable Saturated Models},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {342--352},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_41},
  doi          = {10.1007/978-3-642-39053-1\_41},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Peretyatkin13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/RosoneS13,
  author       = {Giovanna Rosone and
                  Marinella Sciortino},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {The Burrows-Wheeler Transform between Data Compression and Combinatorics
                  on Words},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {353--364},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_42},
  doi          = {10.1007/978-3-642-39053-1\_42},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/RosoneS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/RouxP13,
  author       = {St{\'{e}}phane Le Roux and
                  Arno Pauly},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Closed Choice for Finite and for Convex Sets},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {294--305},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_34},
  doi          = {10.1007/978-3-642-39053-1\_34},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/RouxP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Rugy-Altherre13,
  author       = {Nicolas de Rugy{-}Altherre},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Determinant versus Permanent: Salvation via Generalization?},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {87--96},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_10},
  doi          = {10.1007/978-3-642-39053-1\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Rugy-Altherre13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Soskov13,
  author       = {Ivan N. Soskov},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {A Note on {\(\omega\)}-Jump Inversion of Degree Spectra of Structures},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {365--370},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_43},
  doi          = {10.1007/978-3-642-39053-1\_43},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Soskov13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Soskova13,
  author       = {Mariya Ivanova Soskova},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {The Turing Universe in the Context of Enumeration Reducibility},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {371--382},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_44},
  doi          = {10.1007/978-3-642-39053-1\_44},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Soskova13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/StefanovicS13,
  author       = {Darko Stefanovic and
                  Milan N. Stojanovic},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Computing Game Strategies},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {383--392},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_45},
  doi          = {10.1007/978-3-642-39053-1\_45},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/StefanovicS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Stukachev13,
  author       = {Alexey Stukachev},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {On Processes and Structures},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {393--402},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_46},
  doi          = {10.1007/978-3-642-39053-1\_46},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Stukachev13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Szemeredi13,
  author       = {Endre Szemer{\'{e}}di},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Various Regularity Lemmas in Graphs and Hypergraphs},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {403},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_47},
  doi          = {10.1007/978-3-642-39053-1\_47},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Szemeredi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Tedre13,
  author       = {Matti Tedre},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Three Debates about Computing},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {404--413},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_48},
  doi          = {10.1007/978-3-642-39053-1\_48},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Tedre13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Vatev13,
  author       = {Stefan V. Vatev},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Another Jump Inversion Theorem for Structures},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {414--423},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_49},
  doi          = {10.1007/978-3-642-39053-1\_49},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/Vatev13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Vereshchagin13,
  author       = {Nikolay K. Vereshchagin},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {On Algorithmic Strong Sufficient Statistics},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {424--433},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_50},
  doi          = {10.1007/978-3-642-39053-1\_50},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Vereshchagin13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/YapS013,
  author       = {Chee Yap and
                  Michael Sagraloff and
                  Vikram Sharma},
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {Analytic Root Clustering: {A} Complete Algorithm Using Soft Zero Tests},
  booktitle    = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  pages        = {434--444},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1\_51},
  doi          = {10.1007/978-3-642-39053-1\_51},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/YapS013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2013,
  editor       = {Paola Bonizzoni and
                  Vasco Brattka and
                  Benedikt L{\"{o}}we},
  title        = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
                  on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7921},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39053-1},
  doi          = {10.1007/978-3-642-39053-1},
  isbn         = {978-3-642-39052-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}