Yongzhi Cao

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 51

Top Topics

Logic Programming

Graph Pattern Matching

Resource Allocation

Top Venues

Theor. Comput. Sci.

Int. J. Approx. Reason.

Publications

Jianxin Cheng, Yizhou Chen, Yongzhi Cao, Hanpin Wang
A vulnerability detection framework with enhanced graph feature learning. J. Syst. Softw. 216 (2024)
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
A differentiable first-order rule learner for inductive logic programming. Artif. Intell. 331 (2024)
Jianxin Cheng, Yizhou Chen, Yongzhi Cao, Hanpin Wang
A vulnerability detection framework by focusing on critical execution paths. Inf. Softw. Technol. 174 (2024)
Zhechen Li, Zimai Guo, Lirong Xia, Yongzhi Cao, Hanpin Wang
Differentially Private Approval-Based Committee Voting. CoRR (2024)
Qi Chen, Xiaojun Ren, Li Hu, Yongzhi Cao
Ideal uniform multipartite secret sharing schemes. Inf. Sci. 655 (2024)
Rongchao Zhang, Yiwei Lou, Dexuan Xu, Yongzhi Cao, Hanpin Wang, Yu Huang
A Learnable Discrete-Prior Fusion Autoencoder with Contrastive Learning for Tabular Data Synthesis. AAAI (2024)
Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang
First-Choice Maximality Meets Ex-ante and Ex-post Fairness. CoRR (2023)
Zhechen Li, Ao Liu, Lirong Xia, Yongzhi Cao, Hanpin Wang
Differentially Private Condorcet Voting. AAAI (2023)
Zhihao Li, Qi Chen, Weichuan Mo, Xiaolin Wang, Li Hu, Yongzhi Cao
Converging Blockchain and Deep Learning in UAV Network Defense Strategy: Ensuring Data Security During Flight. AIS&P (1) (2023)
Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang
First-Choice Maximality Meets Ex-ante and Ex-post Fairness. IJCAI (2023)
Yiwei Lou, Yanyuan Chen, Dexuan Xu, Doudou Zhou, Yongzhi Cao, Hanpin Wang, Yu Huang
Refining the Unseen: Self-supervised Two-stream Feature Extraction for Image Quality Assessment. ICDM (2023)
Haibin Wang, Sujoy Sikdar, Xiaoxi Guo, Lirong Xia, Yongzhi Cao, Hanpin Wang
Multi resource allocation with partial preferences. Artif. Intell. 314 (2023)
Zhechen Li, Ao Liu, Lirong Xia, Yongzhi Cao, Hanpin Wang
Trading Off Voting Axioms for Privacy. CoRR (2023)
Tianyue Cao, Bowen Zhang, Zhao Jin, Yongzhi Cao, Hanpin Wang
A separation logic for sequences in pointer programs and its decidability. CoRR (2023)
Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms. J. Artif. Intell. Res. 76 (2023)
Zhao Jin, Bowen Zhang, Lei Zhang, Yongzhi Cao, Hanpin Wang
An adaptation-complete proof system for local reasoning about cloud storage systems. Theor. Comput. Sci. 903 (2022)
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
Learning First-Order Rules with Differentiable Logic Program Semantics. IJCAI (2022)
Zonglei Bai, Yongzhi Cao, Hanpin Wang
Zero-freeness and approximation of real Boolean Holant problems. Theor. Comput. Sci. 917 (2022)
Xiaoxi Guo, Sujoy Sikdar, Haibin Wang, Lirong Xia, Yongzhi Cao, Hanpin Wang
Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation. AAMAS (2022)
Zhechen Li, Ao Liu, Lirong Xia, Yongzhi Cao, Hanpin Wang
Differentially Private Condorcet Voting. CoRR (2022)
Yiwei Lou, Yu Huang, Xuliang Xing, Yongzhi Cao, Hanpin Wang
MTS-LSTDM: Multi-Time-Scale Long Short-Term Double Memory for power load forecasting. J. Syst. Archit. 125 (2022)
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
Learning First-Order Rules with Differentiable Logic Program Semantics. CoRR (2022)
Kun Gao, Hanpin Wang, Yongzhi Cao, Katsumi Inoue
Learning from interpretation transition using differentiable logic programming semantics. Mach. Learn. 111 (1) (2022)
Zhao Jin, Bowen Zhang, Tianyue Cao, Yongzhi Cao, Hanpin Wang
Reasoning about block-based cloud storage systems via separation logic. Theor. Comput. Sci. 936 (2022)
Haiyu Pan, Yongzhi Cao, Liang Chang, Junyan Qian, Yuming Lin
Fuzzy Alternating Refinement Relations Under the Gödel Semantics. IEEE Trans. Fuzzy Syst. 29 (5) (2021)
Xiaoxi Guo, Sujoy Sikdar, Haibin Wang, Lirong Xia, Yongzhi Cao, Hanpin Wang
Probabilistic serial mechanism for multi-type resource allocation. Auton. Agents Multi Agent Syst. 35 (1) (2021)
Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Hanpin Wang, Yongzhi Cao
Favoring Eagerness for Remaining Items: Achieving Efficient and Fair Assignments. CoRR (2021)
Junxiang Zheng, Yongzhi Cao, Hanpin Wang
Resisting membership inference attacks through knowledge distillation. Neurocomputing 452 (2021)
Sujoy Sikdar, Xiaoxi Guo, Haibin Wang, Lirong Xia, Yongzhi Cao
Sequential Mechanisms for Multi-type Resource Allocation. CoRR (2021)
Sujoy Sikdar, Xiaoxi Guo, Haibin Wang, Lirong Xia, Yongzhi Cao
Sequential Mechanisms for Multi-type Resource Allocation. AAMAS (2021)
Haibin Wang, Sujoy Sikdar, Xiaoxi Guo, Lirong Xia, Yongzhi Cao, Hanpin Wang
Multi-Type Resource Allocation with Partial Preferences. AAAI (2020)
Yi Tang, Donghang Wu, Yongzhi Cao, Marian Margraf
The Shift PUF: Technique for Squaring the Machine Learning Complexity of Arbiter-based PUFs: Work-in-Progress. CASES (2020)
Xiaoxi Guo, Sujoy Sikdar, Haibin Wang, Lirong Xia, Yongzhi Cao, Hanpin Wang
Probabilistic Serial Mechanism for Multi-Type Resource Allocation. CoRR (2020)
Haibin Wang, Sujoy Sikdar, Xiaoxi Guo, Lirong Xia, Yongzhi Cao, Hanpin Wang
Multi-type Resource Allocation with Partial Preferences. CoRR (2019)
Siwen Zhu, Yi Tang, Junxiang Zheng, Yongzhi Cao, Hanpin Wang, Yu Huang, Marian Margraf
Sample Essentiality and Its Application to Modeling Attacks on Arbiter PUFs. ACM Trans. Embed. Comput. Syst. 18 (5) (2019)
Zhao Jin, Hanpin Wang, Lei Zhang, Bowen Zhang, Kun Gao, Yongzhi Cao
Reasoning about Block-based Cloud Storage Systems. CoRR (2019)
Haiyu Pan, Fu Song, Yongzhi Cao, Junyan Qian
Fuzzy Pushdown Termination Games. IEEE Trans. Fuzzy Syst. 27 (4) (2019)
Lulu Wang, Junxiang Zheng, Yongzhi Cao, Hanpin Wang
Enhance PATE on Complex Tasks With Knowledge Transferred From Non-Private Data. IEEE Access 7 (2019)
Yuxin Jing, Hanpin Wang, Yu Huang, Lei Zhang, Yongzhi Cao
A Modeling Language for MapReduce Programing in a Storage System Perspective. J. Signal Process. Syst. 90 (8-9) (2018)
Ruihuan Du, Jiannan Yang, Yongzhi Cao, Hanpin Wang
Personalized graph pattern matching via limited simulation. Knowl. Based Syst. 141 (2018)
Taolue Chen, Tingting Han, Yongzhi Cao
Polynomial-time algorithms for computing distances of fuzzy transition systems. Theor. Comput. Sci. 727 (2018)
Jiannan Yang, Hanpin Wang, Yongzhi Cao
Tractable queries on big data via preprocessing with logarithmic-size output. Knowl. Inf. Syst. 56 (1) (2018)
Lei Zhang, Yue Long, Yongzhi Cao, Hanpin Wang
Probabilistic Context-Aware Ambients. ICCSIP (1) (2018)
Hanpin Wang, Zhao Jin, Lei Zhang, Yuxin Jing, Yongzhi Cao
Reasoning about Cloud Storage Systems. DSC (2018)
Haiyu Pan, Yongming Li, Yongzhi Cao, Dechao Li
Reachability in Fuzzy Game Graphs. IEEE Trans. Fuzzy Syst. 25 (4) (2017)
Haiyu Pan, Yongming Li, Yongzhi Cao, Ping Li
Nondeterministic fuzzy automata with membership values in complete residuated lattices. Int. J. Approx. Reason. 82 (2017)
Yuxin Jing, Hanpin Wang, Yu Huang, Lei Zhang, Yongzhi Cao
Towards Formalizing of MapReduce. BigDataSecurity/HPSC/IDS (2017)
Jiannan Yang, Yongzhi Cao, Hanpin Wang
Differential privacy in probabilistic systems. Inf. Comput. 254 (2017)
Yuxin Jing, Hanpin Wang, Yu Huang, Lei Zhang, Jiang Xu, Yongzhi Cao
A modeling language to describe massive data storage management in cyber-physical systems. J. Parallel Distributed Comput. 103 (2017)
Taolue Chen, Tingting Han, Yongzhi Cao
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems. CoRR (2017)
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
Model checking computation tree logic over finite lattices. Theor. Comput. Sci. 612 (2016)
Weien Chen, Yongzhi Cao, Hanpin Wang
Conditional anonymity with non-probabilistic adversary. Inf. Sci. 324 (2015)
Weien Chen, Yongzhi Cao, Hanpin Wang, Yuan Feng
Minimum guesswork discrimination between quantum states. Quantum Inf. Comput. 15 (9&10) (2015)
Haiyu Pan, Yongming Li, Yongzhi Cao
Lattice-valued simulations for quantitative transition systems. Int. J. Approx. Reason. 56 (2015)
Jiannan Yang, Hanpin Wang, Yongzhi Cao
Making problems tractable on big data via preprocessing with polylog-size output. CoRR (2015)
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
Model checking fuzzy computation tree logic. Fuzzy Sets Syst. 262 (2015)
Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen
Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reason. 55 (3) (2014)
Yongzhi Cao
Reducing Interval-Valued Decision Trees to Conventional Ones: Comments on Decision Trees with Single and Multiple Interval-Valued Objectives. Decis. Anal. 11 (3) (2014)
Yongzhi Cao, Lirong Xia, Mingsheng Ying
Probabilistic automata for computing with words. J. Comput. Syst. Sci. 79 (1) (2013)
Yongzhi Cao, Sherry X. Sun, Huaiqing Wang, Guoqing Chen
A Behavioral Distance for Fuzzy-Transition Systems. IEEE Trans. Fuzzy Syst. 21 (4) (2013)
Yongzhi Cao
Reliability of Mobile Processes with Noisy Channels. IEEE Trans. Computers 61 (9) (2012)
Yongzhi Cao, Yoshinori Ezawa
Nondeterministic fuzzy automata. Inf. Sci. 191 (2012)
Shuqin Huang, Yongzhi Cao, Hanpin Wang, Wanling Qu
Value-passing CCS with noisy channels. Theor. Comput. Sci. 433 (2012)
Weien Chen, Yongzhi Cao, Hanpin Wang
Behavioural equivalences of a probabilistic pi-calculus. Sci. China Inf. Sci. 55 (9) (2012)
Yongzhi Cao, Huaiqing Wang, Sherry X. Sun, Guoqing Chen
A Behavioral Distance for Fuzzy-Transition Systems CoRR (2011)
Yongzhi Cao, Yoshinori Ezawa
Comments on "State-Feedback Control of Fuzzy Discrete-Event Systems". IEEE Trans. Syst. Man Cybern. Part B 41 (4) (2011)
Yongzhi Cao, Guoqing Chen, Etienne E. Kerre
Bisimulations for Fuzzy-Transition Systems. IEEE Trans. Fuzzy Syst. 19 (3) (2011)
Yongzhi Cao, Yoshinori Ezawa
Nondeterministic fuzzy automata CoRR (2010)
Wei Jin, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Xiaojuan Ban
Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus. COMPSAC (2010)
Yongzhi Cao, Guoqing Chen, Etienne E. Kerre
Bisimulations for fuzzy transition systems CoRR (2010)
Meixia Zhu, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Wei Jin
The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation. APSEC (2010)
Yongzhi Cao
A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels. Comput. J. 53 (1) (2010)
Yongzhi Cao, Guoqing Chen
A Fuzzy Petri-Nets Model for Computing With Words. IEEE Trans. Fuzzy Syst. 18 (3) (2010)
Zizhen Wang, Hanpin Wang, Yongzhi Cao, Wanling Qu, Wei Jin, Meixia Zhu
A Game Perspective of Refinement of Component Models. COMPSAC (2010)
Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao
On Model Checking Boolean BI. CSL (2009)
Yongzhi Cao, Guoqing Chen
A Fuzzy Petri Nets Model for Computing With Words CoRR (2009)
Yongzhi Cao
Discussion on: Decentralized Supervisory Control of Fuzzy Discrete Event Systems. Eur. J. Control 14 (3) (2008)
Yongzhi Cao
A hierarchy of behavioral equivalences in the π-calculus with noisy channels CoRR (2008)
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
Retraction and Generalized Extension of Computing With Words. IEEE Trans. Fuzzy Syst. 15 (6) (2007)
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
State-Based Control of Fuzzy Discrete-Event Systems. IEEE Trans. Syst. Man Cybern. Part B 37 (2) (2007)
Yongzhi Cao, Mingsheng Ying
Similarity-based supervisory control of discrete-event systems. IEEE Trans. Autom. Control. 51 (2) (2006)
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
Retraction and Generalized Extension of Computing with Words CoRR (2006)
Yongzhi Cao, Lirong Xia, Mingsheng Ying
Probabilistic Automata for Computing with Words CoRR (2006)
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
State-Based Control of Fuzzy Discrete Event Systems CoRR (2005)
Yongzhi Cao, Mingsheng Ying
Supervisory control of fuzzy discrete event systems. IEEE Trans. Syst. Man Cybern. Part B 35 (2) (2005)
Yongzhi Cao, Mingsheng Ying
Supervisory Control of Fuzzy Discrete Event Systems CoRR (2004)
Yongzhi Cao, Mingsheng Ying
Observability and Decentralized Control of Fuzzy Discrete Event Systems CoRR (2004)
Yongzhi Cao, Mingsheng Ying
Similarity-Based Supervisory Control of Discrete Event Systems CoRR (2004)