Author of the publication

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.

 

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)Improving Accuracy of Evolving GMM Under GPGPU-Friendly Block-Evolutionary Pattern., , , , , , and . IJPRAI, 34 (3): 2050006:1-2050006:34 (2020)Formal Semantic Model for Agent-Based Software System.. DBTA, page 1-4. IEEE, (2010)Model-Driven Approach for Agent Based Software System., and . DBTA, page 1-4. IEEE, (2010)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)Unsupervised Deep Quadruplet Hashing with Isometric Quantization for image retrieval., , , , , and . Inf. Sci., (2021)