( en | de | ru )

 

Disambiguation of "Chen, Xu"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of Smart Contracts from the Perspective of Concurrency.

, , , , , and . SmartBlock, volume 11373 of Lecture Notes in Computer Science, page 32-43. Springer, (2018)

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.

Xu Chen

Chen Xu

Chen Xu

Xu Chen

Xu Xu

 

Other publications of authors with the same name

Dually Enhanced Propensity Score Estimation in Sequential Recommendation., , , , and . CIKM, page 2260-2269. ACM, (2022)Dually Enhanced Propensity Score Estimation in Sequential Recommendation., , , , and . CoRR, (2023)Investigation of the thermal drift of open-loop Hall effect current sensor and its improvement., , , , and . AMPS, page 1-6. IEEE, (2015)A single chip micro-DNA-array system based on CMOS image sensor technology., , , , and . ISCAS, IEEE, (2006)New Repetitive Control With Improved Steady-State Performance and Accelerated Transient., and . IEEE Trans. Contr. Sys. Techn., 22 (2): 664-675 (2014)Synthesis of Material Drying History: Phenomenon Modeling, Transferring and Rendering., , , , and . NPH, page 7-16. Eurographics Association, (2005)Discrete-Time Reduced-Complexity Youla Parameterization for Dual-Input Single-Output Systems., and . IEEE Trans. Contr. Sys. Techn., 24 (1): 302-309 (2016)A Robust Preconditioner for Two-dimensional Conservative Space-Fractional Diffusion Equations on Convex Domains., , and . J. Sci. Comput., 80 (2): 1033-1057 (2019)Bayesian inference for adaptive low rank and sparse matrix estimation., , , , and . Neurocomputing, (2018)Social trust and social reciprocity based cooperative D2D communications., , , and . MobiHoc, page 187-196. ACM, (2013)