Author: "Dong, Yifei" / Journal: lecture notes in computer science - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Dong, Yifei"' showing total 9 results

Start Over Author "Dong, Yifei" Journal lecture notes in computer science

9 results on '"Dong, Yifei"'

1. Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces

Author: Dong, Yifei, primary, Ling, Chen, additional, and Hua, Lesheng, additional
Published: 2007
Full Text: View/download PDF

2. A Provably Correct Compiler for Efficient Model Checking of Mobile Processes

Author: Yang, Ping, primary, Dong, Yifei, additional, Ramakrishnan, C. R., additional, and Smolka, Scott A., additional
Published: 2005
Full Text: View/download PDF

3. Online Justification for Tabled Logic Programs

Author: Pemmasani, Giridhar, primary, Guo, Hai-Feng, additional, Dong, Yifei, additional, Ramakrishnan, C. R., additional, and Ramakrishnan, I. V., additional
Published: 2004
Full Text: View/download PDF

4. Online Justification for Tabled Logic Programs

Author: Pemmasani, Giridhar, primary, Guo, Hai-Feng, additional, Dong, Yifei, additional, Ramakrishnan, C. R., additional, and Ramakrishnan, I. V., additional
Published: 2003
Full Text: View/download PDF

5. Evidence Explorer: A Tool for Exploring Model-Checking Proofs

Author: Dong, Yifei, primary, Ramakrishnan, C. R., additional, and Smolka, Scott A., additional
Published: 2003
Full Text: View/download PDF

6. Vacuity Checking in the Modal Mu-Calculus*

Author: Dong, Yifei, primary, Sarna-Starosta, Beata, additional, Ramakrishnan, C. R., additional, and Smolka, Scott A., additional
Published: 2002
Full Text: View/download PDF

7. XMC: A Logic-Programming-Based Verification Toolset

Author: Ramakrishnan, C. R., primary, Ramakrishnan, I. V., additional, Smolka, Scott A., additional, Dong, Yifei, additional, Du, Xiaoqun, additional, Roychoudhury, Abhik, additional, and Venkatakrishnan, V. N., additional
Published: 2000
Full Text: View/download PDF

8. Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools

Author: Dong, Yifei, primary, Du, Xiaoqun, additional, Ramakrishna, Y. S., additional, Ramakrishnan, C. R., additional, Ramakrishnan, I. V., additional, Smolka, Scott A., additional, Sokolsky, Oleg, additional, Stark, Eugene W., additional, and Warren, David S., additional
Published: 1999
Full Text: View/download PDF

9. Logic programming and model checking

Author: Cui, Baoqiu, primary, Dong, Yifei, additional, Du, Xiaoqun, additional, Kumar, K. Narayan, additional, Ramakrishnan, C. R., additional, Ramakrishnan, I. V., additional, Roychoudhury, Abhik, additional, Smolka, Scott A., additional, and Warren, David S., additional
Published: 1998
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results