Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BangJensenHK23,
  author       = {J{\o}rgen Bang{-}Jensen and
                  Florian H{\"{o}}rsch and
                  Matthias Kriesell},
  title        = {Complexity of (arc)-connectivity problems involving arc-reversals
                  or deorientations},
  journal      = {Theor. Comput. Sci.},
  volume       = {973},
  pages        = {114097},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114097},
  doi          = {10.1016/J.TCS.2023.114097},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BangJensenHK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DelporteGalletFRS23,
  author       = {Carole Delporte{-}Gallet and
                  Hugues Fauconnier and
                  Michel Raynal and
                  Mouna Safir},
  title        = {Optimal algorithms for synchronous Byzantine \emph{k}-set agreement},
  journal      = {Theor. Comput. Sci.},
  volume       = {973},
  pages        = {114098},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114098},
  doi          = {10.1016/J.TCS.2023.114098},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DelporteGalletFRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FujishigeTIBT23,
  author       = {Yuta Fujishige and
                  Yuki Tsujimaru and
                  Shunsuke Inenaga and
                  Hideo Bannai and
                  Masayuki Takeda},
  title        = {Linear-time computation of DAWGs, symmetric indexing structures, and
                  MAWs for integer alphabets},
  journal      = {Theor. Comput. Sci.},
  volume       = {973},
  pages        = {114093},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114093},
  doi          = {10.1016/J.TCS.2023.114093},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/FujishigeTIBT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ngondi23,
  author       = {Gerard Ekembe Ngondi},
  title        = {Semantics of dynamic hiding in mobile {UTP-CSP}},
  journal      = {Theor. Comput. Sci.},
  volume       = {973},
  pages        = {114079},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114079},
  doi          = {10.1016/J.TCS.2023.114079},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Ngondi23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/RahmanMS23,
  author       = {Md. Saidur Rahman and
                  Petra Mutzel and
                  Slamin},
  title        = {Special issue on selected papers from the 16th International Conference
                  and Workshops on Algorithms and Computation {(WALCOM} 2022)},
  journal      = {Theor. Comput. Sci.},
  volume       = {973},
  pages        = {114095},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114095},
  doi          = {10.1016/J.TCS.2023.114095},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/RahmanMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SeiffarthHW23,
  author       = {Florian Seiffarth and
                  Tam{\'{a}}s Horv{\'{a}}th and
                  Stefan Wrobel},
  title        = {Maximal closed set and half-space separations in finite closure systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {973},
  pages        = {114105},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114105},
  doi          = {10.1016/J.TCS.2023.114105},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/SeiffarthHW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ZhongTZLL23,
  author       = {Hao Zhong and
                  Yong Tang and
                  Qi Zhang and
                  Ronghua Lin and
                  Weisheng Li},
  title        = {A unified greedy approximation for several dominating set problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {973},
  pages        = {114069},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114069},
  doi          = {10.1016/J.TCS.2023.114069},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhongTZLL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ZhuSLZ23,
  author       = {Mingzhe Zhu and
                  Haoxin Sun and
                  Wei Li and
                  Zhongzhi Zhang},
  title        = {Modeling spatial networks by contact graphs of disk packings},
  journal      = {Theor. Comput. Sci.},
  volume       = {973},
  pages        = {114066},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114066},
  doi          = {10.1016/J.TCS.2023.114066},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhuSLZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/deLiguoroT23,
  author       = {Ugo de'Liguoro and
                  Riccardo Treglia},
  title        = {From semantics to types: The case of the imperative \emph{{\(\lambda\)}}-calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {973},
  pages        = {114082},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114082},
  doi          = {10.1016/J.TCS.2023.114082},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/deLiguoroT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}