Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Xinxin Liu
2010 – today
- 2013
[j7]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)- 2012
- [c33]Kaikai Liu, Xinxin Liu, Xiaolin Li: Acoustic ranging and communication via microphone channel. GLOBECOM 2012: 291-296
- [c32]Linke Guo, Xinxin Liu, Yuguang Fang, Xiaolin Li: User-centric private matching for eHealth networks - A social perspective. GLOBECOM 2012: 732-737
- [c31]Di Wang, Xinxin Liu, Xiaolin Li: Blind Spots: Unveiling users' true willingness in online social networks. GLOBECOM 2012: 2066-2071
- [c30]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
- [c29]Han Zhao, Miao Pan, Xinxin Liu, Xiaolin Li, Yuguang Fang: Optimal Resource Rental Planning for Elastic Applications in Cloud Market. IPDPS 2012: 808-819
- [c28]Xinxin Liu, Xiaolin Li: Privacy Preserving Techniques for Location Based Services in Mobile Networks. IPDPS Workshops 2012: 2474-2477
- [c27]
- [c26]Xinxin Liu, Li Yu, Di Wang, Xiaolin Li: MagicLink: Weaving Multi-site Wireless Sensor Networks for Large-Scale Experiments. TRIDENTCOM 2012: 194-209
- 2011
- [j6]Han Zhao, Xinxin Liu, Xiaolin Li: A taxonomy of peer-to-peer desktop grid paradigms. Cluster Computing 14(2): 129-144 (2011)
- [c25]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
- [c24]Guobing Zhou, Tingting Liu, Xinxin Liu: Algorithm and strategy research of generating test paper for large scale online examination. EMEIT 2011: 3285-3288
- 2010
- [c23]Xinxin Liu, Shaohua Tang, Kai Wei: Formal security analysis of automated trust negotiation. ICMLC 2010: 861-866
- [c22]Han Zhao, Xinxin Liu, Xiaolin Li: Hypergraph-based task-bundle scheduling towards efficiency and fairness in heterogeneous distributed systems. IPDPS 2010: 1-12
- [c21]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
2000 – 2009
- 2009
- [j5]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)
- 2008
- [c20]Xinxin Liu, Shaohua Tang: Formal Privacy Analysis of an Electronic Voting Scheme. CIS (2) 2008: 283-287
- [c19]Xiaolin Li, Xinxin Liu, Huanyu Zhao, Nanyan Jiang, Manish Parashar: Autonomic Management of Hybrid Sensor Grid Systems and Applications. ICCCN 2008: 708-713
- [c18]Han Zhao, Xinxin Liu, Xiaolin Li: DLBEM: Dynamic load balancing using expectation-maximization. IPDPS 2008: 1-7
- 2007
- [j4]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)
- [c17]Xinxin Liu: Expansive-Bisimulation for Context-Free Processes. Formal Methods and Hybrid Real-Time Systems 2007: 472-482
- [c16]Xiaolin Li, Xinxin Liu, Hui Kang: Sensing Workload Scheduling in Sensor Networks Using Divisible Load Theory. GLOBECOM 2007: 785-789
- [c15]Xinxin Liu, Haiyan Chen: Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau. ICTAC 2007: 337-350
- [c14]Xiaolin Li, Xinxin Liu, Peng Guan, Hui Kang: Utility-Based Divisible Sensing Task Scheduling in Wireless Sensor Networks. ICWN 2007: 342-348
- [c13]Xinxin Liu, Xiaohua Jia, Hai Liu, Li Feng: A Location Aided Flooding Protocol for Wireless Ad Hoc Networks. MSN 2007: 302-313
- [c12]Xinxin Liu, Han Zhao, Xiaolin Li: Scheduling Divisible Workloads from Multiple Sources in Linear Daisy Chain Networks. PDPTA 2007: 528-534
- 2006
- [c11]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
- 2005
- [c10]Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul: Simulation Verification and Validation by Dynamic Policy Enforcement. Annual Simulation Symposium 2005: 91-98
- [c9]Wei-Tek Tsai, Xinxin Liu, Yinong Chen: Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. ICEBE 2005: 10-17
- 2004
- [j3]Yongjian Li, Xinxin Liu: Towards a Theory of Bisimulation for the Higher-Order Process Calculi. J. Comput. Sci. Technol. 19(3): 352-363 (2004)
- 2002
- [c8]
- 2000
- [c7]Xinxin Liu, David Walker: Concurrent objects as mobile processes. Proof, Language, and Interaction 2000: 639-658
1990 – 1999
- 1998
- [j2]Xinxin Liu, David Walker: Partial Confluence of Proceses and Systems of Objects. Theor. Comput. Sci. 206(1-2): 127-162 (1998)
- [c6]Xinxin Liu, Scott A. Smolka: Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). ICALP 1998: 53-66
- [c5]Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka: Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS 1998: 5-19
- 1995
- [j1]Matthew Hennessy, Xinxin Liu: A Modal Logic for Message Passing Processes. Acta Inf. 32(4): 375-393 (1995)
- [c4]Xinxin Liu, David Walker: A Polymorphic Type System for the Polyadic pi-calculus. CONCUR 1995: 103-116
- [c3]
- 1994
- [c2]Xinxin Liu: Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). CONCUR 1994: 331-350
- 1993
- [c1]Matthew Hennessy, Xinxin Liu: A Modal Logic for Message passing Processes (Extended Abstract). CAV 1993: 359-370
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-02 23:17 CEST by the dblp team