( en | de | ru )

 

Disambiguation of "Wang, Dejun"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Christof Dejung

Mario Dejung

Karl-Heinz Dejung

Wang Wang

Linfang Wang

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

Other publications of authors with the same name

Bayesian Covariance Tracking with Adaptive Feature Selection., , , , and . ISNN, volume 8866 of Lecture Notes in Computer Science, page 516-523. Springer, (2014)Research on Dynamic Updating of Grid Service., , and . International Conference on Computational Science (2), volume 4488 of Lecture Notes in Computer Science, page 1107-1114. Springer, (2007)SMHSDVS: A Secure and Mutual Heterogeneous Strong Designated Signature Between PKI and IBC., , , , , and . ProvSec, volume 14217 of Lecture Notes in Computer Science, page 115-130. Springer, (2023)Dynamic Software Upgrading for Distributed System Based on R-OSGI., , , and . CSSE (3), page 227-231. IEEE Computer Society, (2008)978-0-7695-3336-0.The lateral stability control of vehicles based on sliding mode method., , and . ICIA, page 1312-1317. IEEE, (2014)Level Set Methods and Image Segmentation., , and . MIAR, page 204-. IEEE Computer Society, (2001)Precise and Efficient Pointing Control of a 2.5-m-Wide Field Survey Telescope Using ADRC and Nonlinear Disturbance Observer., , , , and . Sensors, 23 (13): 6068 (July 2023)Supporting Dynamic Updates of Componentized Service., , and . IEEE SCC, page 699-700. IEEE Computer Society, (2007)Research on Heterogeneous Resource Sharing and Dynamic Allocation Strategy in Campus Grid.. ICFCE, volume 133 of Advances in Intelligent and Soft Computing, page 845-851. Springer, (2011)Negative ESD robustness of a novel anti-ESD TGFPTD SOI LDMOS., , , , , , and . APCCAS, page 1227-1230. IEEE, (2010)