Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jcss/Bjorklund24,
  author       = {Johanna Bj{\"{o}}rklund},
  title        = {The impact of state merging on predictive accuracy in probabilistic
                  tree automata: Dietze's conjecture revisited},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {146},
  pages        = {103563},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jcss.2024.103563},
  doi          = {10.1016/J.JCSS.2024.103563},
  timestamp    = {Fri, 09 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/Bjorklund24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/DurandKV24,
  author       = {Arnaud Durand and
                  Juha Kontinen and
                  Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
  title        = {Modular SAT-based techniques for reasoning tasks in team semantics},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {146},
  pages        = {103575},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jcss.2024.103575},
  doi          = {10.1016/J.JCSS.2024.103575},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/DurandKV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/GomesLMMOSZ24,
  author       = {Guilherme C. M. Gomes and
                  Cl{\'{e}}ment Legrand{-}Duchesne and
                  Reem Mahmoud and
                  Amer E. Mouawad and
                  Yoshio Okamoto and
                  Vin{\'{\i}}cius Fernandes dos Santos and
                  Tom C. van der Zanden},
  title        = {Minimum separator reconfiguration},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {146},
  pages        = {103574},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jcss.2024.103574},
  doi          = {10.1016/J.JCSS.2024.103574},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/GomesLMMOSZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/KlobasMMS24,
  author       = {Nina Klobas and
                  George B. Mertzios and
                  Hendrik Molter and
                  Paul G. Spirakis},
  title        = {The complexity of computing optimum labelings for temporal connectivity},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {146},
  pages        = {103564},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jcss.2024.103564},
  doi          = {10.1016/J.JCSS.2024.103564},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/KlobasMMS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/NourinePV24,
  author       = {Lhouari Nourine and
                  Jean{-}Marc Petit and
                  Simon Vilmin},
  title        = {Towards declarative comparabilities: Application to functional dependencies},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {146},
  pages        = {103576},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jcss.2024.103576},
  doi          = {10.1016/J.JCSS.2024.103576},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/NourinePV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}