Yifei Dong

2008
16	EE	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	EE	Yifei Dong, Chen Ling, Lesheng Hua: Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces. HCI (3) 2007: 605-614
14	EE	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	EE	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	EE	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	EE	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	EE	Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka: Evidence Explorer: A Tool for Exploring Model-Checking Proofs. CAV 2003: 215-218
9	EE	Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka: Model Checking and Evidence Exploration. ECBS 2003: 214-223
8	EE	Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. ICLP 2003: 500-501
7	EE	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	EE	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	EE	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	EE	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	EE	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