Xiangyu Jin

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 15

Top Topics

Theorem Proving

Consequence Finding

Parallel Search

Top Venues

Publications

Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes. CoRR (2024)
Bohua Zhan, Xiong Xu, Qiang Gao, Zekun Ji, Xiangyu Jin, Shuling Wang, Naijun Zhan
Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems. CoRR (2024)
Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin
A Generalized Hybrid Hoare Logic. CoRR (2023)
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. ARCH@SAFECOMP (2022)
Xianglan Jin, Xiangyu Jin, Xiaoyun Wu, Luguang Chen, Tie-Gong Wang, Wangfu Zang
Distribution of FFRCT in single obstructive coronary stenosis and predictors for major adverse cardiac events: a propensity score matching study. BMC Medical Imaging 22 (1) (2022)
Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. Theor. Comput. Sci. 903 (2022)
Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. RTAS (2021)
Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS (2021)
Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
Inferring Switched Nonlinear Dynamical Systems. Formal Aspects Comput. 33 (3) (2021)
Xiangyu Jin, Huajun Tang, Yuxin Huang
Dynamic Stochastic Optimization of Emergent Blood Collection and Distribution from Supply Chain Perspective. Complex. 2021 (2021)
Xiangyu Jin, Chao Wang, Wenli Hu
A Study on the Optimization of Distribution Routes for Fresh Food under Epidemic Situation. ISBDAI (2020)
Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving. ARCH (2020)
Chao Wang, Xiangyu Jin
The Researches on Public Service Information Security in the Context of Big Data. ISBDAI (2020)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. ARCH@CPSIoTWeek (2019)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS (2018)
Xiangyu Jin, James C. French, Jonathan Michel
Quantative analysis of the impact of judging inconsistency on the performance of relevance feedback. SIGIR (2006)
Jonathan Michel, Xiangyu Jin, James C. French
SAIC & University of Virginia at TREC 2005: HARD Track. TREC (2005)
Xiangyu Jin, James C. French, Jonathan Michel
Toward Consistent Evaluation of Relevance Feedback Approaches in Multimedia Retrieval. Adaptive Multimedia Retrieval (2005)
Xiangyu Jin, James C. French
Improving Image Retrieval Effectiveness via Multiple Queries. Multim. Tools Appl. 26 (2) (2005)
Binbin Peng, Wenyin Liu, Yin Liu, Guanglin Huang, Zhengxing Sun, Xiangyu Jin
An Svm-Based Incremental Learning Algorithm For User Adaptation Of Sketch Recognition. Int. J. Pattern Recognit. Artif. Intell. 18 (8) (2004)
Xiaogang Xu, Zhengxing Sun, Binbin Peng, Xiangyu Jin, Wenyin Liu
An online composite graphics recognition approach based on matching of spatial relation graphs. Int. J. Document Anal. Recognit. 7 (1) (2004)
James C. French, Xiangyu Jin, Worthy N. Martin
An Empirical Investigation of the Scalability of a Multiple Viewpoint CBIR System. CIVR (2004)
Xiangyu Jin, James C. French
Improving image retrieval effectiveness via multiple queries. MMDB (2003)
James C. French, Worthy N. Martin, James V. S. Watson, Xiangyu Jin
Integrating Multiple Multi-Channel CBIR Systems. Multimedia Information Systems (2003)
James C. French, James V. S. Watson, Xiangyu Jin, Worthy N. Martin
An exogenous approach for adding multiple image representations to content-based image retrieval systems. ISSPA (1) (2003)
Xiangyu Jin, Liu Wenyin, Jianyong Sun, Zhengxing Sun
On-Line Graphics Recognition. PG (2002)
Liu Wenyin, Wenjie Qian, Rong Xiao, Xiangyu Jin
Smart Sketchpad - An On-line Graphics Recognition System. ICDAR (2001)
Liu Wenyin, Xiangyu Jin, Zhengxing Sun
Sketch-Based User Interface for Inputting Graphic Objects on Small Screen Devices. GREC (2001)
Jicheng Wang, Xiangyu Jin, Xiaojiang Yang, Fuyan Zhang
Distributed and Cooperative Information Retrieval on the World Wide Web. J. Comput. Sci. Technol. 15 (6) (2000)