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

Yifei Dong

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

2008
16EETuan 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
15EEYifei Dong, Chen Ling, Lesheng Hua: Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces. HCI (3) 2007: 605-614
14EENadeem 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
13EEPing Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka: A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL 2005: 113-127
12EEHong-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
11EEGiridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. FLOPS 2004: 24-38
2003
10EEYifei Dong, C. R. Ramakrishnan, Scott A. Smolka: Evidence Explorer: A Tool for Exploring Model-Checking Proofs. CAV 2003: 215-218
9EEYifei Dong, C. R. Ramakrishnan, Scott A. Smolka: Model Checking and Evidence Exploration. ECBS 2003: 214-223
8EEGiridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. ICLP 2003: 500-501
7EEYifei 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
6EEYifei 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
3EEYifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White: Practical Considerations in Protocol Verification: The E-2C Case Study. ICECCS 1999: 153-
2EEYifei 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
1EEBaoqiu 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

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

Colors in the list of coauthors

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