default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYixiang Chen
Yi-Xiang Chen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j58]Hongwei Tao, Han Liu, Xiaoxu Niu
, Licheng Ding, Yixiang Chen, Qiaoling Cao:
Software aging oriented trustworthiness measurement based on weighted Boltzmann entropy. Inf. Softw. Technol. 178: 107606 (2025)- 2024
- [j57]Yixiang Chen, Yuxin Xie, Xu Dang, Bo Huang, Chao Wu, Donglai Jiao:
Spatiotemporal prediction of carbon emissions using a hybrid deep learning model considering temporal and spatial correlations. Environ. Model. Softw. 172: 105937 (2024) - [j56]Lin Chen, Xueyuan Yin, Dandan Zhao, Hongwei Lu, Lu Li, Yixiang Chen:
Research on Building an ARM-Based Container Cloud Platform. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107(4): 654-665 (2024) - [j55]Yongqi Xia, Yi Huang, Qianqian Qiu, Xueying Zhang, Lizhi Miao, Yixiang Chen:
A Question and Answering Service of Typhoon Disasters Based on the T5 Large Language Model. ISPRS Int. J. Geo Inf. 13(5): 165 (2024) - [j54]Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen:
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? Proc. ACM Softw. Eng. 1(FSE): 1447-1470 (2024) - [j53]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) - [j52]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) - [j51]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) - [j50]Yixiang Chen, Xu Dang, Daoyou Zhu, Yi Huang, Kun Qin:
Urban functional zone mapping by coupling domain knowledge graphs and high-resolution satellite images. Trans. GIS 28(6): 1510-1535 (2024) - [c70]Yi-Xiang Chen, Guan-Yu Shih, Hsien-Wei Ting, Ting-Ying Chien:
Base on GAN Combined with CNN Architecture to Generate Brain Stroke CT Images. ICMHI 2024: 47-51 - [c69]Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen:
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software. ISSTA 2024: 590-602 - [c68]Han Liu, Daoyuan Wu, Yuqiang Sun, Haijun Wang, Kaixuan Li, Yang Liu, Yixiang Chen:
Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts. USENIX Security Symposium 2024 - [i15]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) - [i14]Jinyi Xu, Zuowei Zhang, Ze Lin, Yixiang Chen, Zhe Liu, Weiping Ding:
How to characterize imprecision in multi-view clustering? CoRR abs/2404.04970 (2024) - [i13]Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen:
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? CoRR abs/2404.18186 (2024) - [i12]Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen:
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software. CoRR abs/2407.17065 (2024) - 2023
- [j49]Kangli He, Hengyang Wu, Yixiang Chen:
On divergence-sensitive weak probabilistic bisimilarity. Inf. Comput. 292: 105033 (2023) - [j48]Tianxiang Zheng, Xianmin Wang, Yixiang Chen, Fujia Yu, Jing Li:
Feature evolvable learning with image streams. Intell. Data Anal. 27(4): 1047-1063 (2023) - [j47]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) - [j46]Jinyi Xu, Hao Shi, Yixiang Chen:
Efficient tasks scheduling in multicore systems integrated with hardware accelerators. J. Supercomput. 79(7): 7244-7271 (2023) - [c67]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 - [c66]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 - [i11]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) - 2022
- [j45]Weilin Wu, Yixiang Chen:
A Trustworthy Classification Model for Intelligent Building Fire Risk. IEEE Access 10: 10371-10383 (2022) - [j44]Li Zhong, Yixiang Chen:
A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles. IEEE Access 10: 19481-19492 (2022) - [j43]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) - [j42]Jinyi Xu, Kaixuan Li, Yixiang Chen:
Real-time task scheduling for FPGA-based multicore systems with communication delay. Microprocess. Microsystems 90: 104468 (2022) - [j41]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) - [c65]Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen:
Quantitative BAN Logic Based on Belief Degree. AILA 2022: 19-34 - [c64]Zelong Yue, Xinghua Yao, Yixiang Chen:
A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement. AILA 2022: 239-253 - [c63]Qilong Nie, Yixiang Chen, Hongwei Tao:
A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set. AILA 2022: 254-269 - [c62]Yixiang Chen, Linhao Ye, Yufeng Ye, Peng Zhang, Qinfeng Tan:
Anomaly Detection from Log Data Sequences with Perturbations. DSC 2022: 183-190 - [c61]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 - [c60]Weilin Wu, Na Wang, Yixiang Chen:
A Novel Intelligent-Building-Fire-Risk Classification Method. ICECCS 2022: 168-172 - [e3]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] - 2021
- [j40]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) - [j39]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) - [j38]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) - [c59]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 - [c58]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 - [i10]Yuzhi Liang, Yixiang Chen:
DVFL: A Vertical Federated Learning Method for Dynamic Data. CoRR abs/2111.03341 (2021) - 2020
- [j37]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) - [j36]Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen:
Connection models for the Internet-of-Things. Frontiers Comput. Sci. 14(3): 143401 (2020) - [c57]Hongwei Tao, Yixiang Chen, Hengyang Wu:
Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. QRS Companion 2020: 308-315 - [c56]Fei Yin, Jinyi Xu, Yixiang Chen:
Research of Micro-expression Recognition Model based on Feature Unit. QRS Companion 2020: 438-444
2010 – 2019
- 2019
- [j35]Yuanrui Zhang, Yixiang Chen, Hengyang Wu:
A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour. IEEE Access 7: 57172-57187 (2019) - [j34]Baohua Wang, Yixiang Chen, Shun Zhang, Hengyang Wu:
Updating Model of Software Component Trustworthiness Based on Users Feedback. IEEE Access 7: 60199-60205 (2019) - [j33]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) - [j32]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) - [j31]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) - [j30]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) - [c55]Peifen Wang, Yixiang Chen, Hengyang Wu:
A Hybrid Clock Logic System for CPS. ISKE 2019: 675-682 - [c54]Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen:
A Logical Approach for the Schedulability Analysis of CCSL. TASE 2019: 25-32 - 2018
- [j29]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) - [j28]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) - [j27]Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen:
Bisimulations for fuzzy transition systems revisited. Int. J. Approx. Reason. 99: 1-11 (2018) - [j26]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) - [j25]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) - [j24]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) - [j23]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) - [c53]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 - [c52]Lantian Li, Dong Wang, Yixiang Chen, Ying Shi, Zhiyuan Tang, Thomas Fang Zheng:
Deep Factorization for Speech Signal. ICASSP 2018: 5094-5098 - [c51]Yan Jia, Yixiang Chen, Houjun Jiang, Yang Le, Heping Lin:
A carbon nanotube patch antenna for polarization selective radiation performance. ICKII 2018: 217-220 - [c50]Yufei Yin, Shaoying Liu, Yixiang Chen:
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. SOFL+MSVL 2018: 71-88 - [i9]Lantian Li, Dong Wang, Yixiang Chen, Ying Shi, Zhiyuan Tang, Thomas Fang Zheng:
Deep factorization for speech signal. CoRR abs/1803.00886 (2018) - 2017
- [j22]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) - [c49]Miao Zhang, Yixiang Chen, Lantian Li, Dong Wang:
Speaker recognition with cough, laugh and "Wei". APSIPA 2017: 497-501 - [c48]Zhiyuan Tang, Dong Wang, Yixiang Chen, Qing Chen:
AP17-OLR challenge: Data, plan, and baseline. APSIPA 2017: 749-753 - [c47]Kangli He, Holger Hermanns, Yixiang Chen:
Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) 2017: 234-243 - [c46]Shingo Fukuoka, Yixiang Chen, Shaoying Liu:
Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. GSKI (1) 2017: 83-95 - [c45]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 - [c44]Lantian Li, Yixiang Chen, Ying Shi, Zhiyuan Tang, Dong Wang:
Deep Speaker Feature Learning for Text-Independent Speaker Verification. INTERSPEECH 2017: 1542-1546 - [c43]Zhiyuan Tang, Dong Wang, Yixiang Chen, Ying Shi, Lantian Li:
Phone-aware neural language identification. O-COCOSDA 2017: 1-6 - [c42]Tian-Ming Bu, Hengyang Wu, Yixiang Chen:
Computing behavioural distance for fuzzy transition systems. TASE 2017: 1-7 - [i8]Zhiyuan Tang, Dong Wang, Yixiang Chen, Lantian Li, Andrew Abel:
Phonetic Temporal Neural Model for Language Identification. CoRR abs/1705.03151 (2017) - [i7]Zhiyuan Tang, Dong Wang, Yixiang Chen, Ying Shi, Lantian Li:
Phone-aware Neural Language Identification. CoRR abs/1705.03152 (2017) - [i6]Lantian Li, Yixiang Chen, Ying Shi, Zhiyuan Tang, Dong Wang:
Deep Speaker Feature Learning for Text-independent Speaker Verification. CoRR abs/1705.03670 (2017) - [i5]Dong Wang, Lantian Li, Ying Shi, Yixiang Chen, Zhiyuan Tang:
Deep Factorization for Speech Signal. CoRR abs/1706.01777 (2017) - [i4]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) - [i3]Miao Zhang, Yixiang Chen, Lantian Li, Dong Wang:
Speaker Recognition with Cough, Laugh and "Wei". CoRR abs/1706.07860 (2017) - [i2]Zhiyuan Tang, Dong Wang, Yixiang Chen, Qing Chen:
AP17-OLR Challenge: Data, Plan, and Baseline. CoRR abs/1706.09742 (2017) - 2016
- [j21]Xinxing Wu, Guosheng Hu, Yixiang Chen:
概率拟Hoare逻辑 (Probabilistic Quasi-Hoare Logic). 计算机科学 43(4): 177-181 (2016) - [c41]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 - [c40]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 - [c39]Yuanrui Zhang, Yujing Ma, Yixiang Chen:
A UTP Refinement Model of the STeC Language. QRS Companion 2016: 236-243 - [c38]Jinyang Li, Yuanrui Zhang, Yixiang Chen:
A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles. QRS Companion 2016: 382-388 - [i1]Lantian Li, Yixiang Chen, Dong Wang, Chenghui Zhao:
Weakly Supervised PLDA Training. CoRR abs/1609.08441 (2016) - 2015
- [j20]Tao Wu, Jin Xiao, Kun Qin, Yixiang Chen:
Cloud model-based method for range-constrained thresholding. Comput. Electr. Eng. 42: 33-48 (2015) - [j19]Yanwen Chen, Yixiang Chen, Eric Madelaine:
Timed-pNets: a communication behavioural semantic model for distributed systems. Frontiers Comput. Sci. 9(1): 87-110 (2015) - [j18]Na Wang, Yixiang Chen:
A Comprehensive Trust Model Based on Multi-factors for WSNs. Int. J. Comput. Commun. Control 10(2): 248-262 (2015) - [j17]Xinxing Wu, Guosheng Hu, Yixiang Chen:
Web服务降级替换的一致性问题及量化研究 (Quantification and Conformance of Web Service Degraded Substitution). 计算机科学 42(2): 81-85 (2015) - [j16]Xinxing Wu, Guosheng Hu, Yixiang Chen:
[α1，α2]1-概率拟Hoare逻辑及其可靠性证明 ([α1, α2]1-Probabilistic Quasi-Hoare Logic and its Reliability). 计算机科学 42(Z11): 93-99 (2015) - [c37]Yuanrui Zhang, Yixiang Chen, Yujing Ma:
A Framework for Data-Driven Automata Design. APRES 2015: 33-47 - [c36]Yujing Ma, Yixiang Chen, Bin Gu:
An Attributes-Based Allocation Approach of Software Trustworthy Degrees. QRS Companion 2015: 89-94 - [c35]Huiyong Li, Yuanrui Zhang, Yixiang Chen:
PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles. QRS Companion 2015: 161-168 - [c34]Zhihua Yang, Bo Xiao, Yixiang Chen:
Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC. TASE 2015: 131-134 - [c33]Kangli He, Min Zhang, Jia He, Yixiang Chen:
Probabilistic Model Checking of Pipe protocol. TASE 2015: 135-138 - 2014
- [j15]Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen:
Quantitative Analysis of Lattice-valued Kripke Structures. Fundam. Informaticae 135(3): 269-293 (2014) - [j14]Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen:
Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reason. 55(3): 797-811 (2014) - [j13]Yixiang Chen, Kun Qin, Shunzi Gan, Tao Wu:
Structural Feature Modeling of High-Resolution Remote Sensing Images Using Directional Spatial Correlation. IEEE Geosci. Remote. Sens. Lett. 11(10): 1727-1731 (2014) - [c32]Yixiang Chen, Yuanrui Zhang:
A Hybrid Clock System Related to STeC Language. SERE (Companion) 2014: 199-203 - [c31]Xinghua Yao, Yixiang Chen:
A Proof System in Process Algebra for Demand and Supply. SERE (Companion) 2014: 228-236 - [c30]Yuanrui Zhang, Frédéric Mallet, Yixiang Chen:
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. TASE 2014: 201-208 - 2013
- [c29]Jie Zhou, Tian-Ming Bu, Hong Zhu, Yixiang Chen:
Vehicle Scheduling Problem on Trees. BIC-TA 2013: 535-541 - [c28]Xinghua Yao, Min Zhang, Yixiang Chen:
A Proof System in PADS. ICTAC 2013: 391-408 - [c27]Lewen Zhang, Yong Zhou, Yixiang Chen, Min Zhang, Juyang Zhang:
Stability of Software Trustworthiness Measurements Models. SERE (Companion) 2013: 219-224 - [c26]Hengyang Wu, Yixiang Chen, Min Zhang:
On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. TASE 2013: 113-120 - [c25]Hengyang Wu, Yixiang Chen:
Coalgebras for Fuzzy Transition Systems. ISDT 2013: 91-101 - 2012
- [j12]Hengyang Wu, Yixiang Chen:
Semantics of non-deterministic possibility computation. Fuzzy Sets Syst. 199: 47-63 (2012) - [j11]Hongwei Tao, Yixiang Chen:
A new metric model for trustworthiness of softwares. Telecommun. Syst. 51(2-3): 95-105 (2012) - [c24]Yixiang Chen:
STeC: A Location-Triggered Specification Language for Real-Time Systems. ISORC Workshops 2012: 1-6 - [c23]Linhua Jiang, Chao Peng, Haibin Cai, Yixiang Chen, Xiaodong Chen:
Low Power Consumption Data Structure Design for Embedded Applications in Real-Time Systems. ISORC Workshops 2012: 13-18 - [c22]Haiyu Pan, Min Zhang, Yixiang Chen:
Bisimilarity for fuzzy doubly Labeled Transition Systems. QLSC 2012 - [c21]Hongwei Tao, Yixiang Chen:
A Quantitative Relation Model between Trustworthy Attributes. QLSC 2012 - [c20]Hengyang Wu, Yixiang Chen:
The Partial Correctness Semantics of Imperative fuzzy Programming Language. QLSC 2012 - [c19]Haiyu Pan, Min Zhang, Yixiang Chen:
Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. SERE (Companion) 2012: 137-143 - [c18]Haiyu Pan, Min Zhang, Yixiang Chen:
Bisimulation for Lattice-valued Transition Systems. TASE 2012: 279-282 - 2011
- [j10]Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen:
Two-thirds simulation indexes and modal logic characterization. Frontiers Comput. Sci. China 5(4): 454-471 (2011) - [c17]Yanwen Chen, Fabrice Huet, Yixiang Chen:
Implementation and Optimization of RDF Query using Hadoop. CLOSER 2011: 512-515 - [c16]Hengyang Wu, Yixiang Chen:
The Semantics of wlp and slp of Fuzzy Imperative Programming Languages. NL-MUA 2011: 357-364 - [c15]Haiyu Pan, Min Zhang, Yixiang Chen:
Approximate Simulation for Metric Hybrid Input/Output Automata. SSIRI (Companion) 2011: 53-59 - [c14]Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu:
Approximate Bisimulation for Metric Doubly Labeled Transition System. TASE 2011: 108-114 - 2010
- [j9]Juyang Zhang, Yixiang Chen:
Trustworthy Dynamic Scheduling based on Constraint Solving Scheme. Int. J. Inf. Process. Manag. 1(2): 68-73 (2010) - [c13]Yixiang Chen, Xinxing Wu:
Success Measurement of Web Services with BPEL. SOSE 2010: 86-90 - [c12]Xinxing Wu, Yixiang Chen:
Trustworthiness Expectation of Real-Time Web Services. UIC/ATC Workshops 2010: 292-298
2000 – 2009
- 2009
- [c11]Jie Zhou, Yixiang Chen:
Modeling Instability in a New Framework of Interval Valued Process Algebra. ACIS-ICIS 2009: 21-26 - [c10]Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu:
Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. Web Intelligence/IAT Workshops 2009: 62-64 - [c9]Hongwei Tao, Yixiang Chen:
A Metric Model for Trustworthiness of Softwares. Web Intelligence/IAT Workshops 2009: 69-72 - [c8]Yanfang Ma, Min Zhang, Yixiang Chen:
Infinite Evolution Mechanism of Probabilistic Processes. ICTCS 2009: 155-161 - [c7]Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu:
Average Transitive Trustworthy Degrees for Trustworthy Networks. RSKT 2009: 682-689 - [c6]Yanfang Ma, Min Zhang, Yixiang Chen:
Parameterized Bisimulation Infinite Evolution Mechanism. TASE 2009: 299-300 - [c5]Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
Preface. ISDT 2009: 1-2 - [c4]Hengyang Wu, Yixiang Chen:
A Duality Theorem for Quantitative Semantics. ISDT 2009: 87-97 - [e2]Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009. Electronic Notes in Theoretical Computer Science 257, Elsevier 2009 [contents] - 2008
- [j8]Yixiang Chen, Hengyang Wu:
Semantics of sub-probabilistic programs. Frontiers Comput. Sci. China 2(1): 29-38 (2008) - [j7]Yixiang Chen, Hengyang Wu:
Domain semantics of possibility computations. Inf. Sci. 178(12): 2661-2679 (2008) - [c3]Hongyan Mao, Yixiang Chen:
Research of a Multi-dimension Measurement Trusting Model Based on Markov Chain. EUC (2) 2008: 71-76 - [c2]Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden:
Preface. FICS 2008: 1 - [e1]Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden:
Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008. Electronic Notes in Theoretical Computer Science 212, Elsevier 2008 [contents] - 2006
- [j6]Yixiang Chen, Guo-Qiang Zhang:
Maximality and totality of stable functions in the category of stable bifinite domains. Comput. Math. Appl. 51(6-7): 1011-1020 (2006) - [j5]Yi-Xiang Chen, Achim Jung:
A logical approach to stable domains. Theor. Comput. Sci. 368(1-2): 124-148 (2006) - 2003
- [j4]Tzuu-Hseng S. Li, Shih-Jie Chang, Yi-Xiang Chen:
Implementation of human-like driving skills by autonomous fuzzy behavior control on an FPGA-based car-like mobile robot. IEEE Trans. Ind. Electron. 50(5): 867-880 (2003) - [c1]Tzuu-Hseng S. Li, Shih-Jie Chang, Yi-Xiang Chen:
Implementation of autonomous fuzzy garage-parking control by an FPGA-based car-like mobile robot using infrared sensors. ICRA 2003: 3776-3781 - 2001
- [j3]Guoqiang Zhang, Yixiang Chen:
Domains via Graphs. J. Comput. Sci. Technol. 16(6): 505-521 (2001)
1990 – 1999
- 1997
- [j2]Yixiang Chen:
On compactness of induced I(L)-fuzzy topological spaces. Fuzzy Sets Syst. 88(3): 373-378 (1997) - 1996
- [j1]Yixiang Chen:
Convergence in topological molecular lattices. Fuzzy Sets Syst. 84(1): 97-102 (1996)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
