default search action

combined dblp search
author search
venue search
publication search

ask others

Guangquan Zhang 0002

> Home > Persons

Person information

affiliation: Soochow University, Suzhou, China

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/LiuZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/LiuZ19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/SongZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/SongZ18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/SongZ18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/SongZ18a
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/ZhuHZZX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/ZhuHZZX16
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)
2015
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/Chen0XC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/Chen0XC15
Daoxi Chen, Guangquan Zhang, Chengkai Xu, Guobin Chen:
基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition). 计算机科学 42(7): 118-121 (2015)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/GuZY015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/GuZY015
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/ChaiZY015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/ChaiZY015
Yesheng Chai, Xueyang Zhu, Rongjie Yan, Guangquan Zhang:
基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction). 计算机科学 42(12): 82-86 (2015)
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jcp/ZhangZYCXL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcp/ZhangZYCXL14
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)
2013
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsw/ZhangZZCXS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsw/ZhangZZCXS13
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)
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/ZhangZF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/ZhangZF10
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/GuZZH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/GuZZH16
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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ZhuYGZZZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ZhuYGZZZ15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/GuZZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/GuZZ15
Yu-Lei Gu, Xueyang Zhu, Guangquan Zhang:
Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods. SETTA 2015: 217-223
2011
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/ZhangSR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/ZhangSR11
Guangquan Zhang, Huijuan Shi, Mei Rong:
Mismatch Detection of Asynchronous Web Services with Timed Constraints. APSCC 2011: 251-258
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/wism/ZhangSRD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wism/ZhangSRD11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wism/ZhangDRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wism/ZhangDRS11
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
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/service/ZhangWRL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/service/ZhangWRL10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sose/ZhangRHZY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sose/ZhangRHZY10
Guangquan Zhang, Mei Rong, Yali He, Xueyang Zhu, Rongjie Yan:
A Refinement Checking Method of Web Services Composition. SOSE 2010: 103-106
2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/ZhangZZF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/ZhangZZF09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icpads/FanZJZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpads/FanZJZ09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ispan/FanZJZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispan/FanZJZ09
Jianxi Fan, Shukui Zhang, Xiaohua Jia, Guangquan Zhang:
The Restricted Connectivity of Locally Twisted Cubes. ISPAN 2009: 574-578
2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/csse/ZhangM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csse/ZhangM08
Guangquan Zhang, Rong Mei:
An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property. CSSE (2) 2008: 650-653
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iita/GuangquanMJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iita/GuangquanMJ07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ChenZW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ChenZW07
Donghuo Chen, Guangquan Zhang, Jinzhao Wu:
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. TASE 2007: 241-250

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/YanCZC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/YanCZC14
Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang, Yesheng Chai:
Formal Consistency Checking over Specifications in Natural Languages. CoRR abs/1405.5003 (2014)

Coauthor Index

see FAQ

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.