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

Ant Colony Optimization for Manufacturing Resource Scheduling Problem., and . PROLAMAT, volume 207 of IFIP, page 863-868. Springer, (2006)Curvelet-based bilinear interpolation method for low-dose CT., , , , and . ICDIP, volume 8878 of SPIE Proceedings, page 88783X. SPIE, (2013)Designing, Modeling and Testing of the Flexible Space Probe-Cone Docking and Refueling Mechanism., , , , , , , , and . ICIRA (4), volume 11743 of Lecture Notes in Computer Science, page 294-306. Springer, (2019)A Fair Non-Repudiation Protocol., , and . CSCWD, page 68-73. IEEE, (2002)Energy Window Optimization for X-Ray K-Edge Tomographic Imaging., , , , and . IEEE Trans. Biomed. Eng., 63 (8): 1623-1630 (2016)UDA-HOID: Unsupervised Domain Adaptation for Human-Object Interaction Detection., , , , , , and . ICTAI, page 603-610. IEEE, (2023)Multidomain active defense: Detecting multidomain backdoor poisoned samples via ALL-to-ALL decoupling training without clean datasets., , , and . Neural Networks, (November 2023)Asynchronous H∞ filtering for nonlinear persistent dwell-time switched singular systems with measurement quantization., , , , and . Appl. Math. Comput., (2019)Floor-based large-area triboelectric generator for active security monitoring., , , , and . ICCE, page 581-582. IEEE, (2015)Rethinking the Misalignment Problem in Dense Object Detection., , , , , and . ECML/PKDD (3), volume 13715 of Lecture Notes in Computer Science, page 427-442. Springer, (2022)