Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ita/AdamekLM07,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Dominik L{\"{u}}cke and
                  Stefan Milius},
  title        = {Recursive coalgebras of finitary functors},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {4},
  pages        = {447--462},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007028},
  doi          = {10.1051/ITA:2007028},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/AdamekLM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/AssentS07,
  author       = {Ira Assent and
                  Sebastian Seibert},
  title        = {An upper bound for transforming self-verifying automata into deterministic
                  ones},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {3},
  pages        = {261--265},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007017},
  doi          = {10.1051/ITA:2007017},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ita/AssentS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BalkovaPT07,
  author       = {L'ubom{\'{\i}}ra Balkov{\'{a}} and
                  Edita Pelantov{\'{a}} and
                  Ondrej Turek},
  title        = {Combinatorial and arithmetical properties of infinite words associated
                  with non-simple quadratic Parry numbers},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {3},
  pages        = {307--328},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007025},
  doi          = {10.1051/ITA:2007025},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BalkovaPT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BertheEIR07,
  author       = {Val{\'{e}}rie Berth{\'{e}} and
                  Hiromi Ei and
                  Shunji Ito and
                  Hui Rao},
  title        = {On substitution invariant Sturmian words: an application of Rauzy
                  fractals},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {3},
  pages        = {329--349},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007026},
  doi          = {10.1051/ITA:2007026},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BertheEIR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BockenhauerB07,
  author       = {Hans{-}Joachim B{\"{o}}ckenhauer and
                  Dirk Bongartz},
  title        = {A weighted {HP} model for protein folding with diagonal contacts},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {4},
  pages        = {375--402},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007023},
  doi          = {10.1051/ITA:2007023},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BockenhauerB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BrattkaFM07,
  author       = {Vasco Brattka and
                  Christiane Frougny and
                  Norbert Th. M{\"{u}}ller},
  title        = {Foreword},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {1},
  pages        = {1--2},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007001},
  doi          = {10.1051/ITA:2007001},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BrattkaFM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BrisebarreM07,
  author       = {Nicolas Brisebarre and
                  Jean{-}Michel Muller},
  title        = {Correct rounding of algebraic functions},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {1},
  pages        = {71--83},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007002},
  doi          = {10.1051/ITA:2007002},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BrisebarreM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/CagnardS07,
  author       = {Benoit Cagnard and
                  Pierre Simonnet},
  title        = {Automata, Borel functions and real numbers in Pisot base},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {1},
  pages        = {27--44},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007007},
  doi          = {10.1051/ITA:2007007},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/CagnardS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/CarlsenE07,
  author       = {Toke M. Carlsen and
                  S{\o}ren Eilers},
  title        = {A graph approach to computing nondeterminacy in substitutional dynamical
                  systems},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {3},
  pages        = {285--306},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007020},
  doi          = {10.1051/ITA:2007020},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/CarlsenE07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/ChoudharyKM07,
  author       = {Ashish Choudhary and
                  Kamala Krithivasan and
                  Victor Mitrana},
  title        = {Returning and non-returning parallel communicating finite automata
                  are equivalent},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {2},
  pages        = {137--145},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007014},
  doi          = {10.1051/ITA:2007014},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/ChoudharyKM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/DinechinLM07,
  author       = {Florent de Dinechin and
                  Christoph Quirin Lauter and
                  Jean{-}Michel Muller},
  title        = {Fast and correctly rounded logarithms in double-precision},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {1},
  pages        = {85--102},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007003},
  doi          = {10.1051/ITA:2007003},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/DinechinLM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/DominguezLR07,
  author       = {C{\'{e}}sar Dom{\'{\i}}nguez and
                  Laureano Lamb{\'{a}}n and
                  Julio Rubio},
  title        = {Object oriented institutions to specify symbolic computation systems},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {2},
  pages        = {191--214},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007015},
  doi          = {10.1051/ITA:2007015},
  timestamp    = {Mon, 07 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/DominguezLR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Fernau07,
  author       = {Henning Fernau},
  title        = {Learning tree languages from text},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {4},
  pages        = {351--374},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007030},
  doi          = {10.1051/ITA:2007030},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ita/Fernau07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/FernauRS07,
  author       = {Henning Fernau and
                  Klaus Reinhardt and
                  Ludwig Staiger},
  title        = {Decidability of code properties},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {3},
  pages        = {243--259},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007019},
  doi          = {10.1051/ITA:2007019},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ita/FernauRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Fogg07,
  author       = {N. Pytheas Fogg},
  title        = {Substitutions par des motifs en dimension 1},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {3},
  pages        = {267--284},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007022},
  doi          = {10.1051/ITA:2007022},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Fogg07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Fousse07,
  author       = {Laurent Fousse},
  title        = {Multiple-Precision Correctly rounded Newton-Cotes quadrature},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {1},
  pages        = {103--121},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007004},
  doi          = {10.1051/ITA:2007004},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Fousse07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/GambiniV07,
  author       = {Ian Gambini and
                  Laurent Vuillon},
  title        = {An algorithm for deciding if a polyomino tiles the plane},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {2},
  pages        = {147--155},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007012},
  doi          = {10.1051/ITA:2007012},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/GambiniV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/GraillatL07,
  author       = {Stef Graillat and
                  Philippe Langlois},
  title        = {Real and complex pseudozero sets for polynomials with applications},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {1},
  pages        = {45--56},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007006},
  doi          = {10.1051/ITA:2007006},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/GraillatL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Honkala07,
  author       = {Juha Honkala},
  title        = {A periodicity property of iterated morphisms},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {2},
  pages        = {215--223},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007016},
  doi          = {10.1051/ITA:2007016},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Honkala07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/JurdzinskiO07,
  author       = {Tomasz Jurdzinski and
                  Friedrich Otto},
  title        = {Sequential monotonicity for restarting automata},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {2},
  pages        = {157--175},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007013},
  doi          = {10.1051/ITA:2007013},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/JurdzinskiO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/KaboreT07,
  author       = {Idrissa Kabor{\'{e}} and
                  Th{\'{e}}odore Tapsoba},
  title        = {Combinatoire de mots r{\'{e}}currents de complexit{\'{e}}
                  n+2},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {4},
  pages        = {425--446},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007027},
  doi          = {10.1051/ITA:2007027},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/KaboreT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Lange07,
  author       = {Martin Lange},
  title        = {Three notes on the complexity of model checking fixpoint logic with
                  chop},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {2},
  pages        = {177--190},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007011},
  doi          = {10.1051/ITA:2007011},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Lange07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/LeupoldM07,
  author       = {Peter Leupold and
                  Victor Mitrana},
  title        = {Uniformly bounded duplication codes},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {4},
  pages        = {411--424},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007021},
  doi          = {10.1051/ITA:2007021},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/LeupoldM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/MelquiondP07,
  author       = {Guillaume Melquiond and
                  Sylvain Pion},
  title        = {Formally certified floating-point filters for homogeneous geometric
                  predicates},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {1},
  pages        = {57--69},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007005},
  doi          = {10.1051/ITA:2007005},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/MelquiondP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Moczurad07,
  author       = {Wlodzimierz Moczurad},
  title        = {Defect theorem in the plane},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {4},
  pages        = {403--409},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007018},
  doi          = {10.1051/ITA:2007018},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Moczurad07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Schmidt-SchaussSS07,
  author       = {Manfred Schmidt{-}Schau{\ss} and
                  David Sabel and
                  Marko Sch{\"{u}}tz},
  title        = {Deciding inclusion of set constants over infinite non-strict data
                  structures},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {2},
  pages        = {225--241},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007010},
  doi          = {10.1051/ITA:2007010},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Schmidt-SchaussSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Turek07,
  author       = {Ondrej Turek},
  title        = {Balance properties of the fixed point of the substitution associated
                  to quadratic simple Pisot numbers},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {2},
  pages        = {123--135},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007009},
  doi          = {10.1051/ITA:2007009},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Turek07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Zheng07,
  author       = {Xizhong Zheng},
  title        = {On the hierarchies of {\textdollar}{\textbackslash}Delta0{\_}2{\textdollar}-real
                  numbers},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {41},
  number       = {1},
  pages        = {3--25},
  year         = {2007},
  url          = {https://doi.org/10.1051/ita:2007008},
  doi          = {10.1051/ITA:2007008},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Zheng07.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.