Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AlrahmanNL19,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {A calculus for collective-adaptive systems and its behavioural theory},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.104457},
  doi          = {10.1016/J.IC.2019.104457},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/AlrahmanNL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Amato19,
  author       = {Mike Amato},
  title        = {Introducing article numbering to \emph{Information and Computation}},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/S0890-5401(19)30090-2},
  doi          = {10.1016/S0890-5401(19)30090-2},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/Amato19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BelalE19,
  author       = {Ahmed A. Belal and
                  Amr Elmasry},
  title        = {Optimal prefix codes with fewer distinct codeword lengths are faster
                  to construct},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.104436},
  doi          = {10.1016/J.IC.2019.104436},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BelalE19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BeyersdorffH19,
  author       = {Olaf Beyersdorff and
                  Luke Hinde},
  title        = {Characterising tree-like Frege proofs for {QBF}},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.05.002},
  doi          = {10.1016/J.IC.2019.05.002},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BeyersdorffH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Bulatov19,
  author       = {Andrei A. Bulatov},
  title        = {Constraint Satisfaction Problems over semilattice block Mal'tsev algebras},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.104437},
  doi          = {10.1016/J.IC.2019.104437},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Bulatov19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CastiglioniT19,
  author       = {Valentina Castiglioni and
                  Simone Tini},
  title        = {Logical characterization of branching metrics for nondeterministic
                  probabilistic transition systems},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.06.001},
  doi          = {10.1016/J.IC.2019.06.001},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CastiglioniT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CrochemoreKK19,
  author       = {Maxime Crochemore and
                  Roman Kolpakov and
                  Gregory Kucherov},
  title        = {Optimal bounds for computing \emph{{\(\alpha\)}}-gapped repeats},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.104434},
  doi          = {10.1016/J.IC.2019.104434},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CrochemoreKK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Dachman-SoledKS19,
  author       = {Dana Dachman{-}Soled and
                  Mukul Kulkarni and
                  Aria Shahverdi},
  title        = {Tight upper and lower bounds for leakage-resilient, locally decodable
                  and updatable non-malleable codes},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.05.001},
  doi          = {10.1016/J.IC.2019.05.001},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Dachman-SoledKS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FokkinkGL19,
  author       = {Wan J. Fokkink and
                  Rob van Glabbeek and
                  Bas Luttik},
  title        = {Divide and congruence {III:} From decomposition of modal formulas
                  to preservation of stability and divergence},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.104435},
  doi          = {10.1016/J.IC.2019.104435},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FokkinkGL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Huang0K19,
  author       = {Mingzhang Huang and
                  Hongfei Fu and
                  Joost{-}Pieter Katoen},
  title        = {Deciding probabilistic simulation between probabilistic pushdown automata
                  and finite-state systems},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.05.004},
  doi          = {10.1016/J.IC.2019.05.004},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Huang0K19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KouzapasPY19,
  author       = {Dimitrios Kouzapas and
                  Jorge A. P{\'{e}}rez and
                  Nobuko Yoshida},
  title        = {On the relative expressiveness of higher-order session processes},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.06.002},
  doi          = {10.1016/J.IC.2019.06.002},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/KouzapasPY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Laihonen19,
  author       = {Tero Laihonen},
  title        = {On \emph{t}-revealing codes in binary Hamming spaces},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.104455},
  doi          = {10.1016/J.IC.2019.104455},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Laihonen19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}