Xinxin Liu

	2012
33		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
32		Xinxin Liu, Bingtian Xue: Specification in PDL with Recursion. NASA Formal Methods 2012: 181-194
	2011
31		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
30		Guobing Zhou, Tingting Liu, Xinxin Liu: Algorithm and strategy research of generating test paper for large scale online examination. EMEIT 2011: 3285-3288
29		Han Zhao, Xinxin Liu, Xiaolin Li: A taxonomy of peer-to-peer desktop grid paradigms. Cluster Computing 14(2): 129-144 (2011)
	2010
28		Xinxin Liu, Shaohua Tang, Kai Wei: Formal security analysis of automated trust negotiation. ICMLC 2010: 861-866
27		Han Zhao, Xinxin Liu, Xiaolin Li: Hypergraph-based task-bundle scheduling towards efficiency and fairness in heterogeneous distributed systems. IPDPS 2010: 1-12
26		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
	2009
25		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
24		Xinxin Liu, Shaohua Tang: Formal Privacy Analysis of an Electronic Voting Scheme. CIS (2) 2008: 283-287
23		Xiaolin Li, Xinxin Liu, Huanyu Zhao, Nanyan Jiang, Manish Parashar: Autonomic Management of Hybrid Sensor Grid Systems and Applications. ICCCN 2008: 708-713
22		Han Zhao, Xinxin Liu, Xiaolin Li: DLBEM: Dynamic load balancing using expectation-maximization. IPDPS 2008: 1-7
	2007
21		Xinxin Liu: Expansive-Bisimulation for Context-Free Processes. Formal Methods and Hybrid Real-Time Systems 2007: 472-482
20		Xiaolin Li, Xinxin Liu, Hui Kang: Sensing Workload Scheduling in Sensor Networks Using Divisible Load Theory. GLOBECOM 2007: 785-789
19		Xinxin Liu, Haiyan Chen: Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau. ICTAC 2007: 337-350
18		Xiaolin Li, Xinxin Liu, Peng Guan, Hui Kang: Utility-Based Divisible Sensing Task Scheduling in Wireless Sensor Networks. ICWN 2007: 342-348
17		Xinxin Liu, Xiaohua Jia, Hai Liu, Li Feng: A Location Aided Flooding Protocol for Wireless Ad Hoc Networks. MSN 2007: 302-313
16		Xinxin Liu, Han Zhao, Xiaolin Li: Scheduling Divisible Workloads from Multiple Sources in Linear Daisy Chain Networks. PDPTA 2007: 528-534
15		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)
	2006
14		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
13		Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul: Simulation Verification and Validation by Dynamic Policy Enforcement. Annual Simulation Symposium 2005: 91-98
12		Wei-Tek Tsai, Xinxin Liu, Yinong Chen: Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. ICEBE 2005: 10-17
	2004
11		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
10		Xinxin Liu, Yongjian Li: Bisimulation for Higher-Order Pi-calculus. APLAS 2002: 216-229
	2000
9		Xinxin Liu, David Walker: Concurrent objects as mobile processes. Proof, Language, and Interaction 2000: 639-658
	1998
8		Xinxin Liu, Scott A. Smolka: Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). ICALP 1998: 53-66
7		Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka: Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS 1998: 5-19
6		Xinxin Liu, David Walker: Partial Confluence of Proceses and Systems of Objects. Theor. Comput. Sci. 206(1-2): 127-162 (1998)
	1995
5		Xinxin Liu, David Walker: A Polymorphic Type System for the Polyadic pi-calculus. CONCUR 1995: 103-116
4		Xinxin Liu, David Walker: Confluence of Processes and Systems of Objects. TAPSOFT 1995: 217-231
3		Matthew Hennessy, Xinxin Liu: A Modal Logic for Message Passing Processes. Acta Inf. 32(4): 375-393 (1995)
	1994
2		Xinxin Liu: Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). CONCUR 1994: 331-350
	1993
1		Matthew Hennessy, Xinxin Liu: A Modal Logic for Message passing Processes (Extended Abstract). CAV 1993: 359-370

Coauthor Index

1	Haiyan Chen	[19]
2	Yinong Chen	[12] [13]
3	Yuguang Fang	[33]
4	Li Feng	[17]
5	Peng Guan	[18]
6	Matthew Hennessy	[1] [3]
7	Xiaohua Jia	[14] [15] [17]
8	Nanyan Jiang	[23] [25]
9	Hui Kang	[18] [20]
10	Yongjian Li	[10] [11]
11	Xiaolin Li (Xiaolin Andy Li)	[16] [18] [20] [22] [23] [25] [26] [27] [29] [31] [33]
12	Hai Liu	[14] [15] [17]
13	Tingting Liu	[30]
14	Miao Pan	[33]
15	Manish Parashar	[23] [25]
16	Raymond A. Paul	[13]
17	C. R. Ramakrishnan	[7]
18	Scott A. Smolka	[7] [8]
19	Shaohua Tang	[24] [28]
20	Wei-Tek Tsai	[12] [13]
21	David Walker	[4] [5] [6] [9]
22	Peng-Jun Wan	[14] [15]
23	Ning Wang	[26]
24	Kai Wei	[28]
25	Bingtian Xue	[32]
26	Xin Yang	[26]
27	F. Frances Yao (Frances F. Yao, Foong Frances Yao)	[14] [15]
28	Hao Yue	[33]
29	Han Zhao	[16] [22] [25] [26] [27] [29] [31] [33]
30	Huanyu Zhao	[23] [25]
31	Guobing Zhou	[30]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page