( en | de | ru )

 

Disambiguation of "Hou, Jinkui"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Semantic Model for Agent-Based Software System.

. DBTA, page 1-4. IEEE, (2010)

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.

Jinkui Zhou

Jinkui Zhao

Bo Hou

Changbao Hou

Lei Hou

 

Other publications of authors with the same name

OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving, , , , , and . Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, 3, page 1078--1083. (2007)Formalization of Architecture-Centric Model Mapping Using Category Theory., , and . SNPD (1), page 670-675. IEEE Computer Society, (2007)Simulation-based Model Mapping Approach., , and . SERA, page 879-886. IEEE Computer Society, (2007)Model-Driven Approach for Agent Based Software System., and . DBTA, page 1-4. IEEE, (2010)Formal Semantic Model for Agent-Based Software System.. DBTA, page 1-4. IEEE, (2010)Improving Accuracy of Evolving GMM Under GPGPU-Friendly Block-Evolutionary Pattern., , , , , , and . IJPRAI, 34 (3): 2050006:1-2050006:34 (2020)Describing Approach for Model-Driven Collaborative Application Development., , and . AIAM (IEEE), page 336-343. IEEE, (2019)A Semantic-Features-Calculation Based Model Mapping Approach for Web Information Systems., , and . SERA, page 83-90. IEEE Computer Society, (2007)Formal Description Approach for Agent-Based Mobile Computing., and . AIAM, page 222-229. ACM, (2020)OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving., , and . SNPD (3), page 1078-1083. IEEE Computer Society, (2007)