Search dblp for Publications

export results for "toc:db/journals/tcs/tcs774.bht:"

 download as .bib file

@article{DBLP:journals/tcs/ArmaseluD19,
  author       = {Bogdan Armaselu and
                  Ovidiu Daescu},
  title        = {Dynamic minimum bichromatic separating circle},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {133--142},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.11.036},
  doi          = {10.1016/J.TCS.2016.11.036},
  timestamp    = {Wed, 03 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ArmaseluD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DingQ19,
  author       = {Wei Ding and
                  Ke Qiu},
  title        = {Approximating the restricted 1-center in graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {31--43},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.044},
  doi          = {10.1016/J.TCS.2016.04.044},
  timestamp    = {Mon, 28 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DingQ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HuangLQM19,
  author       = {Fei Huang and
                  Xueliang Li and
                  Zhongmei Qin and
                  Colton Magnant},
  title        = {Minimum degree condition for proper connection number 2},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {44--50},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.042},
  doi          = {10.1016/J.TCS.2016.04.042},
  timestamp    = {Wed, 03 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/HuangLQM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KawaseHM19,
  author       = {Yasushi Kawase and
                  Xin Han and
                  Kazuhisa Makino},
  title        = {Proportional cost buyback problem with weight bounds},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {51--64},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.06.005},
  doi          = {10.1016/J.TCS.2016.06.005},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/KawaseHM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MahmoodyU19,
  author       = {Ahmad Mahmoody and
                  Eli Upfal},
  title        = {Optimizing static and adaptive probing schedules for rapid event detection},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {14--30},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.05.041},
  doi          = {10.1016/J.TCS.2016.05.041},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MahmoodyU19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiaoLLL19,
  author       = {Dongjing Miao and
                  Xianmin Liu and
                  Yingshu Li and
                  Jianzhong Li},
  title        = {Vertex cover in conflict graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {103--112},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.07.009},
  doi          = {10.1016/J.TCS.2016.07.009},
  timestamp    = {Sat, 29 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MiaoLLL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Takaoka19,
  author       = {Tadao Takaoka},
  title        = {Algebraic theory on shortest paths for all flows},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {124--132},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.08.007},
  doi          = {10.1016/J.TCS.2016.08.007},
  timestamp    = {Wed, 03 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Takaoka19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TianD19,
  author       = {Cong Tian and
                  Zhenhua Duan},
  title        = {Model checking open systems with alternating projection temporal logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {65--81},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.06.019},
  doi          = {10.1016/J.TCS.2016.06.019},
  timestamp    = {Wed, 03 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/TianD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XuCW19,
  author       = {Chao Xu and
                  Jianer Chen and
                  Jianxin Wang},
  title        = {Resolution and linear {CNF} formulas: Improved (\emph{n}, 3)-MaxSAT
                  algorithms},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {113--123},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.08.008},
  doi          = {10.1016/J.TCS.2016.08.008},
  timestamp    = {Fri, 21 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/XuCW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XuPXZ19,
  author       = {Yi Xu and
                  Jigen Peng and
                  Yinfeng Xu and
                  Binhai Zhu},
  title        = {The discrete and mixed minimax 2-center problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {95--102},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.06.037},
  doi          = {10.1016/J.TCS.2016.06.037},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/XuPXZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XuXDW19,
  author       = {Yicheng Xu and
                  Dachuan Xu and
                  Donglei Du and
                  Chenchen Wu},
  title        = {Improved approximation algorithm for universal facility location problem
                  with linear penalties},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {143--151},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2017.03.014},
  doi          = {10.1016/J.TCS.2017.03.014},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/XuXDW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhangHCYL19,
  author       = {Kejia Zhang and
                  Qilong Han and
                  Zhipeng Cai and
                  Guisheng Yin and
                  Junyu Lin},
  title        = {{DOAMI:} {A} distributed on-line algorithm to minimize interference
                  for routing in wireless sensor networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {1--13},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.05.043},
  doi          = {10.1016/J.TCS.2016.05.043},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhangHCYL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhaoWD19,
  author       = {Liang Zhao and
                  Xiaobing Wang and
                  Zhenhua Duan},
  title        = {Model checking of pushdown systems for projection temporal logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {774},
  pages        = {82--94},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2016.06.031},
  doi          = {10.1016/J.TCS.2016.06.031},
  timestamp    = {Wed, 08 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhaoWD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}