| Publication | Date of Publication | Type |
|---|
| A novel approach to verifying context free properties of programs | 2023-10-16 | Paper |
| A two-layers heuristic search algorithm for milk run with a new PDPTW model | 2023-03-21 | Paper |
| Data sensing with limited mobile sensors in sweep coverage | 2023-03-21 | Paper |
| Two-stage pricing strategy with price discount in online social networks | 2023-03-21 | Paper |
| TLHSA and SACA: two heuristic algorithms for two variant VRP models | 2022-10-18 | Paper |
| Friending | 2022-06-10 | Paper |
| Two-stage pricing strategy with price discount in online social networks | 2021-08-11 | Paper |
| On strict submodularity of social influence | 2021-05-11 | Paper |
| An approximation algorithm for general energy restricted sweep coverage problem | 2021-04-08 | Paper |
| Optimizing flight trajectory of UAV for efficient data collection in wireless sensor networks | 2021-01-25 | Paper |
| Connected positive influence dominating set in \(k\)-regular graph | 2020-10-14 | Paper |
| Target users' activation probability maximization with different seed set constraints in social networks | 2020-09-01 | Paper |
| Group sweep coverage with guaranteed approximation ratio | 2020-08-25 | Paper |
| Verify heaps via unified model checking | 2020-04-08 | Paper |
| A decision procedure and complete axiomatization for projection temporal logic | 2020-04-08 | Paper |
| Activation probability maximization for target users under influence decay model | 2020-02-24 | Paper |
| A novel approach to verifying context free properties of programs | 2020-01-29 | Paper |
| Index set expressions can represent temporal logic formulas | 2019-08-09 | Paper |
| Verifying a scheduling protocol of safety-critical systems | 2019-06-25 | Paper |
| A temporal logic programming approach to planning | 2019-06-25 | Paper |
| An efficient case for computing minimum linear arboricity with small maximum degree | 2019-05-10 | Paper |
| Optimal channel assignment and \(L(p,1)\)-labeling | 2018-12-07 | Paper |
| Minimum choosability of planar graphs | 2018-07-26 | Paper |
| Blocking rumor by cut | 2018-07-20 | Paper |
| Modeling and verifying multi-core programs | 2018-03-26 | Paper |
| Cloning automata: simulation and analysis of computer bacteria | 2018-02-26 | Paper |
| On general threshold and general cascade models of social influence | 2018-02-21 | Paper |
| Optimal RSUs deployment with delay bound along highways in VANET | 2017-08-03 | Paper |
| Optimal RSUs placement with delay bounded message dissemination in vehicular networks | 2017-08-03 | Paper |
| Approximation algorithm for partial positive influence problem in social network | 2017-02-22 | Paper |
| Solving Dynamic Vehicle Routing Problem with Soft Time Window by iLNS and hPSO | 2017-02-01 | Paper |
| Approximation schemes for Euclidean vehicle routing problems with time windows | 2016-11-29 | Paper |
| A Sensor Deployment Strategy in Bus-Based Hybrid Ad-Hoc Networks | 2016-02-05 | Paper |
| WDCS: A Weight-Based Distributed Coordinate System | 2016-02-05 | Paper |
| A Hybrid Large Neighborhood Search for Dynamic Vehicle Routing Problem with Time Deadline | 2016-02-05 | Paper |
| Set covering in fuel-considered vehicle routing problems | 2015-12-11 | Paper |
| A Quasi-polynomial Time Approximation Scheme for Euclidean CVRPTW | 2015-09-11 | Paper |
| Interference-Free k-barrier Coverage in Wireless Sensor Networks | 2015-09-11 | Paper |
| A Bicriteria Approximation Algorithm for DVRP with Time Windows | 2015-09-11 | Paper |
| PTAS for routing-cost constrained minimum connected dominating set in growth bounded graphs | 2015-07-01 | Paper |
| Handling least privilege problem and role mining in RBAC | 2015-07-01 | Paper |
| An improved distributed data aggregation scheduling in wireless sensor networks | 2014-04-08 | Paper |
| Approximation algorithms for minimum latency data aggregation in wireless sensor networks with directional antenna | 2014-01-10 | Paper |
| Constant-approximation for optimal data aggregation with physical interference | 2013-08-07 | Paper |
| Maximum lifetime connected coverage with two active-phase sensors | 2013-08-02 | Paper |
| CONFLICT-AWARE DATA AGGREGATION SCHEDULING IN WIRELESS SENSOR NETWORKS WITH ADJUSTABLE TRANSMISSION RANGE | 2012-10-15 | Paper |
| Polynomial-time approximation scheme for minimum connected dominating set under routing cost constraint in wireless sensor networks | 2012-08-13 | Paper |
| Minimum Latency Data Aggregation in Wireless Sensor Network with Directional Antenna | 2011-08-12 | Paper |
| Greedy Algorithm for Least Privilege in RBAC Model | 2011-08-12 | Paper |
| New approximations for minimum-weighted dominating sets and minimum-weighted connected dominating sets on unit disk graphs | 2011-01-28 | Paper |
| On positive influence dominating sets in social networks | 2011-01-28 | Paper |
| PTAS for Minimum Connected Dominating Set with Routing Cost Constraint in Wireless Sensor Networks | 2011-01-08 | Paper |
| Approximations for node-weighted Steiner tree in unit disk graphs | 2010-10-04 | Paper |
| A PTAS for Node-Weighted Steiner Tree in Unit Disk Graphs | 2009-07-07 | Paper |
| Construction of strongly connected dominating sets in asymmetric multihop wireless networks | 2009-03-17 | Paper |
| Joint Topology Control and Power Conservation for Wireless Sensor Networks Using Transmit Power Adjustment | 2008-07-10 | Paper |
| Non-unique probe selection and group testing | 2007-09-03 | Paper |
| Improving construction for connected dominating set with Steiner tree in wireless sensor networks | 2006-09-26 | Paper |
| On a minimum linear classification problem | 2006-09-26 | Paper |
| Minimum connected dominating sets and maximal independent sets in unit disk graphs | 2006-03-24 | Paper |
| A note on optical network with nonsplitting nodes | 2006-02-08 | Paper |
| A greedy approximation for minimum connected dominating sets | 2005-02-09 | Paper |
| Coloring of double disk graphs | 2004-03-15 | Paper |
