Supervisory control of fuzzy discrete event systems. - Yongzhi Cao; Mingsheng Ying (IEEE Trans. Syst. Man Cybern. Part B, 2005)

Similarity-based supervisory control of discrete-event systems. - Yongzhi Cao; Mingsheng Ying (IEEE Trans. Autom. Control., 2006)

Observability and Decentralized Control of Fuzzy Discrete-Event Systems. - Yongzhi Cao; Mingsheng Ying (IEEE Trans. Fuzzy Syst., 2006)

Retraction and Generalized Extension of Computing With Words. - Yongzhi Cao; Mingsheng Ying; Guoqing Chen (IEEE Trans. Fuzzy Syst., 2007)

State-Based Control of Fuzzy Discrete-Event Systems. - Yongzhi Cao; Mingsheng Ying; Guoqing Chen (IEEE Trans. Syst. Man Cybern. Part B, 2007)

Discussion on: Decentralized Supervisory Control of Fuzzy Discrete Event Systems. - Yongzhi Cao (Eur. J. Control, 2008)

On Model Checking Boolean BI. - Heng Guo 001; Hanpin Wang; Zhongyuan Xu; Yongzhi Cao (CSL, 2009)

The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation. - Meixia Zhu; Hanpin Wang; Yongzhi Cao; Zizhen Wang; Wei Jin (APSEC, 2010)

Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus. - Wei Jin; Hanpin Wang; Yongzhi Cao; Zizhen Wang; Xiaojuan Ban (COMPSAC, 2010)

A Game Perspective of Refinement of Component Models. - Zizhen Wang; Hanpin Wang; Yongzhi Cao; Wanling Qu; Wei Jin; Meixia Zhu (COMPSAC, 2010)

A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels. - Yongzhi Cao (Comput. J., 2010)

A Fuzzy Petri-Nets Model for Computing With Words. - Yongzhi Cao; Guoqing Chen (IEEE Trans. Fuzzy Syst., 2010)

Bisimulations for Fuzzy-Transition Systems. - Yongzhi Cao; Guoqing Chen; Etienne E. Kerre (IEEE Trans. Fuzzy Syst., 2011)

Comments on "State-Feedback Control of Fuzzy Discrete-Event Systems". - Yongzhi Cao; Yoshinori Ezawa (IEEE Trans. Syst. Man Cybern. Part B, 2011)

Behavioural equivalences of a probabilistic pi-calculus. - Weien Chen; Yongzhi Cao; Hanpin Wang (Sci. China Inf. Sci., 2012)

Nondeterministic fuzzy automata. - Yongzhi Cao; Yoshinori Ezawa (Inf. Sci., 2012)

Reliability of Mobile Processes with Noisy Channels. - Yongzhi Cao (IEEE Trans. Computers, 2012)

Value-passing CCS with noisy channels. - Shuqin Huang; Yongzhi Cao; Hanpin Wang; Wanling Qu (Theor. Comput. Sci., 2012)

Probabilistic automata for computing with words. - Yongzhi Cao; Lirong Xia; Mingsheng Ying (J. Comput. Syst. Sci., 2013)

A Behavioral Distance for Fuzzy-Transition Systems. - Yongzhi Cao; Sherry X. Sun; Huaiqing Wang; Guoqing Chen (IEEE Trans. Fuzzy Syst., 2013)

Reducing Interval-Valued Decision Trees to Conventional Ones: Comments on Decision Trees with Single and Multiple Interval-Valued Objectives. - Yongzhi Cao (Decis. Anal., 2014)

Simulation for lattice-valued doubly labeled transition systems. - Haiyu Pan; Yongzhi Cao; Min Zhang 007; Yixiang Chen 001 (Int. J. Approx. Reason., 2014)

Making problems tractable on big data via preprocessing with polylog-size output. - Jiannan Yang; Hanpin Wang; Yongzhi Cao (CoRR, 2015)

Model checking fuzzy computation tree logic. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Zhanyou Ma (Fuzzy Sets Syst., 2015)

Lattice-valued simulations for quantitative transition systems. - Haiyu Pan; Yongming Li 001; Yongzhi Cao (Int. J. Approx. Reason., 2015)

