Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yixiang Chen
@article{DBLP:journals/remotesensing/ChenPYX24,
author = {Yixiang Chen and
Feifei Peng and
Shuai Yao and
Yuxin Xie},
title = {Lightweight Multilevel Feature-Fusion Network for Built-Up Area Mapping
from Gaofen-2 Satellite Images},
journal = {Remote. Sens.},
volume = {16},
number = {4},
pages = {716},
year = {2024},
url = {https://doi.org/10.3390/rs16040716},
doi = {10.3390/RS16040716},
timestamp = {Mon, 04 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/ChenPYX24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/XiaCYSYHZ24,
author = {Haiyun Xia and
Yixiang Chen and
Jinlong Yuan and
Lian Su and
Zhu Yuan and
Shengjun Huang and
Dexian Zhao},
title = {Windshear Detection in Rain Using a 30 km Radius Coherent Doppler
Wind Lidar at Mega Airport in Plateau},
journal = {Remote. Sens.},
volume = {16},
number = {5},
pages = {924},
year = {2024},
url = {https://doi.org/10.3390/rs16050924},
doi = {10.3390/RS16050924},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/XiaCYSYHZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/LiZXLWJC24,
author = {Wenmei Li and
Jiadong Zhang and
Hao Xia and
Qing Liu and
Yu Wang and
Yan Jia and
Yixiang Chen},
title = {Cross-Scene Building Identification Based on Dual-Stream Neural Network
and Efficient Channel Attention Mechanism},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {17},
pages = {6920--6932},
year = {2024},
url = {https://doi.org/10.1109/JSTARS.2024.3375321},
doi = {10.1109/JSTARS.2024.3375321},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/staeors/LiZXLWJC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-16032,
author = {Han Liu and
Jian Zhang and
Cen Zhang and
Xiaohan Zhang and
Kaixuan Li and
Sen Chen and
Shang{-}Wei Lin and
Yixiang Chen and
Xinhua Li and
Yang Liu},
title = {FineWAVE: Fine-Grained Warning Verification of Bugs for Automated
Static Analysis Tools},
journal = {CoRR},
volume = {abs/2403.16032},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.16032},
doi = {10.48550/ARXIV.2403.16032},
eprinttype = {arXiv},
eprint = {2403.16032},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-16032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HeWC23,
author = {Kangli He and
Hengyang Wu and
Yixiang Chen},
title = {On divergence-sensitive weak probabilistic bisimilarity},
journal = {Inf. Comput.},
volume = {292},
pages = {105033},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105033},
doi = {10.1016/J.IC.2023.105033},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HeWC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/ZhengWCYL23,
author = {Tianxiang Zheng and
Xianmin Wang and
Yixiang Chen and
Fujia Yu and
Jing Li},
title = {Feature evolvable learning with image streams},
journal = {Intell. Data Anal.},
volume = {27},
number = {4},
pages = {1047--1063},
year = {2023},
url = {https://doi.org/10.3233/IDA-226799},
doi = {10.3233/IDA-226799},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ida/ZhengWCYL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/ChenYHHMZ23,
author = {Yixiang Chen and
Shuai Yao and
Zhongwen Hu and
Bo Huang and
LiZhi Miao and
Jiaming Zhang},
title = {Built-Up Area Extraction Combing Densely Connected Dual-Attention
Network and Multiscale Context},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {16},
pages = {5128--5143},
year = {2023},
url = {https://doi.org/10.1109/JSTARS.2023.3281363},
doi = {10.1109/JSTARS.2023.3281363},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/staeors/ChenYHHMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/XuSC23,
author = {Jinyi Xu and
Hao Shi and
Yixiang Chen},
title = {Efficient tasks scheduling in multicore systems integrated with hardware
accelerators},
journal = {J. Supercomput.},
volume = {79},
number = {7},
pages = {7244--7271},
year = {2023},
url = {https://doi.org/10.1007/s11227-022-04955-w},
doi = {10.1007/S11227-022-04955-W},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/XuSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiuCFLLXNLC23,
author = {Han Liu and
Sen Chen and
Ruitao Feng and
Chengwei Liu and
Kaixuan Li and
Zhengzi Xu and
Liming Nie and
Yang Liu and
Yixiang Chen},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {A Comprehensive Study on Quality Assurance Tools for Java},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {285--297},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598056},
doi = {10.1145/3597926.3598056},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LiuCFLLXNLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiCFFLLLC23,
author = {Kaixuan Li and
Sen Chen and
Lingling Fan and
Ruitao Feng and
Han Liu and
Chengwei Liu and
Yang Liu and
Yixiang Chen},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Comparison and Evaluation on Static Application Security Testing {(SAST)}
Tools for Java},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {921--933},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616262},
doi = {10.1145/3611643.3616262},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LiCFFLLLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16812,
author = {Han Liu and
Sen Chen and
Ruitao Feng and
Chengwei Liu and
Kaixuan Li and
Zhengzi Xu and
Liming Nie and
Yang Liu and
Yixiang Chen},
title = {A Comprehensive Study on Quality Assurance Tools for Java},
journal = {CoRR},
volume = {abs/2305.16812},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16812},
doi = {10.48550/ARXIV.2305.16812},
eprinttype = {arXiv},
eprint = {2305.16812},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WuC22,
author = {Weilin Wu and
Yixiang Chen},
title = {A Trustworthy Classification Model for Intelligent Building Fire Risk},
journal = {{IEEE} Access},
volume = {10},
pages = {10371--10383},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3143614},
doi = {10.1109/ACCESS.2022.3143614},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/WuC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ZhongC22,
author = {Li Zhong and
Yixiang Chen},
title = {A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles},
journal = {{IEEE} Access},
volume = {10},
pages = {19481--19492},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3149920},
doi = {10.1109/ACCESS.2022.3149920},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/ZhongC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/connection/TaoCW22,
author = {Hongwei Tao and
Yixiang Chen and
Hengyang Wu},
title = {Theoretical and empirical validation of software trustworthiness measure
based on the decomposition of attributes},
journal = {Connect. Sci.},
volume = {34},
number = {1},
pages = {1181--1200},
year = {2022},
url = {https://doi.org/10.1080/09540091.2022.2061424},
doi = {10.1080/09540091.2022.2061424},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/connection/TaoCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/XuLC22,
author = {Jinyi Xu and
Kaixuan Li and
Yixiang Chen},
title = {Real-time task scheduling for FPGA-based multicore systems with communication
delay},
journal = {Microprocess. Microsystems},
volume = {90},
pages = {104468},
year = {2022},
url = {https://doi.org/10.1016/j.micpro.2022.104468},
doi = {10.1016/J.MICPRO.2022.104468},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/XuLC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/TaoFCHW22,
author = {Hongwei Tao and
Lianyou Fu and
Yixiang Chen and
Lin Han and
Xiao Wang},
title = {Improved Allocation and Reallocation Approaches for Software Trustworthiness
Based on Mathematical Programming},
journal = {Symmetry},
volume = {14},
number = {3},
pages = {628},
year = {2022},
url = {https://doi.org/10.3390/sym14030628},
doi = {10.3390/SYM14030628},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/TaoFCHW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aila/LiWXC22,
author = {Kaixuan Li and
Hengyang Wu and
Jinyi Xu and
Yixiang Chen},
editor = {Yixiang Chen and
Songmao Zhang},
title = {Quantitative {BAN} Logic Based on Belief Degree},
booktitle = {Artificial Intelligence Logic and Applications - The 2nd International
Conference, {AILA} 2022, Shanghai, China, August 26-28, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1657},
pages = {19--34},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-981-19-7510-3\_2},
doi = {10.1007/978-981-19-7510-3\_2},
timestamp = {Tue, 13 Dec 2022 15:01:45 +0100},
biburl = {https://dblp.org/rec/conf/aila/LiWXC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aila/YueYC22,
author = {Zelong Yue and
Xinghua Yao and
Yixiang Chen},
editor = {Yixiang Chen and
Songmao Zhang},
title = {A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness
Measurement},
booktitle = {Artificial Intelligence Logic and Applications - The 2nd International
Conference, {AILA} 2022, Shanghai, China, August 26-28, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1657},
pages = {239--253},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-981-19-7510-3\_18},
doi = {10.1007/978-981-19-7510-3\_18},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aila/YueYC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aila/NieCT22,
author = {Qilong Nie and
Yixiang Chen and
Hongwei Tao},
editor = {Yixiang Chen and
Songmao Zhang},
title = {A Novel Trustworthiness Measurement Method for Software System Based
on Fuzzy Set},
booktitle = {Artificial Intelligence Logic and Applications - The 2nd International
Conference, {AILA} 2022, Shanghai, China, August 26-28, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1657},
pages = {254--269},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-981-19-7510-3\_19},
doi = {10.1007/978-981-19-7510-3\_19},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aila/NieCT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsc/ChenYYZT22,
author = {Yixiang Chen and
Linhao Ye and
Yufeng Ye and
Peng Zhang and
Qinfeng Tan},
title = {Anomaly Detection from Log Data Sequences with Perturbations},
booktitle = {7th {IEEE} International Conference on Data Science in Cyberspace,
{DSC} 2022, Guilin, China, July 11-13, 2022},
pages = {183--190},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSC55868.2022.00031},
doi = {10.1109/DSC55868.2022.00031},
timestamp = {Tue, 11 Oct 2022 16:48:00 +0200},
biburl = {https://dblp.org/rec/conf/dsc/ChenYYZT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/geoinformatics/ChenSDWL22,
author = {Yixiang Chen and
Wenjia Shi and
Xu Dang and
Chao Wu and
Sheng Li},
title = {Classification of Urban Functional Zones by Integrating Spatial Features
of {VHR} Satellite Images and Semantic Features of {POI} Data},
booktitle = {29th International Conference on Geoinformatics, Beijing, China, August
15-18, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/Geoinformatics57846.2022.9963812},
doi = {10.1109/GEOINFORMATICS57846.2022.9963812},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/geoinformatics/ChenSDWL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WuWC22,
author = {Weilin Wu and
Na Wang and
Yixiang Chen},
title = {A Novel Intelligent-Building-Fire-Risk Classification Method},
booktitle = {26th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
pages = {168--172},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICECCS54210.2022.00028},
doi = {10.1109/ICECCS54210.2022.00028},
timestamp = {Thu, 12 May 2022 09:47:03 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/WuWC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aila/2022,
editor = {Yixiang Chen and
Songmao Zhang},
title = {Artificial Intelligence Logic and Applications - The 2nd International
Conference, {AILA} 2022, Shanghai, China, August 26-28, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1657},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-981-19-7510-3},
doi = {10.1007/978-981-19-7510-3},
isbn = {978-981-19-7509-7},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aila/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WangYC21,
author = {Meng Wang and
Xinghua Yao and
Yixiang Chen},
title = {An Imbalanced-Data Processing Algorithm for the Prediction of Heart
Attack in Stroke Patients},
journal = {{IEEE} Access},
volume = {9},
pages = {25394--25404},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3057693},
doi = {10.1109/ACCESS.2021.3057693},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/WangYC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangMZCLL21,
author = {Yuanrui Zhang and
Fr{\'{e}}d{\'{e}}ric Mallet and
Huibiao Zhu and
Yixiang Chen and
Bo Liu and
Zhiming Liu},
title = {A clock-based dynamic logic for schedulability analysis of {CCSL}
specifications},
journal = {Sci. Comput. Program.},
volume = {202},
pages = {102546},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2020.102546},
doi = {10.1016/J.SCICO.2020.102546},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangMZCLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangWCM21,
author = {Yuanrui Zhang and
Hengyang Wu and
Yixiang Chen and
Fr{\'{e}}d{\'{e}}ric Mallet},
title = {A clock-based dynamic logic for the verification of {CCSL} specifications
in synchronous systems},
journal = {Sci. Comput. Program.},
volume = {203},
pages = {102591},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2020.102591},
doi = {10.1016/J.SCICO.2020.102591},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/ZhangWCM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/ShiCX21,
author = {Hao Shi and
Yixiang Chen and
Jinyi Xu},
title = {An Efficient Scheduling Algorithm for Distributed Heterogeneous Systems
with Task Duplication Allowed},
booktitle = {2021 {IEEE} Intl Conf on Parallel {\&} Distributed Processing
with Applications, Big Data {\&} Cloud Computing, Sustainable
Computing {\&} Communications, Social Computing {\&} Networking
(ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September
30 - Oct. 3, 2021},
pages = {578--587},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00085},
doi = {10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM52081.2021.00085},
timestamp = {Thu, 06 Jan 2022 09:48:16 +0100},
biburl = {https://dblp.org/rec/conf/ispa/ShiCX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/JiangXC21,
author = {Qingyuan Jiang and
Jinyi Xu and
Yixiang Chen},
title = {A Genetic Algorithm for Scheduling in Heterogeneous Multicore System
Integrated with {FPGA}},
booktitle = {2021 {IEEE} Intl Conf on Parallel {\&} Distributed Processing
with Applications, Big Data {\&} Cloud Computing, Sustainable
Computing {\&} Communications, Social Computing {\&} Networking
(ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September
30 - Oct. 3, 2021},
pages = {594--602},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00087},
doi = {10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM52081.2021.00087},
timestamp = {Thu, 06 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispa/JiangXC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-03341,
author = {Yuzhi Liang and
Yixiang Chen},
title = {{DVFL:} {A} Vertical Federated Learning Method for Dynamic Data},
journal = {CoRR},
volume = {abs/2111.03341},
year = {2021},
url = {https://arxiv.org/abs/2111.03341},
eprinttype = {arXiv},
eprint = {2111.03341},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-03341.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ZhangMC20,
author = {Yuanrui Zhang and
Fr{\'{e}}d{\'{e}}ric Mallet and
Yixiang Chen},
title = {A verification framework for spatio-temporal consistency language
with {CCSL} as a specification language},
journal = {Frontiers Comput. Sci.},
volume = {14},
number = {1},
pages = {105--129},
year = {2020},
url = {https://doi.org/10.1007/s11704-018-7054-8},
doi = {10.1007/S11704-018-7054-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/ZhangMC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/HeHWC20,
author = {Kangli He and
Holger Hermanns and
Hengyang Wu and
Yixiang Chen},
title = {Connection models for the Internet-of-Things},
journal = {Frontiers Comput. Sci.},
volume = {14},
number = {3},
pages = {143401},
year = {2020},
url = {https://doi.org/10.1007/s11704-018-7395-3},
doi = {10.1007/S11704-018-7395-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/HeHWC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/TaoCW20,
author = {Hongwei Tao and
Yixiang Chen and
Hengyang Wu},
title = {Decomposition of Attributes Oriented Software Trustworthiness Measure
Based on Axiomatic Approaches},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2020, Macau, China, December
11-14, 2020},
pages = {308--315},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS-C51114.2020.00060},
doi = {10.1109/QRS-C51114.2020.00060},
timestamp = {Tue, 26 Jan 2021 17:41:14 +0100},
biburl = {https://dblp.org/rec/conf/qrs/TaoCW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/YinXC20,
author = {Fei Yin and
Jinyi Xu and
Yixiang Chen},
title = {Research of Micro-expression Recognition Model based on Feature Unit},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2020, Macau, China, December
11-14, 2020},
pages = {438--444},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS-C51114.2020.00080},
doi = {10.1109/QRS-C51114.2020.00080},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/YinXC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ZhangCW19,
author = {Yuanrui Zhang and
Yixiang Chen and
Hengyang Wu},
title = {A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal
Behaviour},
journal = {{IEEE} Access},
volume = {7},
pages = {57172--57187},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2914228},
doi = {10.1109/ACCESS.2019.2914228},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ZhangCW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WangCZW19,
author = {Baohua Wang and
Yixiang Chen and
Shun Zhang and
Hengyang Wu},
title = {Updating Model of Software Component Trustworthiness Based on Users
Feedback},
journal = {{IEEE} Access},
volume = {7},
pages = {60199--60205},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2892518},
doi = {10.1109/ACCESS.2019.2892518},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/WangCZW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/YuanLCSCWW19,
author = {Yuan Yuan and
Lei Lin and
Jingbo Chen and
Hichem Sahli and
Yixiang Chen and
Chengyi Wang and
Bin Wu},
title = {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},
journal = {Remote. Sens.},
volume = {11},
number = {2},
pages = {210},
year = {2019},
url = {https://doi.org/10.3390/rs11020210},
doi = {10.3390/RS11020210},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/YuanLCSCWW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/JiaJSGTCL19,
author = {Yan Jia and
Shuanggen Jin and
Patrizia Savi and
Yun Gao and
Jing Tang and
Yixiang Chen and
Wenmei Li},
title = {{GNSS-R} Soil Moisture Retrieval Based on a XGboost Machine Learning
Aided Method: Performance and Validation},
journal = {Remote. Sens.},
volume = {11},
number = {14},
pages = {1655},
year = {2019},
url = {https://doi.org/10.3390/rs11141655},
doi = {10.3390/RS11141655},
timestamp = {Thu, 05 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/JiaJSGTCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/LvLCB19,
author = {Zhiyong Lv and
Guangfei Li and
Yixiang Chen and
J{\'{o}}n Atli Benediktsson},
title = {Novel Multi-Scale Filter Profile-Based Framework for {VHR} Remote
Sensing Image Classification},
journal = {Remote. Sens.},
volume = {11},
number = {18},
pages = {2153},
year = {2019},
url = {https://doi.org/10.3390/rs11182153},
doi = {10.3390/RS11182153},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/LvLCB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ChenLHZZ19,
author = {Yixiang Chen and
Zhiyong Lv and
Bo Huang and
Pengdong Zhang and
Yu Zhang},
title = {Automatic Extraction of Built-Up Areas from Very High-Resolution Satellite
Imagery Using Patch-Level Spatial Features and Gestalt Laws of Perceptual
Grouping},
journal = {Remote. Sens.},
volume = {11},
number = {24},
pages = {3022},
year = {2019},
url = {https://doi.org/10.3390/rs11243022},
doi = {10.3390/RS11243022},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ChenLHZZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/WangCW19,
author = {Peifen Wang and
Yixiang Chen and
Hengyang Wu},
editor = {Li Zou and
Lingling Fang and
Bo Fu and
Panpan Niu},
title = {A Hybrid Clock Logic System for {CPS}},
booktitle = {14th {IEEE} International Conference on Intelligent Systems and Knowledge
Engineering, {ISKE} 2019, Dalian, China, November 14-16, 2019},
pages = {675--682},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISKE47853.2019.9170360},
doi = {10.1109/ISKE47853.2019.9170360},
timestamp = {Wed, 26 Aug 2020 15:39:06 +0200},
biburl = {https://dblp.org/rec/conf/iske/WangCW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhangMZC19,
author = {Yuanrui Zhang and
Fr{\'{e}}d{\'{e}}ric Mallet and
Huibiao Zhu and
Yixiang Chen},
editor = {Dominique M{\'{e}}ry and
Shengchao Qin},
title = {A Logical Approach for the Schedulability Analysis of {CCSL}},
booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2019, Guilin, China, July 29-31, 2019},
pages = {25--32},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/TASE.2019.00-23},
doi = {10.1109/TASE.2019.00-23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/ZhangMZC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/Chen18,
author = {Yi{-}Xiang Chen},
title = {Vortex and multipole coupled solitons in the spatially modulated cubic-quintic-septimal
nonlinear material},
journal = {Comput. Math. Appl.},
volume = {76},
number = {9},
pages = {2119--2128},
year = {2018},
url = {https://doi.org/10.1016/j.camwa.2018.08.010},
doi = {10.1016/J.CAMWA.2018.08.010},
timestamp = {Mon, 17 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cma/Chen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/WuCBD18,
author = {Hengyang Wu and
Yixiang Chen and
Tian{-}Ming Bu and
Yuxin Deng},
title = {Algorithmic and logical characterizations of bisimulations for non-deterministic
fuzzy transition systems},
journal = {Fuzzy Sets Syst.},
volume = {333},
pages = {106--123},
year = {2018},
url = {https://doi.org/10.1016/j.fss.2017.02.008},
doi = {10.1016/J.FSS.2017.02.008},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/WuCBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/WuCHC18,
author = {Hengyang Wu and
Taolue Chen and
Tingting Han and
Yixiang Chen},
title = {Bisimulations for fuzzy transition systems revisited},
journal = {Int. J. Approx. Reason.},
volume = {99},
pages = {1--11},
year = {2018},
url = {https://doi.org/10.1016/j.ijar.2018.04.010},
doi = {10.1016/J.IJAR.2018.04.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/WuCHC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgi/WangQCZ18,
author = {Yulong Wang and
Kun Qin and
Yixiang Chen and
Pengxiang Zhao},
title = {Detecting Anomalous Trajectories and Behavior Patterns Using Hierarchical
Clustering from Taxi {GPS} Data},
journal = {{ISPRS} Int. J. Geo Inf.},
volume = {7},
number = {1},
pages = {25},
year = {2018},
url = {https://doi.org/10.3390/ijgi7010025},
doi = {10.3390/IJGI7010025},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgi/WangQCZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/LvLZBC18,
author = {Zhiyong Lv and
Tongfei Liu and
Penglin Zhang and
J{\'{o}}n Atli Benediktsson and
Yixiang Chen},
title = {Land Cover Change Detection Based on Adaptive Contextual Information
Using Bi-Temporal Remote Sensing Images},
journal = {Remote. Sens.},
volume = {10},
number = {6},
pages = {901},
year = {2018},
url = {https://doi.org/10.3390/rs10060901},
doi = {10.3390/RS10060901},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/LvLZBC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ChenLHJ18,
author = {Yixiang Chen and
Zhiyong Lv and
Bo Huang and
Yan Jia},
title = {Delineation of Built-Up Areas from Very High-Resolution Satellite
Imagery Using Multi-Scale Textures and Spatial Dependence},
journal = {Remote. Sens.},
volume = {10},
number = {10},
pages = {1596},
year = {2018},
url = {https://doi.org/10.3390/rs10101596},
doi = {10.3390/RS10101596},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ChenLHJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taslp/TangWCLA18,
author = {Zhiyuan Tang and
Dong Wang and
Yixiang Chen and
Lantian Li and
Andrew Abel},
title = {Phonetic Temporal Neural Model for Language Identification},
journal = {{IEEE} {ACM} Trans. Audio Speech Lang. Process.},
volume = {26},
number = {1},
pages = {134--144},
year = {2018},
url = {https://doi.org/10.1109/TASLP.2017.2764271},
doi = {10.1109/TASLP.2017.2764271},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taslp/TangWCLA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ZhangWCM18,
author = {Yuanrui Zhang and
Hengyang Wu and
Yixiang Chen and
Fr{\'{e}}d{\'{e}}ric Mallet},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Embedding {CCSL} into Dynamic Logic: {A} Logical Approach for the
Verification of {CCSL} Specifications},
booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1008},
pages = {101--118},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12988-0\_7},
doi = {10.1007/978-3-030-12988-0\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/ZhangWCM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/LiWCSTZ18,
author = {Lantian Li and
Dong Wang and
Yixiang Chen and
Ying Shi and
Zhiyuan Tang and
Thomas Fang Zheng},
title = {Deep Factorization for Speech Signal},
booktitle = {2018 {IEEE} International Conference on Acoustics, Speech and Signal
Processing, {ICASSP} 2018, Calgary, AB, Canada, April 15-20, 2018},
pages = {5094--5098},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICASSP.2018.8462169},
doi = {10.1109/ICASSP.2018.8462169},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/LiWCSTZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ickii/JiaCJLL18,
author = {Yan Jia and
Yixiang Chen and
Houjun Jiang and
Yang Le and
Heping Lin},
title = {A carbon nanotube patch antenna for polarization selective radiation
performance},
booktitle = {1st {IEEE} International Conference on Knowledge Innovation and Invention,
{ICKII} 2018, Jeju Island, Korea (South), July 23-27, 2018},
pages = {217--220},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICKII.2018.8569112},
doi = {10.1109/ICKII.2018.8569112},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/ickii/JiaCJLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YinLC18,
author = {Yufei Yin and
Shaoying Liu and
Yixiang Chen},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Verification of SysML Activity Diagrams Using Hoare Logic and {SOFL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {71--88},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_5},
doi = {10.1007/978-3-030-13651-2\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YinLC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-00886,
author = {Lantian Li and
Dong Wang and
Yixiang Chen and
Ying Shi and
Zhiyuan Tang and
Thomas Fang Zheng},
title = {Deep factorization for speech signal},
journal = {CoRR},
volume = {abs/1803.00886},
year = {2018},
url = {http://arxiv.org/abs/1803.00886},
eprinttype = {arXiv},
eprint = {1803.00886},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gis/ZhaoQYWC17,
author = {Pengxiang Zhao and
Kun Qin and
Xinyue Ye and
Yulong Wang and
Yixiang Chen},
title = {A trajectory clustering approach based on decision graph and data
field for detecting hotspots},
journal = {Int. J. Geogr. Inf. Sci.},
volume = {31},
number = {6},
pages = {1101--1127},
year = {2017},
url = {https://doi.org/10.1080/13658816.2016.1213845},
doi = {10.1080/13658816.2016.1213845},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gis/ZhaoQYWC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsipa/ZhangCLW17,
author = {Miao Zhang and
Yixiang Chen and
Lantian Li and
Dong Wang},
title = {Speaker recognition with cough, laugh and "Wei"},
booktitle = {2017 Asia-Pacific Signal and Information Processing Association Annual
Summit and Conference, {APSIPA} {ASC} 2017, Kuala Lumpur, Malaysia,
December 12-15, 2017},
pages = {497--501},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/APSIPA.2017.8282083},
doi = {10.1109/APSIPA.2017.8282083},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsipa/ZhangCLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsipa/TangWCC17,
author = {Zhiyuan Tang and
Dong Wang and
Yixiang Chen and
Qing Chen},
title = {{AP17-OLR} challenge: Data, plan, and baseline},
booktitle = {2017 Asia-Pacific Signal and Information Processing Association Annual
Summit and Conference, {APSIPA} {ASC} 2017, Kuala Lumpur, Malaysia,
December 12-15, 2017},
pages = {749--753},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/APSIPA.2017.8282134},
doi = {10.1109/APSIPA.2017.8282134},
timestamp = {Sat, 09 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsipa/TangWCC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HeHC17,
author = {Kangli He and
Holger Hermanns and
Yixiang Chen},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Models of Connected Things: On Priced Probabilistic Timed Reo},
booktitle = {41st {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
pages = {234--243},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/COMPSAC.2017.172},
doi = {10.1109/COMPSAC.2017.172},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/HeHC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gski/FukuokaCL17,
author = {Shingo Fukuoka and
Yixiang Chen and
Shaoying Liu},
editor = {Hanning Yuan and
Jing Geng and
Chuanlu Liu and
Fuling Bian and
Tisinee Surapunt},
title = {Semi-formal Verification with Supporting Tool by Automatic Application
of Hoare Logic},
booktitle = {Geo-Spatial Knowledge and Intelligence - 5th International Conference,
{GSKI} 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected
Papers, Part {I}},
series = {Communications in Computer and Information Science},
volume = {848},
pages = {83--95},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-981-13-0893-2\_10},
doi = {10.1007/978-981-13-0893-2\_10},
timestamp = {Sun, 24 Jun 2018 18:48:11 +0200},
biburl = {https://dblp.org/rec/conf/gski/FukuokaCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/LiCWZ17,
author = {Lantian Li and
Yixiang Chen and
Dong Wang and
Thomas Fang Zheng},
editor = {Francisco Lacerda},
title = {A Study on Replay Attack and Anti-Spoofing for Automatic Speaker Verification},
booktitle = {Interspeech 2017, 18th Annual Conference of the International Speech
Communication Association, Stockholm, Sweden, August 20-24, 2017},
pages = {92--96},
publisher = {{ISCA}},
year = {2017},
url = {https://doi.org/10.21437/Interspeech.2017-456},
doi = {10.21437/INTERSPEECH.2017-456},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/LiCWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/LiCSTW17,
author = {Lantian Li and
Yixiang Chen and
Ying Shi and
Zhiyuan Tang and
Dong Wang},
editor = {Francisco Lacerda},
title = {Deep Speaker Feature Learning for Text-Independent Speaker Verification},
booktitle = {Interspeech 2017, 18th Annual Conference of the International Speech
Communication Association, Stockholm, Sweden, August 20-24, 2017},
pages = {1542--1546},
publisher = {{ISCA}},
year = {2017},
url = {https://doi.org/10.21437/Interspeech.2017-452},
doi = {10.21437/INTERSPEECH.2017-452},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/LiCSTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ococosda/TangWCSL17,
author = {Zhiyuan Tang and
Dong Wang and
Yixiang Chen and
Ying Shi and
Lantian Li},
title = {Phone-aware neural language identification},
booktitle = {20th Conference of the Oriental Chapter of the International Coordinating
Committee on Speech Databases and Speech {I/O} Systems and Assessment,
{O-COCOSDA} 2017, Seoul, South Korea, November 1-3, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICSDA.2017.8384445},
doi = {10.1109/ICSDA.2017.8384445},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ococosda/TangWCSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BuWC17,
author = {Tian{-}Ming Bu and
Hengyang Wu and
Yixiang Chen},
editor = {Fr{\'{e}}d{\'{e}}ric Mallet and
Min Zhang and
Eric Madelaine},
title = {Computing behavioural distance for fuzzy transition systems},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2017, Sophia Antipolis, France, September 13-15, 2017},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/TASE.2017.8285626},
doi = {10.1109/TASE.2017.8285626},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/BuWC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TangWCLA17,
author = {Zhiyuan Tang and
Dong Wang and
Yixiang Chen and
Lantian Li and
Andrew Abel},
title = {Phonetic Temporal Neural Model for Language Identification},
journal = {CoRR},
volume = {abs/1705.03151},
year = {2017},
url = {http://arxiv.org/abs/1705.03151},
eprinttype = {arXiv},
eprint = {1705.03151},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TangWCLA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TangWCSL17,
author = {Zhiyuan Tang and
Dong Wang and
Yixiang Chen and
Ying Shi and
Lantian Li},
title = {Phone-aware Neural Language Identification},
journal = {CoRR},
volume = {abs/1705.03152},
year = {2017},
url = {http://arxiv.org/abs/1705.03152},
eprinttype = {arXiv},
eprint = {1705.03152},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/TangWCSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiCSTW17,
author = {Lantian Li and
Yixiang Chen and
Ying Shi and
Zhiyuan Tang and
Dong Wang},
title = {Deep Speaker Feature Learning for Text-independent Speaker Verification},
journal = {CoRR},
volume = {abs/1705.03670},
year = {2017},
url = {http://arxiv.org/abs/1705.03670},
eprinttype = {arXiv},
eprint = {1705.03670},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LiCSTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangLSCT17,
author = {Dong Wang and
Lantian Li and
Ying Shi and
Yixiang Chen and
Zhiyuan Tang},
title = {Deep Factorization for Speech Signal},
journal = {CoRR},
volume = {abs/1706.01777},
year = {2017},
url = {http://arxiv.org/abs/1706.01777},
eprinttype = {arXiv},
eprint = {1706.01777},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/WangLSCT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiCWZ17,
author = {Lantian Li and
Yixiang Chen and
Dong Wang and
Thomas Fang Zheng},
title = {A Study on Replay Attack and Anti-Spoofing for Automatic Speaker Verification},
journal = {CoRR},
volume = {abs/1706.02101},
year = {2017},
url = {http://arxiv.org/abs/1706.02101},
eprinttype = {arXiv},
eprint = {1706.02101},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiCWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhangCLW17,
author = {Miao Zhang and
Yixiang Chen and
Lantian Li and
Dong Wang},
title = {Speaker Recognition with Cough, Laugh and "Wei"},
journal = {CoRR},
volume = {abs/1706.07860},
year = {2017},
url = {http://arxiv.org/abs/1706.07860},
eprinttype = {arXiv},
eprint = {1706.07860},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhangCLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TangWCC17,
author = {Zhiyuan Tang and
Dong Wang and
Yixiang Chen and
Qing Chen},
title = {{AP17-OLR} Challenge: Data, Plan, and Baseline},
journal = {CoRR},
volume = {abs/1706.09742},
year = {2017},
url = {http://arxiv.org/abs/1706.09742},
eprinttype = {arXiv},
eprint = {1706.09742},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TangWCC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/WuHC18,
author = {Xinxing Wu and
Guosheng Hu and
Yixiang Chen},
title = {{\unicode{27010}}{\unicode{29575}}{\unicode{25311}}Hoare{\unicode{36923}}{\unicode{36753}}
(Probabilistic Quasi-Hoare Logic)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {43},
number = {4},
pages = {177--181},
year = {2016},
url = {https://doi.org/10.11896/j.issn.1002-137X.2016.04.036},
doi = {10.11896/J.ISSN.1002-137X.2016.04.036},
timestamp = {Fri, 20 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsjkx/WuHC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/ChenQJWZ16,
author = {Yixiang Chen and
Kun Qin and
Houjun Jiang and
Tao Wu and
Ye Zhang},
title = {Built-up area extraction using data field from high-resolution satellite
images},
booktitle = {2016 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2016, Beijing, China, July 10-15, 2016},
pages = {437--440},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IGARSS.2016.7729108},
doi = {10.1109/IGARSS.2016.7729108},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/ChenQJWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/HeC0Z16,
author = {Kangli He and
Yixiang Chen and
Min Zhang and
Yuanrui Zhang},
editor = {Anne Remke and
Boudewijn R. Haverkort},
title = {PSTeC: {A} Location-Time Driven Modelling Formalism for Probabilistic
Real-Time Systems},
booktitle = {Measurement, Modelling and Evaluation of Dependable Computer and Communication
Systems - 18th International {GI/ITG} Conference, {MMB} {\&} {DFT}
2016, M{\"{u}}nster, Germany, April 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9629},
pages = {77--91},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31559-1\_8},
doi = {10.1007/978-3-319-31559-1\_8},
timestamp = {Sat, 19 Oct 2019 20:11:41 +0200},
biburl = {https://dblp.org/rec/conf/mmb/HeC0Z16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ZhangMC16,
author = {Yuanrui Zhang and
Yujing Ma and
Yixiang Chen},
title = {A {UTP} Refinement Model of the STeC Language},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Companion, Vienna, Austria, August 1-3,
2016},
pages = {236--243},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS-C.2016.36},
doi = {10.1109/QRS-C.2016.36},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/ZhangMC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/LiZC16,
author = {Jinyang Li and
Yuanrui Zhang and
Yixiang Chen},
title = {A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Companion, Vienna, Austria, August 1-3,
2016},
pages = {382--388},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS-C.2016.58},
doi = {10.1109/QRS-C.2016.58},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/LiZC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiCWZ16,
author = {Lantian Li and
Yixiang Chen and
Dong Wang and
Chenghui Zhao},
title = {Weakly Supervised {PLDA} Training},
journal = {CoRR},
volume = {abs/1609.08441},
year = {2016},
url = {http://arxiv.org/abs/1609.08441},
eprinttype = {arXiv},
eprint = {1609.08441},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiCWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/WuXQC15,
author = {Tao Wu and
Jin Xiao and
Kun Qin and
Yixiang Chen},
title = {Cloud model-based method for range-constrained thresholding},
journal = {Comput. Electr. Eng.},
volume = {42},
pages = {33--48},
year = {2015},
url = {https://doi.org/10.1016/j.compeleceng.2014.03.016},
doi = {10.1016/J.COMPELECENG.2014.03.016},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cee/WuXQC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ChenCM15,
author = {Yanwen Chen and
Yixiang Chen and
Eric Madelaine},
title = {Timed-pNets: a communication behavioural semantic model for distributed
systems},
journal = {Frontiers Comput. Sci.},
volume = {9},
number = {1},
pages = {87--110},
year = {2015},
url = {https://doi.org/10.1007/s11704-014-4096-4},
doi = {10.1007/S11704-014-4096-4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/ChenCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccc/WangC15,
author = {Na Wang and
Yixiang Chen},
title = {A Comprehensive Trust Model Based on Multi-factors for WSNs},
journal = {Int. J. Comput. Commun. Control},
volume = {10},
number = {2},
pages = {248--262},
year = {2015},
url = {https://doi.org/10.15837/ijccc.2015.2.1756},
doi = {10.15837/IJCCC.2015.2.1756},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccc/WangC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/WuHC18a,
author = {Xinxing Wu and
Guosheng Hu and
Yixiang Chen},
title = {Web{\unicode{26381}}{\unicode{21153}}{\unicode{38477}}{\unicode{32423}}{\unicode{26367}}{\unicode{25442}}{\unicode{30340}}{\unicode{19968}}{\unicode{33268}}{\unicode{24615}}{\unicode{38382}}{\unicode{39064}}{\unicode{21450}}{\unicode{37327}}{\unicode{21270}}{\unicode{30740}}{\unicode{31350}}
(Quantification and Conformance of Web Service Degraded Substitution)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {42},
number = {2},
pages = {81--85},
year = {2015},
url = {https://doi.org/10.11896/j.issn.1002-137X.2015.02.017},
doi = {10.11896/J.ISSN.1002-137X.2015.02.017},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsjkx/WuHC18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/WuHC15,
author = {Xinxing Wu and
Guosheng Hu and
Yixiang Chen},
title = {[{\(\alpha\)}1{\unicode{65292}}{\(\alpha\)}2]1-{\unicode{27010}}{\unicode{29575}}{\unicode{25311}}Hoare{\unicode{36923}}{\unicode{36753}}{\unicode{21450}}{\unicode{20854}}{\unicode{21487}}{\unicode{38752}}{\unicode{24615}}{\unicode{35777}}{\unicode{26126}}
([{\(\alpha\)}1, {\(\alpha\)}2]1-Probabilistic Quasi-Hoare Logic and
its Reliability)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {42},
number = {{Z11}},
pages = {93--99},
year = {2015},
url = {http://www.jsjkx.com/CN/Y2015/V42/IZ11/93},
doi = {Y2015/V42/IZ11/93},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsjkx/WuHC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apres/ZhangCM15,
author = {Yuanrui Zhang and
Yixiang Chen and
Yujing Ma},
editor = {Lin Liu and
Mikio Aoyama},
title = {A Framework for Data-Driven Automata Design},
booktitle = {Requirements Engineering in the Big Data Era - Second Asia Pacific
Symposium, {APRES} 2015, Wuhan, China, October 18-20, 2015, Proceedings},
series = {Communications in Computer and Information Science},
volume = {558},
pages = {33--47},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48634-4\_3},
doi = {10.1007/978-3-662-48634-4\_3},
timestamp = {Fri, 19 May 2017 01:25:50 +0200},
biburl = {https://dblp.org/rec/conf/apres/ZhangCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/MaCG15,
author = {Yujing Ma and
Yixiang Chen and
Bin Gu},
title = {An Attributes-Based Allocation Approach of Software Trustworthy Degrees},
booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2015, Companion, Vancouver, BC, Canada, August
3-5, 2015},
pages = {89--94},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/QRS-C.2015.24},
doi = {10.1109/QRS-C.2015.24},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/MaCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/LiZC15,
author = {Huiyong Li and
Yuanrui Zhang and
Yixiang Chen},
title = {{PSTEP} - {A} Novel Probabilistic Event Processing Language for Uncertain
Spatio-temporal Event Streams of Internet of Vehicles},
booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2015, Companion, Vancouver, BC, Canada, August
3-5, 2015},
pages = {161--168},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/QRS-C.2015.43},
doi = {10.1109/QRS-C.2015.43},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/LiZC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/YangXC15,
author = {Zhihua Yang and
Bo Xiao and
Yixiang Chen},
title = {Modeling and Verification of Space-Air-Ground Integrated Networks
on Requirement Level Using STeC},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2015, Nanjing, China, September 12-14, 2015},
pages = {131--134},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TASE.2015.8},
doi = {10.1109/TASE.2015.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/YangXC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/He0HC15,
author = {Kangli He and
Min Zhang and
Jia He and
Yixiang Chen},
title = {Probabilistic Model Checking of Pipe protocol},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2015, Nanjing, China, September 12-14, 2015},
pages = {135--138},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TASE.2015.15},
doi = {10.1109/TASE.2015.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/He0HC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Pan0WC14,
author = {Haiyu Pan and
Min Zhang and
Hengyang Wu and
Yixiang Chen},
title = {Quantitative Analysis of Lattice-valued Kripke Structures},
journal = {Fundam. Informaticae},
volume = {135},
number = {3},
pages = {269--293},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1122},
doi = {10.3233/FI-2014-1122},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Pan0WC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/PanC0C14,
author = {Haiyu Pan and
Yongzhi Cao and
Min Zhang and
Yixiang Chen},
title = {Simulation for lattice-valued doubly labeled transition systems},
journal = {Int. J. Approx. Reason.},
volume = {55},
number = {3},
pages = {797--811},
year = {2014},
url = {https://doi.org/10.1016/j.ijar.2013.11.009},
doi = {10.1016/J.IJAR.2013.11.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/PanC0C14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lgrs/ChenQGW14,
author = {Yixiang Chen and
Kun Qin and
Shunzi Gan and
Tao Wu},
title = {Structural Feature Modeling of High-Resolution Remote Sensing Images
Using Directional Spatial Correlation},
journal = {{IEEE} Geosci. Remote. Sens. Lett.},
volume = {11},
number = {10},
pages = {1727--1731},
year = {2014},
url = {https://doi.org/10.1109/LGRS.2014.2306972},
doi = {10.1109/LGRS.2014.2306972},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lgrs/ChenQGW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ChenZ14,
author = {Yixiang Chen and
Yuanrui Zhang},
title = {A Hybrid Clock System Related to STeC Language},
booktitle = {{IEEE} Eighth International Conference on Software Security and Reliability,
{SERE} 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion
Volume},
pages = {199--203},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SERE-C.2014.39},
doi = {10.1109/SERE-C.2014.39},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/ChenZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/YaoC14,
author = {Xinghua Yao and
Yixiang Chen},
title = {A Proof System in Process Algebra for Demand and Supply},
booktitle = {{IEEE} Eighth International Conference on Software Security and Reliability,
{SERE} 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion
Volume},
pages = {228--236},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SERE-C.2014.44},
doi = {10.1109/SERE-C.2014.44},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/YaoC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhangMC14,
author = {Yuanrui Zhang and
Fr{\'{e}}d{\'{e}}ric Mallet and
Yixiang Chen},
title = {Timed Automata Semantics of Spatial-Temporal Consistency Language
STeC},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {201--208},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.10},
doi = {10.1109/TASE.2014.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhangMC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bic-ta/ZhouBZC13,
author = {Jie Zhou and
Tian{-}Ming Bu and
Hong Zhu and
Yixiang Chen},
editor = {Zhixiang Yin and
Linqiang Pan and
Xianwen Fang},
title = {Vehicle Scheduling Problem on Trees},
booktitle = {Proceedings of The Eighth International Conference on Bio-Inspired
Computing: Theories and Applications, {BIC-TA} 2013, HuangShan, China,
July 12-14, 2013},
series = {Advances in Intelligent Systems and Computing},
volume = {212},
pages = {535--541},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37502-6\_64},
doi = {10.1007/978-3-642-37502-6\_64},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bic-ta/ZhouBZC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/YaoZC13,
author = {Xinghua Yao and
Min Zhang and
Yixiang Chen},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {A Proof System in {PADS}},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
pages = {391--408},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9\_23},
doi = {10.1007/978-3-642-39718-9\_23},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/YaoZC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZhangZCZZ13,
author = {Lewen Zhang and
Yong Zhou and
Yixiang Chen and
Min Zhang and
Juyang Zhang},
title = {Stability of Software Trustworthiness Measurements Models},
booktitle = {Seventh International Conference on Software Security and Reliability,
{SERE} 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion
Volume},
pages = {219--224},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SERE-C.2013.23},
doi = {10.1109/SERE-C.2013.23},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/ZhangZCZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WuCZ13,
author = {Hengyang Wu and
Yixiang Chen and
Min Zhang},
title = {On Denotational Semantics of Spatial-Temporal Consistency Language
- STeC},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
pages = {113--120},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2013.16},
doi = {10.1109/TASE.2013.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WuCZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuC14,
author = {Hengyang Wu and
Yixiang Chen},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Coalgebras for Fuzzy Transition Systems},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {91--101},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.008},
doi = {10.1016/J.ENTCS.2014.01.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/WuC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/WuC12,
author = {Hengyang Wu and
Yixiang Chen},
title = {Semantics of non-deterministic possibility computation},
journal = {Fuzzy Sets Syst.},
volume = {199},
pages = {47--63},
year = {2012},
url = {https://doi.org/10.1016/j.fss.2012.01.022},
doi = {10.1016/J.FSS.2012.01.022},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/WuC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/TaoC12,
author = {Hongwei Tao and
Yixiang Chen},
title = {A new metric model for trustworthiness of softwares},
journal = {Telecommun. Syst.},
volume = {51},
number = {2-3},
pages = {95--105},
year = {2012},
url = {https://doi.org/10.1007/s11235-011-9420-9},
doi = {10.1007/S11235-011-9420-9},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/telsys/TaoC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/Chen12,
author = {Yixiang Chen},
title = {STeC: {A} Location-Triggered Specification Language for Real-Time
Systems},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2012,
Shenzhen, China, April 11, 2012},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORCW.2012.11},
doi = {10.1109/ISORCW.2012.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/Chen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/JiangPCCC12,
author = {Linhua Jiang and
Chao Peng and
Haibin Cai and
Yixiang Chen and
Xiaodong Chen},
title = {Low Power Consumption Data Structure Design for Embedded Applications
in Real-Time Systems},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2012,
Shenzhen, China, April 11, 2012},
pages = {13--18},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORCW.2012.13},
doi = {10.1109/ISORCW.2012.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/JiangPCCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qlsc/Pan0C12,
author = {Haiyu Pan and
Min Zhang and
Yixiang Chen},
editor = {Guojun Wang and
Bin Zhao and
Yongmin Li},
title = {Bisimilarity for fuzzy doubly Labeled Transition Systems},
booktitle = {Quantitative Logic and Soft Computing, Proceedings of the {QLSC} 2012,
Xi'an, China, 12-15 May 2012},
series = {World Scientific Proceedings Series on Computer Engineering and Informtion
Science},
volume = {5},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814401531\_0030},
doi = {10.1142/9789814401531\_0030},
timestamp = {Thu, 28 May 2020 14:56:48 +0200},
biburl = {https://dblp.org/rec/conf/qlsc/Pan0C12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qlsc/TaoC12,
author = {Hongwei Tao and
Yixiang Chen},
editor = {Guojun Wang and
Bin Zhao and
Yongmin Li},
title = {A Quantitative Relation Model between Trustworthy Attributes},
booktitle = {Quantitative Logic and Soft Computing, Proceedings of the {QLSC} 2012,
Xi'an, China, 12-15 May 2012},
series = {World Scientific Proceedings Series on Computer Engineering and Informtion
Science},
volume = {5},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814401531\_0029},
doi = {10.1142/9789814401531\_0029},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qlsc/TaoC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qlsc/WuC12,
author = {Hengyang Wu and
Yixiang Chen},
editor = {Guojun Wang and
Bin Zhao and
Yongmin Li},
title = {The Partial Correctness Semantics of Imperative fuzzy Programming
Language},
booktitle = {Quantitative Logic and Soft Computing, Proceedings of the {QLSC} 2012,
Xi'an, China, 12-15 May 2012},
series = {World Scientific Proceedings Series on Computer Engineering and Informtion
Science},
volume = {5},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814401531\_0032},
doi = {10.1142/9789814401531\_0032},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qlsc/WuC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/PanZC12,
author = {Haiyu Pan and
Min Zhang and
Yixiang Chen},
title = {Lattice-Valued Kripke Structures Based on Complete Residuated Lattice},
booktitle = {Sixth International Conference on Software Security and Reliability,
{SERE} 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion
Volume},
pages = {137--143},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SERE-C.2012.29},
doi = {10.1109/SERE-C.2012.29},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/PanZC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/PanZC12,
author = {Haiyu Pan and
Min Zhang and
Yixiang Chen},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Bisimulation for Lattice-valued Transition Systems},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {279--282},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.48},
doi = {10.1109/TASE.2012.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/PanZC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/MaZCC11,
author = {Yanfang Ma and
Min Zhang and
Yixiang Chen and
Liang Chen},
title = {Two-thirds simulation indexes and modal logic characterization},
journal = {Frontiers Comput. Sci. China},
volume = {5},
number = {4},
pages = {454--471},
year = {2011},
url = {https://doi.org/10.1007/s11704-011-0140-9},
doi = {10.1007/S11704-011-0140-9},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/MaZCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/ChenHC11,
author = {Yanwen Chen and
Fabrice Huet and
Yixiang Chen},
editor = {Frank Leymann and
Ivan I. Ivanov and
Marten van Sinderen and
Boris Shishkov},
title = {Implementation and Optimization of {RDF} Query using Hadoop},
booktitle = {{CLOSER} 2011 - Proceedings of the 1st International Conference on
Cloud Computing and Services Science, Noordwijkerhout, Netherlands,
7-9 May, 2011},
pages = {512--515},
publisher = {SciTePress},
year = {2011},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/closer/ChenHC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nlmua/WuC11,
author = {Hengyang Wu and
Yixiang Chen},
editor = {Shoumei Li and
Xia Wang and
Yoshiaki Okazaki and
Jun Kawabe and
Toshiaki Murofushi and
Li Guan},
title = {The Semantics of \emph{wlp} and \emph{slp} of Fuzzy Imperative Programming
Languages},
booktitle = {Nonlinear Mathematics for Uncertainty and its Applications, {NL-MUA}
2011, Beijing, China, September 7-9, 2011},
series = {Advances in Intelligent and Soft Computing},
volume = {100},
pages = {357--364},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22833-9\_43},
doi = {10.1007/978-3-642-22833-9\_43},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nlmua/WuC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/PanZC11,
author = {Haiyu Pan and
Min Zhang and
Yixiang Chen},
title = {Approximate Simulation for Metric Hybrid Input/Output Automata},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea - Companion Volume},
pages = {53--59},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI-C.2011.19},
doi = {10.1109/SSIRI-C.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/PanZC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/PanZCW11,
author = {Haiyu Pan and
Min Zhang and
Yixiang Chen and
Hengyang Wu},
editor = {Zhenhua Duan and
C.{-}H. Luke Ong},
title = {Approximate Bisimulation for Metric Doubly Labeled Transition System},
booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011},
pages = {108--114},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/TASE.2011.22},
doi = {10.1109/TASE.2011.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/PanZCW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijipm/ZhangC10,
author = {Juyang Zhang and
Yixiang Chen},
title = {Trustworthy Dynamic Scheduling based on Constraint Solving Scheme},
journal = {Int. J. Inf. Process. Manag.},
volume = {1},
number = {2},
pages = {68--73},
year = {2010},
url = {http://www.humanpub.org/ijipm/ppl/10-IJIPM1-068064IP.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijipm/ZhangC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/ChenW10,
author = {Yixiang Chen and
Xinxing Wu},
title = {Success Measurement of Web Services with {BPEL}},
booktitle = {The Fifth {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2010, June 4-5, 2010, Nanjing, China},
pages = {86--90},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SOSE.2010.32},
doi = {10.1109/SOSE.2010.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/ChenW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/WuC10,
author = {Xinxing Wu and
Yixiang Chen},
title = {Trustworthiness Expectation of Real-Time Web Services},
booktitle = {Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing:
7th International Conference on Ubiquitous Intelligence {\&} Computing
and 7th International Conference on Autonomic {\&} Trusted Computing,
{UIC-ATC} 2010, 26-29 October 2010, Xi'an, China},
pages = {292--298},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/UIC-ATC.2010.57},
doi = {10.1109/UIC-ATC.2010.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uic/WuC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/ZhouC09,
author = {Jie Zhou and
Yixiang Chen},
editor = {Huaikou Miao and
Gongzhu Hu},
title = {Modeling Instability in a New Framework of Interval Valued Process
Algebra},
booktitle = {8th {IEEE/ACIS} International Conference on Computer and Information
Science, {IEEE/ACIS} {ICIS} 2009, June 1-3, 2009, Shanghai, China},
pages = {21--26},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICIS.2009.99},
doi = {10.1109/ICIS.2009.99},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/ZhouC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/ChenBZZ09,
author = {Yixiang Chen and
Tian{-}Ming Bu and
Min Zhang and
Hong Zhu},
title = {Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks},
booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, Milan, Italy, 15-18 September 2009},
pages = {62--64},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.231},
doi = {10.1109/WI-IAT.2009.231},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/ChenBZZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/TaoC09,
author = {Hongwei Tao and
Yixiang Chen},
title = {A Metric Model for Trustworthiness of Softwares},
booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, Milan, Italy, 15-18 September 2009},
pages = {69--72},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.233},
doi = {10.1109/WI-IAT.2009.233},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/TaoC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MaZC09,
author = {Yanfang Ma and
Min Zhang and
Yixiang Chen},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {Infinite Evolution Mechanism of Probabilistic Processes},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {155--161},
year = {2009},
timestamp = {Thu, 10 Apr 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/MaZC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rskt/ChenZZB09,
author = {Yixiang Chen and
Min Zhang and
Hong Zhu and
Tian{-}Ming Bu},
editor = {Peng Wen and
Yuefeng Li and
Lech Polkowski and
Yiyu Yao and
Shusaku Tsumoto and
Guoyin Wang},
title = {Average Transitive Trustworthy Degrees for Trustworthy Networks},
booktitle = {Rough Sets and Knowledge Technology, 4th International Conference,
{RSKT} 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5589},
pages = {682--689},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02962-2\_86},
doi = {10.1007/978-3-642-02962-2\_86},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rskt/ChenZZB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MaZC09,
author = {Yanfang Ma and
Min Zhang and
Yixiang Chen},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Parameterized Bisimulation Infinite Evolution Mechanism},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {299--300},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.24},
doi = {10.1109/TASE.2009.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/MaZC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenDJ09,
author = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Preface},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {1--2},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.022},
doi = {10.1016/J.ENTCS.2009.11.022},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenDJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuC09,
author = {Hengyang Wu and
Yixiang Chen},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {A Duality Theorem for Quantitative Semantics},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {87--97},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.028},
doi = {10.1016/J.ENTCS.2009.11.028},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WuC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2009,
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/257/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isdt/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ChenW08,
author = {Yixiang Chen and
Hengyang Wu},
title = {Semantics of sub-probabilistic programs},
journal = {Frontiers Comput. Sci. China},
volume = {2},
number = {1},
pages = {29--38},
year = {2008},
url = {https://doi.org/10.1007/s11704-008-0004-0},
doi = {10.1007/S11704-008-0004-0},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/ChenW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ChenW08,
author = {Yixiang Chen and
Hengyang Wu},
title = {Domain semantics of possibility computations},
journal = {Inf. Sci.},
volume = {178},
number = {12},
pages = {2661--2679},
year = {2008},
url = {https://doi.org/10.1016/j.ins.2008.01.016},
doi = {10.1016/J.INS.2008.01.016},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/ChenW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/MaoC08,
author = {Hongyan Mao and
Yixiang Chen},
editor = {Cheng{-}Zhong Xu and
Minyi Guo},
title = {Research of a Multi-dimension Measurement Trusting Model Based on
Markov Chain},
booktitle = {2008 {IEEE/IPIP} International Conference on Embedded and Ubiquitous
Computing {(EUC} 2008), Shanghai, China, December 17-20, 2008, Volume
{II:} Workshops},
pages = {71--76},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/EUC.2008.139},
doi = {10.1109/EUC.2008.139},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euc/MaoC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenZP08,
author = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Preface},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {1},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.049},
doi = {10.1016/J.ENTCS.2008.04.049},
timestamp = {Fri, 17 Feb 2023 09:48:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenZP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fics2/2008,
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/212/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics2/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/ChenZ06,
author = {Yixiang Chen and
Guo{-}Qiang Zhang},
title = {Maximality and totality of stable functions in the category of stable
bifinite domains},
journal = {Comput. Math. Appl.},
volume = {51},
number = {6-7},
pages = {1011--1020},
year = {2006},
url = {https://doi.org/10.1016/j.camwa.2005.10.014},
doi = {10.1016/J.CAMWA.2005.10.014},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cma/ChenZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChenJ06,
author = {Yi{-}Xiang Chen and
Achim Jung},
title = {A logical approach to stable domains},
journal = {Theor. Comput. Sci.},
volume = {368},
number = {1-2},
pages = {124--148},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.09.005},
doi = {10.1016/J.TCS.2006.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChenJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/LiCC03,
author = {Tzuu{-}Hseng S. Li and
Shih{-}Jie Chang and
Yi{-}Xiang Chen},
title = {Implementation of human-like driving skills by autonomous fuzzy behavior
control on an FPGA-based car-like mobile robot},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {50},
number = {5},
pages = {867--880},
year = {2003},
url = {https://doi.org/10.1109/TIE.2003.817490},
doi = {10.1109/TIE.2003.817490},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/LiCC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/LiCC03,
author = {Tzuu{-}Hseng S. Li and
Shih{-}Jie Chang and
Yi{-}Xiang Chen},
title = {Implementation of autonomous fuzzy garage-parking control by an FPGA-based
car-like mobile robot using infrared sensors},
booktitle = {Proceedings of the 2003 {IEEE} International Conference on Robotics
and Automation, {ICRA} 2003, September 14-19, 2003, Taipei, Taiwan},
pages = {3776--3781},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ROBOT.2003.1242176},
doi = {10.1109/ROBOT.2003.1242176},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/LiCC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/ZhangC01,
author = {Guoqiang Zhang and
Yixiang Chen},
title = {Domains via Graphs},
journal = {J. Comput. Sci. Technol.},
volume = {16},
number = {6},
pages = {505--521},
year = {2001},
url = {https://doi.org/10.1007/BF02943235},
doi = {10.1007/BF02943235},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/ZhangC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Chen97a,
author = {Yixiang Chen},
title = {On compactness of induced I(L)-fuzzy topological spaces},
journal = {Fuzzy Sets Syst.},
volume = {88},
number = {3},
pages = {373--378},
year = {1997},
url = {https://doi.org/10.1016/S0165-0114(96)00074-7},
doi = {10.1016/S0165-0114(96)00074-7},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Chen97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Chen96,
author = {Yixiang Chen},
title = {Convergence in topological molecular lattices},
journal = {Fuzzy Sets Syst.},
volume = {84},
number = {1},
pages = {97--102},
year = {1996},
url = {https://doi.org/10.1016/0165-0114(95)00224-3},
doi = {10.1016/0165-0114(95)00224-3},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Chen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 18:20 CEST 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:
