Search the dblp DataBase

Publications of Author

1. Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka
   Vacuity Checking in the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
   AMAST, 2002, pp:147-162 [Conf]
   
2. Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
   Evidence Explorer: A Tool for Exploring Model-Checking Proofs. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:215-218 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   CAV, 2000, pp:576-580 [Conf]
   
4. Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
   Model Checking and Evidence Exploration. [Citation Graph (0, 0)][DBLP]
   ECBS, 2003, pp:214-223 [Conf]
   
5. Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
   Online Justification for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:24-38 [Conf]
   
6. Yifei Dong, C. R. Ramakrishnan
   An Optimizing Compiler for Efficient Model Checking. [Citation Graph (0, 0)][DBLP]
   FORTE, 1999, pp:241-256 [Conf]
   
7. Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White
   Practical Considerations in Protocol Verification: The E-2C Case Study. [Citation Graph (0, 0)][DBLP]
   ICECCS, 1999, pp:153-0 [Conf]
   
8. Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
   Online Justification for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
   ICLP, 2003, pp:500-501 [Conf]
   
9. Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
   A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. [Citation Graph (0, 0)][DBLP]
   PADL, 2005, pp:113-127 [Conf]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:1-20 [Conf]
    
11. 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. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:74-88 [Conf]
    
12. Hong-bin Shen, Jie Yang, Ningjiang Chen, Yifei Dong, Shitong Wang
    Performing clustering analysis on collaborative models. [Citation Graph (0, 0)][DBLP]
    Intell. Data Anal., 2005, v:9, n:5, pp:419-438 [Journal]
    
13. 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. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:4, pp:505-528 [Journal]
    
14. Yifei Dong, Chen Ling, Lesheng Hua
    Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces. [Citation Graph (0, 0)][DBLP]
    HCI (3), 2007, pp:605-614 [Conf]
    
15. 
    Implementation aspects of reliable transport protocols in wireless sensor networks. [Citation Graph (, )][DBLP]
    
    
16. 
    Detection and tracking using wireless sensor networks. [Citation Graph (, )][DBLP]