Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ita/AcetoEI02,
  author       = {Luca Aceto and
                  Zolt{\'{a}}n {\'{E}}sik and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {A Fully Equational Proof of Parikh's Theorem},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {2},
  pages        = {129--153},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002007},
  doi          = {10.1051/ITA:2002007},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/AcetoEI02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Beran02,
  author       = {Martin Beran},
  title        = {Pipelined Decomposable {BSP} Computers},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {1},
  pages        = {43--65},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002004},
  doi          = {10.1051/ITA:2002004},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Beran02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BernetJW02,
  author       = {Julien Bernet and
                  David Janin and
                  Igor Walukiewicz},
  title        = {Permissive strategies: from parity games to safety games},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {3},
  pages        = {261--275},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002013},
  doi          = {10.1051/ITA:2002013},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BernetJW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BozapalidisL02,
  author       = {Symeon Bozapalidis and
                  Olympia Louscou{-}Bozapalidou},
  title        = {Polypodic codes},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {1},
  pages        = {5--28},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002002},
  doi          = {10.1051/ITA:2002002},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BozapalidisL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BrosenneHW02,
  author       = {Henrik Brosenne and
                  Matthias Homeister and
                  Stephan Waack},
  title        = {Characterizing the Complexity of Boolean Functions represented by
                  Well-Structured Graph-Driven Parity-FBDDs},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {3},
  pages        = {229--247},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002011},
  doi          = {10.1051/ITA:2002011},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BrosenneHW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CarpiL02,
  author       = {Arturo Carpi and
                  Aldo de Luca},
  title        = {On the distribution of characteristic parameters of words},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {1},
  pages        = {67--96},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002006},
  doi          = {10.1051/ITA:2002006},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/CarpiL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CarpiL02a,
  author       = {Arturo Carpi and
                  Aldo de Luca},
  title        = {On the distribution of characteristic parameters of words {II}},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {1},
  pages        = {97--127},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002005},
  doi          = {10.1051/ITA:2002005},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/CarpiL02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Cortier02,
  author       = {V{\'{e}}ronique Cortier},
  title        = {About the decision of reachability for register machines},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {4},
  pages        = {341--358},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2003001},
  doi          = {10.1051/ITA:2003001},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Cortier02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/DuvalL02,
  author       = {Jean{-}Pierre Duval and
                  Arnaud Lefebvre},
  title        = {Words over an ordered alphabet and suffix permutations},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {3},
  pages        = {249--259},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002012},
  doi          = {10.1051/ITA:2002012},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/DuvalL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/ErkokLM02,
  author       = {Levent Erk{\"{o}}k and
                  John Launchbury and
                  Andrew Moran},
  title        = {Semantics of value recursion for Monadic Input/Output},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {2},
  pages        = {155--180},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002008},
  doi          = {10.1051/ITA:2002008},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/ErkokLM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Frougny02,
  author       = {Christiane Frougny},
  title        = {On multiplicatively dependent linear numeration systems, and periodic
                  points},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {3},
  pages        = {293--314},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002015},
  doi          = {10.1051/ITA:2002015},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Frougny02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HarjuN02,
  author       = {Tero Harju and
                  Dirk Nowotka},
  title        = {Density of Critical Factorizations},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {3},
  pages        = {315--327},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002016},
  doi          = {10.1051/ITA:2002016},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/HarjuN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Heam02,
  author       = {Pierre{-}Cyrille H{\'{e}}am},
  title        = {On Shuffle Ideals},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {4},
  pages        = {359--384},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2003002},
  doi          = {10.1051/ITA:2003002},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Heam02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/JustinP02,
  author       = {Jacques Justin and
                  Giuseppe Pirillo},
  title        = {On a characteristic property of {ARNOUX-RAUZY} sequences},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {4},
  pages        = {385--388},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2003005},
  doi          = {10.1051/ITA:2003005},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/JustinP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KatisSW02,
  author       = {Piergiulio Katis and
                  Nicoletta Sabadini and
                  Robert F. C. Walters},
  title        = {Feedback, trace and fixed-point semantics},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {2},
  pages        = {181--194},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002009},
  doi          = {10.1051/ITA:2002009},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/KatisSW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Latapy02,
  author       = {Matthieu Latapy},
  title        = {Integer Partitions, Tilings of \emph{2D}-gons and Lattices},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {4},
  pages        = {389--399},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2003004},
  doi          = {10.1051/ITA:2003004},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Latapy02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/MereghettiP02,
  author       = {Carlo Mereghetti and
                  Beatrice Palano},
  title        = {On the Size of One-way Quantum Finite Automata with Periodic Behaviors},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {3},
  pages        = {277--291},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002014},
  doi          = {10.1051/ITA:2002014},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/MereghettiP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/MignosiZ02,
  author       = {Filippo Mignosi and
                  Luca Q. Zamboni},
  title        = {A Note on a Conjecture of Duval and Sturmian Words},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {1},
  pages        = {1--3},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002001},
  doi          = {10.1051/ITA:2002001},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/MignosiZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Santocanale02,
  author       = {Luigi Santocanale},
  title        = {{\(\mathrm{\mu}\)}-Bicomplete Categories and Parity Games},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {2},
  pages        = {195--227},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002010},
  doi          = {10.1051/ITA:2002010},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Santocanale02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Selivanov02,
  author       = {Victor L. Selivanov},
  title        = {Relating Automata-theoretic Hierarchies to Complexity-theoretic Hierarchies},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {1},
  pages        = {29--42},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2002003},
  doi          = {10.1051/ITA:2002003},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Selivanov02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Zito02,
  author       = {Michele Zito},
  title        = {An Upper Bound on the Space Complexity of Random Formulae in Resolution},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {36},
  number       = {4},
  pages        = {329--339},
  year         = {2002},
  url          = {https://doi.org/10.1051/ita:2003003},
  doi          = {10.1051/ITA:2003003},
  timestamp    = {Mon, 19 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Zito02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics