Author of the publication

Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems.

, , , , and . J. Softw., 9 (7): 1707-1717 (2014)

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

Hierarchical Conditional Proxy Re-Encryption: A New Insight of Fine-Grained Secure Data Sharing., , , , and . ISPEC, volume 10701 of Lecture Notes in Computer Science, page 118-135. Springer, (2017)A Distributed Framework for Large-scale Protein-protein Interaction Data Analysis and Prediction Using MapReduce., , , , , and . IEEE CAA J. Autom. Sinica, 9 (1): 160-172 (2022)Elastic-net regularized latent factor analysis-based models for recommender systems., , , , , , and . Neurocomputing, (2019)Encoding Paraphrase Information Generated by ChatGPT and Introducing Interrogative Word Control Mechanism for Question Generation., , and . IALP, page 234-239. IEEE, (2023)Distributed Cooperative Co-Evolution With Adaptive Computing Resource Allocation for Large Scale Optimization., , , , , , and . IEEE Trans. Evol. Comput., 23 (2): 188-202 (2019)Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems., , , , and . J. Softw., 9 (7): 1707-1717 (2014)Fair Rate Allocation over A Generalized Symmetric Polymatroid with Box Constraints., , , , and . INFOCOM, page 289-297. IEEE, (2019)A New Paradigm for Shortest Link Scheduling in Wireless Networks: Theory and Applications., , and . WASA, volume 9798 of Lecture Notes in Computer Science, page 24-36. Springer, (2016)Joint Selection and Scheduling of Communication Requests in Multi-Channel Wireless Networks under SINR Model., , , , and . INFOCOM, page 2312-2320. IEEE, (2018)Niching community based differential evolution for multimodal optimization problems., , , , , and . SSCI, page 1-8. IEEE, (2017)