


default search action
Theoretical Computer Science, Volume 774
Volume 774, June 2019
- Kejia Zhang, Qilong Han, Zhipeng Cai

, Guisheng Yin, Junyu Lin:
DOAMI: A distributed on-line algorithm to minimize interference for routing in wireless sensor networks. 1-13 - Ahmad Mahmoody, Eli Upfal

:
Optimizing static and adaptive probing schedules for rapid event detection. 14-30 - Wei Ding

, Ke Qiu:
Approximating the restricted 1-center in graphs. 31-43 - Fei Huang, Xueliang Li, Zhongmei Qin, Colton Magnant:

Minimum degree condition for proper connection number 2. 44-50 - Yasushi Kawase

, Xin Han, Kazuhisa Makino:
Proportional cost buyback problem with weight bounds. 51-64 - Cong Tian, Zhenhua Duan:

Model checking open systems with alternating projection temporal logic. 65-81 - Liang Zhao, Xiaobing Wang, Zhenhua Duan:

Model checking of pushdown systems for projection temporal logic. 82-94 - Yi Xu

, Jigen Peng, Yinfeng Xu, Binhai Zhu:
The discrete and mixed minimax 2-center problems. 95-102 - Dongjing Miao

, Xianmin Liu, Yingshu Li
, Jianzhong Li:
Vertex cover in conflict graphs. 103-112 - Chao Xu, Jianer Chen, Jianxin Wang:

Resolution and linear CNF formulas: Improved (n, 3)-MaxSAT algorithms. 113-123 - Tadao Takaoka:

Algebraic theory on shortest paths for all flows. 124-132 - Bogdan Armaselu, Ovidiu Daescu:

Dynamic minimum bichromatic separating circle. 133-142 - Yicheng Xu, Dachuan Xu

, Donglei Du
, Chenchen Wu:
Improved approximation algorithm for universal facility location problem with linear penalties. 143-151

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














