dblp.uni-trier.dewww.uni-trier.de

Xinxin Liu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
22EEHan Zhao, Xinxin Liu, Xiaolin Li: DLBEM: Dynamic load balancing using expectation-maximization. IPDPS 2008: 1-7
2007
21EEXinxin Liu: Expansive-Bisimulation for Context-Free Processes. Formal Methods and Hybrid Real-Time Systems 2007: 472-482
20EEXiaolin Li, Xinxin Liu, Hui Kang: Sensing Workload Scheduling in Sensor Networks Using Divisible Load Theory. GLOBECOM 2007: 785-789
19EEXinxin 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
17EEXinxin 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
15EEHai 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
14EEHai 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
13EEWei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul: Simulation Verification and Validation by Dynamic Policy Enforcement. Annual Simulation Symposium 2005: 91-98
12EEWei-Tek Tsai, Xinxin Liu, Yinong Chen: Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. ICEBE 2005: 10-17
2004
11EEYongjian 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
8EEXinxin Liu, Scott A. Smolka: Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). ICALP 1998: 53-66
7EEXinxin Liu, C. R. Ramakrishnan, Scott A. Smolka: Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS 1998: 5-19
6EEXinxin 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

1Haiyan Chen [19]
2Yinong Chen [12] [13]
3Li Feng [17]
4Peng Guan [18]
5Matthew Hennessy [1] [3]
6Xiaohua Jia [14] [15] [17]
7Hui Kang [18] [20]
8Xiaolin Li [16] [18] [20] [22]
9Yongjian Li [10] [11]
10Hai Liu [14] [15] [17]
11Raymond A. Paul [13]
12C. R. Ramakrishnan [7]
13Scott A. Smolka [7] [8]
14Wei-Tek Tsai [12] [13]
15David Walker [4] [5] [6] [9]
16Peng-Jun Wan [14] [15]
17F. Frances Yao (Frances F. Yao, Foong Frances Yao) [14] [15]
18Han Zhao [16] [22]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)