default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuangquan Zhang 0002
Person information
- affiliation: Soochow University, Suzhou, China
Other persons with the same name
- Guangquan Zhang 0001
![[0000-0003-3960-0583]](https://dblp.org/img/orcid-mark.12x12.png "0000-0003-3960-0583")
— University of Technology Sydney, Faculty of Engineering and Information Technology, Centre for Artificial Intelligence, NSW, Australia (and 2 more) - Guangquan Zhang 0003 — Wuhan University of Science and Technology, Department of Resource and Environmental Engineering, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[j10]Zhenghao Liu, Guangquan Zhang:
基于WSAN的物联网软件分布式知识框架及其实现方法 (Distributed Knowledge Framework of IOT Software Based on WSAN and Its Implementation Strategy). 计算机科学 46(1): 148-154 (2019)- 2017
- [j9]Xiangjun Song, Guangquan Zhang:
基于扩展混成Petri网的CPS无人车系统建模与分析 (Modeling and Analysis of CPS Unmanned Vehicle Systems Based on Extended Hybrid Petri Net). 计算机科学 44(7): 21-24 (2017) - [j8]Zhenhua Song, Guangquan Zhang:
基于AOP的时空Petri网的CPS建模 (Modeling of CPS Based on Aspect-oriented Spatial-Temporal Petri Net). 计算机科学 44(7): 38-41 (2017) - 2016
- [j7]Yi Zhu, Zhiqiu Huang, Guangquan Zhang, Hang Zhou, Fangxiong Xiao:
Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra. Int. J. Softw. Eng. Knowl. Eng. 26(7): 1099-1116 (2016) - [c14]Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He:
Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. ICECCS 2016: 91-100 - 2015
- [j6]Daoxi Chen, Guangquan Zhang, Chengkai Xu, Guobin Chen:
基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition). 计算机科学 42(7): 118-121 (2015) - [j5]Yu-Lei Gu, Xueyang Zhu, Rongjie Yan, Guangquan Zhang:
基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform). 计算机科学 42(11): 43-47 (2015) - [j4]Yesheng Chai, Xueyang Zhu, Rongjie Yan, Guangquan Zhang:
基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction). 计算机科学 42(12): 82-86 (2015) - [c13]Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang:
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. FM 2015: 551-569 - [c12]Yu-Lei Gu, Xueyang Zhu, Guangquan Zhang:
Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods. SETTA 2015: 217-223 - 2014
- [j3]Guangquan Zhang, Mingtai Zhang, Rongjie Yan, Mingcai Chen, Chengkai Xu, Yejing Li:
Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net. J. Comput. 9(2): 499-505 (2014) - [i1]Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang, Yesheng Chai:
Formal Consistency Checking over Specifications in Natural Languages. CoRR abs/1405.5003 (2014) - 2013
- [j2]Guangquan Zhang, Kan Zhang, Xueyang Zhu, Mingcai Chen, Chengkai Xu, Yuzhen Shao:
Modeling and Analyzing Method for CPS Software Architecture Energy Consumption. J. Softw. 8(11): 2974-2981 (2013) - 2011
- [c11]Guangquan Zhang, Huijuan Shi, Mei Rong:
Mismatch Detection of Asynchronous Web Services with Timed Constraints. APSCC 2011: 251-258 - [c10]Guangquan Zhang, Huijuan Shi, Mei Rong, Haojun Di:
Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL. WISM (2) 2011: 428-435 - [c9]Guangquan Zhang, Haojun Di, Mei Rong, Huijuan Shi:
Specification and Verification of Data and Time in Web Service Composition. WISM (2) 2011: 436-443 - 2010
- [j1]Guangquan Zhang, Zhaoliang Zhang, Jianxi Fan:
A Locally-Adjustable Planar Structure for Adaptive Topology Control in Wireless Ad Hoc Networks. IEEE Trans. Parallel Distributed Syst. 21(10): 1387-1397 (2010) - [c8]Guangquan Zhang, Sheng Wang, Mei Rong, Qingchun Li:
A Model-Based Framework for Adapting Interaction Mismatches of Time-Aware Web Services. ICSS 2010: 76-81 - [c7]Guangquan Zhang, Mei Rong, Yali He, Xueyang Zhu, Rongjie Yan:
A Refinement Checking Method of Web Services Composition. SOSE 2010: 103-106
2000 – 2009
- 2009
- [c6]Zhaoliang Zhang, Guangquan Zhang, Xiaofang Zhang, Jianxi Fan:
TAP: An Adjustable Planar Structure for Adaptive Topology Control in Wireless Ad Hoc Networks. ICC 2009: 1-6 - [c5]Jianxi Fan, Shukui Zhang, Xiaohua Jia, Guangquan Zhang:
A Fault-Free Unicast Algorithm in Twisted Cubes with the Restricted Faulty Node Set. ICPADS 2009: 316-323 - [c4]Jianxi Fan, Shukui Zhang, Xiaohua Jia, Guangquan Zhang:
The Restricted Connectivity of Locally Twisted Cubes. ISPAN 2009: 574-578 - 2008
- [c3]Guangquan Zhang, Rong Mei:
An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property. CSSE (2) 2008: 650-653 - 2007
- [c2]Guangquan Zhang, Rong Mei, Jun Zhang:
A Business Process of Web Services Testing Method Based on UML2.0 Activity Diagram. IITA 2007: 59-65 - [c1]Donghuo Chen, Guangquan Zhang, Jinzhao Wu:
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. TASE 2007: 241-250
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
