( en | de | ru )

 

Disambiguation of "Zheng, Guoliang"

Author of the publication

copydeleteadd this publication to your clipboard
Research on concurrent actions in multi-agent systems.

, , and . ACM SIGSOFT Softw. Eng. Notes, 23 (4): 83 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Guoliang Zhang

Guoliang Luo

Guoliang Liu

Guoliang Zhu

Zheng-Zheng Kuang

 

Other publications of authors with the same name

Logical object as a basis of knowledge based systems., and . J. Comput. Sci. Technol., 10 (5): 425-438 (1995)Verifying Compositional Designs for Scenario-Based Timing Specifications., , , , and . ISORC, page 253-256. IEEE Computer Society, (2004)Improve Model Checking Efficiency Using Specific Knowledge about the System., , , and . ISoLA, page 392-396. IEEE Computer Society, (2006)Reasoning about Inheritance and Cloning Behaviors of Software Agents., , and . TOOLS (31), page 77-82. IEEE Computer Society, (1999)Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking., , , and . IPDPS, IEEE Computer Society, (2005)Duration calculus in COOZ., , and . ACM SIGSOFT Softw. Eng. Notes, 23 (3): 78 (1998)A multi-threaded object-oriented programming model., , and . ACM SIGSOFT Softw. Eng. Notes, 23 (3): 83-86 (1998)Two-dimensional software development model combining object-oriented method with formal method., , and . ACM SIGSOFT Softw. Eng. Notes, 23 (1): 81-85 (1998)Positive loop-closed automata: a decidable class of hybrid systems., , , , , and . J. Log. Algebraic Methods Program., (2002)Analysis and Experiment of the Laser Wireless Energy Transmission Efficiency Based on the Receiver of Powersphere., , , , , and . IEEE Access, (2021)