Xiangyu Jin - RankMe

31 papers A* 1A 2Misc 1Journal 12Unranked 14

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