12
Publications
357
Citations
11
H-Index
2011
Active since
Yingke Chen is an author at Sichuan University specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceData ScienceVerificationFormal MethodsRobot LearningAutomated ReasoningFormal VerificationBusinessIntelligent Systems
Publications per year
2011–2024
12
12
Noisy-Correspondence Learning for Text-to-Image Person Re-Identification
Yang Qin, Yingke Chen, Dezhong Peng et al. · 2024 · 75 citations
Learning deterministic probabilistic automata from a model checking perspective
Hua Mao, Yingke Chen, Manfred Jaeger et al. · Machine Learning · 2016 · 65 citations · Full text
Learning Probabilistic Automata for Model Checking
Hua Mao, Yingke Chen, Manfred Jaeger et al. · 2011 · 54 citations · Full text
Detecting anomalies with granular-ball fuzzy rough sets
Xinyu Su, Zhong Yuan, Baiyang Chen et al. · Information Sciences · 2024 · 28 citations
Rows per page
1–5 of 12