Conditional anonymity with non-probabilistic adversary. - Weien Chen; Yongzhi Cao; Hanpin Wang (Inf. Sci., 2015)

Minimum guesswork discrimination between quantum states. - Weien Chen; Yongzhi Cao; Hanpin Wang; Yuan Feng (Quantum Inf. Comput., 2015)

Model checking computation tree logic over finite lattices. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Zhanyou Ma (Theor. Comput. Sci., 2016)

Towards Formalizing of MapReduce. - Yuxin Jing; Hanpin Wang; Yu Huang 004; Lei Zhang; Yongzhi Cao (BigDataSecurity/HPSC/IDS, 2017)

Differential privacy in probabilistic systems. - Jiannan Yang; Yongzhi Cao; Hanpin Wang (Inf. Comput., 2017)

Nondeterministic fuzzy automata with membership values in complete residuated lattices. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Ping Li 015 (Int. J. Approx. Reason., 2017)

A modeling language to describe massive data storage management in cyber-physical systems. - Yuxin Jing; Hanpin Wang; Yu Huang 004; Lei Zhang; Jiang Xu; Yongzhi Cao (J. Parallel Distributed Comput., 2017)

Reachability in Fuzzy Game Graphs. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Dechao Li (IEEE Trans. Fuzzy Syst., 2017)

Reasoning about Cloud Storage Systems. - Hanpin Wang; Zhao Jin; Lei Zhang; Yuxin Jing; Yongzhi Cao (DSC, 2018)

Probabilistic Context-Aware Ambients. - Lei Zhang; Yue Long; Yongzhi Cao; Hanpin Wang (ICCSIP (1), 2018)

Tractable queries on big data via preprocessing with logarithmic-size output. - Jiannan Yang; Hanpin Wang; Yongzhi Cao (Knowl. Inf. Syst., 2018)

Personalized graph pattern matching via limited simulation. - Ruihuan Du; Jiannan Yang; Yongzhi Cao; Hanpin Wang (Knowl. Based Syst., 2018)

Polynomial-time algorithms for computing distances of fuzzy transition systems. - Taolue Chen 001; Tingting Han 001; Yongzhi Cao (Theor. Comput. Sci., 2018)

A Modeling Language for MapReduce Programing in a Storage System Perspective. - Yuxin Jing; Hanpin Wang; Yu Huang 004; Lei Zhang; Yongzhi Cao (J. Signal Process. Syst., 2018)

Enhance PATE on Complex Tasks With Knowledge Transferred From Non-Private Data. - Lulu Wang 005; Junxiang Zheng 002; Yongzhi Cao; Hanpin Wang (IEEE Access, 2019)

Reasoning about Block-based Cloud Storage Systems. - Zhao Jin; Hanpin Wang; Lei Zhang; Bowen Zhang; Kun Gao 003; Yongzhi Cao (CoRR, 2019)

Sample Essentiality and Its Application to Modeling Attacks on Arbiter PUFs. - Siwen Zhu; Yi Tang; Junxiang Zheng 002; Yongzhi Cao; Hanpin Wang; Yu Huang 004; Marian Margraf (ACM Trans. Embed. Comput. Syst., 2019)

Fuzzy Pushdown Termination Games. - Haiyu Pan; Fu Song; Yongzhi Cao; Junyan Qian (IEEE Trans. Fuzzy Syst., 2019)

Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems. - Yongzhi Cao; Yoshinori Ezawa; Guoqing Chen; Haiyu Pan (Decision Making under Constraints, 2020)

Multi-Type Resource Allocation with Partial Preferences. - Haibin Wang; Sujoy Sikdar; Xiaoxi Guo; Lirong Xia; Yongzhi Cao; Hanpin Wang (AAAI, 2020)

The Shift PUF: Technique for Squaring the Machine Learning Complexity of Arbiter-based PUFs: Work-in-Progress. - Yi Tang; Donghang Wu; Yongzhi Cao; Marian Margraf (CASES, 2020)

Sequential Mechanisms for Multi-type Resource Allocation. - Sujoy Sikdar; Xiaoxi Guo; Haibin Wang; Lirong Xia; Yongzhi Cao (AAMAS, 2021)

