Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AlzettaMPR18,
  author       = {Giacomo Alzetta and
                  Andrea Marin and
                  Carla Piazza and
                  Sabina Rossi},
  title        = {Lumping-based equivalences in Markovian automata: Algorithms and applications
                  to product-form analyses},
  journal      = {Inf. Comput.},
  volume       = {260},
  pages        = {99--125},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.04.002},
  doi          = {10.1016/J.IC.2018.04.002},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AlzettaMPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BampasI18,
  author       = {Evangelos Bampas and
                  David Ilcinkas},
  title        = {On mobile agent verifiable problems},
  journal      = {Inf. Comput.},
  volume       = {260},
  pages        = {51--71},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.03.003},
  doi          = {10.1016/J.IC.2018.03.003},
  timestamp    = {Mon, 04 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BampasI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CachinO18,
  author       = {Christian Cachin and
                  Olga Ohrimenko},
  title        = {Verifying the consistency of remote untrusted services with conflict-free
                  operations},
  journal      = {Inf. Comput.},
  volume       = {260},
  pages        = {72--88},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.03.004},
  doi          = {10.1016/J.IC.2018.03.004},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/CachinO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CassaigneKP18,
  author       = {Julien Cassaigne and
                  Juhani Karhum{\"{a}}ki and
                  Svetlana Puzynina},
  title        = {On \emph{k}-abelian palindromes},
  journal      = {Inf. Comput.},
  volume       = {260},
  pages        = {89--98},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.04.001},
  doi          = {10.1016/J.IC.2018.04.001},
  timestamp    = {Mon, 04 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/CassaigneKP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Farmer18,
  author       = {William M. Farmer},
  title        = {Incorporating quotation and evaluation into Church's type theory},
  journal      = {Inf. Comput.},
  volume       = {260},
  pages        = {9--50},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.03.001},
  doi          = {10.1016/J.IC.2018.03.001},
  timestamp    = {Mon, 04 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/Farmer18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/IbarraDL18,
  author       = {Oscar H. Ibarra and
                  Zhe Dang and
                  Qin Li},
  title        = {Accepting runs in a two-way finite automaton},
  journal      = {Inf. Comput.},
  volume       = {260},
  pages        = {1--8},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.03.002},
  doi          = {10.1016/J.IC.2018.03.002},
  timestamp    = {Mon, 04 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/IbarraDL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/XiYK18,
  author       = {Xiaoyong Xi and
                  Jinbo Yang and
                  Hui Kou},
  title        = {A partial solution to an open problem of Amadio and Curien},
  journal      = {Inf. Comput.},
  volume       = {260},
  pages        = {126--134},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2018.04.003},
  doi          = {10.1016/J.IC.2018.04.003},
  timestamp    = {Mon, 04 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/XiYK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}