Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jcss/BenCSV19,
  author       = {Yue Ben and
                  Rohit Chadha and
                  A. Prasad Sistla and
                  Mahesh Viswanathan},
  title        = {Decidable and expressive classes of probabilistic automata},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {100},
  pages        = {70--95},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jcss.2018.09.002},
  doi          = {10.1016/J.JCSS.2018.09.002},
  timestamp    = {Fri, 07 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BenCSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/BurdickFKPT19,
  author       = {Douglas Burdick and
                  Ronald Fagin and
                  Phokion G. Kolaitis and
                  Lucian Popa and
                  Wang{-}Chiew Tan},
  title        = {Expressive power of entity-linking frameworks},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {100},
  pages        = {44--69},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jcss.2018.09.001},
  doi          = {10.1016/J.JCSS.2018.09.001},
  timestamp    = {Wed, 26 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BurdickFKPT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/DoyenMS19,
  author       = {Laurent Doyen and
                  Thierry Massart and
                  Mahsa Shirmohammadi},
  title        = {The complexity of synchronizing Markov decision processes},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {100},
  pages        = {96--129},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jcss.2018.09.004},
  doi          = {10.1016/J.JCSS.2018.09.004},
  timestamp    = {Wed, 26 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/DoyenMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/MazowieckiR19,
  author       = {Filip Mazowiecki and
                  Cristian Riveros},
  title        = {Copyless cost-register automata: Structure, expressiveness, and closure
                  properties},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {100},
  pages        = {1--29},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jcss.2018.07.002},
  doi          = {10.1016/J.JCSS.2018.07.002},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/MazowieckiR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/PotapovS19,
  author       = {Igor Potapov and
                  Pavel Semukhin},
  title        = {Vector and scalar reachability problems in SL(2, {Z)}},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {100},
  pages        = {30--43},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jcss.2018.09.003},
  doi          = {10.1016/J.JCSS.2018.09.003},
  timestamp    = {Fri, 07 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/PotapovS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}