Probabilistic serial mechanism for multi-type resource allocation. - Xiaoxi Guo; Sujoy Sikdar; Haibin Wang; Lirong Xia; Yongzhi Cao; Hanpin Wang (Auton. Agents Multi Agent Syst., 2021)

Favoring Eagerness for Remaining Items: Achieving Efficient and Fair Assignments. - Xiaoxi Guo; Sujoy Sikdar; Lirong Xia; Hanpin Wang; Yongzhi Cao (CoRR, 2021)

Resisting membership inference attacks through knowledge distillation. - Junxiang Zheng 002; Yongzhi Cao; Hanpin Wang (Neurocomputing, 2021)

Fuzzy Alternating Refinement Relations Under the Gödel Semantics. - Haiyu Pan; Yongzhi Cao; Liang Chang 003; Junyan Qian; Yuming Lin 001 (IEEE Trans. Fuzzy Syst., 2021)

Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation. - Xiaoxi Guo; Sujoy Sikdar; Haibin Wang; Lirong Xia; Yongzhi Cao; Hanpin Wang (AAMAS, 2022)

Learning First-Order Rules with Differentiable Logic Program Semantics. - Kun Gao 003; Katsumi Inoue; Yongzhi Cao; Hanpin Wang (IJCAI, 2022)

MTS-LSTDM: Multi-Time-Scale Long Short-Term Double Memory for power load forecasting. - Yiwei Lou; Yu Huang 004; Xuliang Xing; Yongzhi Cao; Hanpin Wang (J. Syst. Archit., 2022)

Learning from interpretation transition using differentiable logic programming semantics. - Kun Gao 003; Hanpin Wang; Yongzhi Cao; Katsumi Inoue (Mach. Learn., 2022)

Zero-freeness and approximation of real Boolean Holant problems. - Zonglei Bai; Yongzhi Cao; Hanpin Wang (Theor. Comput. Sci., 2022)

Reasoning about block-based cloud storage systems via separation logic. - Zhao Jin; Bowen Zhang; Tianyue Cao; Yongzhi Cao; Hanpin Wang (Theor. Comput. Sci., 2022)

An adaptation-complete proof system for local reasoning about cloud storage systems. - Zhao Jin; Bowen Zhang; Lei Zhang; Yongzhi Cao; Hanpin Wang (Theor. Comput. Sci., 2022)

Differentially Private Condorcet Voting. - Zhechen Li; Ao Liu 001; Lirong Xia; Yongzhi Cao; Hanpin Wang (AAAI, 2023)

Converging Blockchain and Deep Learning in UAV Network Defense Strategy: Ensuring Data Security During Flight. - Zhihao Li; Qi Chen; Weichuan Mo; Xiaolin Wang; Li Hu; Yongzhi Cao (AIS&P (1), 2023)

Refining the Unseen: Self-supervised Two-stream Feature Extraction for Image Quality Assessment. - Yiwei Lou; Yanyuan Chen; Dexuan Xu; Doudou Zhou; Yongzhi Cao; Hanpin Wang; Yu Huang 004 (ICDM, 2023)

First-Choice Maximality Meets Ex-ante and Ex-post Fairness. - Xiaoxi Guo; Sujoy Sikdar; Lirong Xia; Yongzhi Cao; Hanpin Wang (IJCAI, 2023)

Multi resource allocation with partial preferences. - Haibin Wang; Sujoy Sikdar; Xiaoxi Guo; Lirong Xia; Yongzhi Cao; Hanpin Wang (Artif. Intell., 2023)

A separation logic for sequences in pointer programs and its decidability. - Tianyue Cao; Bowen Zhang; Zhao Jin; Yongzhi Cao; Hanpin Wang (CoRR, 2023)

Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms. - Xiaoxi Guo; Sujoy Sikdar; Lirong Xia; Yongzhi Cao; Hanpin Wang (J. Artif. Intell. Res., 2023)

A Learnable Discrete-Prior Fusion Autoencoder with Contrastive Learning for Tabular Data Synthesis. - Rongchao Zhang; Yiwei Lou; Dexuan Xu; Yongzhi Cao; Hanpin Wang; Yu Huang 004 (AAAI, 2024)

