default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Yangjia Li"
download as .bib file
@article{DBLP:journals/aei/SunJLY24,
author = {Linjin Sun and
Yangjian Ji and
Qixuan Li and
Tiannuo Yang},
title = {A process knowledge-based hybrid method for univariate time series
prediction with uncertain inputs in process industry},
journal = {Adv. Eng. Informatics},
volume = {60},
pages = {102438},
year = {2024},
url = {https://doi.org/10.1016/j.aei.2024.102438},
doi = {10.1016/J.AEI.2024.102438},
timestamp = {Mon, 24 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aei/SunJLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/FuQHS24,
author = {Libi Fu and
Huigui Qin and
Yangjian He and
Yongqian Shi},
title = {Application of the social force modelling method to evacuation dynamics
involving pedestrians with disabilities},
journal = {Appl. Math. Comput.},
volume = {460},
pages = {128297},
year = {2024},
url = {https://doi.org/10.1016/j.amc.2023.128297},
doi = {10.1016/J.AMC.2023.128297},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amc/FuQHS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/LiJZZS24,
author = {Qixuan Li and
Yangjian Ji and
Mingrui Zhu and
Xiaoyang Zhu and
Linjin Sun},
title = {Unsupervised feature selection using chronological fitting with Shapley
Additive explanation {(SHAP)} for industrial time-series anomaly detection},
journal = {Appl. Soft Comput.},
volume = {155},
pages = {111426},
year = {2024},
url = {https://doi.org/10.1016/j.asoc.2024.111426},
doi = {10.1016/J.ASOC.2024.111426},
timestamp = {Tue, 21 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/LiJZZS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cam/LiuSX24,
author = {Changjian Liu and
Yangjian Sun and
Dongmei Xiao},
title = {The Chebyshev property of some complete hyper-elliptic integrals of
the first kind},
journal = {Comput. Appl. Math.},
volume = {43},
number = {3},
pages = {145},
year = {2024},
url = {https://doi.org/10.1007/s40314-024-02671-0},
doi = {10.1007/S40314-024-02671-0},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cam/LiuSX24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/SunJZJZZ24,
author = {Linjin Sun and
Yangjian Ji and
Zheren Zhu and
Xiaoyu Jiang and
Xiaoyang Zhu and
Nian Zhang},
title = {Chronicle knowledge-based multi-level response prediction for predictive
control by forest models in process industry},
journal = {Eng. Appl. Artif. Intell.},
volume = {129},
pages = {107632},
year = {2024},
url = {https://doi.org/10.1016/j.engappai.2023.107632},
doi = {10.1016/J.ENGAPPAI.2023.107632},
timestamp = {Thu, 23 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eaai/SunJZJZZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lgrs/WangLHL24,
author = {Yangjia Wang and
Zhenchang Liu and
Yabo Huang and
Ning Li},
title = {Multitarget Barrage Jamming Against Azimuth Multichannel {HRWS} {SAR}
via Phase Errors Modulation of Transmitted Signal},
journal = {{IEEE} Geosci. Remote. Sens. Lett.},
volume = {21},
pages = {1--5},
year = {2024},
url = {https://doi.org/10.1109/LGRS.2024.3444751},
doi = {10.1109/LGRS.2024.3444751},
timestamp = {Sun, 08 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lgrs/WangLHL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcim/SunJSLJ23,
author = {Linjin Sun and
Yangjian Ji and
Zhitao Sun and
Qixuan Li and
Yingjie Jin},
title = {A clustering-based energy consumption evaluation method for process
industries with multiple energy consumption patterns},
journal = {Int. J. Comput. Integr. Manuf.},
volume = {36},
number = {10},
pages = {1526--1554},
year = {2023},
url = {https://doi.org/10.1080/0951192x.2023.2177748},
doi = {10.1080/0951192X.2023.2177748},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcim/SunJSLJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/YinYZZD23,
author = {Xiaoqing Yin and
Dingtian Yang and
Linhong Zhao and
Rong Zhong and
Ranran Du},
title = {Fishery Resource Evaluation with Hydroacoustic and Remote Sensing
in Yangjiang Coastal Waters in Summer},
journal = {Remote. Sens.},
volume = {15},
number = {3},
pages = {543},
year = {2023},
url = {https://doi.org/10.3390/rs15030543},
doi = {10.3390/RS15030543},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/YinYZZD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ZhengZWZZZJZL23,
author = {Jiahe Zheng and
Yangjian Zhang and
Xuhui Wang and
Juntao Zhu and
Guang Zhao and
Zhoutao Zheng and
Tao Jiang and
Yu Zhang and
Ji Li},
title = {Estimation of Net Ecosystem Productivity on the Tibetan Plateau Grassland
from 1982 to 2018 Based on Random Forest Model},
journal = {Remote. Sens.},
volume = {15},
number = {9},
pages = {2375},
year = {2023},
url = {https://doi.org/10.3390/rs15092375},
doi = {10.3390/RS15092375},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ZhengZWZZZJZL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/WangZSZLHXN23,
author = {Li Wang and
Yangjian Zhang and
Wanjuan Song and
Quan Zhou and
Wang Li and
Ni Huang and
Shiguang Xu and
Zheng Niu},
title = {Modification of Statistical Metric Biases in Large-Region and Long-Time-Series
Landsat Dataset Due to Insufficient Observations},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {61},
pages = {1--14},
year = {2023},
url = {https://doi.org/10.1109/TGRS.2023.3323319},
doi = {10.1109/TGRS.2023.3323319},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tgrs/WangZSZLHXN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsg/FuHTYLZ23,
author = {Xikun Fu and
Meng Huang and
Chi K. Tse and
Jingxi Yang and
Yangjian Ling and
Xiaoming Zha},
title = {Synchronization Stability of Grid-Following {VSC} Considering Interactions
of Inner Current Loop and Parallel-Connected Converters},
journal = {{IEEE} Trans. Smart Grid},
volume = {14},
number = {6},
pages = {4230--4241},
year = {2023},
url = {https://doi.org/10.1109/TSG.2023.3262756},
doi = {10.1109/TSG.2023.3262756},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsg/FuHTYLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/SunJP23,
author = {Linjin Sun and
Yangjian Ji and
Tao Peng},
title = {Multi-Task Regression with Process Knowledge-Based Forest Learners
in Process Industries},
booktitle = {19th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2023, Auckland, New Zealand, August 26-30, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CASE56687.2023.10260502},
doi = {10.1109/CASE56687.2023.10260502},
timestamp = {Thu, 05 Oct 2023 18:00:33 +0200},
biburl = {https://dblp.org/rec/conf/case/SunJP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/LinZMGFCYG23,
author = {Jinpeng Lin and
Min Zhou and
Ye Ma and
Yifan Gao and
Chenxi Fei and
Yangjian Chen and
Zhang Yu and
Tiezheng Ge},
editor = {Abdulmotaleb El{-}Saddik and
Tao Mei and
Rita Cucchiara and
Marco Bertini and
Diana Patricia Tobon Vallejo and
Pradeep K. Atrey and
M. Shamim Hossain},
title = {AutoPoster: {A} Highly Automatic and Content-aware Design System for
Advertising Poster Generation},
booktitle = {Proceedings of the 31st {ACM} International Conference on Multimedia,
{MM} 2023, Ottawa, ON, Canada, 29 October 2023- 3 November 2023},
pages = {1250--1260},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3581783.3611930},
doi = {10.1145/3581783.3611930},
timestamp = {Tue, 20 Aug 2024 07:54:43 +0200},
biburl = {https://dblp.org/rec/conf/mm/LinZMGFCYG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-01095,
author = {Jinpeng Lin and
Min Zhou and
Ye Ma and
Yifan Gao and
Chenxi Fei and
Yangjian Chen and
Zhang Yu and
Tiezheng Ge},
title = {AutoPoster: {A} Highly Automatic and Content-aware Design System for
Advertising Poster Generation},
journal = {CoRR},
volume = {abs/2308.01095},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.01095},
doi = {10.48550/ARXIV.2308.01095},
eprinttype = {arXiv},
eprint = {2308.01095},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-01095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aei/SunJZP22,
author = {Linjin Sun and
Yangjian Ji and
Xiaoyang Zhu and
Tao Peng},
title = {Process knowledge-based random forest regression for model predictive
control on a nonlinear production process with multiple working conditions},
journal = {Adv. Eng. Informatics},
volume = {52},
pages = {101561},
year = {2022},
url = {https://doi.org/10.1016/j.aei.2022.101561},
doi = {10.1016/J.AEI.2022.101561},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aei/SunJZP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ZhangWHHLXZSDWM22,
author = {Yangjian Zhang and
Li Wang and
Yuanhuizi He and
Ni Huang and
Wang Li and
Shiguang Xu and
Quan Zhou and
Wanjuan Song and
Wensheng Duan and
Xiaoyue Wang and
Shakir Muhammad and
Biswajit Nath and
Luying Zhu and
Feng Tang and
Huilin Du and
Lei Wang and
Zheng Niu},
title = {A Continuous Change Tracker Model for Remote Sensing Time Series Reconstruction},
journal = {Remote. Sens.},
volume = {14},
number = {9},
pages = {2280},
year = {2022},
url = {https://doi.org/10.3390/rs14092280},
doi = {10.3390/RS14092280},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ZhangWHHLXZSDWM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ZhangZFHYM22,
author = {Jianshuang Zhang and
Yangjian Zhang and
Wenyi Fan and
Liyuan He and
Ying Yu and
Xuegang Mao},
title = {A Modified Two-Steps Three-Stage Inversion Algorithm for Forest Height
Inversion Using Single-Baseline L-Band PolInSAR Data},
journal = {Remote. Sens.},
volume = {14},
number = {9},
pages = {1986},
year = {2022},
url = {https://doi.org/10.3390/rs14091986},
doi = {10.3390/RS14091986},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ZhangZFHYM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/WenGDLCG22,
author = {Zengrun Wen and
Ziqing Guan and
Jingru Dong and
Hongxin Li and
Yangjian Cai and
Song Gao},
title = {A Review of Sensitivity Enhancement in Interferometer-Based Fiber
Sensors},
journal = {Sensors},
volume = {22},
number = {7},
pages = {2506},
year = {2022},
url = {https://doi.org/10.3390/s22072506},
doi = {10.3390/S22072506},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/WenGDLCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/YingZL022,
author = {Mingsheng Ying and
Li Zhou and
Yangjia Li and
Yuan Feng},
title = {A proof system for disjoint parallel quantum programs},
journal = {Theor. Comput. Sci.},
volume = {897},
pages = {164--184},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.10.025},
doi = {10.1016/J.TCS.2021.10.025},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/YingZL022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cncl/ZhengLMC22,
author = {Yangjia Zheng and
Xia Li and
Junteng Ma and
Yuan Chen},
editor = {Maosong Sun and
Yang Liu and
Wanxiang Che and
Yang Feng and
Xipeng Qiu and
Gaoqi Rao and
Yubo Chen},
title = {Fundamental Analysis Based Neural Network for Stock Movement Prediction},
booktitle = {Chinese Computational Linguistics - 21st China National Conference,
{CCL} 2022, Nanchang, China, October 14-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13603},
pages = {335--350},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-18315-7\_22},
doi = {10.1007/978-3-031-18315-7\_22},
timestamp = {Sun, 04 Aug 2024 19:44:09 +0200},
biburl = {https://dblp.org/rec/conf/cncl/ZhengLMC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/00020LZ22,
author = {Peiyi Li and
Ji Liu and
Yangjia Li and
Huiyang Zhou},
title = {Exploiting Quantum Assertions for Error Mitigation and Quantum Program
Debugging},
booktitle = {{IEEE} 40th International Conference on Computer Design, {ICCD} 2022,
Olympic Valley, CA, USA, October 23-26, 2022},
pages = {124--131},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCD56317.2022.00028},
doi = {10.1109/ICCD56317.2022.00028},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/00020LZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ChenFLMZ21,
author = {Mingshuai Chen and
Martin Fr{\"{a}}nzle and
Yangjia Li and
Peter Nazier Mosaad and
Naijun Zhan},
title = {Indecision and delays are the parents of failure - taming them algorithmically
by synthesizing delay-resilient control},
journal = {Acta Informatica},
volume = {58},
number = {5},
pages = {497--528},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00374-7},
doi = {10.1007/S00236-020-00374-7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/ChenFLMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/WanGLGPY21,
author = {Fang Wan and
Haixiang Guo and
Jinling Li and
Mingyun Gu and
Wenwen Pan and
Yangjian Ying},
title = {A scheduling and planning method for geological disasters},
journal = {Appl. Soft Comput.},
volume = {111},
pages = {107712},
year = {2021},
url = {https://doi.org/10.1016/j.asoc.2021.107712},
doi = {10.1016/J.ASOC.2021.107712},
timestamp = {Tue, 26 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/WanGLGPY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candie/SunJZGDL21,
author = {Linjin Sun and
Yangjian Ji and
Mingrui Zhu and
Fu Gu and
Feng Dai and
Ke Li},
title = {A new predictive method supporting streaming data with hybrid recurring
concept drifts in process industry},
journal = {Comput. Ind. Eng.},
volume = {161},
pages = {107625},
year = {2021},
url = {https://doi.org/10.1016/j.cie.2021.107625},
doi = {10.1016/J.CIE.2021.107625},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/candie/SunJZGDL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/LiuGJWGGZ21,
author = {Yangshengyan Liu and
Fu Gu and
Yangjian Ji and
Yijie Wu and
Jianfeng Guo and
Xinjian Gu and
Jin Zhang},
title = {Scientific and Technological Resource Sharing Model Based on Few-Shot
Relational Learning},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {104-D},
number = {8},
pages = {1302--1312},
year = {2021},
url = {https://doi.org/10.1587/transinf.2020bdp0021},
doi = {10.1587/TRANSINF.2020BDP0021},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicetd/LiuGJWGGZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/ZhuJJGLX21,
author = {Mingrui Zhu and
Yangjian Ji and
Wenjun Ju and
Xinjian Gu and
Chao Liu and
Zhifang Xu},
title = {A Business Service Model of Smart Home Appliances Participating in
the Peak Shaving and Valley Filling Based on Cloud Platform},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {104-D},
number = {8},
pages = {1185--1194},
year = {2021},
url = {https://doi.org/10.1587/transinf.2020bdp0004},
doi = {10.1587/TRANSINF.2020BDP0004},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicetd/ZhuJJGLX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/DiZYYZLDZ21,
author = {Yuanyuan Di and
Geli Zhang and
Nanshan You and
Tong Yang and
Qiang Zhang and
Ruoqi Liu and
Russell B. Doughty and
Yangjian Zhang},
title = {Mapping Croplands in the Granary of the Tibetan Plateau Using All
Available Landsat Imagery, {A} Phenology-Based Approach, and Google
Earth Engine},
journal = {Remote. Sens.},
volume = {13},
number = {12},
pages = {2289},
year = {2021},
url = {https://doi.org/10.3390/rs13122289},
doi = {10.3390/RS13122289},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/DiZYYZLDZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LiU21,
author = {Yangjia Li and
Dominique Unruh},
editor = {Nikhil Bansal and
Emanuela Merelli and
James Worrell},
title = {Quantum Relational Hoare Logic with Expectations},
booktitle = {48th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
series = {LIPIcs},
volume = {198},
pages = {136:1--136:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.136},
doi = {10.4230/LIPICS.ICALP.2021.136},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LiU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChenSOXWL20,
author = {Xuemei Chen and
Yuefan Sun and
Yangjiaxin Ou and
Zheng Xuelong and
Zijia Wang and
Mengxi Li},
title = {A Conflict Decision Model Based on Game Theory for Intelligent Vehicles
at Urban Unsignalized Intersections},
journal = {{IEEE} Access},
volume = {8},
pages = {189546--189555},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3031674},
doi = {10.1109/ACCESS.2020.3031674},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/ChenSOXWL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChenXWLOS20,
author = {Xuemei Chen and
Zheng Xuelong and
Zijia Wang and
Mengxi Li and
Yangjiaxin Ou and
Yuefan Sun},
title = {Multi-Frequency Data Fusion for Attitude Estimation Based on Multi-Layer
Perception and Cubature Kalman Filter},
journal = {{IEEE} Access},
volume = {8},
pages = {144373--144381},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3012984},
doi = {10.1109/ACCESS.2020.3012984},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ChenXWLOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmaa/WeiXL20,
author = {Yangjiang Wei and
Heyan Xu and
Linhua Liang},
title = {Linear dynamical systems of dimension two over the ring of integers
modulo pt},
journal = {Discret. Math. Algorithms Appl.},
volume = {12},
number = {6},
pages = {2050074:1--2050074:16},
year = {2020},
url = {https://doi.org/10.1142/S1793830920500743},
doi = {10.1142/S1793830920500743},
timestamp = {Mon, 07 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmaa/WeiXL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/LiuZWYLLYZ19,
author = {Junyi Liu and
Bohua Zhan and
Shuling Wang and
Shenggang Ying and
Tao Liu and
Yangjia Li and
Mingsheng Ying and
Naijun Zhan},
title = {Quantum Hoare Logic},
journal = {Arch. Formal Proofs},
volume = {2019},
year = {2019},
url = {https://www.isa-afp.org/entries/QHLProver.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/LiuZWYLLYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiuZWYLLYZ19,
author = {Junyi Liu and
Bohua Zhan and
Shuling Wang and
Shenggang Ying and
Tao Liu and
Yangjia Li and
Mingsheng Ying and
Naijun Zhan},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Formal Verification of Quantum Algorithms Using Quantum Hoare Logic},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {187--207},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_12},
doi = {10.1007/978-3-030-25543-5\_12},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/LiuZWYLLYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-08357,
author = {Yangjia Li and
Dominique Unruh},
title = {Quantum Relational Hoare Logic with Expectations},
journal = {CoRR},
volume = {abs/1903.08357},
year = {2019},
url = {http://arxiv.org/abs/1903.08357},
eprinttype = {arXiv},
eprint = {1903.08357},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-08357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aeog/ZuZHLCC18,
author = {Jiaxing Zu and
Yangjian Zhang and
Ke Huang and
Yaojie Liu and
Ning Chen and
Nan Cong},
title = {Biological and climate factors co-regulated spatial-temporal dynamics
of vegetation autumn phenology on the Tibetan Plateau},
journal = {Int. J. Appl. Earth Obs. Geoinformation},
volume = {69},
pages = {198--205},
year = {2018},
url = {https://doi.org/10.1016/j.jag.2018.03.006},
doi = {10.1016/J.JAG.2018.03.006},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aeog/ZuZHLCC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijra/WangLCDX18,
author = {Xu Wang and
Huaqiang Li and
Zeng{-}Shun Chen and
Hua{-}ming Dong and
Yangjian Xiao},
title = {A field Measurement System for wind Engineering and Analysis of Typhoon
characteristics by ultrasonic Anemometers},
journal = {Int. J. Robotics Autom.},
volume = {33},
number = {3},
year = {2018},
url = {https://doi.org/10.2316/Journal.206.2018.3.206-5087},
doi = {10.2316/JOURNAL.206.2018.3.206-5087},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijra/WangLCDX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiY18,
author = {Yangjia Li and
Mingsheng Ying},
title = {Algorithmic analysis of termination problems for quantum programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {35:1--35:29},
year = {2018},
url = {https://doi.org/10.1145/3158123},
doi = {10.1145/3158123},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LiY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/GanCLXZ18,
author = {Ting Gan and
Mingshuai Chen and
Yangjia Li and
Bican Xia and
Naijun Zhan},
title = {Reachability Analysis for Solvable Dynamical Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {63},
number = {7},
pages = {2003--2018},
year = {2018},
url = {https://doi.org/10.1109/TAC.2017.2763785},
doi = {10.1109/TAC.2017.2763785},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/GanCLXZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChenFLMZ18,
author = {Mingshuai Chen and
Martin Fr{\"{a}}nzle and
Yangjia Li and
Peter Nazier Mosaad and
Naijun Zhan},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {What's to Come is Still Unsure - Synthesizing Controllers Resilient
to Delayed Interaction},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {56--74},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_4},
doi = {10.1007/978-3-030-01090-4\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChenFLMZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/0001ZLW18,
author = {Bai Xue and
Naijun Zhan and
Yangjia Li and
Qiuye Wang},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Robust Non-termination Analysis of Numerical Software},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {69--88},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_5},
doi = {10.1007/978-3-319-99933-3\_5},
timestamp = {Fri, 04 Mar 2022 17:17:33 +0100},
biburl = {https://dblp.org/rec/conf/setta/0001ZLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-11334,
author = {Mingsheng Ying and
Yangjia Li},
title = {Reasoning about Parallel Quantum Programs},
journal = {CoRR},
volume = {abs/1810.11334},
year = {2018},
url = {http://arxiv.org/abs/1810.11334},
eprinttype = {arXiv},
eprint = {1810.11334},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-11334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijra/LiZZYX17,
author = {Xiaogang Li and
Jianting Zhou and
Liyong Zhang and
Jun Yang and
Yangjian Xiao},
title = {Automatic Monitoring of continuous rigid frame Bridges by a magneto-elastic
effect method},
journal = {Int. J. Robotics Autom.},
volume = {32},
number = {1},
year = {2017},
url = {https://doi.org/10.2316/Journal.206.2017.1.206-4701},
doi = {10.2316/JOURNAL.206.2017.1.206-4701},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijra/LiZZYX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/WangLXZ17,
author = {Qiuye Wang and
Yangjia Li and
Bican Xia and
Naijun Zhan},
title = {Generating semi-algebraic invariants for non-autonomous polynomial
hybrid systems},
journal = {J. Syst. Sci. Complex.},
volume = {30},
number = {1},
pages = {234--252},
year = {2017},
url = {https://doi.org/10.1007/s11424-017-6226-1},
doi = {10.1007/S11424-017-6226-1},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jossac/WangLXZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/LiJCJ17,
author = {Hao Li and
Yangjian Ji and
Liang Chen and
Roger Jianxin Jiao},
title = {Bi-Level Coordinated Configuration Optimization for Product-Service
System Modular Design},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {47},
number = {3},
pages = {537--554},
year = {2017},
url = {https://doi.org/10.1109/TSMC.2015.2507407},
doi = {10.1109/TSMC.2015.2507407},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/LiJCJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/XueMFCLZ17,
author = {Bai Xue and
Peter Nazier Mosaad and
Martin Fr{\"{a}}nzle and
Mingshuai Chen and
Yangjia Li and
Naijun Zhan},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Safe Over- and Under-Approximation of Reachable Sets for Delay Differential
Equations},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
pages = {281--299},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_16},
doi = {10.1007/978-3-319-65765-3\_16},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/XueMFCLZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icarm/WangCWM17,
author = {Yang{-}jian Wang and
Wei Chen and
Li{-}zhu Wang and
Li Ma},
title = {Structure design and kinematic analysis of dual arm robot},
booktitle = {2nd International Conference on Advanced Robotics and Mechatronics,
{ICARM} 2017, Hefei and Tai'an, China, August 27-31, 2017},
pages = {59--64},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICARM.2017.8273135},
doi = {10.1109/ICARM.2017.8273135},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/icarm/WangCWM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/HuangZZLZZ16,
author = {Ke Huang and
Yangjian Zhang and
Juntao Zhu and
Yaojie Liu and
Jiaxing Zu and
Jing Zhang},
title = {The Influences of Climate Change and Human Activities on Vegetation
Dynamics in the Qinghai-Tibet Plateau},
journal = {Remote. Sens.},
volume = {8},
number = {10},
pages = {876},
year = {2016},
url = {https://doi.org/10.3390/rs8100876},
doi = {10.3390/RS8100876},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/HuangZZLZZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/GanCLXZ16,
author = {Ting Gan and
Mingshuai Chen and
Yangjia Li and
Bican Xia and
Naijun Zhan},
title = {Computing reachable sets of linear vector fields revisited},
booktitle = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
29 - July 1, 2016},
pages = {419--426},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ECC.2016.7810321},
doi = {10.1109/ECC.2016.7810321},
timestamp = {Tue, 01 Jun 2021 15:22:59 +0200},
biburl = {https://dblp.org/rec/conf/eucc/GanCLXZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChenFLMZ16,
author = {Mingshuai Chen and
Martin Fr{\"{a}}nzle and
Yangjia Li and
Peter Nazier Mosaad and
Naijun Zhan},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Validated Simulation-Based Verification of Delayed Differential Dynamics},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {137--154},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_9},
doi = {10.1007/978-3-319-48989-6\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChenFLMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/YanJLWZ16,
author = {Gaogao Yan and
Li Jiao and
Yangjia Li and
Shuling Wang and
Naijun Zhan},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Approximate Bisimulation and Discretization of Hybrid {CSP}},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {702--720},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_43},
doi = {10.1007/978-3-319-48989-6\_43},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/YanJLWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuLWYZ16,
author = {Tao Liu and
Yangjia Li and
Shuling Wang and
Mingsheng Ying and
Naijun Zhan},
title = {A Theorem Prover for Quantum Hoare Logic and Its Applications},
journal = {CoRR},
volume = {abs/1601.03835},
year = {2016},
url = {http://arxiv.org/abs/1601.03835},
eprinttype = {arXiv},
eprint = {1601.03835},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiuLWYZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YanJLWZ16,
author = {Gaogao Yan and
Li Jiao and
Yangjia Li and
Shuling Wang and
Naijun Zhan},
title = {Approximate Bisimulation and Discretization of Hybrid {CSP}},
journal = {CoRR},
volume = {abs/1609.00091},
year = {2016},
url = {http://arxiv.org/abs/1609.00091},
eprinttype = {arXiv},
eprint = {1609.00091},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YanJLWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/YuJQGT15,
author = {Chunyang Yu and
Yangjian Ji and
Guoning Qi and
Xinjian Gu and
Liyan Tao},
title = {Group-based production scheduling for make-to-order production},
journal = {J. Intell. Manuf.},
volume = {26},
number = {3},
pages = {585--600},
year = {2015},
url = {https://doi.org/10.1007/s10845-013-0817-z},
doi = {10.1007/S10845-013-0817-Z},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jim/YuJQGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icira/HuangGLHXSWFS15,
author = {Yangjian Huang and
Weichao Guo and
Jianwei Liu and
Jiayuan He and
Haisheng Xia and
Xinjun Sheng and
Haitao Wang and
Xuetao Feng and
Peter B. Shull},
editor = {Honghai Liu and
Naoyuki Kubota and
Xiangyang Zhu and
R{\"{u}}diger Dillmann and
Dalin Zhou},
title = {Preliminary Testing of a Hand Gesture Recognition Wristband Based
on {EMG} and Inertial Sensor Fusion},
booktitle = {Intelligent Robotics and Applications - 8th International Conference,
{ICIRA} 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9244},
pages = {359--367},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22879-2\_33},
doi = {10.1007/978-3-319-22879-2\_33},
timestamp = {Thu, 06 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icira/HuangGLHXSWFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiLZCW15,
author = {Yangjia Li and
Hui Lu and
Naijun Zhan and
Mingshuai Chen and
Guohua Wu},
title = {Termination Analysis of Polynomial Programs with Equality Conditions},
journal = {CoRR},
volume = {abs/1510.05201},
year = {2015},
url = {http://arxiv.org/abs/1510.05201},
eprinttype = {arXiv},
eprint = {1510.05201},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiLZCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LiYY14,
author = {Yangjia Li and
Nengkun Yu and
Mingsheng Ying},
title = {Termination of nondeterministic quantum programs},
journal = {Acta Informatica},
volume = {51},
number = {1},
pages = {1--24},
year = {2014},
url = {https://doi.org/10.1007/s00236-013-0185-3},
doi = {10.1007/S00236-013-0185-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LiYY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcim/LiJGBQ14,
author = {Hao Li and
Yangjian Ji and
Xinjian Gu and
Zhi{-}Gang Bao and
Guoning Qi},
title = {A universal enterprise manufacturing services maturity model: a case
study in a Chinese company},
journal = {Int. J. Comput. Integr. Manuf.},
volume = {27},
number = {5},
pages = {434--449},
year = {2014},
url = {https://doi.org/10.1080/0951192X.2013.814164},
doi = {10.1080/0951192X.2013.814164},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcim/LiJGBQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/YingLYF14,
author = {Mingsheng Ying and
Yangjia Li and
Nengkun Yu and
Yuan Feng},
title = {Model-Checking Linear-Time Properties of Quantum Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {22:1--22:31},
year = {2014},
url = {https://doi.org/10.1145/2629680},
doi = {10.1145/2629680},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/YingLYF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LiY14,
author = {Yangjia Li and
Mingsheng Ying},
editor = {Paolo Baldan and
Daniele Gorla},
title = {(Un)decidable Problems about Reachability of Quantum Systems},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {482--496},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_33},
doi = {10.1007/978-3-662-44584-6\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/LiY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiY14,
author = {Yangjia Li and
Mingsheng Ying},
title = {(Un)decidable Problems about Reachability of Quantum Systems},
journal = {CoRR},
volume = {abs/1401.6249},
year = {2014},
url = {http://arxiv.org/abs/1401.6249},
eprinttype = {arXiv},
eprint = {1401.6249},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiY14a,
author = {Yangjia Li and
Mingsheng Ying},
title = {Debugging Quantum Processes Using Monitoring Measurements},
journal = {CoRR},
volume = {abs/1403.4344},
year = {2014},
url = {http://arxiv.org/abs/1403.4344},
eprinttype = {arXiv},
eprint = {1403.4344},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiY14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/LiuJJ13,
author = {Yitao Liu and
Yangjian Ji and
Roger Jianxin Jiao},
editor = {Christiaan J. J. Paredis and
Carlee Bishop and
Douglas A. Bodner},
title = {A Stackelberg Solution to Joint Optimization Problems: {A} Case Study
of Green Design},
booktitle = {Proceedings of the Conference on Systems Engineering Research, {CSER}
2013, Atlanta, Georgia, USA, March 19-22, 2013},
series = {Procedia Computer Science},
volume = {16},
pages = {333--342},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.procs.2013.01.035},
doi = {10.1016/J.PROCS.2013.01.035},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/procedia/LiuJJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/LiJGQT12,
author = {Hao Li and
Yangjian Ji and
Xinjian Gu and
Guoning Qi and
Renzhong Tang},
title = {Module partition process model and method of integrated service product},
journal = {Comput. Ind.},
volume = {63},
number = {4},
pages = {298--308},
year = {2012},
url = {https://doi.org/10.1016/j.compind.2012.02.015},
doi = {10.1016/J.COMPIND.2012.02.015},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cii/LiJGQT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/LiuBHWBC12,
author = {Dan Liu and
Philipp Basedau and
Markus Helfenstein and
James Wei and
Thomas Burger and
Yangjian Chen},
title = {A Frequency-Based Model for Limit Cycle and Spur Predictions in Bang-Bang
All Digital {PLL}},
journal = {{IEEE} Trans. Circuits Syst. {I} Regul. Pap.},
volume = {59-I},
number = {6},
pages = {1205--1214},
year = {2012},
url = {https://doi.org/10.1109/TCSI.2011.2173395},
doi = {10.1109/TCSI.2011.2173395},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/LiuBHWBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-0891,
author = {Yangjia Li and
Nengkun Yu and
Mingsheng Ying},
title = {Termination of Nondeterministic Quantum Programs},
journal = {CoRR},
volume = {abs/1201.0891},
year = {2012},
url = {http://arxiv.org/abs/1201.0891},
eprinttype = {arXiv},
eprint = {1201.0891},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-0891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iitsi/LinZO10,
author = {Ying Lin and
Yan Zhang and
Yang{-}jia Ou},
title = {The Design and Implementation of Host-Based Intrusion Detection System},
booktitle = {Third International Symposium on Intelligent Information Technology
and Security Informatics, {IITSI} 2010, Jinggangshan, China, April
2-4, 2010},
pages = {595--598},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/IITSI.2010.127},
doi = {10.1109/IITSI.2010.127},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iitsi/LinZO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cso/XuWZ09,
author = {Yangjian Xu and
Lingling Wang and
Zhiwei Zhang},
editor = {Lean Yu and
Kin Keung Lai and
Shashi Kant Mishra},
title = {Analysis of Convective Heat Transfer Steady Thermal Stresses in a
ZrO2/FGM/Ti-6Al-4V Composite {ECBF} Plate by {FEM}},
booktitle = {Proceedings of the Second International Joint Conference on Computational
Sciences and Optimization, {CSO} 2009, Sanya, Hainan, China, 24-26
April 2009, Volume 1},
pages = {266--269},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSO.2009.84},
doi = {10.1109/CSO.2009.84},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cso/XuWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-10-07 01:17 CEST from data curated 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:
