Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yueling Zhang
@article{DBLP:journals/corr/abs-2401-01062,
author = {Simiao Zhang and
Jiaping Wang and
Guoliang Dong and
Jun Sun and
Yueling Zhang and
Geguang Pu},
title = {Experimenting a New Programming Practice with LLMs},
journal = {CoRR},
volume = {abs/2401.01062},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.01062},
doi = {10.48550/ARXIV.2401.01062},
eprinttype = {arXiv},
eprint = {2401.01062},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-01062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/ZhangXC0ZL023,
author = {Zhaodi Zhang and
Zhiyi Xue and
Yang Chen and
Si Liu and
Yueling Zhang and
Jing Liu and
Min Zhang},
title = {Boosting Verified Training for Robust Image Classifications via Abstraction},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2023, Vancouver, BC, Canada, June 17-24, 2023},
pages = {16251--16260},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CVPR52729.2023.01559},
doi = {10.1109/CVPR52729.2023.01559},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/ZhangXC0ZL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GuoZZKZ23,
author = {Xingwu Guo and
Ziwei Zhou and
Yueling Zhang and
Guy Katz and
Min Zhang},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep
Neural Networks},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {208--226},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_11},
doi = {10.1007/978-3-031-30823-9\_11},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GuoZZKZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-11912,
author = {Xingwu Guo and
Ziwei Zhou and
Yueling Zhang and
Guy Katz and
Min Zhang},
title = {OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep
Neural Networks},
journal = {CoRR},
volume = {abs/2301.11912},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11912},
doi = {10.48550/ARXIV.2301.11912},
eprinttype = {arXiv},
eprint = {2301.11912},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-11552,
author = {Zhaodi Zhang and
Zhiyi Xue and
Yang Chen and
Si Liu and
Yueling Zhang and
Jing Liu and
Min Zhang},
title = {Boosting Verified Training for Robust Image Classifications via Abstraction},
journal = {CoRR},
volume = {abs/2303.11552},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.11552},
doi = {10.48550/ARXIV.2303.11552},
eprinttype = {arXiv},
eprint = {2303.11552},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-11552.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11379,
author = {Simiao Zhang and
Jitao Bai and
Menghong Guan and
Yihao Huang and
Yueling Zhang and
Jun Sun and
Geguang Pu},
title = {Towards Better Fairness-Utility Trade-off: {A} Comprehensive Measurement-Based
Reinforcement Learning Framework},
journal = {CoRR},
volume = {abs/2307.11379},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.11379},
doi = {10.48550/ARXIV.2307.11379},
eprinttype = {arXiv},
eprint = {2307.11379},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-11379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MaoZSHL22,
author = {Xia Mao and
Yueling Zhang and
Jianqi Shi and
Yanhong Huang and
Qin Li},
title = {A refinement development approach for enhancing the safety of {PLC}
programs with Event-B},
journal = {Sci. Comput. Program.},
volume = {215},
pages = {102763},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2021.102763},
doi = {10.1016/J.SCICO.2021.102763},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MaoZSHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/MaoLHSZ22,
author = {Xia Mao and
Xin Li and
Yanhong Huang and
Jianqi Shi and
Yueling Zhang},
title = {Programmable Logic Controllers Past Linear Temporal Logic for Monitoring
Applications in Industrial Control Systems},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {18},
number = {7},
pages = {4393--4405},
year = {2022},
url = {https://doi.org/10.1109/TII.2021.3123194},
doi = {10.1109/TII.2021.3123194},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/MaoLHSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsc/LiuDCLQZZW22,
author = {Jinlei Liu and
Wenchao Dan and
Nuo Cheng and
Wenjing Lian and
Peirong Qu and
Hui Zhang and
Yueling Zhang and
Jie Wang},
title = {Knowledge Graph of Artificial Intelligence in Medicine: {A} Scientometric
Analysis},
booktitle = {7th {IEEE} International Conference on Data Science in Cyberspace,
{DSC} 2022, Guilin, China, July 11-13, 2022},
pages = {142--153},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSC55868.2022.00026},
doi = {10.1109/DSC55868.2022.00026},
timestamp = {Tue, 11 Oct 2022 16:48:00 +0200},
biburl = {https://dblp.org/rec/conf/dsc/LiuDCLQZZW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-05784,
author = {Jin Hao and
Jiaxiang Liu and
Jin Li and
Wei Pan and
Ruizhe Chen and
Huimin Xiong and
Kaiwei Sun and
Hangzheng Lin and
Wanlu Liu and
Wanghui Ding and
Jianfei Yang and
Haoji Hu and
Yueling Zhang and
Yang Feng and
Zeyu Zhao and
Huikai Wu and
Youyi Zheng and
Bing Fang and
Zuozhu Liu and
Zhihe Zhao},
title = {AI-enabled Automatic Multimodal Fusion of Cone-Beam {CT} and Intraoral
Scans for Intelligent 3D Tooth-Bone Reconstruction and Clinical Applications},
journal = {CoRR},
volume = {abs/2203.05784},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.05784},
doi = {10.48550/ARXIV.2203.05784},
eprinttype = {arXiv},
eprint = {2203.05784},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-05784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/JiangZWC21,
author = {Chunguang Jiang and
Yueling Zhang and
Jiangtao Wang and
Weiting Chen},
editor = {Igor Farkas and
Paolo Masulli and
Sebastian Otte and
Stefan Wermter},
title = {Approximated Masked Global Context Network for Skin Lesion Segmentation},
booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2021 - 30th
International Conference on Artificial Neural Networks, Bratislava,
Slovakia, September 14-17, 2021, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12893},
pages = {610--622},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86365-4\_49},
doi = {10.1007/978-3-030-86365-4\_49},
timestamp = {Mon, 27 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icann/JiangZWC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconip/ZhouZCW21,
author = {Shunkai Zhou and
Yueling Zhang and
Guitao Cao and
Jiangtao Wang},
editor = {Teddy Mantoro and
Minho Lee and
Media Anugerah Ayu and
Kok Wai Wong and
Achmad Nizar Hidayanto},
title = {Generating Adversarial Examples by Distributed Upsampling},
booktitle = {Neural Information Processing - 28th International Conference, {ICONIP}
2021, Sanur, Bali, Indonesia, December 8-12, 2021, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {13108},
pages = {177--189},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92185-9\_15},
doi = {10.1007/978-3-030-92185-9\_15},
timestamp = {Mon, 27 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iconip/ZhouZCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangZZ21,
author = {Lingfeng Zhang and
Yueling Zhang and
Min Zhang},
editor = {Cristian Cadar and
Xiangyu Zhang},
title = {Efficient white-box fairness testing through gradient search},
booktitle = {{ISSTA} '21: 30th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
pages = {103--114},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460319.3464820},
doi = {10.1145/3460319.3464820},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhangZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiPZVR20,
author = {Jianwen Li and
Geguang Pu and
Yueling Zhang and
Moshe Y. Vardi and
Kristin Y. Rozier},
title = {SAT-based explicit LTLf satisfiability checking},
journal = {Artif. Intell.},
volume = {289},
pages = {103369},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103369},
doi = {10.1016/J.ARTINT.2020.103369},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LiPZVR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangZP20,
author = {Yueling Zhang and
Min Zhang and
Geguang Pu},
title = {Optimizing backbone filtering},
journal = {Sci. Comput. Program.},
volume = {187},
pages = {102374},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102374},
doi = {10.1016/J.SCICO.2019.102374},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangZP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/XiaZCWW20,
author = {Bangfeng Xia and
Yueling Zhang and
Weiting Chen and
Xiangfeng Wang and
Jiangtao Wang},
editor = {Igor Farkas and
Paolo Masulli and
Stefan Wermter},
title = {EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps},
booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2020 - 29th
International Conference on Artificial Neural Networks, Bratislava,
Slovakia, September 15-18, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12396},
pages = {504--516},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61609-0\_40},
doi = {10.1007/978-3-030-61609-0\_40},
timestamp = {Mon, 27 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icann/XiaZCWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangPS20,
author = {Yueling Zhang and
Geguang Pu and
Jun Sun},
title = {Accelerating All-SAT Computation with Short Blocking Clauses},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {6--17},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416569},
doi = {10.1145/3324884.3416569},
timestamp = {Fri, 12 Feb 2021 13:04:43 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/ZhangPZY19,
author = {Yueling Zhang and
Geguang Pu and
Min Zhang and
William Y},
title = {Generating adversarial examples for {DNN} using pooling layers},
journal = {J. Intell. Fuzzy Syst.},
volume = {37},
number = {4},
pages = {4615--4620},
year = {2019},
url = {https://doi.org/10.3233/JIFS-179295},
doi = {10.3233/JIFS-179295},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/ZhangPZY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiRPZV19,
author = {Jianwen Li and
Kristin Y. Rozier and
Geguang Pu and
Yueling Zhang and
Moshe Y. Vardi},
title = {SAT-Based Explicit LTLf Satisfiability Checking},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2946--2953},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012946},
doi = {10.1609/AAAI.V33I01.33012946},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiRPZV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhangPZ19,
author = {Yueling Zhang and
Geguang Pu and
Min Zhang},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {{SMTBCF:} Efficient Backbone Computing for {SMT} Formulas},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {36--51},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_3},
doi = {10.1007/978-3-030-32409-4\_3},
timestamp = {Mon, 28 Oct 2019 17:04:46 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ZhangPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/ZhangZPSL18,
author = {Yueling Zhang and
Min Zhang and
Geguang Pu and
Fu Song and
Jianwen Li},
title = {Towards backbone computing: {A} Greedy-Whitening based approach},
journal = {{AI} Commun.},
volume = {31},
number = {3},
pages = {267--280},
year = {2018},
url = {https://doi.org/10.3233/AIC-180763},
doi = {10.3233/AIC-180763},
timestamp = {Wed, 23 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/ZhangZPSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FedyukovichZG18,
author = {Grigory Fedyukovich and
Yueling Zhang and
Aarti Gupta},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Syntax-Guided Termination Analysis},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {124--143},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_7},
doi = {10.1007/978-3-319-96145-3\_7},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/FedyukovichZG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03176,
author = {Jianwen Li and
Kristin Y. Rozier and
Geguang Pu and
Yueling Zhang and
Moshe Y. Vardi},
title = {SAT-based Explicit LTLf Satisfiability Checking},
journal = {CoRR},
volume = {abs/1811.03176},
year = {2018},
url = {http://arxiv.org/abs/1811.03176},
eprinttype = {arXiv},
eprint = {1811.03176},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiZZPV17,
author = {Jianwen Li and
Shufang Zhu and
Yueling Zhang and
Geguang Pu and
Moshe Y. Vardi},
editor = {Sri Parameswaran},
title = {Safety model checking with complementary approximations},
booktitle = {2017 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 2017, Irvine, CA, USA, November 13-16, 2017},
pages = {95--100},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICCAD.2017.8203765},
doi = {10.1109/ICCAD.2017.8203765},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/LiZZPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhangLZPS17,
author = {Yueling Zhang and
Jianwen Li and
Min Zhang and
Geguang Pu and
Fu Song},
editor = {Fr{\'{e}}d{\'{e}}ric Mallet and
Min Zhang and
Eric Madelaine},
title = {Optimizing backbone filtering},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2017, Sophia Antipolis, France, September 13-15, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/TASE.2017.8285627},
doi = {10.1109/TASE.2017.8285627},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhangLZPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiZZPV16,
author = {Jianwen Li and
Shufang Zhu and
Yueling Zhang and
Geguang Pu and
Moshe Y. Vardi},
title = {Approximate Reachability},
journal = {CoRR},
volume = {abs/1611.04946},
year = {2016},
url = {http://arxiv.org/abs/1611.04946},
eprinttype = {arXiv},
eprint = {1611.04946},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiZZPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmei/SunLSXJZLMZ11,
author = {Shaojing Sun and
Fuping Lu and
Hui Song and
Jianyong Xu and
Nan Jiang and
Yueling Zhang and
Li Li and
Tan Ming and
Wen Zheng},
editor = {Yongsheng Ding and
Yonghong Peng and
Riyi Shi and
Kuangrong Hao and
Lipo Wang},
title = {Cloning, expression and characterization of a thermostable pullulanase
from newly isolated thermophilic Geobacillus sp. {LM14-3}},
booktitle = {4th International Conference on Biomedical Engineering and Informatics,
{BMEI} 2011, Shanghai, China, October 15-17, 2011},
pages = {1567--1570},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/BMEI.2011.6098577},
doi = {10.1109/BMEI.2011.6098577},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/bmei/SunLSXJZLMZ11.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 17:22 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:
