default search action
Search dblp for Publications
export results for "toc:db/conf/cie/cie2013.bht:"
@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} }
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.