Search dblp for Publications

export results for "toc:db/journals/ita/ita47.bht:"

 download as .bib file

@article{DBLP:journals/ita/AdamsFM13,
  author       = {Jared Adams and
                  Eric Freden and
                  Marni Mishna},
  title        = {From indexed grammars to generating functions},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {4},
  pages        = {325--350},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013041},
  doi          = {10.1051/ITA/2013041},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/AdamsFM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/AfanasievC13,
  author       = {Loredana Afanasiev and
                  Balder ten Cate},
  title        = {On Core XPath with Inflationary Fixed Points},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {1},
  pages        = {3--23},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2012027},
  doi          = {10.1051/ITA/2012027},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/AfanasievC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Blanchet-SadriCM13,
  author       = {Francine Blanchet{-}Sadri and
                  Bob Chen and
                  Sinziana Munteanu},
  title        = {A note on constructing infinite binary words with polynomial subword
                  complexity},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {2},
  pages        = {195--199},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013033},
  doi          = {10.1051/ITA/2013033},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Blanchet-SadriCM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Blanchet-SadriSTV13,
  author       = {Francine Blanchet{-}Sadri and
                  Sean Simmons and
                  Amelia Tebbe and
                  Amy Veprauskas},
  title        = {Abelian periods, partial words, and an extension of a theorem of Fine
                  and Wilf},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {3},
  pages        = {215--234},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013034},
  doi          = {10.1051/ITA/2013034},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Blanchet-SadriSTV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BrandtW13,
  author       = {Ulrike Brandt and
                  Hermann K.{-}G. Walter},
  title        = {Cohesiveness in promise problems},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {4},
  pages        = {351--369},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013042},
  doi          = {10.1051/ITA/2013042},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BrandtW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Clairambault13,
  author       = {Pierre Clairambault},
  title        = {Strong functors and interleaving fixpoints in game semantics},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {1},
  pages        = {25--68},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2012028},
  doi          = {10.1051/ITA/2012028},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Clairambault13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/CoriPH13,
  author       = {Robert Cori and
                  Thi Ha Duong Phan and
                  Tran Thi Thu Huong},
  title        = {Signed Chip Firing Games and symmetric Sandpile Models on the cycles},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {2},
  pages        = {133--146},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2012023},
  doi          = {10.1051/ITA/2012023},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/CoriPH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Durand13,
  author       = {Fabien Durand},
  title        = {Decidability of the {HD0L} ultimate periodicity problem},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {2},
  pages        = {201--214},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013035},
  doi          = {10.1051/ITA/2013035},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Durand13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/GabarroGS13,
  author       = {Joaquim Gabarr{\'{o}} and
                  Alina Garc{\'{\i}}a and
                  Maria J. Serna},
  title        = {On the hardness of game equivalence under local isomorphism},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {2},
  pages        = {147--169},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2012024},
  doi          = {10.1051/ITA/2012024},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/GabarroGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/GeffertP13,
  author       = {Viliam Geffert and
                  Dana Pardubsk{\'{a}}},
  title        = {Factoring and testing primes in small space},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {3},
  pages        = {241--259},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013038},
  doi          = {10.1051/ITA/2013038},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/GeffertP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Krug13,
  author       = {Sacha Krug},
  title        = {Analysis of a near-metric {TSP} approximation algorithm},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {3},
  pages        = {293--314},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013040},
  doi          = {10.1051/ITA/2013040},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Krug13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Krzywkowski13,
  author       = {Marcin Krzywkowski},
  title        = {Minimal 2-dominating sets in trees},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {3},
  pages        = {235--240},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013036},
  doi          = {10.1051/ITA/2013036},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Krzywkowski13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/LinL13,
  author       = {Lan Lin and
                  Yixun Lin},
  title        = {Cutwidth of iterated caterpillars},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {2},
  pages        = {181--193},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2012032},
  doi          = {10.1051/ITA/2012032},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/LinL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/MatthesU13,
  author       = {Ralph Matthes and
                  Tarmo Uustalu},
  title        = {Preface},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {1},
  pages        = {1--2},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2012026},
  doi          = {10.1051/ITA/2012026},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/MatthesU13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Parys13,
  author       = {Pawel Parys},
  title        = {Some results on complexity of {\(\mathrm{\mu}\)}-calculus evaluation
                  in the black-box model},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {1},
  pages        = {97--109},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2012030},
  doi          = {10.1051/ITA/2012030},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Parys13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/SaBRM13,
  author       = {Vin{\'{\i}}cius G. P. de S{\'{a}} and
                  Davidson R. Boccardo and
                  Luiz Fernando Rust C. Carmo and
                  Raphael C. S. Machado},
  title        = {A tight bound for exhaustive key search attacks against Message Authentication
                  Codes},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {2},
  pages        = {171--180},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2012025},
  doi          = {10.1051/ITA/2012025},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/SaBRM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/SilveiraXM13,
  author       = {Jefferson Luiz Mois{\'{e}}s da Silveira and
                  Eduardo Candido Xavier and
                  Fl{\'{a}}vio Keidi Miyazawa},
  title        = {A note on a two dimensional knapsack problem with unloading constraints},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {4},
  pages        = {315--324},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013037},
  doi          = {10.1051/ITA/2013037},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/SilveiraXM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Straubing13,
  author       = {Howard Straubing},
  title        = {New applications of the wreath product of forest algebras},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {3},
  pages        = {261--291},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013039},
  doi          = {10.1051/ITA/2013039},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Straubing13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/TimoR13,
  author       = {Omer Landry Nguena{-}Timo and
                  Pierre{-}Alain Reynier},
  title        = {On characteristic formulae for Event-Recording Automata},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {1},
  pages        = {69--96},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2012029},
  doi          = {10.1051/ITA/2012029},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/TimoR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Vaux13,
  author       = {Lionel Vaux},
  title        = {A non-uniform finitary relational semantics of system {T}},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {1},
  pages        = {111--132},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2012031},
  doi          = {10.1051/ITA/2012031},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Vaux13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/WangWZ13,
  author       = {Huijuan Wang and
                  Qiaoyan Wen and
                  Jie Zhang},
  title        = {{GLS:} New class of generalized Legendre sequences with optimal arithmetic
                  cross-correlation},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {47},
  number       = {4},
  pages        = {371--388},
  year         = {2013},
  url          = {https://doi.org/10.1051/ita/2013043},
  doi          = {10.1051/ITA/2013043},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/WangWZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

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