Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025
Municipal and Urban Renewal Development Index System: A Data-Driven Digital Analysis Framework.
,
,
,
,
,
,
,
,
,
,
,
,
,
Remote. Sens., February, 2024
Sentiment time series clustering of Danmu videos based on BERT fine-tuning and SBD-K-shape.
Electron. Libr., 2024
Study of Mental Model in Human-Computer Interaction Based on EEG Signal Data.
Proceedings of the Computer Supported Cooperative Work and Social Computing, 2023
Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
Comprehensive Analysis of Differently Expressed and Methylated Genes in Preeclampsia.
Comput. Math. Methods Medicine, 2020
Robust Kalman filtering with long short-term memory for image-based visual servo control.
Multim. Tools Appl., 2019
A Network Tomography Approach for Traffic Monitoring in Smart Cities.
IEEE Trans. Intell. Transp. Syst., 2018