Search the dblp DataBase

Publications of Author

1. Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck
   TVOC: A Translation Validator for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:291-295 [Conf]
   
2. Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck
   IIV: An Invisible Invariant Verifier. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:408-412 [Conf]
   
3. Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck
   Liveness by Invisible Invariants. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:356-371 [Conf]
   
4. Yi Fang, Auroop R. Ganguly, Nagendra Singh, Veeraraghavan Vijayaraj, Neal Feierabend, David T. Potere
   Online change detection: Monitoring land cover from remotely sensed data. [Citation Graph (0, 0)][DBLP]
   ICDM Workshops, 2006, pp:626-631 [Conf]
   
5. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
   Liveness with Incomprehensible Ranking. [Citation Graph (0, 0)][DBLP]
   TACAS, 2004, pp:482-496 [Conf]
   
6. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
   Liveness with Invisible Ranking. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2004, pp:223-238 [Conf]
   
7. Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
   VOC: A Translation Validator for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
   
8. Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu
   Translation and Run-Time Validation of Optimized Code. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
   
9. Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu
   Translation and Run-Time Validation of Loop Transformations. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:27, n:3, pp:335-360 [Journal]
   
10. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
    Liveness with invisible ranking. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:261-279 [Journal]
    
11. Yi Fang, Lenore D. Zuck
    Improved Invariant Generation for Tvoc. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:21-35 [Journal]
    
12. 
    Improving the Quality of Graduate Education by Association Rules Analysis. [Citation Graph (, )][DBLP]
    
    
13. 
    Incremental Anomaly Detection Approach for Characterizing Unusual Profiles. [Citation Graph (, )][DBLP]
    
    
14. 
    Entity information management in complex networks. [Citation Graph (, )][DBLP]
    
    
15. 
    Discriminative models of integrating document evidence and document-candidate associations for expert search. [Citation Graph (, )][DBLP]
    
    
16. 
    Spatial indexing in microsoft SQL server 2008. [Citation Graph (, )][DBLP]
    
    
17. 
    Investigation on Intelligent Packaging and Conductive Ink. [Citation Graph (, )][DBLP]
    
    
18. 
    Dynamic Service Replica on Distributed Data Mining Grid. [Citation Graph (, )][DBLP]
    
    
19. 
    IDSS: deformation invariant signatures for molecular shape comparison. [Citation Graph (, )][DBLP]
    
    
20. 
    Using least median of squares for structural superposition of flexible proteins. [Citation Graph (, )][DBLP]