Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BurkeT24,
  author       = {Kyle Burke and
                  Craig Tennenhouse},
  title        = {The computational complexity of forced capture Hnefatafl},
  journal      = {Theor. Comput. Sci.},
  volume       = {1006},
  pages        = {114627},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.tcs.2024.114627},
  doi          = {10.1016/J.TCS.2024.114627},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BurkeT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChenKL24,
  author       = {Yuxu Chen and
                  Hui Kou and
                  Zhenchao Lyu},
  title        = {Upper powerdomains of quasicontinuous dcpos},
  journal      = {Theor. Comput. Sci.},
  volume       = {1006},
  pages        = {114663},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.tcs.2024.114663},
  doi          = {10.1016/J.TCS.2024.114663},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ChenKL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GkikasLRS24,
  author       = {Angelos Gkikas and
                  Dimitrios Letsios and
                  Tomasz Radzik and
                  Kathleen Steinh{\"{o}}fel},
  title        = {New bounds for single-machine time-dependent scheduling with uniform
                  deterioration},
  journal      = {Theor. Comput. Sci.},
  volume       = {1006},
  pages        = {114673},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.tcs.2024.114673},
  doi          = {10.1016/J.TCS.2024.114673},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/GkikasLRS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LiSV24,
  author       = {Yong Li and
                  Sven Schewe and
                  Moshe Y. Vardi},
  title        = {Singly exponential translation of alternating weak B{\"{u}}chi
                  automata to unambiguous B{\"{u}}chi automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {1006},
  pages        = {114650},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.tcs.2024.114650},
  doi          = {10.1016/J.TCS.2024.114650},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/LiSV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}