The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yifei Dong: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002