default search action

combined dblp search
author search
venue search
publication search

ask others

Shengchao Qin

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Hongli Yang

> Home > Persons > Shengchao Qin

Publications

2017
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/JiangYQSZY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/JiangYQSZY17
Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan:
Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM 2017: 192-208
2016
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/FengYWWQ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/FengYWWQ16
Yachao Feng, Hongli Yang, Fei Wang, Wenjia Wu, Shengchao Qin:
基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL). 计算机科学 43(9): 124-130 (2016)
2015
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/LiuYZLCQ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/LiuYZLCQ15
Ke Liu, Hongli Yang, Ruifang Zhao, Husheng Liao, Yao Chen, Shengchao Qin:
XML Schema特征提取算法 (XML Schema Features Extraction Algorithm). 计算机科学 42(Z11): 438-443 (2015)
2014
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/QinHLCY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/QinHLCY14
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang:
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82: 56-76 (2014)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/MaWYYZQ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/MaWYYZQ14
Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin:
Choreography Scenario-Based Test Data Generation. TASE 2014: 70-73
2013
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/YangCPZQQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/YangCPZQQ13
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin:
Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. 7(5): 710-728 (2013)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/QinHCY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/QinHCY13
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang:
Invariants Synthesis over a Combined Domain for Automated Program Verification. Theories of Programming and Formal Methods 2013: 304-325

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.