FedGrid: An HLA Approach to Federating Grids. - Son T. Vuong; Xiaojuan Cai; Juan Li; Sukanta Pramanik; Duncan Suttles; Reggie Chen (International Conference on Computational Science, 2004)

On Vulnerability Testing of VoIP Software - The MEGACO/H.248 System as an Example. - Son T. Vuong; Xiaojuan Cai; Ling Yun; Wing-Keong Woo (ICETE (2), 2004)

Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. - Zhengqin Luo; Xiaojuan Cai; Jun Pang 001; Yuxin Deng (ACNS, 2007)

Towards Automatic Measurement of Probabilistic Processes. - Lin Song; Yuxin Deng; Xiaojuan Cai (QSIC, 2007)

A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol. - Xiaojuan Cai; Yuxin Deng (ISCSCT (2), 2008)

Knowledge Aware Bisimulation and Anonymity. - Han Zhu 008; Yonggen Gu; Xiaojuan Cai (ICCS (1), 2009)

Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus. - Xiaojuan Cai; Yonggen Gu (ICCSA (2), 2009)

Measuring Anonymity. - Xiaojuan Cai; Yonggen Gu (ISPEC, 2009)

Applying a testing approach to the Calculus of Fair Ambients. - Xiaojuan Cai; Han Zhu 008 (Int. J. Comput. Math., 2009)

A pure labeled transition semantics for the applied pi calculus. - Xiaojuan Cai (Inf. Sci., 2010)

The λ-calculus in the π-calculus. - Xiaojuan Cai; Yuxi Fu (Math. Struct. Comput. Sci., 2011)

Modeling and Analysis of Real-Time Systems with Mutex Components. - Guoqiang Li 001; Xiaojuan Cai; Shoji Yuen (Int. J. Found. Comput. Sci., 2012)

Well-Structured Pushdown Systems. - Xiaojuan Cai; Mizuhito Ogawa (CONCUR, 2013)

Nested Timed Automata. - Guoqiang Li 001; Xiaojuan Cai; Mizuhito Ogawa; Shoji Yuen (FORMATS, 2013)

Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata. - Xiaojuan Cai; Mizuhito Ogawa (FLOPS, 2014)

An improved VR training system for vascular interventional surgery. - Shuxiang Guo; Xiaojuan Cai; Baofeng Gao; Jiang Yuhua (ROBIO, 2016)

Termination and Boundedness for Well-Structured Pushdown Systems. - Suhua Lei; Xiaojuan Cai; Mizuhito Ogawa (TASE, 2016)

An improved threshold method based on histogram entropy for the blood vessel segmentation. - Shuxiang Guo; Qiuxia Yang; Baofeng Gao; Xiaojuan Cai; Yan Zhao 017; Nan Xiao 003; Yanlin He; Chaonan Zhang (CBS, 2017)

Hardness Results for Coverability Problem of Well-Structured Pushdown Systems. - Chunmiao Li; Xiaojuan Cai (LATA, 2017)

Digital Rights Management Platform Based on Blockchain Technology. - Wenan Tan; Xiao Zhang; Xiaojuan Cai (HCC, 2020)

Cold Start Recommendation Algorithm Based on Latent Factor Prediction. - Wenan Tan; Xin Zhou; Xiao Zhang; Xiaojuan Cai; Weinan Niu (WISA, 2021)

Minimum-Energy Computation Offloading in Mobile Edge Computing with Hybrid PSO-DE Algorithm. - Xiao Zhang; Wenan Tan; Xin Zhou; Xiaojuan Cai; Weinan Niu; Panwang Xu (ChineseCSCW (1), 2021)

Sequential Detection of Cyber-attacks Using a Classification Filter. - Xiaojuan Cai; Yaokai Feng; Kouichi Sakurai (DASC/PiCom/CBDCom/CyberSciTech, 2021)

Using Entropy for Trust Measure in Collaborative Filtering. - Xiaojuan Cai; Wenan Tan; Xiao Zhang; Xin Zhou (HCC, 2021)

A Collaborative Filtering Algorithm based on Entropy and Trust Optimized Neighbor Selection. - Wenan Tan; Xiaojuan Cai; Xiao Zhang; Xin Zhou (CSCWD, 2022)

New Perspectives on Data Exfiltration Detection for Advanced Persistent Threats Based on Ensemble Deep Learning Tree. - Xiaojuan Cai; Hiroshi Koide (WEBIST, 2023)

Detecting Advanced Persistent Threat Exfiltration With Ensemble Deep Learning Tree Models and Novel Detection Metrics. - Xiaojuan Cai; Haibo Zhang 008; Chuadhry Mujeeb Ahmed; Hiroshi Koide (IEEE Access, 2025)