Converting Ptolemy II Models to SpaceEx for Applied Verification. - Shiwei Ran; Jinzhi Lin; Ying Wu 006; Jianzhong Zhang 003; Yuwei Xu (ICA3PP (1), 2014)

Prolonged Reasoning Is Not All You Need: Certainty-Based Adaptive Routing for Efficient LLM/MLLM Reasoning. - Jinghui Lu; Haiyang Yu; Siliang Xu; Shiwei Ran; Guozhi Tang; Siqi Wang; Bin Shan; Teng Fu; Hao Feng; Jingqun Tang; Han Wang; Can Huang (CoRR, 2025)