Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Xiaoxiao Yang
@article{DBLP:journals/ijrr/GaoYXZZHLMSZLR24,
author = {Huxin Gao and
Xiaoxiao Yang and
Xiao Xiao and
Xiaolong Zhu and
Tao Zhang and
Cheng Hou and
Huicong Liu and
Max Q.{-}H. Meng and
Lining Sun and
Xiuli Zuo and
Yanqing Li and
Hongliang Ren},
title = {Transendoscopic flexible parallel continuum robotic mechanism for
bimanual endoscopic submucosal dissection},
journal = {Int. J. Robotics Res.},
volume = {43},
number = {3},
pages = {281--304},
year = {2024},
url = {https://doi.org/10.1177/02783649231209338},
doi = {10.1177/02783649231209338},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijrr/GaoYXZZHLMSZLR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-06985,
author = {Long Bai and
Guankun Wang and
Jie Wang and
Xiaoxiao Yang and
Huxin Gao and
Xin Liang and
An Wang and
Mobarakol Islam and
Hongliang Ren},
title = {{OSSAR:} Towards Open-Set Surgical Activity Recognition in Robot-assisted
Surgery},
journal = {CoRR},
volume = {abs/2402.06985},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.06985},
doi = {10.48550/ARXIV.2402.06985},
eprinttype = {arXiv},
eprint = {2402.06985},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-06985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YangQ23,
author = {Xiaoxiao Yang and
Yihui Qiu},
title = {Research on Improving Gray Wolf Algorithm Based on Multi-Strategy
Fusion},
journal = {{IEEE} Access},
volume = {11},
pages = {66135--66149},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3289819},
doi = {10.1109/ACCESS.2023.3289819},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/YangQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/npl/WangYC23,
author = {Yang Wang and
Xiaoxiao Yang and
Zhibin Chen},
title = {An Efficient Hybrid Graph Network Model for Traveling Salesman Problem
with Drone},
journal = {Neural Process. Lett.},
volume = {55},
number = {8},
pages = {10353--10370},
year = {2023},
url = {https://doi.org/10.1007/s11063-023-11330-0},
doi = {10.1007/S11063-023-11330-0},
timestamp = {Wed, 06 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/npl/WangYC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/GaoFQYLZLMR23,
author = {Huxin Gao and
Weichen Fan and
Liang Qiu and
Xiaoxiao Yang and
Zhen Li and
Xiuli Zuo and
Yanqing Li and
Max Q.{-}H. Meng and
Hongliang Ren},
title = {SAVAnet: Surgical Action-Driven Visual Attention Network for Autonomous
Endoscope Control},
journal = {{IEEE} Trans Autom. Sci. Eng.},
volume = {20},
number = {4},
pages = {2655--2667},
year = {2023},
url = {https://doi.org/10.1109/TASE.2022.3203631},
doi = {10.1109/TASE.2022.3203631},
timestamp = {Fri, 15 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tase/GaoFQYLZLMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/SuYXGY023,
author = {Shijian Su and
Sishen Yuan and
Mengya Xu and
Huxin Gao and
Xiaoxiao Yang and
Hongliang Ren},
title = {AMagPoseNet: Real-Time Six-DoF Magnet Pose Estimation by Dual-Domain
Few-Shot Learning From Prior Model},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {19},
number = {9},
pages = {9722--9732},
year = {2023},
url = {https://doi.org/10.1109/TII.2022.3233675},
doi = {10.1109/TII.2022.3233675},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/SuYXGY023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/YangTLYY22,
author = {Xiaoxiao Yang and
Yang Tong and
Gerui Liu and
Jiapei Yuan and
Yang Yang},
title = {scAPAatlas: an atlas of alternative polyadenylation across cell types
in human and mouse},
journal = {Nucleic Acids Res.},
volume = {50},
number = {{D1}},
pages = {356--364},
year = {2022},
url = {https://doi.org/10.1093/nar/gkab917},
doi = {10.1093/NAR/GKAB917},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/YangTLYY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsaa/YangX22,
author = {Xiaoxiao Yang and
Jungang Xu},
editor = {Joshua Zhexue Huang and
Yi Pan and
Barbara Hammer and
Muhammad Khurram Khan and
Xing Xie and
Laizhong Cui and
Yulin He},
title = {Few-shot Edge Classification in Graph Meta-learning},
booktitle = {9th {IEEE} International Conference on Data Science and Advanced Analytics,
{DSAA} 2022, Shenzhen, China, October 13-16, 2022},
pages = {1--7},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSAA54385.2022.10032375},
doi = {10.1109/DSAA54385.2022.10032375},
timestamp = {Fri, 17 Feb 2023 18:27:26 +0100},
biburl = {https://dblp.org/rec/conf/dsaa/YangX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/YangQZW022,
author = {Xiaoxiao Yang and
Yeqiang Qian and
Huijie Zhu and
Chunxiang Wang and
Ming Yang},
title = {BAANet: Learning Bi-directional Adaptive Attention Gates for Multispectral
Pedestrian Detection},
booktitle = {2022 International Conference on Robotics and Automation, {ICRA} 2022,
Philadelphia, PA, USA, May 23-27, 2022},
pages = {2920--2926},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICRA46639.2022.9811999},
doi = {10.1109/ICRA46639.2022.9811999},
timestamp = {Wed, 20 Jul 2022 18:22:23 +0200},
biburl = {https://dblp.org/rec/conf/icra/YangQZW022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/GaoZLXQYHZL022,
author = {Huxin Gao and
Zedong Zhang and
Changsheng Li and
Xiao Xiao and
Liang Qiu and
Xiaoxiao Yang and
Ruoyi Hao and
Xiuli Zuo and
Yanqing Li and
Hongliang Ren},
title = {GESRsim: Gastrointestinal Endoscopic Surgical Robot Simulator},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2022, Kyoto, Japan, October 23-27, 2022},
pages = {9542--9549},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IROS47612.2022.9982138},
doi = {10.1109/IROS47612.2022.9982138},
timestamp = {Fri, 15 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/GaoZLXQYHZL022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/YangCYZY22,
author = {Chenglin Yang and
Zihao Chai and
Xiaoxiao Yang and
Hanyang Zhuang and
Ming Yang},
title = {Recognition of Degradation Scenarios for LiDAR {SLAM} Applications},
booktitle = {{IEEE} International Conference on Robotics and Biomimetics, {ROBIO}
2022, Jinghong, China, December 5-9, 2022},
pages = {1726--1731},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ROBIO55434.2022.10011727},
doi = {10.1109/ROBIO55434.2022.10011727},
timestamp = {Wed, 08 Feb 2023 17:46:11 +0100},
biburl = {https://dblp.org/rec/conf/robio/YangCYZY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-04735,
author = {Huxin Gao and
Xiao Xiao and
Xiaoxiao Yang and
Tao Zhang and
Xiuli Zuo and
Yanqing Li and
Hongliang Ren},
title = {A Miniature 3-DoF Flexible Parallel Robotic Wrist Using NiTi Wires
for Gastrointestinal Endoscopic Surgery},
journal = {CoRR},
volume = {abs/2207.04735},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.04735},
doi = {10.48550/ARXIV.2207.04735},
eprinttype = {arXiv},
eprint = {2207.04735},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-04735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdsn/YangZPL21,
author = {Xiaoxiao Yang and
Jing Zhang and
Jun Peng and
Lihong Lei},
title = {Incentive mechanism based on Stackelberg game under reputation constraint
for mobile crowdsensing},
journal = {Int. J. Distributed Sens. Networks},
volume = {17},
number = {6},
pages = {155014772110230},
year = {2021},
url = {https://doi.org/10.1177/15501477211023010},
doi = {10.1177/15501477211023010},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijdsn/YangZPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/GuoYWWC21,
author = {Yu Guo and
Xiaoxiao Yang and
Yinuo Wang and
Fei Wang and
Badong Chen},
title = {Online robust echo state broad learning system},
journal = {Neurocomputing},
volume = {464},
pages = {438--449},
year = {2021},
url = {https://doi.org/10.1016/j.neucom.2021.08.099},
doi = {10.1016/J.NEUCOM.2021.08.099},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/GuoYWWC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icig/YangGWJW21,
author = {Xiaoxiao Yang and
Yu Guo and
Yinuo Wang and
Peilin Jiang and
Fei Wang},
editor = {Yuxin Peng and
Shi{-}Min Hu and
Moncef Gabbouj and
Kun Zhou and
Michael Elad and
Kun Xu},
title = {Dynamic Hypergraph Regularized Broad Learning System for Image Classification},
booktitle = {Image and Graphics - 11th International Conference, {ICIG} 2021, Haikou,
China, August 6-8, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12888},
pages = {491--501},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87355-4\_41},
doi = {10.1007/978-3-030-87355-4\_41},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icig/YangGWJW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icig/WangGYZW21,
author = {Yinuo Wang and
Yu Guo and
Xiaoxiao Yang and
Xuetao Zhang and
Fei Wang},
editor = {Yuxin Peng and
Shi{-}Min Hu and
Moncef Gabbouj and
Kun Zhou and
Michael Elad and
Kun Xu},
title = {Photometric Stereo Based on Multiple Kernel Learning},
booktitle = {Image and Graphics - 11th International Conference, {ICIG} 2021, Haikou,
China, August 6-8, 2021, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12890},
pages = {523--532},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87361-5\_43},
doi = {10.1007/978-3-030-87361-5\_43},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icig/WangGYZW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciscae/ZhangY21,
author = {Yang Zhang and
Xiaoxiao Yang},
title = {A New Extended State Observer},
booktitle = {{ICISCAE} 2021: 4th International Conference on Information Systems
and Computer Aided Education, Dalian, China, September 24 - 26, 2021},
pages = {1815--1819},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3482632.3484045},
doi = {10.1145/3482632.3484045},
timestamp = {Thu, 02 Dec 2021 14:37:44 +0100},
biburl = {https://dblp.org/rec/conf/iciscae/ZhangY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-02277,
author = {Xiaoxiao Yang and
Yeqian Qiang and
Huijie Zhu and
Chunxiang Wang and
Ming Yang},
title = {BAANet: Learning Bi-directional Adaptive Attention Gates for Multispectral
Pedestrian Detection},
journal = {CoRR},
volume = {abs/2112.02277},
year = {2021},
url = {https://arxiv.org/abs/2112.02277},
eprinttype = {arXiv},
eprint = {2112.02277},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-02277.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcat/JiYCC20,
author = {Chunning Ji and
Xiaoxiao Yang and
Yuting Cui and
Weilin Chen},
title = {Vortex dislocation characteristics of a dual-step cylinder in low-Re
flow},
journal = {Int. J. Comput. Appl. Technol.},
volume = {62},
number = {4},
pages = {307--317},
year = {2020},
url = {https://doi.org/10.1504/IJCAT.2020.107428},
doi = {10.1504/IJCAT.2020.107428},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcat/JiYCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/HuangLWYLZW20,
author = {Xing Huang and
Qiyue Li and
Xin'ao Wei and
Xiaoxiao Yang and
Dayou Luo and
Haideng Zeng and
Hongwei Wang},
title = {Indoor Test System for Liquid {CO2} Phase Change Shock Wave Pressure
with {PVDF} Sensors},
journal = {Sensors},
volume = {20},
number = {8},
pages = {2395},
year = {2020},
url = {https://doi.org/10.3390/s20082395},
doi = {10.3390/S20082395},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/HuangLWYLZW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ZhangYFYR20,
author = {Jing Zhang and
Xiaoxiao Yang and
Xin Feng and
Hongwei Yang and
An Ren},
title = {A Joint Constraint Incentive Mechanism Algorithm Utilizing Coverage
and Reputation for Mobile Crowdsensing},
journal = {Sensors},
volume = {20},
number = {16},
pages = {4478},
year = {2020},
url = {https://doi.org/10.3390/s20164478},
doi = {10.3390/S20164478},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/ZhangYFYR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit/BiYZZD20,
author = {Tianping Bi and
Xiaoxiao Yang and
Fei Zhou and
Yishu Zhu and
Xianzhe Diao},
title = {Research on {CIM} Basic Platform Construction},
booktitle = {{ICIT} 2020, Proceedings of the 8th International Conference on Information
Technology: IoT and Smart City, Xi'an, China, December 25-27, 2020},
pages = {159--163},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3446999.3447029},
doi = {10.1145/3446999.3447029},
timestamp = {Wed, 21 Apr 2021 11:46:21 +0200},
biburl = {https://dblp.org/rec/conf/icit/BiYZZD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/0001YLXLL20,
author = {Changhong Fu and
Xiaoxiao Yang and
Fan Li and
Juntao Xu and
Changjing Liu and
Peng Lu},
title = {Learning Consistency Pursued Correlation Filters for Real-Time {UAV}
Tracking},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021},
pages = {8293--8300},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IROS45743.2020.9340954},
doi = {10.1109/IROS45743.2020.9340954},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/0001YLXLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-03704,
author = {Changhong Fu and
Xiaoxiao Yang and
Fan Li and
Juntao Xu and
Changjing Liu and
Peng Lu},
title = {Learning Consistency Pursued Correlation Filters for Real-Time {UAV}
Tracking},
journal = {CoRR},
volume = {abs/2008.03704},
year = {2020},
url = {https://arxiv.org/abs/2008.03704},
eprinttype = {arXiv},
eprint = {2008.03704},
timestamp = {Sun, 03 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-03704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/YangKLLW18,
author = {Xiaoxiao Yang and
Joost{-}Pieter Katoen and
Huimin Lin and
Gaoang Liu and
Hao Wu},
title = {Branching Bisimulation and Concurrent Object Verification},
booktitle = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2018, Luxembourg City, Luxembourg, June 25-28,
2018},
pages = {267--278},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DSN.2018.00037},
doi = {10.1109/DSN.2018.00037},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/YangKLLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-01220,
author = {Xiaoxiao Yang},
title = {The Effect Race in Fine-Grained Concurrency},
journal = {CoRR},
volume = {abs/1802.01220},
year = {2018},
url = {http://arxiv.org/abs/1802.01220},
eprinttype = {arXiv},
eprint = {1802.01220},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-01220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ism/LeiYGHWZ17,
author = {Zhiwen Lei and
Xiaoxiao Yang and
Yanzhou Gong and
Weixing Huang and
Jian Wang and
Guigang Zhang},
title = {A Robust Hand Cursor Interaction Method Using Kinect},
booktitle = {19th {IEEE} International Symposium on Multimedia, {ISM} 2017, Taichung,
Taiwan, December 11-13, 2017},
pages = {543--548},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISM.2017.106},
doi = {10.1109/ISM.2017.106},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ism/LeiYGHWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YangKLW17,
author = {Xiaoxiao Yang and
Joost{-}Pieter Katoen and
Huimin Lin and
Hao Wu},
title = {Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation},
journal = {CoRR},
volume = {abs/1701.06104},
year = {2017},
url = {http://arxiv.org/abs/1701.06104},
eprinttype = {arXiv},
eprint = {1701.06104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YangKLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haptics/YangWZ16,
author = {Xiaoxiao Yang and
Dangxiao Wang and
Yuru Zhang},
editor = {Fernando Bello and
Hiroyuki Kajimoto and
Yon Visell},
title = {An Adaptive Strategy for an Immersive Visuo-Haptic Attention Training
Game},
booktitle = {Haptics: Perception, Devices, Control, and Applications - 10th International
Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9774},
pages = {441--451},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42321-0\_41},
doi = {10.1007/978-3-319-42321-0\_41},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haptics/YangWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WuYK16,
author = {Hao Wu and
Xiaoxiao Yang and
Joost{-}Pieter Katoen},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Performance Evaluation of Concurrent Data Structures},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {38--49},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_3},
doi = {10.1007/978-3-319-47677-3\_3},
timestamp = {Tue, 21 Mar 2023 20:59:17 +0100},
biburl = {https://dblp.org/rec/conf/setta/WuYK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YangKLW16,
author = {Xiaoxiao Yang and
Joost{-}Pieter Katoen and
Huimin Lin and
Hao Wu},
title = {Proving Linearizability via Branching Bisimulation},
journal = {CoRR},
volume = {abs/1609.07546},
year = {2016},
url = {http://arxiv.org/abs/1609.07546},
eprinttype = {arXiv},
eprint = {1609.07546},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YangKLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/YangZFF14,
author = {Xiaoxiao Yang and
Yu Zhang and
Ming Fu and
Xinyu Feng},
title = {A temporal programming model with atomic blocks based on projection
temporal logic},
journal = {Frontiers Comput. Sci.},
volume = {8},
number = {6},
pages = {958--976},
year = {2014},
url = {https://doi.org/10.1007/s11704-014-3342-0},
doi = {10.1007/S11704-014-3342-0},
timestamp = {Fri, 04 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/YangZFF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toh/WangZYYY14,
author = {Dangxiao Wang and
Yuru Zhang and
Xiaoxiao Yang and
Gaofeng Yang and
Yi Yang},
title = {Force Control Tasks with Pure Haptic Feedback Promote Short-Term Focused
Attention},
journal = {{IEEE} Trans. Haptics},
volume = {7},
number = {4},
pages = {467--476},
year = {2014},
url = {https://doi.org/10.1109/TOH.2014.2359007},
doi = {10.1109/TOH.2014.2359007},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toh/WangZYYY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Yang14,
author = {Xiaoxiao Yang},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Combining Separation Logic and Projection Temporal Logic to Reason
About Non-blocking Concurrency},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {127--144},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_9},
doi = {10.1007/978-3-319-17404-4\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Yang14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YangZFF12,
author = {Xiaoxiao Yang and
Yu Zhang and
Ming Fu and
Xinyu Feng},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {A Concurrent Temporal Programming Model with Atomic Blocks},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {22--37},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_5},
doi = {10.1007/978-3-642-34281-3\_5},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/YangZFF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-1379,
author = {Xiaoxiao Yang},
title = {A Probabilistic Variant of Projection Temporal Logic},
journal = {CoRR},
volume = {abs/1101.1379},
year = {2011},
url = {http://arxiv.org/abs/1101.1379},
eprinttype = {arXiv},
eprint = {1101.1379},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-1379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/YangDM10,
author = {Xiaoxiao Yang and
Zhenhua Duan and
Qian Ma},
title = {Axiomatic semantics of projection temporal logic programs},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {5},
pages = {865--914},
year = {2010},
url = {https://doi.org/10.1017/S0960129510000241},
doi = {10.1017/S0960129510000241},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/YangDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/YangD10,
author = {Xiaoxiao Yang and
Zhenhua Duan},
editor = {Jing Liu and
Doron A. Peled and
Bow{-}Yaw Wang and
Farn Wang},
title = {Axiomatic Temporal Logic Programs Verification},
booktitle = {4th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010},
pages = {87--94},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TASE.2010.10},
doi = {10.1109/TASE.2010.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/YangD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-1321,
author = {Xiaoxiao Yang},
title = {Probabilistic Model Checking for Propositional Projection Temporal
Logic},
journal = {CoRR},
volume = {abs/1011.1321},
year = {2010},
url = {http://arxiv.org/abs/1011.1321},
eprinttype = {arXiv},
eprint = {1011.1321},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-1321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/YangD08,
author = {Xiaoxiao Yang and
Zhenhua Duan},
title = {Operational semantics of Framed Tempura},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {1},
pages = {22--51},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2008.08.001},
doi = {10.1016/J.JLAP.2008.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/YangD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DuanYK08,
author = {Zhenhua Duan and
Xiaoxiao Yang and
Maciej Koutny},
title = {Framed temporal logic programming},
journal = {Sci. Comput. Program.},
volume = {70},
number = {1},
pages = {31--61},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2007.09.001},
doi = {10.1016/J.SCICO.2007.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DuanYK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/YangD07,
author = {Xiaoxiao Yang and
Zhenhua Duan},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {Operational Semantics of Framed Temporal Logic Programs},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {566--578},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_49},
doi = {10.1007/978-3-540-69507-3\_49},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/YangD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MaDWY07,
author = {Yongtao Ma and
Zhenhua Duan and
Xiaobing Wang and
Xiaoxiao Yang},
title = {An Interpreter for Framed Tempura and Its Application},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {251--260},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.10},
doi = {10.1109/TASE.2007.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/MaDWY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DuanYK05,
author = {Zhenhua Duan and
Xiaoxiao Yang and
Maciej Koutny},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Semantics of Framed Temporal Logic Programs},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {356--370},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_27},
doi = {10.1007/11562931\_27},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DuanYK05.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-02 20:16 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:
