近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
Yixiang Chen, Feifei Peng, Shuai Yao, Yuxin Xie: Lightweight Multilevel Feature-Fusion Network for Built-Up Area Mapping from Gaofen-2 Satellite Images. Remote. Sens. 16(4): 716 (2024)
Haiyun Xia, Yixiang Chen, Jinlong Yuan, Lian Su, Zhu Yuan, Shengjun Huang, Dexian Zhao: Windshear Detection in Rain Using a 30 km Radius Coherent Doppler Wind Lidar at Mega Airport in Plateau. Remote. Sens. 16(5): 924 (2024)
Wenmei Li, Jiadong Zhang, Hao Xia, Qing Liu, Yu Wang, Yan Jia, Yixiang Chen: Cross-Scene Building Identification Based on Dual-Stream Neural Network and Efficient Channel Attention Mechanism. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17: 6920-6932 (2024)
Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu: FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools. CoRR abs/2403.16032 (2024)
Kangli He, Hengyang Wu, Yixiang Chen: On divergence-sensitive weak probabilistic bisimilarity. Inf. Comput. 292: 105033 (2023)
Tianxiang Zheng, Xianmin Wang, Yixiang Chen, Fujia Yu, Jing Li: Feature evolvable learning with image streams. Intell. Data Anal. 27(4): 1047-1063 (2023)
Yixiang Chen, Shuai Yao, Zhongwen Hu, Bo Huang, LiZhi Miao, Jiaming Zhang: Built-Up Area Extraction Combing Densely Connected Dual-Attention Network and Multiscale Context. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 16: 5128-5143 (2023)
Jinyi Xu, Hao Shi, Yixiang Chen: Efficient tasks scheduling in multicore systems integrated with hardware accelerators. J. Supercomput. 79(7): 7244-7271 (2023)
Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen: A Comprehensive Study on Quality Assurance Tools for Java. ISSTA 2023: 285-297
Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, Yixiang Chen: Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. ESEC/SIGSOFT FSE 2023: 921-933
Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen: A Comprehensive Study on Quality Assurance Tools for Java. CoRR abs/2305.16812 (2023)
Weilin Wu, Yixiang Chen: A Trustworthy Classification Model for Intelligent Building Fire Risk. IEEE Access 10: 10371-10383 (2022)
Li Zhong, Yixiang Chen: A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles. IEEE Access 10: 19481-19492 (2022)
Hongwei Tao, Yixiang Chen, Hengyang Wu: Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes. Connect. Sci. 34(1): 1181-1200 (2022)
Jinyi Xu, Kaixuan Li, Yixiang Chen: Real-time task scheduling for FPGA-based multicore systems with communication delay. Microprocess. Microsystems 90: 104468 (2022)
Hongwei Tao, Lianyou Fu, Yixiang Chen, Lin Han, Xiao Wang: Improved Allocation and Reallocation Approaches for Software Trustworthiness Based on Mathematical Programming. Symmetry 14(3): 628 (2022)
Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen: Quantitative BAN Logic Based on Belief Degree. AILA 2022: 19-34
Zelong Yue, Xinghua Yao, Yixiang Chen: A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement. AILA 2022: 239-253
Qilong Nie, Yixiang Chen, Hongwei Tao: A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set. AILA 2022: 254-269
Yixiang Chen, Linhao Ye, Yufeng Ye, Peng Zhang, Qinfeng Tan: Anomaly Detection from Log Data Sequences with Perturbations. DSC 2022: 183-190
Yixiang Chen, Wenjia Shi, Xu Dang, Chao Wu, Sheng Li: Classification of Urban Functional Zones by Integrating Spatial Features of VHR Satellite Images and Semantic Features of POI Data. Geoinformatics 2022: 1-6
Weilin Wu, Na Wang, Yixiang Chen: A Novel Intelligent-Building-Fire-Risk Classification Method. ICECCS 2022: 168-172
Yixiang Chen, Songmao Zhang: Artificial Intelligence Logic and Applications - The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings. Communications in Computer and Information Science 1657, Springer 2022, ISBN 978-981-19-7509-7 [contents]
Meng Wang, Xinghua Yao, Yixiang Chen: An Imbalanced-Data Processing Algorithm for the Prediction of Heart Attack in Stroke Patients. IEEE Access 9: 25394-25404 (2021)
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu: A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. 202: 102546 (2021)
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet: A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. Sci. Comput. Program. 203: 102591 (2021)
Hao Shi, Yixiang Chen, Jinyi Xu: An Efficient Scheduling Algorithm for Distributed Heterogeneous Systems with Task Duplication Allowed. ISPA/BDCloud/SocialCom/SustainCom 2021: 578-587
Qingyuan Jiang, Jinyi Xu, Yixiang Chen: A Genetic Algorithm for Scheduling in Heterogeneous Multicore System Integrated with FPGA. ISPA/BDCloud/SocialCom/SustainCom 2021: 594-602
Yuzhi Liang, Yixiang Chen: DVFL: A Vertical Federated Learning Method for Dynamic Data. CoRR abs/2111.03341 (2021)
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen: A verification framework for spatio-temporal consistency language with CCSL as a specification language. Frontiers Comput. Sci. 14(1): 105-129 (2020)
Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen: Connection models for the Internet-of-Things. Frontiers Comput. Sci. 14(3): 143401 (2020)
Hongwei Tao, Yixiang Chen, Hengyang Wu: Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. QRS Companion 2020: 308-315
Fei Yin, Jinyi Xu, Yixiang Chen: Research of Micro-expression Recognition Model based on Feature Unit. QRS Companion 2020: 438-444
Yuanrui Zhang, Yixiang Chen, Hengyang Wu: A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour. IEEE Access 7: 57172-57187 (2019)
Baohua Wang, Yixiang Chen, Shun Zhang, Hengyang Wu: Updating Model of Software Component Trustworthiness Based on Users Feedback. IEEE Access 7: 60199-60205 (2019)
Yuan Yuan, Lei Lin, Jingbo Chen, Hichem Sahli, Yixiang Chen, Chengyi Wang, Bin Wu: A New Framework for Modelling and Monitoring the Conversion of Cultivated Land to Built-up Land Based on a Hierarchical Hidden Semi-Markov Model Using Satellite Image Time Series. Remote. Sens. 11(2): 210 (2019)
Yan Jia, Shuanggen Jin, Patrizia Savi, Yun Gao, Jing Tang, Yixiang Chen, Wenmei Li: GNSS-R Soil Moisture Retrieval Based on a XGboost Machine Learning Aided Method: Performance and Validation. Remote. Sens. 11(14): 1655 (2019)
Zhiyong Lv, Guangfei Li, Yixiang Chen, Jón Atli Benediktsson: Novel Multi-Scale Filter Profile-Based Framework for VHR Remote Sensing Image Classification. Remote. Sens. 11(18): 2153 (2019)
Yixiang Chen, Zhiyong Lv, Bo Huang, Pengdong Zhang, Yu Zhang: Automatic Extraction of Built-Up Areas from Very High-Resolution Satellite Imagery Using Patch-Level Spatial Features and Gestalt Laws of Perceptual Grouping. Remote. Sens. 11(24): 3022 (2019)
Peifen Wang, Yixiang Chen, Hengyang Wu: A Hybrid Clock Logic System for CPS. ISKE 2019: 675-682
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen: A Logical Approach for the Schedulability Analysis of CCSL. TASE 2019: 25-32
Yi-Xiang Chen: Vortex and multipole coupled solitons in the spatially modulated cubic-quintic-septimal nonlinear material. Comput. Math. Appl. 76(9): 2119-2128 (2018)
Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng: Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets Syst. 333: 106-123 (2018)
Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen: Bisimulations for fuzzy transition systems revisited. Int. J. Approx. Reason. 99: 1-11 (2018)
Yulong Wang, Kun Qin, Yixiang Chen, Pengxiang Zhao: Detecting Anomalous Trajectories and Behavior Patterns Using Hierarchical Clustering from Taxi GPS Data. ISPRS Int. J. Geo Inf. 7(1): 25 (2018)
Zhiyong Lv, Tongfei Liu, Penglin Zhang, Jón Atli Benediktsson, Yixiang Chen: Land Cover Change Detection Based on Adaptive Contextual Information Using Bi-Temporal Remote Sensing Images. Remote. Sens. 10(6): 901 (2018)
Yixiang Chen, Zhiyong Lv, Bo Huang, Yan Jia: Delineation of Built-Up Areas from Very High-Resolution Satellite Imagery Using Multi-Scale Textures and Spatial Dependence. Remote. Sens. 10(10): 1596 (2018)
Zhiyuan Tang, Dong Wang, Yixiang Chen, Lantian Li, Andrew Abel: Phonetic Temporal Neural Model for Language Identification. IEEE ACM Trans. Audio Speech Lang. Process. 26(1): 134-144 (2018)
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet: Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. FTSCS 2018: 101-118
Lantian Li, Dong Wang, Yixiang Chen, Ying Shi, Zhiyuan Tang, Thomas Fang Zheng: Deep Factorization for Speech Signal. ICASSP 2018: 5094-5098
Yan Jia, Yixiang Chen, Houjun Jiang, Yang Le, Heping Lin: A carbon nanotube patch antenna for polarization selective radiation performance. ICKII 2018: 217-220
Yufei Yin, Shaoying Liu, Yixiang Chen: Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. SOFL+MSVL 2018: 71-88
Lantian Li, Dong Wang, Yixiang Chen, Ying Shi, Zhiyuan Tang, Thomas Fang Zheng: Deep factorization for speech signal. CoRR abs/1803.00886 (2018)
Pengxiang Zhao, Kun Qin, Xinyue Ye, Yulong Wang, Yixiang Chen: A trajectory clustering approach based on decision graph and data field for detecting hotspots. Int. J. Geogr. Inf. Sci. 31(6): 1101-1127 (2017)
Miao Zhang, Yixiang Chen, Lantian Li, Dong Wang: Speaker recognition with cough, laugh and "Wei". APSIPA 2017: 497-501
Zhiyuan Tang, Dong Wang, Yixiang Chen, Qing Chen: AP17-OLR challenge: Data, plan, and baseline. APSIPA 2017: 749-753
Kangli He, Holger Hermanns, Yixiang Chen: Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) 2017: 234-243
Shingo Fukuoka, Yixiang Chen, Shaoying Liu: Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. GSKI (1) 2017: 83-95
Lantian Li, Yixiang Chen, Dong Wang, Thomas Fang Zheng: A Study on Replay Attack and Anti-Spoofing for Automatic Speaker Verification. INTERSPEECH 2017: 92-96
Lantian Li, Yixiang Chen, Ying Shi, Zhiyuan Tang, Dong Wang: Deep Speaker Feature Learning for Text-Independent Speaker Verification. INTERSPEECH 2017: 1542-1546
Zhiyuan Tang, Dong Wang, Yixiang Chen, Ying Shi, Lantian Li: Phone-aware neural language identification. O-COCOSDA 2017: 1-6
Tian-Ming Bu, Hengyang Wu, Yixiang Chen: Computing behavioural distance for fuzzy transition systems. TASE 2017: 1-7
Zhiyuan Tang, Dong Wang, Yixiang Chen, Lantian Li, Andrew Abel: Phonetic Temporal Neural Model for Language Identification. CoRR abs/1705.03151 (2017)
Zhiyuan Tang, Dong Wang, Yixiang Chen, Ying Shi, Lantian Li: Phone-aware Neural Language Identification. CoRR abs/1705.03152 (2017)
Lantian Li, Yixiang Chen, Ying Shi, Zhiyuan Tang, Dong Wang: Deep Speaker Feature Learning for Text-independent Speaker Verification. CoRR abs/1705.03670 (2017)
Dong Wang, Lantian Li, Ying Shi, Yixiang Chen, Zhiyuan Tang: Deep Factorization for Speech Signal. CoRR abs/1706.01777 (2017)
Lantian Li, Yixiang Chen, Dong Wang, Thomas Fang Zheng: A Study on Replay Attack and Anti-Spoofing for Automatic Speaker Verification. CoRR abs/1706.02101 (2017)
Miao Zhang, Yixiang Chen, Lantian Li, Dong Wang: Speaker Recognition with Cough, Laugh and "Wei". CoRR abs/1706.07860 (2017)
Zhiyuan Tang, Dong Wang, Yixiang Chen, Qing Chen: AP17-OLR Challenge: Data, Plan, and Baseline. CoRR abs/1706.09742 (2017)
Xinxing Wu, Guosheng Hu, Yixiang Chen: 概率拟Hoare逻辑 (Probabilistic Quasi-Hoare Logic). 计算机科学 43(4): 177-181 (2016)
Yixiang Chen, Kun Qin, Houjun Jiang, Tao Wu, Ye Zhang: Built-up area extraction using data field from high-resolution satellite images. IGARSS 2016: 437-440
Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang: PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. MMB/DFT 2016: 77-91
Yuanrui Zhang, Yujing Ma, Yixiang Chen: A UTP Refinement Model of the STeC Language. QRS Companion 2016: 236-243
Jinyang Li, Yuanrui Zhang, Yixiang Chen: A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles. QRS Companion 2016: 382-388
Lantian Li, Yixiang Chen, Dong Wang, Chenghui Zhao: Weakly Supervised PLDA Training. CoRR abs/1609.08441 (2016)
京公网安备 11010802027423号