The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ying Qin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. ShengYu Shen, Ying Qin, Sikun Li
    A fast counterexample minimization approach with refutation analysis and incremental SAT. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:451-454 [Conf]
  2. ShengYu Shen, Ying Qin, Sikun Li
    Localizing Errors in Counterexample with Iteratively Witness Searching. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:456-469 [Conf]
  3. ShengYu Shen, Ying Qin, Sikun Li
    Minimizing Counterexample of ACTL Property. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:393-397 [Conf]
  4. ShengYu Shen, Ying Qin, Sikun Li
    A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:672-677 [Conf]
  5. Suxiang Zhang, Xiaojie Wang, Juan Wen, Ying Qin, Yixin Zhong
    A Probabilistic Feature Based Maximum Entropy Model for Chinese Named Entity Recognition. [Citation Graph (0, 0)][DBLP]
    ICCPOL, 2006, pp:189-196 [Conf]
  6. Xiaolang Yan, Ying Qin, Ye Yang, Haitong Ge
    A high performance architecture of EBCOT encoder in JPEG 2000. [Citation Graph (0, 0)][DBLP]
    ISCAS (1), 2005, pp:492-495 [Conf]
  7. Ying Qin, Suxiang Zhang, Xiaojie Wang
    Combining Multi-knowledge for Chinese Word Segmentation Disambiguation. [Citation Graph (0, 0)][DBLP]
    ISDA (1), 2006, pp:551-556 [Conf]
  8. ShengYu Shen, Ying Qin, Sikun Li
    Minimizing Counterexample with Unit Core Extraction and Incremental SAT. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:298-312 [Conf]

  9. Fitness calculation approach for the switch-case construct in evolutionary testing. [Citation Graph (, )][DBLP]


  10. An ACO-Based User Community Preference Clustering System for Customized Content Service in Broadband New Media Platforms. [Citation Graph (, )][DBLP]


  11. Synthesizing complementary circuits automatically. [Citation Graph (, )][DBLP]


Search in 0.004secs, 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