Yifei Dong

	2008
16		Tuan D. Le, Yifei Dong, Ren Liu, Sanjay Jha, Zvi Rosberg: Implementation aspects of reliable transport protocols in wireless sensor networks. COMSWARE 2008: 574-580
	2007
15		Yifei Dong, Chen Ling, Lesheng Hua: Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces. HCI (3) 2007: 605-614
14		Nadeem Ahmed, Yifei Dong, Tatiana Bokareva, Salil S. Kanhere, Sanjay Jha, Travis Bessell, Mark Rutten, Branko Ristic, Neil Gordon: Detection and tracking using wireless sensor networks. SenSys 2007: 425-426
	2005
13		Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka: A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL 2005: 113-127
12		Hong-bin Shen, Jie Yang, Ningjiang Chen, Yifei Dong, Shitong Wang: Performing clustering analysis on collaborative models. Intell. Data Anal. 9(5): 419-438 (2005)
	2004
11		Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. FLOPS 2004: 24-38
	2003
10		Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka: Evidence Explorer: A Tool for Exploring Model-Checking Proofs. CAV 2003: 215-218
9		Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka: Model Checking and Evidence Exploration. ECBS 2003: 214-223
8		Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. ICLP 2003: 500-501
7		Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka: Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. STTT 4(4): 505-528 (2003)
	2002
6		Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka: Vacuity Checking in the Modal Mu-Calculus. AMAST 2002: 147-162
	2000
5		C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan: XMC: A Logic-Programming-Based Verification Toolset. CAV 2000: 576-580
	1999
4		Yifei Dong, C. R. Ramakrishnan: An Optimizing Compiler for Efficient Model Checking. FORTE 1999: 241-256
3		Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White: Practical Considerations in Protocol Verification: The E-2C Case Study. ICECCS 1999: 153-
2		Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren: Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS 1999: 74-88
	1998
1		Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren: Logic Programming and Model Checking. PLILP/ALP 1998: 1-20

Coauthor Index

1	Nadeem Ahmed	[14]
2	Travis Bessell	[14]
3	Tatiana Bokareva	[14]
4	Ningjiang Chen	[12]
5	Baoqiu Cui	[1]
6	Xiaoqun Du	[1] [2] [5] [7]
7	Neil Gordon	[14]
8	Hai-Feng Guo	[8] [11]
9	Gerard J. Holzmann	[7]
10	Lesheng Hua	[15]
11	Sanjay Jha	[14] [16]
12	Salil S. Kanhere	[14]
13	K. Narayan Kumar	[1]
14	Tuan D. Le	[16]
15	Chen Ling	[15]
16	Ren Liu	[16]
17	Giridhar Pemmasani	[8] [11]
18	Y. S. Ramakrishna	[2]
19	C. R. Ramakrishnan	[1] [2] [4] [5] [6] [8] [9] [10] [11] [13]
20	I. V. Ramakrishnan	[1] [2] [5] [8] [11]
21	Branko Ristic	[14]
22	Zvi Rosberg	[16]
23	Abhik Roychoudhury	[1] [5]
24	Mark Rutten	[14]
25	Beata Sarna-Starosta	[6]
26	Hong-bin Shen	[12]
27	Scott A. Smolka	[1] [2] [3] [5] [6] [7] [9] [10] [13]
28	Oleg Sokolsky	[2]
29	Eugene W. Stark	[2] [3]
30	V. N. Venkatakrishnan	[5]
31	Shitong Wang	[12]
32	David Scott Warren	[1] [2]
33	Stephanie M. White	[3]
34	Jie Yang	[12]
35	Ping Yang	[13]

Colors in the list of coauthors