Guoliang Zheng - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 52 from 52

2021

Analysis and Experiment of the Laser Wireless Energy Transmission Efficiency Based on the Receiver of PowersphereTiefeng He, Libin Zhang, Guoliang Zheng, Can Yang, Meng Wang, Guobing Pan. access, 9:55340-55351, 2021. [doi]

2020

Low-Complexity Multi-User Detection Based on Gradient Information for Uplink Grant-Free NOMAFang Jiang, Guoliang Zheng, Yanjun Hu, Yi Wang, Yaohua Xu. access, 8:137438-137448, 2020. [doi]

2018

Tunable Nanosensor Based on Fano Resonances Created by Changing the Deviation Angle of the Metal Core in a Plasmonic CavityQiong Wang, Zhengbiao Ouyang, Yiling Sun, Mi Lin, Qiang Liu, Guoliang Zheng, Junxing Fan. sensors, 18(4):1026, 2018. [doi]

2007

Towards a Model Driven Approach to Automatic BPEL GenerationXiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li. ECMDA-FA 2007: 204-218 [doi]

2006

Modelling and Analysis of Power Consumption for Component-Based Embedded SoftwareJun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang. euc 2006: 795-804 [doi]

Runtime Verification of Java Programs for Scenario-Based SpecificationsXuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng. Ada-Europe 2006: 94-105 [doi]

Scenario-Based Timing Consistency Checking for Time Petri NetsXuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng. forte 2006: 388-403 [doi]

Scenario-Based Component Behavior DerivationYan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng. icfem 2006: 206-225 [doi]

Scenario-based Component Behavior FiltrationYan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng. ifip2 2007: 25-36 [doi]

Deriving Available Behavior All Out from Incompatible Component CompositionsYan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng. ENTCS, 160:349-361, 2006. [doi]

Improve Model Checking Efficiency Using Specific Knowledge about the SystemJianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng. ISoLA 2006: 392-396 [doi]

Remove Irrelevant Atomic Formulas for Timed Automaton Model CheckingJianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng. jcst, 21(1):41-51, 2006. [doi]

2005

Scenario-Based Specifications Verification for Component-Based Embedded Software DesignsJun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng. icppw 2005: 240-247 [doi]

Checking Component-Based Embedded Software Designs for Scenario-Based Timing SpecificationsJun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng. euc 2005: 395-404 [doi]

Consistency Checking of Concurrent Models for Scenario-Based SpecificationsXuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng. sdl 2005: 298-312 [doi]

Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-CheckingJianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng. ipps 2005: [doi]

A quadratic-time DBM-based successor algorithm for checking timed automataJianhua Zhao, Xuandong Li, Guoliang Zheng. ipl, 96(3):101-105, 2005. [doi]

2004

2003

Removing Irrelevant Atomic Formulas for Checking Timed Automata EfficientlyJianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng. formats 2003: 34-45 [doi]

2002

2001

1999

1998

A multi-threaded object-oriented programming modelJiajun Chen, Xiaodong Yuan, Guoliang Zheng. sigsoft, 23(3):83-86, 1998. [doi]

Research on concurrent actions in multi-agent systemsXiaocong Fan, Guanling Chen, Guoliang Zheng. sigsoft, 23(4):83, 1998. [doi]

SPLAW: A Computable Agent-Oriented Programming LanguageXiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng. isorc 1998: 144-145 [doi]

Reasoning about team trackingXiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng. sigsoft, 23(3):79-82, 1998. [doi]

SPLAW: A Computable Language for Agent-oriented ProgrammingXiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng. SIGPLAN, 33(1):61-69, 1998.

Compositional model-checking for real-time systemsJianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng. sigsoft, 23(1):99, 1998. [doi]

Hybrid Regular ExpressionsXuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng. hybrid 1998: 384-399

Duration calculus in COOZXiaodong Yuan, Jiajun Chen, Guoliang Zheng. sigsoft, 23(3):78, 1998. [doi]

Two-dimensional software development model combining object-oriented method with formal methodXiaodong Yuan, Jiajun Chen, Guoliang Zheng. sigsoft, 23(1):81-85, 1998. [doi]

COOZ: a complete object-oriented extension to ZXiaodong Yuan, Deqiang Hu, Hao Xu, Yong Li, Guoliang Zheng. sigsoft, 23(4):76-81, 1998. [doi]

1997

NDC++: An Approach to Concurrent Extension of C++Chen Jiajun, Guoliang Zheng. SIGPLAN, 32(3):50-56, 1997.

A Message-based Real-Time Model by Object-Oriented TechniqueHou Jianmin, Xuandong Li, Xiaocong Fan, Guoliang Zheng. sigops, 31(3):45-51, 1997.

Enhancing Reusability and Maintainability in NDOOMXuandong Li, Guoliang Zheng. oois 1997: 236-246

Message Conversion and A New Type System for OO ModelJianhua Zhao, Chen Jiajun, Guoliang Zheng. SIGPLAN, 32(9):61-67, 1997.

1996

Fair Transition System Specification: An Integrated ApproachGuoping Jia, Guoliang Zheng. SIGPLAN, 31(3):14-21, 1996.

A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented LanguagesXuandong Li, Guoliang Zheng. apsec 1996: 93 [doi]

Towards a declarative semantics of inheritance with exceptionsDianxiang Xu, Guoliang Zheng. jcst, 11(1):61-71, 1996. [doi]

1995

Logical object as a basis of knowledge based systemsDianxiang Xu, Guoliang Zheng. jcst, 10(5):425-438, 1995. [doi]

Inheritance as sublation and its semanticsDianxiang Xu, Guoliang Zheng. sigsoft, 20(5):62-66, 1995. [doi]

Logical Objects with ConstraintsDianxiang Xu, Guoliang Zheng. SIGPLAN, 30(1):5-10, 1995.

Introducing Virtual Instance Variables in Classes to Provide Sufficient Support for EncapsulationLi XueDong, Guoliang Zheng. SIGPLAN, 30(7):52-56, 1995.

1988

The kernel of Modula-2 integrated environmentGuoliang Zheng, Chengxiang Z.. sigsoft, 13(4):57-60, 1988. [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Guoliang Zheng'

Viewing Publication 1 - 52 from 52

2021

2020

2018

2007

2006

2005

2004

2003

2002

2001

1999

1998

1997

1996

1995

1988

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Guoliang Zheng'

Viewing Publication 1 - 52 from 52

2021

2020

2018

2007

2006

2005

2004

2003

2002

2001

1999

1998

1997

1996

1995

1988

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1