Xinxin Liu

Xinxin Liu, Han Zhao, Xin Yang, Xiaolin Li: SinkTrail: A Proactive Data Reporting Protocol for Wireless Sensor Networks. IEEE Trans. Computers 62(1): 151-162 (2013)

Kaikai Liu, Xinxin Liu, Xiaolin Li: Acoustic ranging and communication via microphone channel. GLOBECOM 2012: 291-296

Linke Guo, Xinxin Liu, Yuguang Fang, Xiaolin Li: User-centric private matching for eHealth networks - A social perspective. GLOBECOM 2012: 732-737

Di Wang, Xinxin Liu, Xiaolin Li: Blind Spots: Unveiling users' true willingness in online social networks. GLOBECOM 2012: 2066-2071

Xinxin Liu, Han Zhao, Miao Pan, Hao Yue, Xiaolin Li, Yuguang Fang: Traffic-aware multiple mix zone placement for protecting location privacy. INFOCOM 2012: 972-980

Han Zhao, Miao Pan, Xinxin Liu, Xiaolin Li, Yuguang Fang: Optimal Resource Rental Planning for Elastic Applications in Cloud Market. IPDPS 2012: 808-819

Xinxin Liu, Xiaolin Li: Privacy Preserving Techniques for Location Based Services in Mobile Networks. IPDPS Workshops 2012: 2474-2477

Xinxin Liu, Bingtian Xue: Specification in PDL with Recursion. NASA Formal Methods 2012: 181-194

Xinxin Liu, Li Yu, Di Wang, Xiaolin Li: MagicLink: Weaving Multi-site Wireless Sensor Networks for Large-Scale Experiments. TRIDENTCOM 2012: 194-209

Han Zhao, Xinxin Liu, Xiaolin Li: A taxonomy of peer-to-peer desktop grid paradigms. Cluster Computing 14(2): 129-144 (2011)

Xinxin Liu, Han Zhao, Xiaolin Li: EPC: Energy-Aware Probability-Based Clustering Algorithm for Correlated Data Gathering in Wireless Sensor Networks. AINA 2011: 419-426

Guobing Zhou, Tingting Liu, Xinxin Liu: Algorithm and strategy research of generating test paper for large scale online examination. EMEIT 2011: 3285-3288

Xinxin Liu, Shaohua Tang, Kai Wei: Formal security analysis of automated trust negotiation. ICMLC 2010: 861-866

Han Zhao, Xinxin Liu, Xiaolin Li: Hypergraph-based task-bundle scheduling towards efficiency and fairness in heterogeneous distributed systems. IPDPS 2010: 1-12

Xinxin Liu, Han Zhao, Xin Yang, Xiaolin Li, Ning Wang: Trailing mobile sinks: A proactive data reporting protocol for Wireless Sensor Networks. MASS 2010: 214-223

Xiaolin Li, Xinxin Liu, Han Zhao, Huanyu Zhao, Nanyan Jiang, Manish Parashar: ASGrid: autonomic management of hybrid sensor grid systems and applications. IJSNet 6(3/4): 234-250 (2009)

Xinxin Liu, Shaohua Tang: Formal Privacy Analysis of an Electronic Voting Scheme. CIS (2) 2008: 283-287

Xiaolin Li, Xinxin Liu, Huanyu Zhao, Nanyan Jiang, Manish Parashar: Autonomic Management of Hybrid Sensor Grid Systems and Applications. ICCCN 2008: 708-713

Han Zhao, Xinxin Liu, Xiaolin Li: DLBEM: Dynamic load balancing using expectation-maximization. IPDPS 2008: 1-7

Hai Liu, Xiaohua Jia, Peng-Jun Wan, Xinxin Liu, Frances F. Yao: A Distributed and Efficient Flooding Scheme Using 1-Hop Information in Mobile Ad Hoc Networks. IEEE Trans. Parallel Distrib. Syst. 18(5): 658-671 (2007)

Xinxin Liu: Expansive-Bisimulation for Context-Free Processes. Formal Methods and Hybrid Real-Time Systems 2007: 472-482

Xiaolin Li, Xinxin Liu, Hui Kang: Sensing Workload Scheduling in Sensor Networks Using Divisible Load Theory. GLOBECOM 2007: 785-789

Xinxin Liu, Haiyan Chen: Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau. ICTAC 2007: 337-350

Xiaolin Li, Xinxin Liu, Peng Guan, Hui Kang: Utility-Based Divisible Sensing Task Scheduling in Wireless Sensor Networks. ICWN 2007: 342-348

Xinxin Liu, Xiaohua Jia, Hai Liu, Li Feng: A Location Aided Flooding Protocol for Wireless Ad Hoc Networks. MSN 2007: 302-313

Xinxin Liu, Han Zhao, Xiaolin Li: Scheduling Divisible Workloads from Multiple Sources in Linear Daisy Chain Networks. PDPTA 2007: 528-534

Hai Liu, Peng-Jun Wan, Xiaohua Jia, Xinxin Liu, F. Frances Yao: Efficient Flooding Scheme Based on 1-Hop Information in Mobile Ad Hoc Networks. INFOCOM 2006

Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul: Simulation Verification and Validation by Dynamic Policy Enforcement. Annual Simulation Symposium 2005: 91-98

Wei-Tek Tsai, Xinxin Liu, Yinong Chen: Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. ICEBE 2005: 10-17

Yongjian Li, Xinxin Liu: Towards a Theory of Bisimulation for the Higher-Order Process Calculi. J. Comput. Sci. Technol. 19(3): 352-363 (2004)

Xinxin Liu, Yongjian Li: Bisimulation for Higher-Order Pi-calculus. APLAS 2002: 216-229

Xinxin Liu, David Walker: Concurrent objects as mobile processes. Proof, Language, and Interaction 2000: 639-658

Xinxin Liu, David Walker: Partial Confluence of Proceses and Systems of Objects. Theor. Comput. Sci. 206(1-2): 127-162 (1998)

Xinxin Liu, Scott A. Smolka: Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). ICALP 1998: 53-66

Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka: Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS 1998: 5-19

Matthew Hennessy, Xinxin Liu: A Modal Logic for Message Passing Processes. Acta Inf. 32(4): 375-393 (1995)

Xinxin Liu, David Walker: A Polymorphic Type System for the Polyadic pi-calculus. CONCUR 1995: 103-116

Xinxin Liu, David Walker: Confluence of Processes and Systems of Objects. TAPSOFT 1995: 217-231

Xinxin Liu: Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). CONCUR 1994: 331-350

Matthew Hennessy, Xinxin Liu: A Modal Logic for Message passing Processes (Extended Abstract). CAV 1993: 359-370