From post

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

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.

Y. Dong, X. Zhang, Y. Xu, C. Cai, Y. Chen, W. Miao, J. Li, и G. Pu. ESEC/SIGSOFT FSE, стр. 1914-1925. ACM, (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.

Fu-Chang Chang

Yongjie Cai

Lijun Cai

Xuediao Cai

Cai Berg

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

Robust Bayesian algorithm for distributed source reconstructions MEG/EEG data.C. Cai, M. Diwakar, K. Sekihara, и S. Nagarajan. NER, стр. 336-339. IEEE, (2019)A preliminary study of brain connectivity in autism using affection-evoked movie clips.K. Yang, J. Chen, и C. Cai. TALE, стр. 1135-1138. IEEE, (2021)A Hierarchical Fault Injection System for RISC-V Processors Targeting Single Event Upsets in Flip-Flops.J. Bai, X. Wang, Z. Zhang, C. Cai, и G. Chen. ASICON, стр. 1-4. IEEE, (2021)Deep Doubly Supervised Transfer Network for Diagnosis of Breast Cancer with Imbalanced Ultrasound Imaging Modalities.X. Han, J. Wang, W. Zhou, C. Chang, S. Ying, и J. Shi. MICCAI (6), том 12266 из Lecture Notes in Computer Science, стр. 141-149. Springer, (2020)The Constrained Interaction Network for Aspect-level Sentiment Classification Task.R. Duan, Y. Qin, H. He, и C. Cai. CNIOT, стр. 163-170. IEEE, (2022)Graph Neural Networks for the Cross-Domain Histopathological Image Classification.C. Cai, D. Xu, C. Fang, M. Yang, и Z. Li. ISBI, стр. 1953-1957. IEEE, (2021)Electromagnetic Source Imaging via a Data-Synthesis-Based Convolutional Encoder-Decoder Network.G. Huang, K. Liu, J. Liang, C. Cai, Z. Gu, F. Qi, Y. Li, Z. Yu, и W. Wu. IEEE Trans. Neural Networks Learn. Syst., 35 (5): 6423-6437 (мая 2024)2D and 3D compatible chaotic image encryption system based on checkers rules and shift register.C. Cai, Y. Cao, H. Jahanshahi, J. Mou, и B. Sun. J. Frankl. Inst., 361 (9): 106874 (2024)A Fast and Efficient FPGA-based Pose Estimation Solution for IoT Applications.X. Wang, Z. Zhang, Y. Wang, C. Cai, и G. Chen. MWSCAS, стр. 1-4. IEEE, (2022)Ultrasound-based radiomics analysis for preoperative prediction of central and lateral cervical lymph node metastasis in papillary thyroid carcinoma: a multi-institutional study.Y. Tong, J. Zhang, Y. Wei, J. Yu, W. Zhan, H. Xia, S. Zhou, Y. Wang, и C. Chang. BMC Medical Imaging, 22 (1): 82 (2022)

BibSonomy

Disambiguation