The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yi Fang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


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