Author of the publication

K-Go: An executable formal semantics of Go language in K framework.

, , , , , and . IET Blockchain, 3 (2): 61-73 (June 2023)

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

BMP7 induces the differentiation of bone marrow-derived mesenchymal cells into chondrocytes., , , , and . Medical Biol. Eng. Comput., 49 (6): 687-692 (2011)University campus social network system for knowledge sharing., , , , and . Comput. Sci. Inf. Syst., 9 (4): 1721-1737 (2012)Exploring the influencing factors of public traffic safety awareness in China., , , , , and . Cogn. Technol. Work., 23 (4): 731-742 (2021)NVIDIA FLARE: Federated Learning from Simulation to Real-World., , , , , , , , , and 13 other author(s). IEEE Data Eng. Bull., 46 (1): 170-184 (2023)A thorough review of models, evaluation metrics, and datasets on image captioning., , , , and . IET Image Process., 16 (2): 311-332 (2022)Detecting Statistically Significant Communities., , , , and . IEEE Trans. Knowl. Data Eng., 34 (6): 2711-2725 (2022)Generative AI for Medical Imaging: extending the MONAI Framework., , , , , , , , , and 14 other author(s). CoRR, (2023)Model-based hybrid dynamic event-triggered control for systems subject to DoS attacks: A hybrid system approach., , , and . Inf. Sci., (2022)Reinforce: An Ensemble Approach for Inferring PPI Network from AP-MS Data., , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 16 (2): 365-376 (2019)An Aero-engine Gas Path Fault Feature Extraction Method Based on IGA-KPCA., , and . ICPHM, page 1-5. IEEE, (2021)