Search dblp for Publications

export results for "toc:db/conf/birthday/thomas2008.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/ArnoldDMN08,
  author       = {Andr{\'{e}} Arnold and
                  Jacques Duparc and
                  Filip Murlak and
                  Damian Niwinski},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {On the topological complexity of tree languages},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {9--28},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 22:14:40 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/ArnoldDMN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ArnoldW08,
  author       = {Andr{\'{e}} Arnold and
                  Igor Walukiewicz},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Nondeterministic controllers of nondeterministic processes},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {29--52},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/ArnoldW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BaierHHK08,
  author       = {Christel Baier and
                  Boudewijn R. Haverkort and
                  Holger Hermanns and
                  Joost{-}Pieter Katoen},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Reachability in continuous-time Markov reward decision processes},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {53--72},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BaierHHK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BlumensathCL08,
  author       = {Achim Blumensath and
                  Thomas Colcombet and
                  Christof L{\"{o}}ding},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Logical theories and compatible operations},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {73--106},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BlumensathCL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BojanczykW08,
  author       = {Mikolaj Bojanczyk and
                  Igor Walukiewicz},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Forest algebras},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {107--132},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BojanczykW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/CartonPP08,
  author       = {Olivier Carton and
                  Dominique Perrin and
                  Jean{-}Eric Pin},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Automata and semigroups recognizing infinite words},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {133--168},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/CartonPP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Caucal08,
  author       = {Didier Caucal},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Deterministic graph grammars},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {169--250},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Caucal08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Courcelle08,
  author       = {Bruno Courcelle},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Quantifier-free definable graph operations preserving recognizability},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {251--260},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Courcelle08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DiekertG08,
  author       = {Volker Diekert and
                  Paul Gastin},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {First-order definable languages},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {261--306},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/DiekertG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/GiammarresiR08,
  author       = {Dora Giammarresi and
                  Antonio Restivo},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Matrix-based complexity functions and recognizable picture languages},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {307--330},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/GiammarresiR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/GimbertZ08,
  author       = {Hugo Gimbert and
                  Wieslaw Zielonka},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Applying Blackwell optimality: priority mean-payoff games as limits
                  of multi-discounted games},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {331--356},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/GimbertZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Grohe08,
  author       = {Martin Grohe},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Logic, graphs, and algorithms},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {357--422},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Grohe08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KreutzerL08,
  author       = {Stephan Kreutzer and
                  Martin Lange},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Non-regular fixed-point logics and games},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {423--456},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Tue, 09 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/KreutzerL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/LombardyS08,
  author       = {Sylvain Lombardy and
                  Jacques Sakarovitch},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {The universal automaton},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {457--504},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/LombardyS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/MartensNS08,
  author       = {Wim Martens and
                  Frank Neven and
                  Thomas Schwentick},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Deterministic top-down tree automata: past, present, and future},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {505--530},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/MartensNS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/MatzS08,
  author       = {Oliver Matz and
                  Nicole Schweikardt},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Expressive power of monadic logics on words, trees, pictures, and
                  graphs},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {531--552},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/MatzS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/RamanujamS08,
  author       = {Ramaswamy Ramanujam and
                  Sunil Easaw Simon},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Structured strategies in games on graphs},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {553--574},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/RamanujamS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/SeidlSM08,
  author       = {Helmut Seidl and
                  Thomas Schwentick and
                  Anca Muscholl},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Counting in trees},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {575--612},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/SeidlSM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/StraubingT08,
  author       = {Howard Straubing and
                  Denis Th{\'{e}}rien},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Modular quantifiers},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {613--628},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/StraubingT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/VardiW08,
  author       = {Moshe Y. Vardi and
                  Thomas Wilke},
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Automata: from logics to algorithms},
  booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  pages        = {629--736},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/VardiW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2008thomas,
  editor       = {J{\"{o}}rg Flum and
                  Erich Gr{\"{a}}del and
                  Thomas Wilke},
  title        = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
                  Thomas]},
  series       = {Texts in Logic and Games},
  volume       = {2},
  publisher    = {Amsterdam University Press},
  year         = {2008},
  isbn         = {978-90-5356-576-6},
  timestamp    = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/2008thomas.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.