Search dblp for Publications

export results for "toc:db/conf/tamc/tamc2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tamc/Abu-Khzam09,
  author       = {Faisal N. Abu{-}Khzam},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {A Quadratic Kernel for 3-Set Packing},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {81--87},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_11},
  doi          = {10.1007/978-3-642-02017-9\_11},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Abu-Khzam09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Ambos-SpiesK09,
  author       = {Klaus Ambos{-}Spies and
                  Thorsten Kr{\"{a}}ling},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Quantitative Aspects of Speed-Up and Gap Phenomena},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {88--97},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_12},
  doi          = {10.1007/978-3-642-02017-9\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Ambos-SpiesK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/AndoOSY09,
  author       = {Ei Ando and
                  Hirotaka Ono and
                  Kunihiko Sadakane and
                  Masafumi Yamashita},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Computing the Exact Distribution Function of the Stochastic Longest
                  Path Length in a {DAG}},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {98--107},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_13},
  doi          = {10.1007/978-3-642-02017-9\_13},
  timestamp    = {Fri, 29 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/AndoOSY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/BampasGPT09,
  author       = {Evangelos Bampas and
                  Andreas{-}Nikolas G{\"{o}}bel and
                  Aris Pagourtzis and
                  Aris Tentes},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {On the Connection between Interval Size Functions and Path Counting},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {108--117},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_14},
  doi          = {10.1007/978-3-642-02017-9\_14},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/BampasGPT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/BeregJYZ09,
  author       = {Sergey Bereg and
                  Minghui Jiang and
                  Boting Yang and
                  Binhai Zhu},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {On the Red/Blue Spanning Tree Problem},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {118--127},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_15},
  doi          = {10.1007/978-3-642-02017-9\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/BeregJYZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/BerendsenCJ09,
  author       = {Jasper Berendsen and
                  Taolue Chen and
                  David N. Jansen},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Undecidability of Cost-Bounded Reachability in Priced Probabilistic
                  Timed Automata},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {128--137},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_16},
  doi          = {10.1007/978-3-642-02017-9\_16},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/BerendsenCJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/CaiLX09,
  author       = {Jin{-}yi Cai and
                  Pinyan Lu and
                  Mingji Xia},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {A Computational Proof of Complexity of Some Restricted Counting Problems},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {138--149},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_17},
  doi          = {10.1007/978-3-642-02017-9\_17},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/CaiLX09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/CarboneD09,
  author       = {Alessandra Carbone and
                  Linda Dib},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Co-evolution and Information Signals in Biological Sequences},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {6--17},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_4},
  doi          = {10.1007/978-3-642-02017-9\_4},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/CarboneD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/CenzerFLW09,
  author       = {Douglas Cenzer and
                  Johanna N. Y. Franklin and
                  Jiang Liu and
                  Guohua Wu},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh
                  Atoms},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {420--429},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_44},
  doi          = {10.1007/978-3-642-02017-9\_44},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/CenzerFLW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/ChangHKP09,
  author       = {Maw{-}Shang Chang and
                  Ling{-}Ju Hung and
                  Ton Kloks and
                  Sheng{-}Lung Peng},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Block-Graph Width},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {150--157},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_18},
  doi          = {10.1007/978-3-642-02017-9\_18},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/ChangHKP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/ChangLP09,
  author       = {Ruei{-}Yuan Chang and
                  Guanling Lee and
                  Sheng{-}Lung Peng},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Minimum Vertex Ranking Spanning Tree Problem on Permutation Graphs},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {158--167},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_19},
  doi          = {10.1007/978-3-642-02017-9\_19},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/ChangLP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/ChenKX09,
  author       = {Jianer Chen and
                  Iyad A. Kanj and
                  Ge Xia},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {On Parameterized Exponential Time Complexity},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {168--177},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_20},
  doi          = {10.1007/978-3-642-02017-9\_20},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/ChenKX09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Cooper09,
  author       = {S. Barry Cooper},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {The Extended Turing Model as Contextual Tool},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {18--28},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_5},
  doi          = {10.1007/978-3-642-02017-9\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Cooper09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Doberkat09,
  author       = {Ernst{-}Erich Doberkat},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Behavioral and Logical Equivalence of Stochastic Kripke Models in
                  General Measurable Spaces},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {192--200},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_22},
  doi          = {10.1007/978-3-642-02017-9\_22},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Doberkat09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/ElberfeldST09,
  author       = {Michael Elberfeld and
                  Ilka Schnoor and
                  Till Tantau},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Influence of Tree Topology Restrictions on the Complexity of Haplotyping
                  with Missing Data},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {201--210},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_23},
  doi          = {10.1007/978-3-642-02017-9\_23},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/ElberfeldST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/FengLLW09,
  author       = {Qilong Feng and
                  Yang Liu and
                  Songjian Lu and
                  Jianxin Wang},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Improved Deterministic Algorithms for Weighted Matching and Packing
                  Problems},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {211--220},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_24},
  doi          = {10.1007/978-3-642-02017-9\_24},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/FengLLW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/FernauR09,
  author       = {Henning Fernau and
                  Daniel Raible},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Searching Trees: An Essay},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {59--70},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_9},
  doi          = {10.1007/978-3-642-02017-9\_9},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/FernauR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/FialaGK09,
  author       = {Jir{\'{\i}} Fiala and
                  Petr A. Golovach and
                  Jan Kratochv{\'{\i}}l},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Parameterized Complexity of Coloring Problems: Treewidth versus Vertex
                  Cover},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {221--230},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_25},
  doi          = {10.1007/978-3-642-02017-9\_25},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/FialaGK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/FuKW09,
  author       = {Bin Fu and
                  Ming{-}Yang Kao and
                  Lusheng Wang},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Discovering Almost Any Hidden Motif from Multiple Sequences in Polynomial
                  Time with Low Sample Complexity and High Success Probability},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {231--240},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_26},
  doi          = {10.1007/978-3-642-02017-9\_26},
  timestamp    = {Mon, 10 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/FuKW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Guo09,
  author       = {Jiong Guo},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Fixed-Parameter Algorithms for Graph-Modeled Date Clustering},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {39--48},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_7},
  doi          = {10.1007/978-3-642-02017-9\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Guo09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/HeggernesMP09,
  author       = {Pinar Heggernes and
                  Daniel Meister and
                  Charis Papadopoulos},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {A Complete Characterisation of the Linear Clique-Width of Path Powers},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {241--250},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_27},
  doi          = {10.1007/978-3-642-02017-9\_27},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/HeggernesMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Hennessy09,
  author       = {Matthew Hennessy},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Distributed Systems and Their Environments},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {4--5},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_3},
  doi          = {10.1007/978-3-642-02017-9\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Hennessy09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/HinkelmannJ09,
  author       = {Markus Hinkelmann and
                  Andreas Jakoby},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Preserving Privacy versus Data Retention},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {251--260},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_28},
  doi          = {10.1007/978-3-642-02017-9\_28},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/HinkelmannJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/JiangT09,
  author       = {Bo Jiang and
                  Xuehou Tan},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Searching a Circular Corridor with Two Flashlights},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {345--359},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_37},
  doi          = {10.1007/978-3-642-02017-9\_37},
  timestamp    = {Thu, 07 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/JiangT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Kanj09,
  author       = {Iyad A. Kanj},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {On Spanners of Geometric Graphs},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {49--58},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_8},
  doi          = {10.1007/978-3-642-02017-9\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Kanj09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/KaplanL09,
  author       = {Marc Kaplan and
                  Sophie Laplante},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Kolmogorov Complexity and Combinatorial Methods in Communication Complexity},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {261--270},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_29},
  doi          = {10.1007/978-3-642-02017-9\_29},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/KaplanL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/LafitteW09,
  author       = {Gr{\'{e}}gory Lafitte and
                  Michael Weiss},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {An Almost Totally Universal Tile Set},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {271--280},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_30},
  doi          = {10.1007/978-3-642-02017-9\_30},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/LafitteW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/LokshtanovMS09,
  author       = {Daniel Lokshtanov and
                  Matthias Mnich and
                  Saket Saurabh},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Linear Kernel for Planar Connected Dominating Set},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {281--290},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_31},
  doi          = {10.1007/978-3-642-02017-9\_31},
  timestamp    = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/LokshtanovMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Martens09,
  author       = {Maren Martens},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {A Simple Greedy Algorithm for the k-Disjoint Flow Problem},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {291--300},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_32},
  doi          = {10.1007/978-3-642-02017-9\_32},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Martens09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/MizukiTN09,
  author       = {Takaaki Mizuki and
                  Hitoshi Tsubata and
                  Takao Nishizeki},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Minimizing {AND-EXOR} Expressions for Multiple-Valued Two-Input Logic
                  Functions},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {301--310},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_33},
  doi          = {10.1007/978-3-642-02017-9\_33},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/MizukiTN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/PintoPS09,
  author       = {Paulo Eust{\'{a}}quio Duarte Pinto and
                  F{\'{a}}bio Protti and
                  Jayme Luiz Szwarcfiter},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Exact and Experimental Algorithms for a Huffman-Based Error Detecting
                  Code},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {311--324},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_34},
  doi          = {10.1007/978-3-642-02017-9\_34},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/PintoPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/SarmaLN09,
  author       = {Atish Das Sarma and
                  Richard J. Lipton and
                  Danupon Nanongkai},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Best-Order Streaming Model},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {178--191},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_21},
  doi          = {10.1007/978-3-642-02017-9\_21},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/SarmaLN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Schubert09,
  author       = {Christoph Schubert},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Terminal Coalgebras for Measure-Polynomial Functors},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {325--334},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_35},
  doi          = {10.1007/978-3-642-02017-9\_35},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Schubert09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Sorbi09,
  author       = {Andrea Sorbi},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Strong Positive Reducibilities},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {29--38},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_6},
  doi          = {10.1007/978-3-642-02017-9\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Sorbi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/SorbiWY09,
  author       = {Andrea Sorbi and
                  Guohua Wu and
                  Yue Yang},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {High Minimal Pairs in the Enumeration Degrees},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {335--344},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_36},
  doi          = {10.1007/978-3-642-02017-9\_36},
  timestamp    = {Sat, 27 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/SorbiWY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/ToulouseC09,
  author       = {Sophie Toulouse and
                  Roberto Wolfler Calvo},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {On the Complexity of the Multiple Stack TSP, kSTSP},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {360--369},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_38},
  doi          = {10.1007/978-3-642-02017-9\_38},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/ToulouseC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Valiant09,
  author       = {Leslie G. Valiant},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Neural Computations That Support Long Mixed Sequences of Knowledge
                  Acquisition Tasks},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_1},
  doi          = {10.1007/978-3-642-02017-9\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Valiant09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Vardi09,
  author       = {Moshe Y. Vardi},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Constraints, Graphs, Algebra, Logic, and Complexity},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {3},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_2},
  doi          = {10.1007/978-3-642-02017-9\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Vardi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/WangJ09,
  author       = {Jianxin Wang and
                  Guohong Jiang},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {A Fixed-Parameter Enumeration Algorithm for the Weighted {FVS} Problem},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {390--399},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_41},
  doi          = {10.1007/978-3-642-02017-9\_41},
  timestamp    = {Fri, 17 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/WangJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/WangS09,
  author       = {Fangju Wang and
                  Kyle Swegles},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {An Online Algorithm for Applying Reinforcement Learning to Handle
                  Ambiguity in Spoken Dialogues},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {380--389},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_40},
  doi          = {10.1007/978-3-642-02017-9\_40},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/WangS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/WangZ09,
  author       = {Lusheng Wang and
                  Binhai Zhu},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {On the Tractability of Maximal Strip Recovery},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {400--409},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_42},
  doi          = {10.1007/978-3-642-02017-9\_42},
  timestamp    = {Mon, 10 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/WangZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Witt09,
  author       = {Carsten Witt},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Greedy Local Search and Vertex Cover in Sparse Random Graphs},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {410--419},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_43},
  doi          = {10.1007/978-3-642-02017-9\_43},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/Witt09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/WuG09,
  author       = {Zhilin Wu and
                  St{\'{e}}phane Grumbach},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Feasibility of Motion Planning on Directed Graphs},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {430--439},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_45},
  doi          = {10.1007/978-3-642-02017-9\_45},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/WuG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/YinZ09,
  author       = {Xiao Yin and
                  Daming Zhu},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Polynomial-Time Algorithm for Sorting by Generalized Translocations},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {440--449},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_46},
  doi          = {10.1007/978-3-642-02017-9\_46},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/YinZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Zhang09,
  author       = {John Z. Zhang},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {The Two-Guard Polygon Walk Problem},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {450--459},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_47},
  doi          = {10.1007/978-3-642-02017-9\_47},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Zhang09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/ZhangCM09,
  author       = {Zongyang Zhang and
                  Zhenfu Cao and
                  Rong Ma},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {An Observation on Non-Malleable Witness-Indistinguishability and Non-Malleable
                  Zero-Knowledge},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {470--479},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_49},
  doi          = {10.1007/978-3-642-02017-9\_49},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/ZhangCM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/ZhangCTZ09,
  author       = {Peng Zhang and
                  Jin{-}yi Cai and
                  Linqing Tang and
                  Wenbo Zhao},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Approximation and Hardness Results for Label Cut and Related Problems},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {460--469},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_48},
  doi          = {10.1007/978-3-642-02017-9\_48},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/ZhangCTZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Zhu09,
  author       = {Binhai Zhu},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Approximability and Fixed-Parameter Tractability for the Exemplar
                  Genomic Distance Problems},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {71--80},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_10},
  doi          = {10.1007/978-3-642-02017-9\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Zhu09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Zuylen09,
  author       = {Anke van Zuylen},
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Linear Programming Based Approximation Algorithms for Feedback Set
                  Problems in Bipartite Tournaments},
  booktitle    = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  pages        = {370--379},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9\_39},
  doi          = {10.1007/978-3-642-02017-9\_39},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Zuylen09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamc/2009,
  editor       = {Jianer Chen and
                  S. Barry Cooper},
  title        = {Theory and Applications of Models of Computation, 6th Annual Conference,
                  {TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5532},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02017-9},
  doi          = {10.1007/978-3-642-02017-9},
  isbn         = {978-3-642-02016-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics