Li Jiao - RankMe

73 papers A* 2A 5B 11C 7Misc 2Journal 28Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	MolProphecy: Bridging Medicinal Chemists' Knowledge and Molecular Pre-Trained Models via a Multi-Modal Framework. CoRR Jianping Zhao, Qiong Zhou, Tian Wang, Yusi Fan, Qian Yang, Li Jiao, Chang Liu, Zhehao Guo, Qi Lu, Fengfeng Zhou, Ruochi Zhang
2024	J	`jnl`	An Algorithm for Simplifying 3D Building Models with Consideration for Detailed Features and Topological Structure. ISPRS Int. J. Geo Inf. Zhenglin Li, Zhanjie Zhao, Wujun Gao, Li Jiao
2024	—	`conf`	DP-YOLO: Enhancing Pedestrian Detection in Crowd Scenes with Deformable Convolution and Varifocal Loss. CSAIDE Li Jiao, Muhammad Irsyad Abdullah
2024	—	`conf`	Optimization of robot machining process parameters based on multi-feature signal fusion analysis. ICCIR Beiqing Zhang, Li Jiao, Yuhang Gao, Senjie Ma, Tianyang Qiu
2024	—	`conf`	Prompt-based Continual Learning for Extending Pretrained CLIP Models' Knowledge. MMAsia Li Jiao, Lihong Cao, Tian Wang
2024	A*	`conf`	Vector Quantization Prompting for Continual Learning. NeurIPS Li Jiao, Qiuxia Lai, Yu Li, Qiang Xu
2024	J	`jnl`	Vector Quantization Prompting for Continual Learning. CoRR Li Jiao, Qiuxia Lai, Yu Li, Qiang Xu
2024	J	`jnl`	YOLO series algorithms in object detection of unmanned aerial vehicles: a survey. Serv. Oriented Comput. Appl. Li Jiao, Muhammad Irsyad Abdullah
2023	—	`conf`	Research on Financial Fraud Identification Model Based on Privacy-Preserving Machine Learning. ICMLCA Li Jiao, Hui Li
2023	J	`jnl`	Safety guarantee for time-delay systems with disturbances. Sci. China Inf. Sci. Wenyou Liu, Yunjun Bai, Li Jiao, Naijun Zhan
2022	J	`jnl`	A Novel Multi-Task Learning Model with PSAE Network for Simultaneous Estimation of Surface Quality and Tool Wear in Milling of Nickel-Based Superalloy Haynes 230. Sensors Minghui Cheng, Li Jiao, Pei Yan, Huiqing Gu, Jie Sun, Tianyang Qiu, Xibin Wang
2022	—	`conf`	Research on the application of multi-parameter integration of drilling fluid based on temperature sensor. AIAM Li Jiao, Tianfeng Shi
2022	C	`conf`	SEDCN: An improved Deep & Cross Network Recommendation Algorithm based on SENET. ICIS Li Jiao, Nanchang Cheng
2021	B	`conf`	Abstraction-Based Incremental Inductive Coverability for Petri Nets. Petri Nets Jiawen Kang, Yunjun Bai, Li Jiao
2021	—	`conf`	Analysis of the Coupling Coordination Relationship between Digitalization and Cultural Industry. ICCIR Li Jiao
2021	—	`conf`	Effect of Postures and Cutting Process on Robot Milling Performance and Surface Quality. ICIRA (2) Lvchen Feng, Wenxiang Zhao, Zhibo Zhang, Pei Yan, Minghui Cheng, Li Jiao, Tianyang Qiu
2021	—	`conf`	Reach-Avoid Analysis for Delay Differential Equations. CDC Bai Xue, Yunjun Bai, Naijun Zhan, Wenyou Liu, Li Jiao
2021	C	`conf`	Research on Image Classification Based on Deep Learning. ICIS Li Jiao, Nanchang Cheng, Song Kang
2021	J	`jnl`	Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. CoRR Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
2021	—	`conf`	Switching controller synthesis for delay hybrid systems under perturbations. HSCC Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
2020	J	`jnl`	Automatically Generating SystemC Code from HCSP Formal Models. ACM Trans. Softw. Eng. Methodol. Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan
2020	J	`jnl`	Three-way decision based on decision-theoretic rough sets with single-valued neutrosophic information. Int. J. Mach. Learn. Cybern. Li Jiao, Hai-Long Yang, Sheng-Gang Li
2019	J	`jnl`	Analysis and prediction of autistic children's game characteristics. Int. J. Comput. Appl. Technol. Liu Chuanlei, Han Yuanfei, Li Jiao
2019	A	`conf`	Improving search-based software testing by constraint-based genetic operators. GECCO Ziming Zhu, Li Jiao
2018	C	`conf`	A Dynamic Fitness Function Based on Branch Hardness for Search Based Software Testing. APSEC Ziming Zhu, Li Jiao, Xiong Xu
2018	—	`conf`	A dynamic fitness function for search based software testing. GECCO (Companion) Xiong Xu, Li Jiao, Ziming Zhu
2018	B	`conf`	Boosting Search Based Software Testing by Using Ensemble Methods. CEC Xiong Xu, Li Jiao, Ziming Zhu
2018	A	`conf`	Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric. ICSME Ziming Zhu, Li Jiao, Xiong Xu
2018	B	`conf`	The Simulated Tree-Growth Algorithm Based on T-Invariants for State Reduction of Petri Nets. CEC Xiong Xu, Li Jiao, Ziming Zhu
2018	—	`conf`	WHU-NERCMS at TRECVID2018: Instance Search Task. TRECVID Dongshu Xu, Longxiang Jiang, Xiaoyu Chai, Jin Chen, Li Jiao, Jiaqi Li, Shichen Lu, Han Fang, Chao Liang
2017	B	`conf`	Accelerating low bit-width convolutional neural networks with embedded FPGA. FPL Li Jiao, Cheng Luo, Wei Cao, Xuegong Zhou, Lingli Wang
2017	A	`conf`	An adaptive fitness function based on branch hardness for search based testing. GECCO Xiong Xu, Ziming Zhu, Li Jiao
2017	A	`conf`	Does Posh English Sound Attractive? INTERSPEECH Li Jiao, Chengxia Wang, Cristiane Hsu, Peter Birkholz, Yi Xu
2017	B	`conf`	Efficient modeling and performance analysis for IEEE 802.15.4 with coloured Petri nets. IWQoS Xiang Hu, Li Jiao
2017	B	`conf`	Improved evolutionary generation of test data for multiple paths in search-based software testing. CEC Ziming Zhu, Xiong Xu, Li Jiao
2017	B	`conf`	Synthesizing SystemC Code from Delay Hybrid CSP. APLAS Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
2017	J	`jnl`	Synthesizing SystemC Code from Delay Hybrid CSP. CoRR Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
2016	B	`conf`	A high performance FPGA-based accelerator for large-scale convolutional neural networks. FPL Huimin Li, Xitian Fan, Li Jiao, Wei Cao, Xuegong Zhou, Lingli Wang
2016	B	`conf`	Approximate Bisimulation and Discretization of Hybrid CSP. FM Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
2016	J	`jnl`	Approximate Bisimulation and Discretization of Hybrid CSP. CoRR Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
2016	—	`conf`	High performance Deformable Part Model accelerator based on FPGA. FPT Qi Zhan, Min Gao, Li Jiao, Wei Cao, Xuegong Zhou, Lingli Wang
2016	J	`jnl`	Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets. Comput. J. Xiang Hu, Li Jiao, Zhijia Li
2016	J	`jnl`	Trace Abstraction Refinement for Solving Horn Clauses. Comput. J. Weifeng Wang, Li Jiao
2016	J	`jnl`	从UML到GSPN的转换和性能分析方法 (Transforming UML to GSPN for Performance Analysis). 计算机科学 Xiang Hu, Li Jiao, Yesheng Chai
2015	C	`conf`	Difference Bound Constraint Abstraction for Timed Automata Reachability Checking. FORTE Weifeng Wang, Li Jiao
2015	A	`conf`	Perceptual cues of whispered tones: are they really special? INTERSPEECH Li Jiao, Qiuwu Ma, Ting Wang, Yi Xu
2015	—	`conf`	Performance Analysis for Job Scheduling in Hierarchical HPC Systems: A Coloured Petri Nets Method. ICA3PP (4) Zhijia Li, Li Jiao, Xiang Hu
2015	J	`jnl`	基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析 (Performance Evaluation of Job Scheduling and InfiniBand Network Interconnection in High Performance Computing System Based on Stochastic Petri Nets). 计算机科学 Zhijia Li, Xiang Hu, Li Jiao, Weifeng Wang
2014	B	`conf`	Trace Abstraction Refinement for Timed Automata. ATVA Weifeng Wang, Li Jiao
2012	J	`jnl`	Using transition set sequences to partition behaviors of petri nets. Acta Informatica Yunhe Wang, Li Jiao
2010	J	`jnl`	A precongruence format for should testing preorder. J. Log. Algebraic Methods Program. Xiaowei Huang, Li Jiao, Weiming Lu
2010	B	`conf`	Canonical Transition Set Semantics for Petri Nets. Petri Nets Yunhe Wang, Li Jiao
2010	J	`jnl`	Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence. Comput. J. Xiaowei Huang, Li Jiao, Weiming Lu
2010	Misc	`conf`	Property Checking for 1-Place-Unbounded Petri Nets. TASE Yunhe Wang, Bo Jiang, Li Jiao
2008	C	`conf`	A method for verifying deadlock freedom and liveness of petri nets. ISCAS Li Jiao
2008	J	`jnl`	A note on regular Petri nets. Inf. Process. Lett. Li Jiao
2008	J	`jnl`	Handling Resource Sharing Problem Using Property-Preserving Place Fusions of Petri Nets. J. Circuits Syst. Comput. Li Jiao, Hejiao Huang, To-Yat Cheung
2008	—	`conf`	QoS-Aware Web Service Composition Based on SLA. ICNC (5) Wenli Dong, Li Jiao
2008	J	`jnl`	Refining and verifying regular Petri nets. Int. J. Syst. Sci. Li Jiao
2008	—	`conf`	Weak Parametric Failure Equivalences and Their Congruence Formats. CATS Xiaowei Huang, Li Jiao, Weiming Lu
2007	Misc	`conf`	A Semantic Preorder on Refinement and Fairness. TASE Xiaowei Huang, Li Jiao, Weiming Lu
2007	C	`conf`	What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. ICICS Xiaowei Huang, Li Jiao, Weiming Lu
2006	J	`jnl`	Compositional Verification for Workflow Nets. J. Circuits Syst. Comput. Li Jiao, To-Yat Cheung
2005	—	`conf`	An Adaptive Group-Based Reputation System in Peer-to-Peer Networks. WINE Liang Sun, Li Jiao, Yufeng Wang, Shiduan Cheng, Wendong Wang
2005	C	`conf`	Compositional analysis for regularity, liveness and boundedness. ICINCO Li Jiao
2005	—	`conf`	Decomposition of Nets and Verification in terms of Decomposition. CIMCA/IAWTIC Li Jiao
2005	J	`jnl`	Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction. Comput. J. Li Jiao, To-Yat Cheung, Weiming Lu
2005	J	`jnl`	Property-preserving Composition by Place Merging. J. Circuits Syst. Comput. Li Jiao, Hejiao Huang, To-Yat Cheung
2005	J	`jnl`	Property-preserving subnet reductions for designing manufacturing systems with shared resources. Theor. Comput. Sci. H. J. Huang, Li Jiao, To-Yat Cheung
2004	J	`jnl`	On liveness and boundedness of asymmetric choice nets. Theor. Comput. Sci. Li Jiao, To-Yat Cheung, Weiming Lu
2003	J	`jnl`	Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties. Int. J. Found. Comput. Sci. Li Jiao, To-Yat Cheung
2003	A*	`conf`	Property-preserving composition of augmented marked graphs that share common resources. ICRA H. J. Huang, Li Jiao, To-Yat Cheung
2002	—	`conf`	Characterizing Liveness of Petri Nets in Terms of Siphons. ICATPN Li Jiao, To-Yat Cheung, Weiming Lu