default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuoliang Zheng
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[j28]Tiefeng He
, Libin Zhang, Guoliang Zheng, Can Yang, Meng Wang, Guobing Pan:
Analysis and Experiment of the Laser Wireless Energy Transmission Efficiency Based on the Receiver of Powersphere. IEEE Access 9: 55340-55351 (2021)- 2020
- [j27]Fang Jiang, Guoliang Zheng, Yanjun Hu, Yi Wang, Yaohua Xu:
Low-Complexity Multi-User Detection Based on Gradient Information for Uplink Grant-Free NOMA. IEEE Access 8: 137438-137448 (2020)
2010 – 2019
- 2018
- [j26]Qiong Wang, Zhengbiao Ouyang, Yiling Sun, Mi Lin, Qiang Liu, Guoliang Zheng, Junxing Fan:
Tunable Nanosensor Based on Fano Resonances Created by Changing the Deviation Angle of the Metal Core in a Plasmonic Cavity. Sensors 18(4): 1026 (2018)
2000 – 2009
- 2007
- [c25]Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li:
Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA 2007: 204-218 - 2006
- [j25]Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng:
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. J. Comput. Sci. Technol. 21(1): 41-51 (2006) - [c24]Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng:
Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe 2006: 94-105 - [c23]Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang:
Modelling and Analysis of Power Consumption for Component-Based Embedded Software. EUC Workshops 2006: 795-804 - [c22]Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng:
Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403 - [c21]Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225 - [c20]Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Scenario-based Component Behavior Filtration. SET 2006: 25-36 - [c19]Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng:
Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA 2006: 392-396 - 2005
- [j24]Jianhua Zhao, Xuandong Li, Guoliang Zheng:
A quadratic-time DBM-based successor algorithm for checking timed automata. Inf. Process. Lett. 96(3): 101-105 (2005) - [c18]Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng:
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. EUC 2005: 395-404 - [c17]Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng:
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. ICPP Workshops 2005: 240-247 - [c16]Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng:
Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005 - [c15]Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng:
Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312 - [c14]Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Deriving Available Behavior All Out from Incompatible Component Compositions. FACS 2005: 349-361 - 2004
- [j23]Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng:
Duration-constrained regular expressions. Formal Aspects Comput. 16(2): 155-163 (2004) - [c13]Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng:
Generating Test Cases from UML Activity Diagram based on Gray-Box Method. APSEC 2004: 284-291 - [c12]Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng:
Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256 - 2003
- [c11]Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng:
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45 - 2002
- [j22]Xuandong Li, Wenkai Tan, Guoliang Zheng:
Checking MSC Specifications for Timing Inconsistency. J. Comput. Sci. Technol. 17(1): 47-55 (2002) - [j21]Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng:
Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebraic Methods Program. 52-53: 79-108 (2002) - [c10]Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng:
Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432 - 2001
- [j20]Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng:
A Formal Software Development Approach Using Refinement Calculus. J. Comput. Sci. Technol. 16(3): 251-262 (2001) - [c9]Xuandong Li, Yu Pei, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng:
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480 - [c8]Xuandong Li, Cui Meng, Yu Pei, Jianhua Zhao, Guoliang Zheng:
Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
1990 – 1999
- 1999
- [j19]Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng:
Reasoning about concurrent actions in multi-agent systems. J. Comput. Sci. Technol. 14(4): 422-428 (1999) - [c7]Xiaocong Fan, Dianxiang Xu, Guoliang Zheng:
Reasoning about Inheritance and Cloning Behaviors of Software Agents. TOOLS (31) 1999: 77-82 - [c6]Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng:
A Formal Software Development Approach Based on COOZ and Refinement Calculus. TOOLS (31) 1999: 261-266 - 1998
- [j18]Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng:
SPLAW: A Computable Language for Agent-oriented Programming. ACM SIGPLAN Notices 33(1): 61-69 (1998) - [j17]Xiaodong Yuan, Jiajun Chen, Guoliang Zheng:
Two-dimensional software development model combining object-oriented method with formal method. ACM SIGSOFT Softw. Eng. Notes 23(1): 81-85 (1998) - [j16]Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng:
Compositional model-checking for real-time systems. ACM SIGSOFT Softw. Eng. Notes 23(1): 99 (1998) - [j15]Xiaodong Yuan, Jiajun Chen, Guoliang Zheng:
Duration calculus in COOZ. ACM SIGSOFT Softw. Eng. Notes 23(3): 78 (1998) - [j14]Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng:
Reasoning about team tracking. ACM SIGSOFT Softw. Eng. Notes 23(3): 79-82 (1998) - [j13]Jiajun Chen, Xiaodong Yuan, Guoliang Zheng:
A multi-threaded object-oriented programming model. ACM SIGSOFT Softw. Eng. Notes 23(3): 83-86 (1998) - [j12]Xiaodong Yuan, Deqiang Hu, Hao Xu, Yong Li, Guoliang Zheng:
COOZ: a complete object-oriented extension to Z. ACM SIGSOFT Softw. Eng. Notes 23(4): 76-81 (1998) - [j11]Xiaocong Fan, Guanling Chen, Guoliang Zheng:
Research on concurrent actions in multi-agent systems. ACM SIGSOFT Softw. Eng. Notes 23(4): 83 (1998) - [c5]Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng:
Hybrid Regular Expressions. HSCC 1998: 384-399 - [c4]Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng:
SPLAW: A Computable Agent-Oriented Programming Language. ISORC 1998: 144-145 - [c3]Xiaodong Yuan, Deqiang Hu, Hao Xu, Yong Li, Guoliang Zheng:
Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools. TOOLS (27) 1998: 206-213 - 1997
- [j10]Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng:
A Message-based Real-Time Model by Object-Oriented Technique. ACM SIGOPS Oper. Syst. Rev. 31(3): 45-51 (1997) - [j9]Jiajun Chen, Guoliang Zheng:
NDC++: An Approach to Concurrent Extension of C++. ACM SIGPLAN Notices 32(3): 50-56 (1997) - [j8]Jianhua Zhao, Jiajun Chen, Guoliang Zheng:
Message Conversion and A New Type System for OO Model. ACM SIGPLAN Notices 32(9): 61-67 (1997) - [c2]Xuandong Li, Guoliang Zheng:
Enhancing Reusability and Maintainability in NDOOM. OOIS 1997: 236-246 - 1996
- [j7]Dianxiang Xu, Guoliang Zheng:
Towards a declarative semantics of inheritance with exceptions. J. Comput. Sci. Technol. 11(1): 61-71 (1996) - [j6]Guoping Jia, Guoliang Zheng:
Fair Transition System Specification: An Integrated Approach. ACM SIGPLAN Notices 31(3): 14-21 (1996) - [c1]Xuandong Li, Guoliang Zheng:
A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. APSEC 1996: 93- - 1995
- [j5]Dianxiang Xu, Guoliang Zheng:
Logical object as a basis of knowledge based systems. J. Comput. Sci. Technol. 10(5): 425-438 (1995) - [j4]Dianxiang Xu, Guoliang Zheng:
Logical Objects with Constraints. ACM SIGPLAN Notices 30(1): 5-10 (1995) - [j3]XueDong Li, Guoliang Zheng:
Introducing Virtual Instance Variables in Classes to Provide Sufficient Support for Encapsulation. ACM SIGPLAN Notices 30(7): 52-56 (1995) - [j2]Dianxiang Xu, Guoliang Zheng:
Inheritance as sublation and its semantics. ACM SIGSOFT Softw. Eng. Notes 20(5): 62-66 (1995)
1980 – 1989
- 1988
- [j1]Guoliang Zheng, Chengxiang Zhai:
The kernel of Modula-2 integrated environment. ACM SIGSOFT Softw. Eng. Notes 13(4): 57-60 (1988)
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 2025-01-20 22:53 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:
