Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yongzhi Cao
@article{DBLP:journals/isci/ChenRHC24,
author = {Qi Chen and
Xiaojun Ren and
Li Hu and
Yongzhi Cao},
title = {Ideal uniform multipartite secret sharing schemes},
journal = {Inf. Sci.},
volume = {655},
pages = {119907},
year = {2024},
url = {https://doi.org/10.1016/j.ins.2023.119907},
doi = {10.1016/J.INS.2023.119907},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/ChenRHC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangLXCW024,
author = {Rongchao Zhang and
Yiwei Lou and
Dexuan Xu and
Yongzhi Cao and
Hanpin Wang and
Yu Huang},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {A Learnable Discrete-Prior Fusion Autoencoder with Contrastive Learning
for Tabular Data Synthesis},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {16803--16811},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i15.29621},
doi = {10.1609/AAAI.V38I15.29621},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangLXCW024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-10122,
author = {Zhechen Li and
Zimai Guo and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Differentially Private Approval-Based Committee Voting},
journal = {CoRR},
volume = {abs/2401.10122},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.10122},
doi = {10.48550/ARXIV.2401.10122},
eprinttype = {arXiv},
eprint = {2401.10122},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-10122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/WangSGXCW23,
author = {Haibin Wang and
Sujoy Sikdar and
Xiaoxi Guo and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Multi resource allocation with partial preferences},
journal = {Artif. Intell.},
volume = {314},
pages = {103824},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2022.103824},
doi = {10.1016/J.ARTINT.2022.103824},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/WangSGXCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GuoSXCW23,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Favoring Eagerness for Remaining Items: Designing Efficient, Fair,
and Strategyproof Mechanisms},
journal = {J. Artif. Intell. Res.},
volume = {76},
pages = {287--339},
year = {2023},
url = {https://doi.org/10.1613/jair.1.13878},
doi = {10.1613/JAIR.1.13878},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/GuoSXCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiLXCW23,
author = {Zhechen Li and
Ao Liu and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Differentially Private Condorcet Voting},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {5755--5763},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25714},
doi = {10.1609/AAAI.V37I5.25714},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiLXCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisp/LiCMWHC23,
author = {Zhihao Li and
Qi Chen and
Weichuan Mo and
Xiaolin Wang and
Li Hu and
Yongzhi Cao},
editor = {Jaideep Vaidya and
Moncef Gabbouj and
Jin Li},
title = {Converging Blockchain and Deep Learning in {UAV} Network Defense Strategy:
Ensuring Data Security During Flight},
booktitle = {Artificial Intelligence Security and Privacy - First International
Conference on Artificial Intelligence Security and Privacy, AIS{\&}P
2023, Guangzhou, China, December 3-5, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14509},
pages = {156--171},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-9785-5\_12},
doi = {10.1007/978-981-99-9785-5\_12},
timestamp = {Sun, 03 Mar 2024 19:07:53 +0100},
biburl = {https://dblp.org/rec/conf/aisp/LiCMWHC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/LouCXZCW023,
author = {Yiwei Lou and
Yanyuan Chen and
Dexuan Xu and
Doudou Zhou and
Yongzhi Cao and
Hanpin Wang and
Yu Huang},
editor = {Guihai Chen and
Latifur Khan and
Xiaofeng Gao and
Meikang Qiu and
Witold Pedrycz and
Xindong Wu},
title = {Refining the Unseen: Self-supervised Two-stream Feature Extraction
for Image Quality Assessment},
booktitle = {{IEEE} International Conference on Data Mining, {ICDM} 2023, Shanghai,
China, December 1-4, 2023},
pages = {1193--1198},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICDM58522.2023.00147},
doi = {10.1109/ICDM58522.2023.00147},
timestamp = {Tue, 13 Feb 2024 11:46:18 +0100},
biburl = {https://dblp.org/rec/conf/icdm/LouCXZCW023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GuoSXCW23,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {First-Choice Maximality Meets Ex-ante and Ex-post Fairness},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {2719--2727},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/303},
doi = {10.24963/IJCAI.2023/303},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GuoSXCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-06237,
author = {Tianyue Cao and
Bowen Zhang and
Zhao Jin and
Yongzhi Cao and
Hanpin Wang},
title = {A separation logic for sequences in pointer programs and its decidability},
journal = {CoRR},
volume = {abs/2301.06237},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.06237},
doi = {10.48550/ARXIV.2301.06237},
eprinttype = {arXiv},
eprint = {2301.06237},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-06237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04589,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {First-Choice Maximality Meets Ex-ante and Ex-post Fairness},
journal = {CoRR},
volume = {abs/2305.04589},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04589},
doi = {10.48550/ARXIV.2305.04589},
eprinttype = {arXiv},
eprint = {2305.04589},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04589.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07219,
author = {Zhechen Li and
Ao Liu and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Trading Off Voting Axioms for Privacy},
journal = {CoRR},
volume = {abs/2307.07219},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07219},
doi = {10.48550/ARXIV.2307.07219},
eprinttype = {arXiv},
eprint = {2307.07219},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LouHXCW22,
author = {Yiwei Lou and
Yu Huang and
Xuliang Xing and
Yongzhi Cao and
Hanpin Wang},
title = {{MTS-LSTDM:} Multi-Time-Scale Long Short-Term Double Memory for power
load forecasting},
journal = {J. Syst. Archit.},
volume = {125},
pages = {102443},
year = {2022},
url = {https://doi.org/10.1016/j.sysarc.2022.102443},
doi = {10.1016/J.SYSARC.2022.102443},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/LouHXCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/GaoWCI22,
author = {Kun Gao and
Hanpin Wang and
Yongzhi Cao and
Katsumi Inoue},
title = {Learning from interpretation transition using differentiable logic
programming semantics},
journal = {Mach. Learn.},
volume = {111},
number = {1},
pages = {123--145},
year = {2022},
url = {https://doi.org/10.1007/s10994-021-06058-8},
doi = {10.1007/S10994-021-06058-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/GaoWCI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JinZZCW22,
author = {Zhao Jin and
Bowen Zhang and
Lei Zhang and
Yongzhi Cao and
Hanpin Wang},
title = {An adaptation-complete proof system for local reasoning about cloud
storage systems},
journal = {Theor. Comput. Sci.},
volume = {903},
pages = {39--73},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.12.018},
doi = {10.1016/J.TCS.2021.12.018},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/JinZZCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaiCW22,
author = {Zonglei Bai and
Yongzhi Cao and
Hanpin Wang},
title = {Zero-freeness and approximation of real Boolean Holant problems},
journal = {Theor. Comput. Sci.},
volume = {917},
pages = {12--30},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.03.009},
doi = {10.1016/J.TCS.2022.03.009},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BaiCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JinZCCW22,
author = {Zhao Jin and
Bowen Zhang and
Tianyue Cao and
Yongzhi Cao and
Hanpin Wang},
title = {Reasoning about block-based cloud storage systems via separation logic},
journal = {Theor. Comput. Sci.},
volume = {936},
pages = {43--76},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.09.015},
doi = {10.1016/J.TCS.2022.09.015},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JinZCCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GuoSWXCW22,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Haibin Wang and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1938--1940},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1938.pdf},
doi = {10.5555/3535850.3536159},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/GuoSWXCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GaoICW22,
author = {Kun Gao and
Katsumi Inoue and
Yongzhi Cao and
Hanpin Wang},
editor = {Luc De Raedt},
title = {Learning First-Order Rules with Differentiable Logic Program Semantics},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {3008--3014},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/417},
doi = {10.24963/IJCAI.2022/417},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GaoICW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-13570,
author = {Kun Gao and
Katsumi Inoue and
Yongzhi Cao and
Hanpin Wang},
title = {Learning First-Order Rules with Differentiable Logic Program Semantics},
journal = {CoRR},
volume = {abs/2204.13570},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.13570},
doi = {10.48550/ARXIV.2204.13570},
eprinttype = {arXiv},
eprint = {2204.13570},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13081,
author = {Zhechen Li and
Ao Liu and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Differentially Private Condorcet Voting},
journal = {CoRR},
volume = {abs/2206.13081},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13081},
doi = {10.48550/ARXIV.2206.13081},
eprinttype = {arXiv},
eprint = {2206.13081},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/GuoSWXCW21,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Haibin Wang and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Probabilistic serial mechanism for multi-type resource allocation},
journal = {Auton. Agents Multi Agent Syst.},
volume = {35},
number = {1},
pages = {15},
year = {2021},
url = {https://doi.org/10.1007/s10458-021-09495-w},
doi = {10.1007/S10458-021-09495-W},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/GuoSWXCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/ZhengCW21,
author = {Junxiang Zheng and
Yongzhi Cao and
Hanpin Wang},
title = {Resisting membership inference attacks through knowledge distillation},
journal = {Neurocomputing},
volume = {452},
pages = {114--126},
year = {2021},
url = {https://doi.org/10.1016/j.neucom.2021.04.082},
doi = {10.1016/J.NEUCOM.2021.04.082},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/ZhengCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/PanCCQL21,
author = {Haiyu Pan and
Yongzhi Cao and
Liang Chang and
Junyan Qian and
Yuming Lin},
title = {Fuzzy Alternating Refinement Relations Under the G{\"{o}}del
Semantics},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {29},
number = {5},
pages = {953--964},
year = {2021},
url = {https://doi.org/10.1109/TFUZZ.2020.2965860},
doi = {10.1109/TFUZZ.2020.2965860},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/PanCCQL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SikdarGWXC21,
author = {Sujoy Sikdar and
Xiaoxi Guo and
Haibin Wang and
Lirong Xia and
Yongzhi Cao},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Sequential Mechanisms for Multi-type Resource Allocation},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1209--1217},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1209.pdf},
doi = {10.5555/3463952.3464092},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/SikdarGWXC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-12522,
author = {Sujoy Sikdar and
Xiaoxi Guo and
Haibin Wang and
Lirong Xia and
Yongzhi Cao},
title = {Sequential Mechanisms for Multi-type Resource Allocation},
journal = {CoRR},
volume = {abs/2101.12522},
year = {2021},
url = {https://arxiv.org/abs/2101.12522},
eprinttype = {arXiv},
eprint = {2101.12522},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-12522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08856,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Lirong Xia and
Hanpin Wang and
Yongzhi Cao},
title = {Favoring Eagerness for Remaining Items: Achieving Efficient and Fair
Assignments},
journal = {CoRR},
volume = {abs/2109.08856},
year = {2021},
url = {https://arxiv.org/abs/2109.08856},
eprinttype = {arXiv},
eprint = {2109.08856},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08856.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WangSGXCW20,
author = {Haibin Wang and
Sujoy Sikdar and
Xiaoxi Guo and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Multi-Type Resource Allocation with Partial Preferences},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2260--2267},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i02.5603},
doi = {10.1609/AAAI.V34I02.5603},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WangSGXCW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/TangWCM20,
author = {Yi Tang and
Donghang Wu and
Yongzhi Cao and
Marian Margraf},
editor = {Tulika Mitra and
Andreas Gerstlauer},
title = {The Shift {PUF:} Technique for Squaring the Machine Learning Complexity
of Arbiter-based PUFs: Work-in-Progress},
booktitle = {International Conference on Compilers, Architecture, and Synthesis
for Embedded Systems, {CASES} 2020, Singapore, September 20-25, 2020},
pages = {9--11},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CASES51649.2020.9243781},
doi = {10.1109/CASES51649.2020.9243781},
timestamp = {Tue, 10 Nov 2020 11:05:25 +0100},
biburl = {https://dblp.org/rec/conf/cases/TangWCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/CaoECP20,
author = {Yongzhi Cao and
Yoshinori Ezawa and
Guoqing Chen and
Haiyu Pan},
editor = {Martine Ceberio and
Vladik Kreinovich},
title = {Modeling and Specification of Nondeterministic Fuzzy Discrete-Event
Systems},
booktitle = {Decision Making under Constraints},
volume = {276},
pages = {45--58},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-40814-5\_6},
doi = {10.1007/978-3-030-40814-5\_6},
timestamp = {Thu, 26 Mar 2020 14:25:49 +0100},
biburl = {https://dblp.org/rec/books/sp/20/CaoECP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-12062,
author = {Xiaoxi Guo and
Sujoy Sikdar and
Haibin Wang and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Probabilistic Serial Mechanism for Multi-Type Resource Allocation},
journal = {CoRR},
volume = {abs/2004.12062},
year = {2020},
url = {https://arxiv.org/abs/2004.12062},
eprinttype = {arXiv},
eprint = {2004.12062},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-12062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WangZCW19,
author = {Lulu Wang and
Junxiang Zheng and
Yongzhi Cao and
Hanpin Wang},
title = {Enhance {PATE} on Complex Tasks With Knowledge Transferred From Non-Private
Data},
journal = {{IEEE} Access},
volume = {7},
pages = {50081--50094},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2910885},
doi = {10.1109/ACCESS.2019.2910885},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/WangZCW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ZhuTZCWHM19,
author = {Siwen Zhu and
Yi Tang and
Junxiang Zheng and
Yongzhi Cao and
Hanpin Wang and
Yu Huang and
Marian Margraf},
title = {Sample Essentiality and Its Application to Modeling Attacks on Arbiter
PUFs},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {18},
number = {5},
pages = {42:1--42:25},
year = {2019},
url = {https://doi.org/10.1145/3344148},
doi = {10.1145/3344148},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/ZhuTZCWHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/PanSCQ19,
author = {Haiyu Pan and
Fu Song and
Yongzhi Cao and
Junyan Qian},
title = {Fuzzy Pushdown Termination Games},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {27},
number = {4},
pages = {760--774},
year = {2019},
url = {https://doi.org/10.1109/TFUZZ.2018.2869127},
doi = {10.1109/TFUZZ.2018.2869127},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/PanSCQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-04442,
author = {Zhao Jin and
Hanpin Wang and
Lei Zhang and
Bowen Zhang and
Kun Gao and
Yongzhi Cao},
title = {Reasoning about Block-based Cloud Storage Systems},
journal = {CoRR},
volume = {abs/1904.04442},
year = {2019},
url = {http://arxiv.org/abs/1904.04442},
eprinttype = {arXiv},
eprint = {1904.04442},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-04442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-06836,
author = {Haibin Wang and
Sujoy Sikdar and
Xiaoxi Guo and
Lirong Xia and
Yongzhi Cao and
Hanpin Wang},
title = {Multi-type Resource Allocation with Partial Preferences},
journal = {CoRR},
volume = {abs/1906.06836},
year = {2019},
url = {http://arxiv.org/abs/1906.06836},
eprinttype = {arXiv},
eprint = {1906.06836},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-06836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/YangWC18,
author = {Jiannan Yang and
Hanpin Wang and
Yongzhi Cao},
title = {Tractable queries on big data via preprocessing with logarithmic-size
output},
journal = {Knowl. Inf. Syst.},
volume = {56},
number = {1},
pages = {141--163},
year = {2018},
url = {https://doi.org/10.1007/s10115-017-1092-7},
doi = {10.1007/S10115-017-1092-7},
timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kais/YangWC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/DuYCW18,
author = {Ruihuan Du and
Jiannan Yang and
Yongzhi Cao and
Hanpin Wang},
title = {Personalized graph pattern matching via limited simulation},
journal = {Knowl. Based Syst.},
volume = {141},
pages = {31--43},
year = {2018},
url = {https://doi.org/10.1016/j.knosys.2017.11.008},
doi = {10.1016/J.KNOSYS.2017.11.008},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/DuYCW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Chen0C18,
author = {Taolue Chen and
Tingting Han and
Yongzhi Cao},
title = {Polynomial-time algorithms for computing distances of fuzzy transition
systems},
journal = {Theor. Comput. Sci.},
volume = {727},
pages = {24--36},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.03.002},
doi = {10.1016/J.TCS.2018.03.002},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Chen0C18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/JingWHZC18,
author = {Yuxin Jing and
Hanpin Wang and
Yu Huang and
Lei Zhang and
Yongzhi Cao},
title = {A Modeling Language for MapReduce Programing in a Storage System Perspective},
journal = {J. Signal Process. Syst.},
volume = {90},
number = {8-9},
pages = {1133--1150},
year = {2018},
url = {https://doi.org/10.1007/s11265-017-1298-7},
doi = {10.1007/S11265-017-1298-7},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlsisp/JingWHZC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsc/WangJZJJC18,
author = {Hanpin Wang and
Zhao Jin and
Lei Zhang and
Yuxin Jing and
Yongzhi Cao},
title = {Reasoning about Cloud Storage Systems},
booktitle = {Third {IEEE} International Conference on Data Science in Cyberspace,
{DSC} 2018, Guangzhou, China, June 18-21, 2018},
pages = {107--114},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/DSC.2018.00024},
doi = {10.1109/DSC.2018.00024},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsc/WangJZJJC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsip/ZhangLCW18,
author = {Lei Zhang and
Yue Long and
Yongzhi Cao and
Hanpin Wang},
editor = {Fuchun Sun and
Huaping Liu and
Dewen Hu},
title = {Probabilistic Context-Aware Ambients},
booktitle = {Cognitive Systems and Signal Processing - 4th International Conference,
{ICCSIP} 2018, Beijing, China, November 29 - December 1, 2018, Revised
Selected Papers, Part {I}},
series = {Communications in Computer and Information Science},
volume = {1005},
pages = {255--267},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-981-13-7983-3\_23},
doi = {10.1007/978-981-13-7983-3\_23},
timestamp = {Mon, 18 Jan 2021 14:59:50 +0100},
biburl = {https://dblp.org/rec/conf/iccsip/ZhangLCW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/YangCW17,
author = {Jiannan Yang and
Yongzhi Cao and
Hanpin Wang},
title = {Differential privacy in probabilistic systems},
journal = {Inf. Comput.},
volume = {254},
pages = {84--104},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.03.002},
doi = {10.1016/J.IC.2017.03.002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/YangCW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/PanLCL17,
author = {Haiyu Pan and
Yongming Li and
Yongzhi Cao and
Ping Li},
title = {Nondeterministic fuzzy automata with membership values in complete
residuated lattices},
journal = {Int. J. Approx. Reason.},
volume = {82},
pages = {22--38},
year = {2017},
url = {https://doi.org/10.1016/j.ijar.2016.11.020},
doi = {10.1016/J.IJAR.2016.11.020},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/PanLCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/JingWHZXC17,
author = {Yuxin Jing and
Hanpin Wang and
Yu Huang and
Lei Zhang and
Jiang Xu and
Yongzhi Cao},
title = {A modeling language to describe massive data storage management in
cyber-physical systems},
journal = {J. Parallel Distributed Comput.},
volume = {103},
pages = {113--120},
year = {2017},
url = {https://doi.org/10.1016/j.jpdc.2016.12.008},
doi = {10.1016/J.JPDC.2016.12.008},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/JingWHZXC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/PanLCL17,
author = {Haiyu Pan and
Yongming Li and
Yongzhi Cao and
Dechao Li},
title = {Reachability in Fuzzy Game Graphs},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {25},
number = {4},
pages = {972--984},
year = {2017},
url = {https://doi.org/10.1109/TFUZZ.2016.2593495},
doi = {10.1109/TFUZZ.2016.2593495},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tfs/PanLCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Chen0C17,
author = {Taolue Chen and
Tingting Han and
Yongzhi Cao},
title = {Polynomial-time Algorithms for Computing Distances of Fuzzy Transition
Systems},
journal = {CoRR},
volume = {abs/1701.06644},
year = {2017},
url = {http://arxiv.org/abs/1701.06644},
eprinttype = {arXiv},
eprint = {1701.06644},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Chen0C17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PanLCM16,
author = {Haiyu Pan and
Yongming Li and
Yongzhi Cao and
Zhanyou Ma},
title = {Model checking computation tree logic over finite lattices},
journal = {Theor. Comput. Sci.},
volume = {612},
pages = {45--62},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.10.014},
doi = {10.1016/J.TCS.2015.10.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PanLCM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/PanLCM15,
author = {Haiyu Pan and
Yongming Li and
Yongzhi Cao and
Zhanyou Ma},
title = {Model checking fuzzy computation tree logic},
journal = {Fuzzy Sets Syst.},
volume = {262},
pages = {60--77},
year = {2015},
url = {https://doi.org/10.1016/j.fss.2014.07.008},
doi = {10.1016/J.FSS.2014.07.008},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/PanLCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/PanLC15,
author = {Haiyu Pan and
Yongming Li and
Yongzhi Cao},
title = {Lattice-valued simulations for quantitative transition systems},
journal = {Int. J. Approx. Reason.},
volume = {56},
pages = {28--42},
year = {2015},
url = {https://doi.org/10.1016/j.ijar.2014.10.001},
doi = {10.1016/J.IJAR.2014.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/PanLC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ChenCW15,
author = {Weien Chen and
Yongzhi Cao and
Hanpin Wang},
title = {Conditional anonymity with non-probabilistic adversary},
journal = {Inf. Sci.},
volume = {324},
pages = {32--43},
year = {2015},
url = {https://doi.org/10.1016/j.ins.2015.06.018},
doi = {10.1016/J.INS.2015.06.018},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/ChenCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/ChenCWF15,
author = {Weien Chen and
Yongzhi Cao and
Hanpin Wang and
Yuan Feng},
title = {Minimum guesswork discrimination between quantum states},
journal = {Quantum Inf. Comput.},
volume = {15},
number = {9{\&}10},
pages = {737--758},
year = {2015},
url = {https://doi.org/10.26421/QIC15.9-10-2},
doi = {10.26421/QIC15.9-10-2},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qic/ChenCWF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YangWC15,
author = {Jiannan Yang and
Hanpin Wang and
Yongzhi Cao},
title = {Making problems tractable on big data via preprocessing with polylog-size
output},
journal = {CoRR},
volume = {abs/1510.00229},
year = {2015},
url = {http://arxiv.org/abs/1510.00229},
eprinttype = {arXiv},
eprint = {1510.00229},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YangWC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/da/Cao14,
author = {Yongzhi Cao},
title = {Reducing Interval-Valued Decision Trees to Conventional Ones: Comments
on Decision Trees with Single and Multiple Interval-Valued Objectives},
journal = {Decis. Anal.},
volume = {11},
number = {3},
pages = {204--212},
year = {2014},
url = {https://doi.org/10.1287/deca.2014.0294},
doi = {10.1287/DECA.2014.0294},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/da/Cao14.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/jcss/CaoXY13,
author = {Yongzhi Cao and
Lirong Xia and
Mingsheng Ying},
title = {Probabilistic automata for computing with words},
journal = {J. Comput. Syst. Sci.},
volume = {79},
number = {1},
pages = {152--172},
year = {2013},
url = {https://doi.org/10.1016/j.jcss.2012.09.002},
doi = {10.1016/J.JCSS.2012.09.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/CaoXY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/CaoSWC13,
author = {Yongzhi Cao and
Sherry X. Sun and
Huaiqing Wang and
Guoqing Chen},
title = {A Behavioral Distance for Fuzzy-Transition Systems},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {21},
number = {4},
pages = {735--747},
year = {2013},
url = {https://doi.org/10.1109/TFUZZ.2012.2230177},
doi = {10.1109/TFUZZ.2012.2230177},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/CaoSWC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/ChenCW12,
author = {Weien Chen and
Yongzhi Cao and
Hanpin Wang},
title = {Behavioural equivalences of a probabilistic pi-calculus},
journal = {Sci. China Inf. Sci.},
volume = {55},
number = {9},
pages = {2031--2043},
year = {2012},
url = {https://doi.org/10.1007/s11432-012-4660-1},
doi = {10.1007/S11432-012-4660-1},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/ChenCW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/CaoE12,
author = {Yongzhi Cao and
Yoshinori Ezawa},
title = {Nondeterministic fuzzy automata},
journal = {Inf. Sci.},
volume = {191},
pages = {86--97},
year = {2012},
url = {https://doi.org/10.1016/j.ins.2011.12.024},
doi = {10.1016/J.INS.2011.12.024},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/CaoE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Cao12,
author = {Yongzhi Cao},
title = {Reliability of Mobile Processes with Noisy Channels},
journal = {{IEEE} Trans. Computers},
volume = {61},
number = {9},
pages = {1217--1230},
year = {2012},
url = {https://doi.org/10.1109/TC.2011.147},
doi = {10.1109/TC.2011.147},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Cao12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HuangCWQ12,
author = {Shuqin Huang and
Yongzhi Cao and
Hanpin Wang and
Wanling Qu},
title = {Value-passing {CCS} with noisy channels},
journal = {Theor. Comput. Sci.},
volume = {433},
pages = {43--59},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.03.002},
doi = {10.1016/J.TCS.2012.03.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HuangCWQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/CaoCK11,
author = {Yongzhi Cao and
Guoqing Chen and
Etienne E. Kerre},
title = {Bisimulations for Fuzzy-Transition Systems},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {19},
number = {3},
pages = {540--552},
year = {2011},
url = {https://doi.org/10.1109/TFUZZ.2011.2117431},
doi = {10.1109/TFUZZ.2011.2117431},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/CaoCK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/CaoE11,
author = {Yongzhi Cao and
Yoshinori Ezawa},
title = {Comments on "State-Feedback Control of Fuzzy Discrete-Event Systems"},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {41},
number = {4},
pages = {1170--1172},
year = {2011},
url = {https://doi.org/10.1109/TSMCB.2011.2122256},
doi = {10.1109/TSMCB.2011.2122256},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/CaoE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-0248,
author = {Yongzhi Cao and
Huaiqing Wang and
Sherry X. Sun and
Guoqing Chen},
title = {A Behavioral Distance for Fuzzy-Transition Systems},
journal = {CoRR},
volume = {abs/1110.0248},
year = {2011},
url = {http://arxiv.org/abs/1110.0248},
eprinttype = {arXiv},
eprint = {1110.0248},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-0248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Cao10,
author = {Yongzhi Cao},
title = {A Hierarchy of Behavioral Equivalences in the {\(\pi\)}-calculus with
Noisy Channels},
journal = {Comput. J.},
volume = {53},
number = {1},
pages = {3--20},
year = {2010},
url = {https://doi.org/10.1093/comjnl/bxn006},
doi = {10.1093/COMJNL/BXN006},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Cao10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/CaoC10,
author = {Yongzhi Cao and
Guoqing Chen},
title = {A Fuzzy Petri-Nets Model for Computing With Words},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {18},
number = {3},
pages = {486--499},
year = {2010},
url = {https://doi.org/10.1109/TFUZZ.2009.2035816},
doi = {10.1109/TFUZZ.2009.2035816},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/CaoC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ZhuWCWJ10,
author = {Meixia Zhu and
Hanpin Wang and
Yongzhi Cao and
Zizhen Wang and
Wei Jin},
editor = {Jun Han and
Tran Dan Thu},
title = {The Analysis of Sequence Diagram with Time Properties in Qualitative
and Quantitative Aspects by Model Transformation},
booktitle = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney,
Australia, November 30 - December 3, 2010},
pages = {118--126},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/APSEC.2010.23},
doi = {10.1109/APSEC.2010.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ZhuWCWJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WangWCQJZ10,
author = {Zizhen Wang and
Hanpin Wang and
Yongzhi Cao and
Wanling Qu and
Wei Jin and
Meixia Zhu},
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {A Game Perspective of Refinement of Component Models},
booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
pages = {437--442},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSAC.2010.52},
doi = {10.1109/COMPSAC.2010.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/WangWCQJZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/JinWCWB10,
author = {Wei Jin and
Hanpin Wang and
Yongzhi Cao and
Zizhen Wang and
Xiaojuan Ban},
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {Modeling {BPEL} and BPEL4People with a Timed Interruptable pi-Calculus},
booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
pages = {487--492},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSAC.2010.75},
doi = {10.1109/COMPSAC.2010.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/JinWCWB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-2148,
author = {Yongzhi Cao and
Guoqing Chen and
Etienne E. Kerre},
title = {Bisimulations for fuzzy transition systems},
journal = {CoRR},
volume = {abs/1012.2148},
year = {2010},
url = {http://arxiv.org/abs/1012.2148},
eprinttype = {arXiv},
eprint = {1012.2148},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-2148.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-2162,
author = {Yongzhi Cao and
Yoshinori Ezawa},
title = {Nondeterministic fuzzy automata},
journal = {CoRR},
volume = {abs/1012.2162},
year = {2010},
url = {http://arxiv.org/abs/1012.2162},
eprinttype = {arXiv},
eprint = {1012.2162},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-2162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GuoWXC09,
author = {Heng Guo and
Hanpin Wang and
Zhongyuan Xu and
Yongzhi Cao},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {On Model Checking Boolean {BI}},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {302--316},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_23},
doi = {10.1007/978-3-642-04027-6\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GuoWXC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-3485,
author = {Yongzhi Cao and
Guoqing Chen},
title = {A Fuzzy Petri Nets Model for Computing With Words},
journal = {CoRR},
volume = {abs/0910.3485},
year = {2009},
url = {http://arxiv.org/abs/0910.3485},
eprinttype = {arXiv},
eprint = {0910.3485},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-3485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/Cao08,
author = {Yongzhi Cao},
title = {Discussion on: Decentralized Supervisory Control of Fuzzy Discrete
Event Systems},
journal = {Eur. J. Control},
volume = {14},
number = {3},
pages = {244--246},
year = {2008},
url = {https://doi.org/10.3166/ejc.14.244-246},
doi = {10.3166/EJC.14.244-246},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejcon/Cao08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0801-3117,
author = {Yongzhi Cao},
title = {A hierarchy of behavioral equivalences in the {\(\pi\)}-calculus with
noisy channels},
journal = {CoRR},
volume = {abs/0801.3117},
year = {2008},
url = {http://arxiv.org/abs/0801.3117},
eprinttype = {arXiv},
eprint = {0801.3117},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0801-3117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/CaoYC07,
author = {Yongzhi Cao and
Mingsheng Ying and
Guoqing Chen},
title = {Retraction and Generalized Extension of Computing With Words},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {15},
number = {6},
pages = {1238--1250},
year = {2007},
url = {https://doi.org/10.1109/TFUZZ.2007.896301},
doi = {10.1109/TFUZZ.2007.896301},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/CaoYC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/CaoYC07,
author = {Yongzhi Cao and
Mingsheng Ying and
Guoqing Chen},
title = {State-Based Control of Fuzzy Discrete-Event Systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {37},
number = {2},
pages = {410--424},
year = {2007},
url = {https://doi.org/10.1109/TSMCB.2006.883429},
doi = {10.1109/TSMCB.2006.883429},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/CaoYC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/CaoY06,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Similarity-based supervisory control of discrete-event systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {51},
number = {2},
pages = {325--330},
year = {2006},
url = {https://doi.org/10.1109/TAC.2005.863515},
doi = {10.1109/TAC.2005.863515},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/CaoY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0604070,
author = {Yongzhi Cao and
Mingsheng Ying and
Guoqing Chen},
title = {Retraction and Generalized Extension of Computing with Words},
journal = {CoRR},
volume = {abs/cs/0604070},
year = {2006},
url = {http://arxiv.org/abs/cs/0604070},
eprinttype = {arXiv},
eprint = {cs/0604070},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0604070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0604087,
author = {Yongzhi Cao and
Lirong Xia and
Mingsheng Ying},
title = {Probabilistic Automata for Computing with Words},
journal = {CoRR},
volume = {abs/cs/0604087},
year = {2006},
url = {http://arxiv.org/abs/cs/0604087},
eprinttype = {arXiv},
eprint = {cs/0604087},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0604087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/CaoY05,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Supervisory control of fuzzy discrete event systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {35},
number = {2},
pages = {366--371},
year = {2005},
url = {https://doi.org/10.1109/TSMCB.2004.842252},
doi = {10.1109/TSMCB.2004.842252},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/CaoY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0509099,
author = {Yongzhi Cao and
Mingsheng Ying and
Guoqing Chen},
title = {State-Based Control of Fuzzy Discrete Event Systems},
journal = {CoRR},
volume = {abs/cs/0509099},
year = {2005},
url = {http://arxiv.org/abs/cs/0509099},
eprinttype = {arXiv},
eprint = {cs/0509099},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0509099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0405040,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Supervisory Control of Fuzzy Discrete Event Systems},
journal = {CoRR},
volume = {cs.DM/0405040},
year = {2004},
url = {http://arxiv.org/abs/cs/0405040},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0405040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0405068,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Observability and Decentralized Control of Fuzzy Discrete Event Systems},
journal = {CoRR},
volume = {cs.DM/0405068},
year = {2004},
url = {http://arxiv.org/abs/cs/0405068},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0405068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0410031,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Similarity-Based Supervisory Control of Discrete Event Systems},
journal = {CoRR},
volume = {cs.DM/0410031},
year = {2004},
url = {http://arxiv.org/abs/cs.DM/0410031},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0410031.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-03 20:27 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:
