Xiangyu Jin

According to our database, Xiangyu Jin authored at least 28 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.

Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

CoRR, 2024

Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems.

Bohua Zhan, Xiong Xu, Qiang Gao, Zekun Ji, Xiangyu Jin, Shuling Wang, Naijun Zhan

CoRR, 2024

2023

A Generalized Hybrid Hoare Logic.

Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin

CoRR, 2023

2022

Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.

Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan

Theor. Comput. Sci., 2022

Distribution of FFRCT in single obstructive coronary stenosis and predictors for major adverse cardiac events: a propensity score matching study.

Xianglan Jin, Xiangyu Jin, Xiaoyun Wu, Luguang Chen, Tie-Gong Wang, Wangfu Zang

BMC Medical Imaging, 2022

ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Inferring Switched Nonlinear Dynamical Systems.

Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

Formal Aspects Comput., 2021

Dynamic Stochastic Optimization of Emergent Blood Collection and Distribution from Supply Chain Perspective.

Xiangyu Jin, Huajun Tang, Yuxin Huang

Complex., 2021

Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.

Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

The Researches on Public Service Information Security in the Context of Big Data.

Chao Wang, Xiangyu Jin

Proceedings of the ISBDAI 2020, 2020

A Study on the Optimization of Distribution Routes for Fresh Food under Epidemic Situation.

Xiangyu Jin, Chao Wang, Wenli Hu

Proceedings of the ISBDAI 2020, 2020

ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2006

Quantative analysis of the impact of judging inconsistency on the performance of relevance feedback.

Xiangyu Jin, James C. French, Jonathan Michel

Proceedings of the SIGIR 2006: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2006

2005

Improving Image Retrieval Effectiveness via Multiple Queries.

Xiangyu Jin, James C. French

Multim. Tools Appl., 2005

SAIC & University of Virginia at TREC 2005: HARD Track.

Jonathan Michel, Xiangyu Jin, James C. French

Proceedings of the Fourteenth Text REtrieval Conference, 2005

Toward Consistent Evaluation of Relevance Feedback Approaches in Multimedia Retrieval.

Xiangyu Jin, James C. French, Jonathan Michel

Proceedings of the Adaptive Multimedia Retrieval: User, 2005

2004

An Svm-Based Incremental Learning Algorithm For User Adaptation Of Sketch Recognition.

Binbin Peng, Wenyin Liu, Yin Liu, Guanglin Huang, Zhengxing Sun, Xiangyu Jin

Int. J. Pattern Recognit. Artif. Intell., 2004

An online composite graphics recognition approach based on matching of spatial relation graphs.

Xiaogang Xu, Zhengxing Sun, Binbin Peng, Xiangyu Jin, Wenyin Liu

Int. J. Document Anal. Recognit., 2004

An Empirical Investigation of the Scalability of a Multiple Viewpoint CBIR System.

James C. French, Xiangyu Jin, Worthy N. Martin

Proceedings of the Image and Video Retrieval: Third International Conference, 2004

2003

Integrating Multiple Multi-Channel CBIR Systems.

James C. French, Worthy N. Martin, James V. S. Watson, Xiangyu Jin

Proceedings of the MIS 2003, 9th International Workshop on Multimedia Information Systems, 2003

An exogenous approach for adding multiple image representations to content-based image retrieval systems.

James C. French, James V. S. Watson, Xiangyu Jin, Worthy N. Martin

Proceedings of the Seventh International Symposium on Signal Processing and Its Applications, 2003

2002

On-Line Graphics Recognition.

Xiangyu Jin, Liu Wenyin, Jianyong Sun, Zhengxing Sun

Proceedings of the 10th Pacific Conference on Computer Graphics and Applications, 2002

2001

Smart Sketchpad - An On-line Graphics Recognition System.

Liu Wenyin, Wenjie Qian, Rong Xiao, Xiangyu Jin

Proceedings of the 6th International Conference on Document Analysis and Recognition (ICDAR 2001), 2001

Sketch-Based User Interface for Inputting Graphic Objects on Small Screen Devices.

Liu Wenyin, Xiangyu Jin, Zhengxing Sun

Proceedings of the Graphics Recognition Algorithms and Applications, 2001

2000

Distributed and Cooperative Information Retrieval on the World Wide Web.

Jicheng Wang, Xiangyu Jin, Xiaojiang Yang, Fuyan Zhang

J. Comput. Sci. Technol., 2000