Xinxin Liu Vis

*	2008
23	EE	Xiaolin Li, Xinxin Liu, Huanyu Zhao, Nanyan Jiang, Manish Parashar: Autonomic Management of Hybrid Sensor Grid Systems and Applications. ICCCN 2008: 708-713
22	EE	Han Zhao, Xinxin Liu, Xiaolin Li: DLBEM: Dynamic load balancing using expectation-maximization. IPDPS 2008: 1-7
	2007
21	EE	Xinxin Liu: Expansive-Bisimulation for Context-Free Processes. Formal Methods and Hybrid Real-Time Systems 2007: 472-482
20	EE	Xiaolin Li, Xinxin Liu, Hui Kang: Sensing Workload Scheduling in Sensor Networks Using Divisible Load Theory. GLOBECOM 2007: 785-789
19	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Wei-Tek Tsai, Xinxin Liu, Yinong Chen: Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. ICEBE 2005: 10-17
	2004
11	EE	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	EE	Xinxin Liu, Scott A. Smolka: Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). ICALP 1998: 53-66
7	EE	Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka: Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS 1998: 5-19
6	EE	Xinxin Liu, David Walker: Partial Confluence of Proceses and Systems of Objects. Theor. Comput. Sci. 206(1-2): 127-162 (1998)
	1995
5	EE	Xinxin Liu, David Walker: A Polymorphic Type System for the Polyadic pi-calculus. CONCUR 1995: 103-116
4	EE	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	EE	Xinxin Liu: Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). CONCUR 1994: 331-350
	1993
1	EE	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	Li Feng	[17]
4	Peng Guan	[18]
5	Matthew Hennessy	[1] [3]
6	Xiaohua Jia	[14] [15] [17]
7	Nanyan Jiang	[23]
8	Hui Kang	[18] [20]
9	Xiaolin Li	[16] [18] [20] [22] [23]
10	Yongjian Li	[10] [11]
11	Hai Liu	[14] [15] [17]
12	Manish Parashar	[23]
13	Raymond A. Paul	[13]
14	C. R. Ramakrishnan	[7]
15	Scott A. Smolka	[7] [8]
16	Wei-Tek Tsai	[12] [13]
17	David Walker	[4] [5] [6] [9]
18	Peng-Jun Wan	[14] [15]
19	F. Frances Yao (Frances F. Yao, Foong Frances Yao)	[14] [15]
20	Han Zhao	[16] [22]
21	Huanyu Zhao	[23]

Colors in the list of coauthors