Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ita/Afrati94,
  author       = {Foto N. Afrati},
  title        = {The Hamilton Circuit Problem on Grids},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {6},
  pages        = {567--582},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280605671},
  doi          = {10.1051/ITA/1994280605671},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Afrati94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/AlessiB94,
  author       = {Fabio Alessi and
                  Franco Barbanera},
  title        = {Toward {A} Semantics for the Quest Language},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {6},
  pages        = {513--555},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280605131},
  doi          = {10.1051/ITA/1994280605131},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/AlessiB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/AndreD94,
  author       = {Yves Andre and
                  Max Dauchet},
  title        = {Decidability of Equivalence for a Class of Non-Deterministic Tree
                  Transducers},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {5},
  pages        = {447--463},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280504471},
  doi          = {10.1051/ITA/1994280504471},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/AndreD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BerstelS94,
  author       = {Jean Berstel and
                  Patrice S{\'{e}}{\'{e}}bold},
  title        = {A Remark on Morphic Sturmian Words},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {255--263},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-402551},
  doi          = {10.1051/ITA/1994283-402551},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BerstelS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Choffrut94,
  author       = {Christian Choffrut},
  title        = {Bijective Sequential Mappings of a Free Monoid Onto Another},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {265--276},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-402651},
  doi          = {10.1051/ITA/1994283-402651},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Choffrut94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/CoudertM94,
  author       = {Olivier Coudert and
                  Jean Christophe Madre},
  title        = {Une approche intentionnelle du calcul des implicants premiers et essentiels
                  des fonctions bool{\'{e}}ennes},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {2},
  pages        = {125--149},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280201251},
  doi          = {10.1051/ITA/1994280201251},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/CoudertM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/DerencourtKLT94,
  author       = {Denis Derencourt and
                  Juhani Karhum{\"{a}}ki and
                  Michel Latteux and
                  Alain Terlutte},
  title        = {On Continuous Functions Computed by Finite Automata},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {387--403},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-403871},
  doi          = {10.1051/ITA/1994283-403871},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/DerencourtKLT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Dube94,
  author       = {Simant Dube},
  title        = {Fractal Geometry, Turing Machines and Divide-and-Conquer Recurrences},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {405--423},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-404051},
  doi          = {10.1051/ITA/1994283-404051},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Dube94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/FinkelP94,
  author       = {Alain Finkel and
                  Laure Petrucci},
  title        = {Composition/d{\'{e}}composition de r{\'{e}}seaux de petri
                  et de leurs graphes de couverture},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {2},
  pages        = {73--124},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280200731},
  doi          = {10.1051/ITA/1994280200731},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/FinkelP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Geffert94,
  author       = {Viliam Geffert},
  title        = {A Hierarchy That Does Not Collapse: Alternations in Low Level Space},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {5},
  pages        = {465--512},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280504651},
  doi          = {10.1051/ITA/1994280504651},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Geffert94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Gonzales-VegaLRR94,
  author       = {Laureano Gonz{\'{a}}lez{-}Vega and
                  Henri Lombardi and
                  Tom{\'{a}}s Recio and
                  Marie{-}Fran{\c{c}}oise Roy},
  title        = {Sp{\'{e}}cialisation de la suite de Sturm},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {1},
  pages        = {1--24},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280100011},
  doi          = {10.1051/ITA/1994280100011},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Gonzales-VegaLRR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/HarjuKK94,
  author       = {Tero Harju and
                  N. W. Keesmaat and
                  H. C. M. Kleijn},
  title        = {The Intersection Problem for Alphabetic Vector Monoids},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {295--301},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-402951},
  doi          = {10.1051/ITA/1994283-402951},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/HarjuKK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/HromkovicKUWP94,
  author       = {Juraj Hromkovic and
                  Ralf Klasing and
                  Walter Unger and
                  Hubert Wagener and
                  Dana Pardubsk{\'{a}}},
  title        = {The Complexity of Systolic Dissemination of Information in Interconnection
                  Networks},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {303--342},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-403031},
  doi          = {10.1051/ITA/1994283-403031},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/HromkovicKUWP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/HuynhT94,
  author       = {Dung T. Huynh and
                  Lu Tian},
  title        = {On Deciding some Equivalences for Concurrent Processes},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {1},
  pages        = {51--71},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280100511},
  doi          = {10.1051/ITA/1994280100511},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/HuynhT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/KariF94,
  author       = {Jarkko Kari and
                  Pasi Fr{\"{a}}nti},
  title        = {Arithmetic Coding of Weighted Finite Automata},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {343--360},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-403431},
  doi          = {10.1051/ITA/1994283-403431},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/KariF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/KoungO94,
  author       = {C. C. Koung and
                  Jaroslav Opatrny},
  title        = {Multidimensional Linear Congruential Graphs},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {187--199},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-401871},
  doi          = {10.1051/ITA/1994283-401871},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/KoungO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/LaiW94,
  author       = {Tony W. Lai and
                  Derick Wood},
  title        = {Updating Approximately Complete Trees},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {5},
  pages        = {431--446},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280504311},
  doi          = {10.1051/ITA/1994280504311},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/LaiW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/LenhofS94,
  author       = {Hans{-}Peter Lenhof and
                  Michiel H. M. Smid},
  title        = {Using Persistent Data Structures for Adding Range Restrictions to
                  Searching Problems},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {1},
  pages        = {25--49},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280100251},
  doi          = {10.1051/ITA/1994280100251},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/LenhofS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/MateescuS94,
  author       = {Alexandru Mateescu and
                  Arto Salomaa},
  title        = {Finite Degrees of Ambiguity in Pattern Languages},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {233--253},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-402331},
  doi          = {10.1051/ITA/1994283-402331},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/MateescuS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/MaurerK94,
  author       = {Hermann A. Maurer and
                  Frank Kappe},
  title        = {Theory as Basis for Advances in Hypermedia},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {201--211},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-402011},
  doi          = {10.1051/ITA/1994283-402011},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/MaurerK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/MerzenichS94,
  author       = {Wolfgang Merzenich and
                  Ludwig Staiger},
  title        = {Fractals, Dimension, and Formal Languages},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {361--386},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-403611},
  doi          = {10.1051/ITA/1994283-403611},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/MerzenichS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Pachl94,
  author       = {Jan K. Pachl},
  title        = {A Proof of Protocol Correctness},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {213--220},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-402131},
  doi          = {10.1051/ITA/1994283-402131},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Pachl94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/RuzickaW94,
  author       = {Peter Ruzicka and
                  Juraj Waczul{\'{\i}}k},
  title        = {Pebbling Dynamic Graphs in Minimal Space},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {6},
  pages        = {557--565},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280605571},
  doi          = {10.1051/ITA/1994280605571},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/RuzickaW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/SalomaaWY94,
  author       = {Kai Salomaa and
                  Derick Wood and
                  Sheng Yu},
  title        = {Pumping and Pushdown Machines},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {221--232},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-402211},
  doi          = {10.1051/ITA/1994283-402211},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/SalomaaWY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/SegerB94,
  author       = {Carl{-}Johan H. Seger and
                  Janusz A. Brzozowski},
  title        = {Generalized Ternary Simulation of Sequential Circuits},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {159--186},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-401591},
  doi          = {10.1051/ITA/1994283-401591},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/SegerB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Simon94,
  author       = {Imre Simon},
  title        = {On Semigroups of Matrices over the Tropical Semiring},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {3-4},
  pages        = {277--294},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994283-402771},
  doi          = {10.1051/ITA/1994283-402771},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Simon94.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.