Search dblp for Publications

export results for "toc:db/conf/ifipTCS/ifipTCS2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ifipTCS/AbrahamKKW06,
  author       = {Marco Abraham and
                  Rolf K{\"{o}}tter and
                  Antje Krumnack and
                  Egon Wanke},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {A Connectivity Rating for Vertices in Networks},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {283--298},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_23},
  doi          = {10.1007/978-0-387-34735-6\_23},
  timestamp    = {Wed, 28 Feb 2024 00:16:41 +0100},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/AbrahamKKW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Arenas06,
  author       = {Marcelo Arenas},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Locality of Queries and Transformations},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {3},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_1},
  doi          = {10.1007/978-0-387-34735-6\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Arenas06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BloomE06,
  author       = {Stephen L. Bloom and
                  Zolt{\'{a}}n {\'{E}}sik},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Completing Categorical Algebras},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {231--249},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_20},
  doi          = {10.1007/978-0-387-34735-6\_20},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/BloomE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BockenhauerFHKKPW06,
  author       = {Hans{-}Joachim B{\"{o}}ckenhauer and
                  Luca Forlizzi and
                  Juraj Hromkovic and
                  Joachim Kneis and
                  Joachim Kupke and
                  Guido Proietti and
                  Peter Widmayer},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Reusing Optimal {TSP} Solutions for Locally Modified Input Instances},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {251--270},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_21},
  doi          = {10.1007/978-0-387-34735-6\_21},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/BockenhauerFHKKPW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BortolussiFP06,
  author       = {Luca Bortolussi and
                  Francesco Fabris and
                  Alberto Policriti},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {BuST-Bundled Suffix Trees},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {91--102},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_11},
  doi          = {10.1007/978-0-387-34735-6\_11},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/BortolussiFP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BrodnikKMN06,
  author       = {Andrej Brodnik and
                  Johan Karlsson and
                  J. Ian Munro and
                  Andreas Nilsson},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {An {O(1)} Solution to the Prefix Sum Problem on a Specialized Memory
                  Architecture},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {103--114},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_12},
  doi          = {10.1007/978-0-387-34735-6\_12},
  timestamp    = {Tue, 08 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/BrodnikKMN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/CaromelH06,
  author       = {Denis Caromel and
                  Ludovic Henrio},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Asynchonous Distributed Components: Concurrency and Determinacy},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {165--183},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_16},
  doi          = {10.1007/978-0-387-34735-6\_16},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/CaromelH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Coja-OghlanGL06,
  author       = {Amin Coja{-}Oghlan and
                  Andreas Goerdt and
                  Andr{\'{e}} Lanka},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Spectral Partitioning of Random Graphs with Given Expected Degrees},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {271--282},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_22},
  doi          = {10.1007/978-0-387-34735-6\_22},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Coja-OghlanGL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/DeanGI06,
  author       = {Brian C. Dean and
                  Michel X. Goemans and
                  Nicole Immorlica},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {The Unsplittable Stable Marriage Problem},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {65--75},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_9},
  doi          = {10.1007/978-0-387-34735-6\_9},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/DeanGI06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/DobrevFKS06,
  author       = {Stefan Dobrev and
                  Paola Flocchini and
                  Rastislav Kralovic and
                  Nicola Santoro},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Exploring an Unknown Graph to Locate a Black Hole Using Tokens},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {131--150},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_14},
  doi          = {10.1007/978-0-387-34735-6\_14},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/DobrevFKS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Gruska06,
  author       = {Jozef Gruska},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {From Informatics to Quantum Informatics},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {5},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_2},
  doi          = {10.1007/978-0-387-34735-6\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Gruska06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Gruska06a,
  author       = {Jozef Gruska},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {From Informatics to Quantum Informatics},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {17--46},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_7},
  doi          = {10.1007/978-0-387-34735-6\_7},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Gruska06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Gutierrez06,
  author       = {Claudio Gutierrez},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {{RDF} as a Data Model},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {7},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_3},
  doi          = {10.1007/978-0-387-34735-6\_3},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Gutierrez06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/GuttmannM06,
  author       = {Walter Guttmann and
                  Markus Maucher},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Variations on an Ordering Theme with Constraints},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {77--90},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_10},
  doi          = {10.1007/978-0-387-34735-6\_10},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/GuttmannM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/HuangC06,
  author       = {Xiuzhen Huang and
                  Jianer Chen},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {On {PTAS} for Planar Graph Problems},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {299--313},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_24},
  doi          = {10.1007/978-0-387-34735-6\_24},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/HuangC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/JeronMR06,
  author       = {Thierry J{\'{e}}ron and
                  Herv{\'{e}} Marchand and
                  Vlad Rusu},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Symbolic Determinisation of Extended Automata},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {197--212},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_18},
  doi          = {10.1007/978-0-387-34735-6\_18},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/JeronMR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Kiwi06,
  author       = {Marcos A. Kiwi},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Adversarial Queueing Theory Revisited},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {9--10},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_4},
  doi          = {10.1007/978-0-387-34735-6\_4},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Kiwi06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/KutribM06,
  author       = {Martin Kutrib and
                  Andreas Malcher},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Fast Cellular Automata with Restricted Inter-Cell Communication: Computational
                  Capacity},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {151--164},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_15},
  doi          = {10.1007/978-0-387-34735-6\_15},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/KutribM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Lena06,
  author       = {Pietro di Lena},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Decidable Properties for Regular Cellular Automata},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {185--196},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_17},
  doi          = {10.1007/978-0-387-34735-6\_17},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Lena06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/PrencipeS06,
  author       = {Giuseppe Prencipe and
                  Nicola Santoro},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Distributed Algorithms for Autonomous Mobile Robots},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {47--62},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_8},
  doi          = {10.1007/978-0-387-34735-6\_8},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/PrencipeS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Santoro06,
  author       = {Nicola Santoro},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Distributed Algorithms for Autonomous Mobile Robots},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {11},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_5},
  doi          = {10.1007/978-0-387-34735-6\_5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Santoro06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/SeiMH06,
  author       = {Yuichi Sei and
                  Kazutaka Matsuzaki and
                  Shinichi Honiden},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {An Algorithm to Reduce the Communication Traffic for Multi-Word Searches
                  in a Distributed Hash Table},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {115--129},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_13},
  doi          = {10.1007/978-0-387-34735-6\_13},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/SeiMH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Yannakakis06,
  author       = {Mihalis Yannakakis},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Recursion and Probability},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {13},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_6},
  doi          = {10.1007/978-0-387-34735-6\_6},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/Yannakakis06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/dOrsoT06,
  author       = {Julien d'Orso and
                  Tayssir Touili},
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Regular Hedge Model Checking},
  booktitle    = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  pages        = {213--230},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6\_19},
  doi          = {10.1007/978-0-387-34735-6\_19},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/dOrsoT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2006,
  editor       = {Gonzalo Navarro and
                  Leopoldo E. Bertossi and
                  Yoshiharu Kohayakawa},
  title        = {Fourth {IFIP} International Conference on Theoretical Computer Science
                  {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations
                  of Computer Science, August 23-24, 2006, Santiago, Chile},
  series       = {{IFIP}},
  volume       = {209},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34735-6},
  doi          = {10.1007/978-0-387-34735-6},
  isbn         = {0-387-34633-3},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics