Liang Xu

2008
17	EE	Liang Xu: SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper). QSIC 2008: 120-125
2007
16	EE	Liang Xu, Zhifeng Bao, Tok Wang Ling: A Dynamic Labeling Scheme Using Vectors. DEXA 2007: 130-140
15	EE	Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang: Evaluation of SAT-based Bounded Model Checking of ACTL Properties. TASE 2007: 339-348
14	EE	Minghui Shi, Liang Xu, Xuemin Shen, Jon W. Mark, Aladdin Saleh: Air interface switching and performance analysis for fast vertical handoff in cellular network and WLAN interworking. Wireless Communications and Mobile Computing 7(5): 581-594 (2007)
2006
13	EE	Tong Zhang, Jue Wang, Liang Xu, Ping Liu: Using Wearable Sensor and NMF Algorithm to Realize Ambulatory Fall Detection. ICNC (2) 2006: 488-491
12	EE	Sven Sahle, Ralph Gauges, Jürgen Pahle, Natalia Simus, Ursula Kummer, Stefan Hoops, Christine Lee, Mudita Singhal, Liang Xu, Pedro Mendes: Simulation of biochemical networks using COPASI: a complex pathway simulator. Winter Simulation Conference 2006: 1698-1706
11	EE	Stefan Hoops, Sven Sahle, Ralph Gauges, Christine Lee, Jürgen Pahle, Natalia Simus, Mudita Singhal, Liang Xu, Pedro Mendes, Ursula Kummer: COPASI - a COmplex PAthway SImulator. Bioinformatics 22(24): 3067-3074 (2006)
10	EE	Liang Xu, Sik-Yum Lee, Wai-Yin Poon: Deletion measures for generalized linear mixed effects models. Computational Statistics & Data Analysis 51(2): 1131-1146 (2006)
2005
9	EE	Liang Xu, Xuemin Shen, Jon W. Mark: Fair Resource Allocation with Guaranteed Statistical QoS for Multimedia Traffic in Wideband CDMA Cellular Network. IEEE Trans. Mob. Comput. 4(2): 166-177 (2005)
2004
8	EE	Sik-Yum Lee, Liang Xu: Influence analyses of nonlinear mixed-effects models. Computational Statistics & Data Analysis 45(2): 321-341 (2004)
7	EE	Liang Xu, Xuemin Shen, Jon W. Mark: Dynamic fair scheduling with QoS constraints in multimedia wideband CDMA cellular networks. IEEE Transactions on Wireless Communications 3(1): 60-73 (2004)
2002
6	EE	Shengru Tu, Liang Xu, Mahdi Abdelguerfi, Jay J. Ratcliff: Achieving interoperability for integration of heterogeneous COTS geographic information systems. ACM-GIS 2002: 162-167
5	EE	Shengru Tu, Liang Xu, Ying Wu: A Framework Approach to Accommodation of Multimedia Communications for Training Systems. ISMSE 2002: 232-239
4	EE	Marcos André Gonçalves, Paul Mather, Jun Wang, Ye Zhou, Ming Luo, Ryan Richardson, Rao Shen, Liang Xu, Edward A. Fox: Java MARIAN: From an OPAC to a Modern Digital Library System. SPIRE 2002: 194-209
2001
3	EE	Gary S. H. Tan, Liang Xu, Farshad Moradi, Simon J. E. Taylor: An agent-based DDM for high level architecture. Workshop on Parallel and Distributed Simulation 2001: 75-82
2000
2	EE	Chaitanya Pullela, Liang Xu, Dipanjan Chakraborty, Anupam Joshi: A Component Based Architecture for Mobile Information Access. ICPP Workshops 2000: 65-72
1	EE	Gary S. H. Tan, Liang Xu, Farshad Moradi, Yusong Zhang: An Agent-Based DDM Filtering Mechanism. MASCOTS 2000: 374-

Coauthor Index

1	Mahdi Abdelguerfi	[6]
2	Zhifeng Bao	[16]
3	Dipanjan Chakraborty	[2]
4	Wei Chen	[15]
5	Edward A. Fox	[4]
6	Ralph Gauges	[11] [12]
7	Marcos André Gonçalves	[4]
8	Stefan Hoops	[11] [12]
9	Anupam Joshi	[2]
10	Ursula Kummer	[11] [12]
11	Christine Lee	[11] [12]
12	Sik-Yum Lee	[8] [10]
13	Tok Wang Ling	[16]
14	Ping Liu	[13]
15	Ming Luo	[4]
16	Jon W. Mark	[7] [9] [14]
17	Paul Mather	[4]
18	Pedro Mendes	[11] [12]
19	Farshad Moradi	[1] [3]
20	Jürgen Pahle	[11] [12]
21	Wai-Yin Poon	[10]
22	Chaitanya Pullela	[2]
23	Jay J. Ratcliff	[6]
24	Ryan Richardson	[4]
25	Sven Sahle	[11] [12]
26	Aladdin Saleh	[14]
27	Rao Shen	[4]
28	Xuemin Shen (Sherman X. Shen)	[7] [9] [14]
29	Minghui Shi	[14]
30	Natalia Simus	[11] [12]
31	Mudita Singhal	[11] [12]
32	Gary S. H. Tan	[1] [3]
33	Simon J. E. Taylor	[3]
34	Shengru Tu	[5] [6]
35	Jue Wang	[13]
36	Jun Wang	[4]
37	Ying Wu	[5]
38	Yanyan Xu	[15]
39	Tong Zhang	[13]
40	Wenhui Zhang	[15]
41	Yusong Zhang	[1]
42	Ye Zhou	[4]

Colors in the list of coauthors