From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

C. Zhao, Q. Liu, Z. Hu, Z. Yu, D. Wang, и B. Meng. IET Blockchain, 3 (2): 61-73 (июня 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.

Christof Dejung

Mario Dejung

Karl-Heinz Dejung

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylationL. Wang. Uni Marburg, (2009)

Другие публикации лиц с тем же именем

Negative ESD robustness of a novel anti-ESD TGFPTD SOI LDMOS.H. Zhang, L. Zhang, D. Wang, G. Liu, M. Lin, X. Niu, и L. Fan. APCCAS, стр. 1227-1230. IEEE, (2010)Research on Heterogeneous Resource Sharing and Dynamic Allocation Strategy in Campus Grid.D. Wang. ICFCE, том 133 из Advances in Intelligent and Soft Computing, стр. 845-851. Springer, (2011)A Workflow-Oriented Scripting Language Based on BPEL4WS.D. Wang, L. Huang, и Q. Zhang. APWeb Workshops, том 3842 из Lecture Notes in Computer Science, стр. 690-697. Springer, (2006)K-Go: An executable formal semantics of Go language in K framework.C. Zhao, Q. Liu, Z. Hu, Z. Yu, D. Wang, и B. Meng. IET Blockchain, 3 (2): 61-73 (июня 2023)Self-supervised pre-training in photovoltaic systems via supervisory control and data acquisition data.D. Wang, Z. Duan, W. Wang, J. Chu, Q. Cui, R. Zhu, Y. Cui, Y. Zhang, и Z. You. IET Cyper-Phys. Syst.: Theory & Appl., 8 (4): 272-279 (декабря 2023)HSDVS-DPoS: A Secure and Heterogeneous DPoS Consensus Protocol Using Heterogeneous Strong Designated Verifier Signature.C. Zhao, X. Wang, Z. Lu, J. Wang, D. Wang, и B. Meng. FICC (2), том 652 из Lecture Notes in Networks and Systems, стр. 541-562. Springer, (2023)Policy2Graph: A Structure-aware Perspective on Constructing Policy Knowledge Graph for Smart Governance.D. Wang, H. Hu, Y. Kang, Y. Zhang, Z. Guo, и T. Yu. SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta, стр. 2483-2490. IEEE, (2022)Research on the quality of graduate students in provincial universities based on entropy weight TOPSIS and RSR - take changchun university as an example.Y. Zhu, J. Ma, X. Yang, Y. Wang, H. Li, и D. Wang. CIS, стр. 190-194. IEEE, (2022)Precise and Efficient Pointing Control of a 2.5-m-Wide Field Survey Telescope Using ADRC and Nonlinear Disturbance Observer.Y. Liu, Y. Deng, H. Li, J. Wang, и D. Wang. Sensors, 23 (13): 6068 (июля 2023)Bayesian Covariance Tracking with Adaptive Feature Selection.D. Wang, L. Li, W. Liu, W. Sun, и S. Yu. ISNN, том 8866 из Lecture Notes in Computer Science, стр. 516-523. Springer, (2014)

BibSonomy

Disambiguation