MR Image Quality Assessment via Enhanced Mamba: A Hybrid Spatial-Frequency Approach. - Yiwei Lou; Dexuan Xu; Rongchao Zhang; Jiayu Zhang; Yongzhi Cao; Hanpin Wang; Yu Huang 004 (BIBM, 2024)

No-Reference MRI Quality Assessment via Contrastive Representation: Spatial and Frequency Domain Perspectives. - Yiwei Lou; Jiayu Zhang; Dexuan Xu; Yongzhi Cao; Hanpin Wang; Yu Huang 004 (ICME, 2024)

A differentiable first-order rule learner for inductive logic programming (Abstract Reprint). - Kun Gao 003; Katsumi Inoue; Yongzhi Cao; Hanpin Wang (IJCAI, 2024)

Label Leakage in Vertical Federated Learning: A Survey. - Yige Liu; Yiwei Lou; Yang Liu; Yongzhi Cao; Hanpin Wang (IJCAI, 2024)

A differentiable first-order rule learner for inductive logic programming. - Kun Gao 003; Katsumi Inoue; Yongzhi Cao; Hanpin Wang (Artif. Intell., 2024)

Differentially Private Approval-Based Committee Voting. - Zhechen Li; Zimai Guo; Lirong Xia; Yongzhi Cao; Hanpin Wang (CoRR, 2024)

A vulnerability detection framework by focusing on critical execution paths. - Jianxin Cheng; Yizhou Chen; Yongzhi Cao; Hanpin Wang (Inf. Softw. Technol., 2024)

A vulnerability detection framework with enhanced graph feature learning. - Jianxin Cheng; Yizhou Chen; Yongzhi Cao; Hanpin Wang (J. Syst. Softw., 2024)

Ideal uniform multipartite secret sharing schemes. - Qi Chen; Xiaojun Ren; Li Hu; Yongzhi Cao (Inf. Sci., 2024)

Exploit Your Latents: Coarse-Grained Protein Backmapping with Latent Diffusion Models. - Rongchao Zhang; Yu Huang 004; Yiwei Lou; Yi Xin; Haixu Chen; Yongzhi Cao; Hanpin Wang (AAAI, 2025)

Differentiable Rule Induction from Raw Sequence Inputs. - Kun Gao 003; Katsumi Inoue; Yongzhi Cao; Hanpin Wang; Yang Feng (ICLR, 2025)

Trading Off Voting Axioms for Privacy. - Zhechen Li; Ao Liu 001; Lirong Xia; Yongzhi Cao; Hanpin Wang (UAI, 2025)

The complexity of ferromagnetic 2-spin systems on bounded degree graphs. - Zonglei Bai; Yongzhi Cao; Hanpin Wang (Theor. Comput. Sci., 2025)

Expressive completeness of separation logic in block-based cloud storage systems. - Tianyue Cao; Zhao Jin; Bowen Zhang; Yongzhi Cao; Hanpin Wang (Theor. Comput. Sci., 2025)

Attackers Are Not the Same! Unveiling the Impact of Feature Distribution on Label Inference Attacks. - Yige Liu; Che Wang; Yiwei Lou; Yongzhi Cao; Hanpin Wang (IEEE Trans. Inf. Forensics Secur., 2025)

DEFNet: Multitasks-based Deep Evidential Fusion Network for Blind Image Quality Assessment. - Yiwei Lou; Yuanpeng He; Rongchao Zhang; Yongzhi Cao; Hanpin Wang; Yu Huang 004 (CoRR, 2025)

Synergistic Attention-Guided Cascaded Graph Diffusion Model for Complementarity Determining Region Synthesis. - Rongchao Zhang; Yu Huang 004; Yiwei Lou; Weiping Ding 001; Yongzhi Cao; Hanpin Wang (IEEE Trans. Neural Networks Learn. Syst., 2025)

MedMKEB: A Comprehensive Knowledge Editing Benchmark for Medical Multimodal Large Language Models. - Dexuan Xu; Jieyi Wang; Zhongyan Chai; Yongzhi Cao; Hanpin Wang; Huamin Zhang; Yu Huang 004 (CoRR, 2025)