- Zonglin Li, Shengping Zhang, Yang Liu, Zhaoxin Zhang, Weigang Zhang, Qingming Huang. Text-driven Face Image Generation and Manipulation via Multi-level Residual Mapper. Int. J. Software and Informatics, 13(2):177-196, 2023.
- Fanlang Zeng, Rui Chang, Hao Xu, Shaoping Pan, Yongwang Zhao. Refinement-based Modeling and Formal Verification for Multiple Secure Partitions of TrustZone. Int. J. Software and Informatics, 13(3):297-321, 2023.
- Pengtao Fu, Lailong Luo, Deke Guo, Xiang Zhao, Shangsen Li, Huaimin Wang. Jump Filter: A Dynamic Sketch for Big Data Governance. Int. J. Software and Informatics, 13(1):57-85, 2023.
- Shan Gao, Wanzhu Yuan, Wei Lu, Lan Wang, Jing Zhang, Xiaoyong Du. Construction and Optimization of Co-occurrence-attribute-interaction Model for Column Semantic Recognition. Int. J. Software and Informatics, 13(1):5-26, 2023.
- Yuanyuan Zhang, Shuyuan Li, Yexuan Shi, Nan Zhou, Yi Xu, Ke Xu 0001. Secure Multi-party θ-join Algorithms Toward Data Federation. Int. J. Software and Informatics, 13(1):117-137, 2023.
- Shuochuan Li, Zan Wang, Mingxu Ma, Xiang Chen, Yingquan Zhao, Haichi Wang, Haoyu Wang. GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method. Int. J. Software and Informatics, 13(3):269-296, 2023.
- Chengji Wang, Jiawei Su, Zhiming Luo, Donglin Cao, Yaojin Lin, Shaozi Li. Text-based Person Search via Virtual Attribute Learning. Int. J. Software and Informatics, 13(2):157-176, 2023.
- Zhongqi Yu, Xiaoyu Zhang, Jianwen Li. UC-based Approximate Incremental Reachability. Int. J. Software and Informatics, 13(3):247-267, 2023.
- Lu Chen 0001, Yuxiang Guo, Congcong Ge, Baihua Zheng, Yunjun Gao. Cross-source Data Error Detection Approach Based on Federated Learning. Int. J. Software and Informatics, 13(1):27-55, 2023.
- Shaowei Cai 0001, Zhenbang Chen, Ji Wang, Bohua Zhan, Yongwang Zhao. Preface to the Special Issue on Constraint Solving and Theorem Proving. Int. J. Software and Informatics, 13(3):243-245, 2023.