Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cie/AlaevS18,
  author       = {Pavel Alaev and
                  Victor L. Selivanov},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Polynomial-Time Presentations of Algebraic Number Fields},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {20--29},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_2},
  doi          = {10.1007/978-3-319-94418-0\_2},
  timestamp    = {Wed, 16 Nov 2022 11:08:36 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/AlaevS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Ambos-Spies18,
  author       = {Klaus Ambos{-}Spies},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Multiple Permitting and Array Noncomputability},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {30--39},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_3},
  doi          = {10.1007/978-3-319-94418-0\_3},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Ambos-Spies18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BazhenovM18,
  author       = {Nikolay Bazhenov and
                  Margarita Marchuk},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Degrees of Categoricity for Prime and Homogeneous Models},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {40--49},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_4},
  doi          = {10.1007/978-3-319-94418-0\_4},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BazhenovM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BeckerMOT18,
  author       = {Florent Becker and
                  Diego Maldonado and
                  Nicolas Ollinger and
                  Guillaume Theyssier},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Universality in Freezing Cellular Automata},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {50--59},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_5},
  doi          = {10.1007/978-3-319-94418-0\_5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BeckerMOT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BenzmullerPT18,
  author       = {Christoph Benzm{\"{u}}ller and
                  Xavier Parent and
                  Leendert W. N. van der Torre},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {A Deontic Logic Reasoning Infrastructure},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {60--69},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_6},
  doi          = {10.1007/978-3-319-94418-0\_6},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BenzmullerPT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BergerP18,
  author       = {Ulrich Berger and
                  Olga Petrovska},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Optimized Program Extraction for Induction and Coinduction},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {70--80},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_7},
  doi          = {10.1007/978-3-319-94418-0\_7},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BergerP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Berndt18,
  author       = {Sebastian Berndt},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Computing Tree Width: From Theory to Practice and Back},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {81--88},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_8},
  doi          = {10.1007/978-3-319-94418-0\_8},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Berndt18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BerndtK18,
  author       = {Sebastian Berndt and
                  Kim{-}Manuel Klein},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Using Structural Properties for Integer Programs},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {89--96},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_9},
  doi          = {10.1007/978-3-319-94418-0\_9},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BerndtK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BerosKKN18,
  author       = {Achilles A. Beros and
                  Mushfeq Khan and
                  Bj{\o}rn Kjos{-}Hanssen and
                  Andr{\'{e}} Nies},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {From Eventually Different Functions to Pandemic Numberings},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {97--106},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_10},
  doi          = {10.1007/978-3-319-94418-0\_10},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BerosKKN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BonizzoniVNPPR18,
  author       = {Paola Bonizzoni and
                  Gianluca Della Vedova and
                  Serena Nicosia and
                  Yuri Pirola and
                  Marco Previtali and
                  Raffaella Rizzi},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Divide and Conquer Computation of the Multi-string {BWT} and {LCP}
                  Array},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {107--117},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_11},
  doi          = {10.1007/978-3-319-94418-0\_11},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BonizzoniVNPPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Carl18,
  author       = {Merlin Carl},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Some Observations on Infinitary Complexity},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {118--125},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_12},
  doi          = {10.1007/978-3-319-94418-0\_12},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Carl18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/CarlOW18,
  author       = {Merlin Carl and
                  Sabrina Ouazzani and
                  Philip D. Welch},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Taming Koepke's Zoo},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {126--135},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_13},
  doi          = {10.1007/978-3-319-94418-0\_13},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/CarlOW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/CenzerR18,
  author       = {Douglas Cenzer and
                  Diego A. Rojas},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Online Computability and Differentiation in the Cantor Space},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {136--145},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_14},
  doi          = {10.1007/978-3-319-94418-0\_14},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/CenzerR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Davis18,
  author       = {Martin Davis},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Turing's Vision and Deep Learning},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {146--155},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_15},
  doi          = {10.1007/978-3-319-94418-0\_15},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Davis18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Erlebach18,
  author       = {Thomas Erlebach},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Computing and Scheduling with Explorable Uncertainty},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {156--160},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_16},
  doi          = {10.1007/978-3-319-94418-0\_16},
  timestamp    = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Erlebach18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/FernauFHKMN18,
  author       = {Henning Fernau and
                  Till Fluschnik and
                  Danny Hermelin and
                  Andreas Krebs and
                  Hendrik Molter and
                  Rolf Niedermeier},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Diminishable Parameterized Problems and Strict Polynomial Kernelization},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {161--171},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_17},
  doi          = {10.1007/978-3-319-94418-0\_17},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/FernauFHKMN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/FernauKO18,
  author       = {Henning Fernau and
                  Lakshmanan Kuppusamy and
                  Rufus O. Oladele},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {New Nonterminal Complexity Results for Semi-conditional Grammars},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {172--182},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_18},
  doi          = {10.1007/978-3-319-94418-0\_18},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/FernauKO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/FluschnikMN18,
  author       = {Till Fluschnik and
                  George B. Mertzios and
                  Andr{\'{e}} Nichterlein},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Kernelization Lower Bounds for Finding Constant-Size Subgraphs},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {183--193},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_19},
  doi          = {10.1007/978-3-319-94418-0\_19},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/FluschnikMN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/GeorgievKS18,
  author       = {Ivan Georgiev and
                  Lars Kristiansen and
                  Frank Stephan},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {On General Sum Approximations of Irrational Numbers},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {194--203},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_20},
  doi          = {10.1007/978-3-319-94418-0\_20},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/GeorgievKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Graca018,
  author       = {Daniel Silva Gra{\c{c}}a and
                  Ning Zhong},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Computability of Ordinary Differential Equations},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {204--213},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_21},
  doi          = {10.1007/978-3-319-94418-0\_21},
  timestamp    = {Wed, 29 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Graca018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Hoyrup18,
  author       = {Mathieu Hoyrup},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Topological Analysis of Representations},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {214--223},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_22},
  doi          = {10.1007/978-3-319-94418-0\_22},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Hoyrup18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Khoussainov18,
  author       = {Bakh Khoussainov},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {A Journey to Computably Enumerable Structures (Tutorial Lectures)},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {1--19},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_1},
  doi          = {10.1007/978-3-319-94418-0\_1},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Khoussainov18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/KonesL18,
  author       = {Ishai Kones and
                  Asaf Levin},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {A Unified Framework for Designing EPTAS's for Load Balancing on Parallel
                  Machines},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {224--233},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_23},
  doi          = {10.1007/978-3-319-94418-0\_23},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/KonesL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/KorovinaK18,
  author       = {Margarita V. Korovina and
                  Oleg V. Kudinov},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Weak Reduction Principle and Computable Metric Spaces},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {234--243},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_24},
  doi          = {10.1007/978-3-319-94418-0\_24},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/KorovinaK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/KristiansenM18,
  author       = {Lars Kristiansen and
                  Juvenal Murwanashyaka},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Decidable and Undecidable Fragments of First-Order Concatenation Theory},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {244--253},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_25},
  doi          = {10.1007/978-3-319-94418-0\_25},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/KristiansenM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Lauria18,
  author       = {Massimo Lauria},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Algorithm Analysis Through Proof Complexity},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {254--263},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_26},
  doi          = {10.1007/978-3-319-94418-0\_26},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Lauria18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Marques-Silva18,
  author       = {Jo{\~{a}}o Marques{-}Silva},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Computing with {SAT} Oracles: Past, Present and Future},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {264--276},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_27},
  doi          = {10.1007/978-3-319-94418-0\_27},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/Marques-Silva18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/McNichollS18,
  author       = {Timothy H. McNicholl and
                  Don M. Stull},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {The Isometry Degree of a Computable Copy of {\unicode{120001}}\({}^{\mbox{p}}\)},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {277--286},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_28},
  doi          = {10.1007/978-3-319-94418-0\_28},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/McNichollS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Milovanov18,
  author       = {Alexey Milovanov},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Algorithmic Statistics and Prediction for Polynomial Time-Bounded
                  Algorithms},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {287--296},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_29},
  doi          = {10.1007/978-3-319-94418-0\_29},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Milovanov18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Monath18,
  author       = {Martin Monath},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {A {C.E.} Weak Truth Table Degree Which Is Array Noncomputable and
                  R-maximal},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {297--306},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_30},
  doi          = {10.1007/978-3-319-94418-0\_30},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Monath18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Nicholson18,
  author       = {Marie Nicholson},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {The Complexity of Tukey Types and Cofinal Types},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {307--317},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_31},
  doi          = {10.1007/978-3-319-94418-0\_31},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Nicholson18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Normann18,
  author       = {Dag Normann},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Functionals of Type 3 as Realisers of Classical Theorems in Analysis},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {318--327},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_32},
  doi          = {10.1007/978-3-319-94418-0\_32},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Normann18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Pauly18,
  author       = {Arno Pauly},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Enumeration Degrees and Topology},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {328--337},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_33},
  doi          = {10.1007/978-3-319-94418-0\_33},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Pauly18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Quinon18,
  author       = {Paula Quinon},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {A Taxonomy of Deviant Encodings},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {338--348},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_34},
  doi          = {10.1007/978-3-319-94418-0\_34},
  timestamp    = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Quinon18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Rossegger18,
  author       = {Dino Rossegger},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Elementary Bi-embeddability Spectra of Structures},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {349--358},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_35},
  doi          = {10.1007/978-3-319-94418-0\_35},
  timestamp    = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Rossegger18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Rybalov18,
  author       = {Alexander N. Rybalov},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {A Generic m-Reducibility},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {359--364},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_36},
  doi          = {10.1007/978-3-319-94418-0\_36},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Rybalov18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Sanders18,
  author       = {Sam Sanders},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Some Nonstandard Equivalences in Reverse Mathematics},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {365--375},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_37},
  doi          = {10.1007/978-3-319-94418-0\_37},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Sanders18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/SelivanovaS18,
  author       = {Svetlana V. Selivanova and
                  Victor L. Selivanov},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems
                  of PDEs (Extended Abstract)},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {376--385},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_38},
  doi          = {10.1007/978-3-319-94418-0\_38},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/SelivanovaS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Sieg18,
  author       = {Wilfried Sieg},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {What Is the Concept of Computation?},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {386--396},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_39},
  doi          = {10.1007/978-3-319-94418-0\_39},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Sieg18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/SoutoAMT18,
  author       = {Andr{\'{e}} Souto and
                  Lu{\'{\i}}s Antunes and
                  Paulo Mateus and
                  Andreia Teixeira},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Witness Hiding Without Extractors or Simulators},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {397--409},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_40},
  doi          = {10.1007/978-3-319-94418-0\_40},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/SoutoAMT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/UspenskiyS18,
  author       = {Vladimir Uspenskiy and
                  Alexander Shen},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Algorithms and Geometric Constructions},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {410--420},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_41},
  doi          = {10.1007/978-3-319-94418-0\_41},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/UspenskiyS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/YokomoriO18,
  author       = {Takashi Yokomori and
                  Fumiya Okubo},
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Computing with Multisets: {A} Survey on Reaction Automata Theory},
  booktitle    = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  pages        = {421--431},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0\_42},
  doi          = {10.1007/978-3-319-94418-0\_42},
  timestamp    = {Mon, 23 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/YokomoriO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cie/2018,
  editor       = {Florin Manea and
                  Russell G. Miller and
                  Dirk Nowotka},
  title        = {Sailing Routes in the World of Computation - 14th Conference on Computability
                  in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10936},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94418-0},
  doi          = {10.1007/978-3-319-94418-0},
  isbn         = {978-3-319-94417-3},
  timestamp    = {Wed, 16 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.