( en | de | ru )

 

Disambiguation of "Lai, Xin"

Author of the publication

copydeleteadd this publication to your clipboard
Applying Formal Verification to a Cache Coherence Protocol in TLS.

, , and . EMS, page 329-334. IEEE, (2011)

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.

Xin Lai

Georg Xingas

Jiping Xin

Yunfei Xing

Qiwu Xing

 

Other publications of authors with the same name

Stratified Transformer for 3D Point Cloud Segmentation., , , , , , , and . CVPR, page 8490-8499. IEEE, (2022)Generalized Few-shot Semantic Segmentation., , , , , , and . CVPR, page 11553-11562. IEEE, (2022)FilterLAP: Filtering False-positive Mutation Calls via a Label Propagation Framework., , , , , , and . BIBM, page 1388-1395. IEEE, (2019)A Spatio-Temporal Resource Description Framework Schema Model for Aeronautical Dynamic Information Based on Semantic Analysis., , , and . J. Inf. Technol. Res., 15 (1): 1-14 (2022)Risk-Adjusted Monitoring Method for Surgical Data: Methodology for Data Analytics (Work in Progress)., , , , , , and . BigData Congress, page 317-319. IEEE Computer Society, (2015)Enhanced Detection Reliability for Human Tracking Based Video Analytics., , and . FUSION, page 1-7. IEEE, (2019)A multi-level model accounting for the effects of JAK2-STAT5 signal modulation in erythropoiesis, , , and . Computational Biology and Chemistry, 33 (4): 312--324 (August 2009)Mask-Attention-Free Transformer for 3D Instance Segmentation., , , , , and . ICCV, page 3670-3680. IEEE, (2023)HyFea: Winning Solution to Social Media Popularity Prediction for Multimedia Grand Challenge 2020., , and . ACM Multimedia, page 4565-4569. ACM, (2020)Applying Formal Verification to a Cache Coherence Protocol in TLS., , and . EMS, page 329-334. IEEE, (2011)