Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/BachrachP15,
  author       = {Yoram Bachrach and
                  Ely Porat},
  title        = {Fingerprints for highly similar streams},
  journal      = {Inf. Comput.},
  volume       = {244},
  pages        = {113--121},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.06.001},
  doi          = {10.1016/J.IC.2015.06.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BachrachP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Ballester-Bolinches15,
  author       = {Adolfo Ballester{-}Bolinches and
                  Enric Cosme{-}Ll{\'{o}}pez and
                  Jan J. M. M. Rutten},
  title        = {The dual equivalence of equations and coequations for automata},
  journal      = {Inf. Comput.},
  volume       = {244},
  pages        = {49--75},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.08.001},
  doi          = {10.1016/J.IC.2015.08.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Ballester-Bolinches15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BenediktPV15,
  author       = {Michael Benedikt and
                  Gabriele Puppis and
                  Huy Vu},
  title        = {The complexity of higher-order queries},
  journal      = {Inf. Comput.},
  volume       = {244},
  pages        = {172--202},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.07.003},
  doi          = {10.1016/J.IC.2015.07.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BenediktPV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CzyzowiczGKKPP15,
  author       = {Jurek Czyzowicz and
                  Leszek Gasieniec and
                  Adrian Kosowski and
                  Evangelos Kranakis and
                  Oscar Morales{-}Ponce and
                  Eduardo Pacheco},
  title        = {Position discovery for a system of bouncing robots},
  journal      = {Inf. Comput.},
  volume       = {244},
  pages        = {122--133},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.07.005},
  doi          = {10.1016/J.IC.2015.07.005},
  timestamp    = {Mon, 03 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/CzyzowiczGKKPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LatteuxR15,
  author       = {Michel Latteux and
                  Yves Roos},
  title        = {A canonical automaton for one-rule length-preserving string rewrite
                  systems},
  journal      = {Inf. Comput.},
  volume       = {244},
  pages        = {203--228},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.07.002},
  doi          = {10.1016/J.IC.2015.07.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LatteuxR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LiF15,
  author       = {Lvzhou Li and
                  Yuan Feng},
  title        = {Quantum Markov chains: Description of hybrid systems, decidability
                  of equivalence, and model checking linear-time properties},
  journal      = {Inf. Comput.},
  volume       = {244},
  pages        = {229--244},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.07.001},
  doi          = {10.1016/J.IC.2015.07.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LiF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MaiaMR15,
  author       = {Eva Maia and
                  Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Incomplete operational transition complexity of regular languages},
  journal      = {Inf. Comput.},
  volume       = {244},
  pages        = {1--22},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.08.004},
  doi          = {10.1016/J.IC.2015.08.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MaiaMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/SiirtolaK15,
  author       = {Antti Siirtola and
                  Juha Kortelainen},
  title        = {Multi-parameterised compositional verification of safety properties},
  journal      = {Inf. Comput.},
  volume       = {244},
  pages        = {23--48},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.08.002},
  doi          = {10.1016/J.IC.2015.08.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/SiirtolaK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/TurriniH15,
  author       = {Andrea Turrini and
                  Holger Hermanns},
  title        = {Polynomial time decision algorithms for probabilistic automata},
  journal      = {Inf. Comput.},
  volume       = {244},
  pages        = {134--171},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.07.004},
  doi          = {10.1016/J.IC.2015.07.004},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/TurriniH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Zhioua15,
  author       = {Sami Zhioua},
  title        = {Analyzing anonymity attacks through noisy channels},
  journal      = {Inf. Comput.},
  volume       = {244},
  pages        = {76--112},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.08.003},
  doi          = {10.1016/J.IC.2015.08.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Zhioua15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}