Yongzhi Cao

112 papers A* 14A 4B 3C 1Misc 1Journal 83Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A* conf
Beyond Conservation: Flexible Molecular Assembly with Unbalanced Diffusion Bridge.
AAAI
Rongchao Zhang, Yiwei Lou, Yu Huang, Yi Xin, Yongzhi Cao, Hanpin Wang
2026 J jnl
Differentiable Rule Induction from Raw Sequence Inputs.
CoRR
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Feng Yang
2026 J jnl
Is the Trigger Essential? A Feature-Based Triggerless Backdoor Attack in Vertical Federated Learning.
CoRR
Yige Liu, Yiwei Lou, Che Wang, Yongzhi Cao, Hanpin Wang
2026 A* conf
MedMKEB: A Comprehensive Knowledge Editing Benchmark for Medical Multimodal Large Language Models.
AAAI
Dexuan Xu, Jieyi Wang, Zhongyan Chai, Yongzhi Cao, Hanpin Wang, Huamin Zhang, Yu Huang
2026 A* conf
Multitasks-based Deep Evidential Fusion Network for Blind Image Quality Assessment.
AAAI
Yiwei Lou, Yuanpeng He, Rongchao Zhang, Yongzhi Cao, Hanpin Wang, Yu Huang
2026 J jnl
Revisiting Label Inference Attacks in Vertical Federated Learning: Why They Are Vulnerable and How to Defend.
CoRR
Yige Liu, Dexuan Xu, Zimai Guo, Yongzhi Cao, Hanpin Wang
2026 J jnl
StrFilter: Multi-modal medical image fusion via structure-oriented adaptive filtering.
Inf. Fusion
Rongchao Zhang, Weiping Ding, Hongbin Han, Yongzhi Cao, Hanpin Wang, Yu Huang
2025 J jnl
Attackers Are Not the Same! Unveiling the Impact of Feature Distribution on Label Inference Attacks.
IEEE Trans. Inf. Forensics Secur.
Yige Liu, Che Wang, Yiwei Lou, Yongzhi Cao, Hanpin Wang
2025 J jnl
DEFNet: Multitasks-based Deep Evidential Fusion Network for Blind Image Quality Assessment.
CoRR
Yiwei Lou, Yuanpeng He, Rongchao Zhang, Yongzhi Cao, Hanpin Wang, Yu Huang
2025 A* conf
Differentiable Rule Induction from Raw Sequence Inputs.
ICLR
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Yang Feng
2025 A* conf
Exploit Your Latents: Coarse-Grained Protein Backmapping with Latent Diffusion Models.
AAAI
Rongchao Zhang, Yu Huang, Yiwei Lou, Yi Xin, Haixu Chen, Yongzhi Cao, Hanpin Wang
2025 J jnl
Expressive completeness of separation logic in block-based cloud storage systems.
Theor. Comput. Sci.
Tianyue Cao, Zhao Jin, Bowen Zhang, Yongzhi Cao, Hanpin Wang
2025 J jnl
Incremental model checking for fuzzy computation tree logic.
Fuzzy Sets Syst.
Haiyu Pan, Jie Zhou, Yuming Lin, Yongzhi Cao
2025 J jnl
MedMKEB: A Comprehensive Knowledge Editing Benchmark for Medical Multimodal Large Language Models.
CoRR
Dexuan Xu, Jieyi Wang, Zhongyan Chai, Yongzhi Cao, Hanpin Wang, Huamin Zhang, Yu Huang
2025 A* conf
Medical Vision-Language Pre-training with Multimodal Variational Masked Autoencoder for Robust Medical VQA.
ACM Multimedia
Dexuan Xu, Yanyuan Chen, Yu Huang, Shihao E, Yiwei Lou, Yongzhi Cao, Hanpin Wang, Meikang Qiu
2025 J jnl
Synergistic Attention-Guided Cascaded Graph Diffusion Model for Complementarity Determining Region Synthesis.
IEEE Trans. Neural Networks Learn. Syst.
Rongchao Zhang, Yu Huang, Yiwei Lou, Weiping Ding, Yongzhi Cao, Hanpin Wang
2025 J jnl
The complexity of ferromagnetic 2-spin systems on bounded degree graphs.
Theor. Comput. Sci.
Zonglei Bai, Yongzhi Cao, Hanpin Wang
2025 A conf
Trading Off Voting Axioms for Privacy.
UAI
Zhechen Li, Ao Liu, Lirong Xia, Yongzhi Cao, Hanpin Wang
2024 A* conf
A Learnable Discrete-Prior Fusion Autoencoder with Contrastive Learning for Tabular Data Synthesis.
AAAI
Rongchao Zhang, Yiwei Lou, Dexuan Xu, Yongzhi Cao, Hanpin Wang, Yu Huang
2024 A* conf
A differentiable first-order rule learner for inductive logic programming (Abstract Reprint).
IJCAI
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
2024 J jnl
A differentiable first-order rule learner for inductive logic programming.
Artif. Intell.
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
2024 J jnl
A vulnerability detection framework by focusing on critical execution paths.
Inf. Softw. Technol.
Jianxin Cheng, Yizhou Chen, Yongzhi Cao, Hanpin Wang
2024 J jnl
A vulnerability detection framework with enhanced graph feature learning.
J. Syst. Softw.
Jianxin Cheng, Yizhou Chen, Yongzhi Cao, Hanpin Wang
2024 J jnl
Differentially Private Approval-Based Committee Voting.
CoRR
Zhechen Li, Zimai Guo, Lirong Xia, Yongzhi Cao, Hanpin Wang
2024 J jnl
Ideal uniform multipartite secret sharing schemes.
Inf. Sci.
Qi Chen, Xiaojun Ren, Li Hu, Yongzhi Cao
2024 A* conf
Label Leakage in Vertical Federated Learning: A Survey.
IJCAI
Yige Liu, Yiwei Lou, Yang Liu, Yongzhi Cao, Hanpin Wang
2024 — conf
MR Image Quality Assessment via Enhanced Mamba: A Hybrid Spatial-Frequency Approach.
BIBM
Yiwei Lou, Dexuan Xu, Rongchao Zhang, Jiayu Zhang, Yongzhi Cao, Hanpin Wang, Yu Huang
2024 A conf
No-Reference MRI Quality Assessment via Contrastive Representation: Spatial and Frequency Domain Perspectives.
ICME
Yiwei Lou, Jiayu Zhang, Dexuan Xu, Yongzhi Cao, Hanpin Wang, Yu Huang
2023 J jnl
A separation logic for sequences in pointer programs and its decidability.
CoRR
Tianyue Cao, Bowen Zhang, Zhao Jin, Yongzhi Cao, Hanpin Wang
2023 — conf
Converging Blockchain and Deep Learning in UAV Network Defense Strategy: Ensuring Data Security During Flight.
AIS&P (1)
Zhihao Li, Qi Chen, Weichuan Mo, Xiaolin Wang, Li Hu, Yongzhi Cao
2023 A* conf
Differentially Private Condorcet Voting.
AAAI
Zhechen Li, Ao Liu, Lirong Xia, Yongzhi Cao, Hanpin Wang
2023 J jnl
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms.
J. Artif. Intell. Res.
Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang
2023 A* conf
First-Choice Maximality Meets Ex-ante and Ex-post Fairness.
IJCAI
Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang
2023 J jnl
First-Choice Maximality Meets Ex-ante and Ex-post Fairness.
CoRR
Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang
2023 J jnl
Multi resource allocation with partial preferences.
Artif. Intell.
Haibin Wang, Sujoy Sikdar, Xiaoxi Guo, Lirong Xia, Yongzhi Cao, Hanpin Wang
2023 A* conf
Refining the Unseen: Self-supervised Two-stream Feature Extraction for Image Quality Assessment.
ICDM
Yiwei Lou, Yanyuan Chen, Dexuan Xu, Doudou Zhou, Yongzhi Cao, Hanpin Wang, Yu Huang
2023 J jnl
Trading Off Voting Axioms for Privacy.
CoRR
Zhechen Li, Ao Liu, Lirong Xia, Yongzhi Cao, Hanpin Wang
2022 J jnl
An adaptation-complete proof system for local reasoning about cloud storage systems.
Theor. Comput. Sci.
Zhao Jin, Bowen Zhang, Lei Zhang, Yongzhi Cao, Hanpin Wang
2022 A conf
Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation.
AAMAS
Xiaoxi Guo, Sujoy Sikdar, Haibin Wang, Lirong Xia, Yongzhi Cao, Hanpin Wang
2022 J jnl
Differentially Private Condorcet Voting.
CoRR
Zhechen Li, Ao Liu, Lirong Xia, Yongzhi Cao, Hanpin Wang
2022 A* conf
Learning First-Order Rules with Differentiable Logic Program Semantics.
IJCAI
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
2022 J jnl
Learning First-Order Rules with Differentiable Logic Program Semantics.
CoRR
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
2022 J jnl
Learning from interpretation transition using differentiable logic programming semantics.
Mach. Learn.
Kun Gao, Hanpin Wang, Yongzhi Cao, Katsumi Inoue
2022 J jnl
MTS-LSTDM: Multi-Time-Scale Long Short-Term Double Memory for power load forecasting.
J. Syst. Archit.
Yiwei Lou, Yu Huang, Xuliang Xing, Yongzhi Cao, Hanpin Wang
2022 J jnl
Reasoning about block-based cloud storage systems via separation logic.
Theor. Comput. Sci.
Zhao Jin, Bowen Zhang, Tianyue Cao, Yongzhi Cao, Hanpin Wang
2022 J jnl
Zero-freeness and approximation of real Boolean Holant problems.
Theor. Comput. Sci.
Zonglei Bai, Yongzhi Cao, Hanpin Wang
2021 J jnl
Favoring Eagerness for Remaining Items: Achieving Efficient and Fair Assignments.
CoRR
Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Hanpin Wang, Yongzhi Cao
2021 J jnl
Fuzzy Alternating Refinement Relations Under the Gödel Semantics.
IEEE Trans. Fuzzy Syst.
Haiyu Pan, Yongzhi Cao, Liang Chang, Junyan Qian, Yuming Lin
2021 J jnl
Probabilistic serial mechanism for multi-type resource allocation.
Auton. Agents Multi Agent Syst.
Xiaoxi Guo, Sujoy Sikdar, Haibin Wang, Lirong Xia, Yongzhi Cao, Hanpin Wang
2021 J jnl
Resisting membership inference attacks through knowledge distillation.
Neurocomputing
Junxiang Zheng, Yongzhi Cao, Hanpin Wang
2021 A conf
Sequential Mechanisms for Multi-type Resource Allocation.
AAMAS
Sujoy Sikdar, Xiaoxi Guo, Haibin Wang, Lirong Xia, Yongzhi Cao
2021 J jnl
Sequential Mechanisms for Multi-type Resource Allocation.
CoRR
Sujoy Sikdar, Xiaoxi Guo, Haibin Wang, Lirong Xia, Yongzhi Cao
2020 — ch.
Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems.
Decision Making under Constraints
Yongzhi Cao, Yoshinori Ezawa, Guoqing Chen, Haiyu Pan
2020 A* conf
Multi-Type Resource Allocation with Partial Preferences.
AAAI
Haibin Wang, Sujoy Sikdar, Xiaoxi Guo, Lirong Xia, Yongzhi Cao, Hanpin Wang
2020 J jnl
Probabilistic Serial Mechanism for Multi-Type Resource Allocation.
CoRR
Xiaoxi Guo, Sujoy Sikdar, Haibin Wang, Lirong Xia, Yongzhi Cao, Hanpin Wang
2020 Misc conf
The Shift PUF: Technique for Squaring the Machine Learning Complexity of Arbiter-based PUFs: Work-in-Progress.
CASES
Yi Tang, Donghang Wu, Yongzhi Cao, Marian Margraf
2019 J jnl
Enhance PATE on Complex Tasks With Knowledge Transferred From Non-Private Data.
IEEE Access
Lulu Wang, Junxiang Zheng, Yongzhi Cao, Hanpin Wang
2019 J jnl
Fuzzy Pushdown Termination Games.
IEEE Trans. Fuzzy Syst.
Haiyu Pan, Fu Song, Yongzhi Cao, Junyan Qian
2019 J jnl
Multi-type Resource Allocation with Partial Preferences.
CoRR
Haibin Wang, Sujoy Sikdar, Xiaoxi Guo, Lirong Xia, Yongzhi Cao, Hanpin Wang
2019 J jnl
Reasoning about Block-based Cloud Storage Systems.
CoRR
Zhao Jin, Hanpin Wang, Lei Zhang, Bowen Zhang, Kun Gao, Yongzhi Cao
2019 J jnl
Sample Essentiality and Its Application to Modeling Attacks on Arbiter PUFs.
ACM Trans. Embed. Comput. Syst.
Siwen Zhu, Yi Tang, Junxiang Zheng, Yongzhi Cao, Hanpin Wang, Yu Huang, Marian Margraf
2018 J jnl
A Modeling Language for MapReduce Programing in a Storage System Perspective.
J. Signal Process. Syst.
Yuxin Jing, Hanpin Wang, Yu Huang, Lei Zhang, Yongzhi Cao
2018 J jnl
Personalized graph pattern matching via limited simulation.
Knowl. Based Syst.
Ruihuan Du, Jiannan Yang, Yongzhi Cao, Hanpin Wang
2018 J jnl
Polynomial-time algorithms for computing distances of fuzzy transition systems.
Theor. Comput. Sci.
Taolue Chen, Tingting Han, Yongzhi Cao
2018 — conf
Probabilistic Context-Aware Ambients.
ICCSIP (1)
Lei Zhang, Yue Long, Yongzhi Cao, Hanpin Wang
2018 — conf
Reasoning about Cloud Storage Systems.
DSC
Hanpin Wang, Zhao Jin, Lei Zhang, Yuxin Jing, Yongzhi Cao
2018 J jnl
Tractable queries on big data via preprocessing with logarithmic-size output.
Knowl. Inf. Syst.
Jiannan Yang, Hanpin Wang, Yongzhi Cao
2017 J jnl
A modeling language to describe massive data storage management in cyber-physical systems.
J. Parallel Distributed Comput.
Yuxin Jing, Hanpin Wang, Yu Huang, Lei Zhang, Jiang Xu, Yongzhi Cao
2017 J jnl
Differential privacy in probabilistic systems.
Inf. Comput.
Jiannan Yang, Yongzhi Cao, Hanpin Wang
2017 J jnl
Nondeterministic fuzzy automata with membership values in complete residuated lattices.
Int. J. Approx. Reason.
Haiyu Pan, Yongming Li, Yongzhi Cao, Ping Li
2017 J jnl
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems.
CoRR
Taolue Chen, Tingting Han, Yongzhi Cao
2017 J jnl
Reachability in Fuzzy Game Graphs.
IEEE Trans. Fuzzy Syst.
Haiyu Pan, Yongming Li, Yongzhi Cao, Dechao Li
2017 — conf
Towards Formalizing of MapReduce.
BigDataSecurity/HPSC/IDS
Yuxin Jing, Hanpin Wang, Yu Huang, Lei Zhang, Yongzhi Cao
2016 J jnl
Model checking computation tree logic over finite lattices.
Theor. Comput. Sci.
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
2015 J jnl
Conditional anonymity with non-probabilistic adversary.
Inf. Sci.
Weien Chen, Yongzhi Cao, Hanpin Wang
2015 J jnl
Lattice-valued simulations for quantitative transition systems.
Int. J. Approx. Reason.
Haiyu Pan, Yongming Li, Yongzhi Cao
2015 J jnl
Making problems tractable on big data via preprocessing with polylog-size output.
CoRR
Jiannan Yang, Hanpin Wang, Yongzhi Cao
2015 J jnl
Minimum guesswork discrimination between quantum states.
Quantum Inf. Comput.
Weien Chen, Yongzhi Cao, Hanpin Wang, Yuan Feng
2015 J jnl
Model checking fuzzy computation tree logic.
Fuzzy Sets Syst.
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
2014 J jnl
Reducing Interval-Valued Decision Trees to Conventional Ones: Comments on Decision Trees with Single and Multiple Interval-Valued Objectives.
Decis. Anal.
Yongzhi Cao
2014 J jnl
Simulation for lattice-valued doubly labeled transition systems.
Int. J. Approx. Reason.
Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen
2013 J jnl
A Behavioral Distance for Fuzzy-Transition Systems.
IEEE Trans. Fuzzy Syst.
Yongzhi Cao, Sherry X. Sun, Huaiqing Wang, Guoqing Chen
2013 J jnl
Probabilistic automata for computing with words.
J. Comput. Syst. Sci.
Yongzhi Cao, Lirong Xia, Mingsheng Ying
2012 J jnl
Behavioural equivalences of a probabilistic pi-calculus.
Sci. China Inf. Sci.
Weien Chen, Yongzhi Cao, Hanpin Wang
2012 J jnl
Nondeterministic fuzzy automata.
Inf. Sci.
Yongzhi Cao, Yoshinori Ezawa
2012 J jnl
Reliability of Mobile Processes with Noisy Channels.
IEEE Trans. Computers
Yongzhi Cao
2012 J jnl
Value-passing CCS with noisy channels.
Theor. Comput. Sci.
Shuqin Huang, Yongzhi Cao, Hanpin Wang, Wanling Qu
2011 J jnl
A Behavioral Distance for Fuzzy-Transition Systems
CoRR
Yongzhi Cao, Huaiqing Wang, Sherry X. Sun, Guoqing Chen
2011 J jnl
Bisimulations for Fuzzy-Transition Systems.
IEEE Trans. Fuzzy Syst.
Yongzhi Cao, Guoqing Chen, Etienne E. Kerre
2011 J jnl
Comments on "State-Feedback Control of Fuzzy Discrete-Event Systems".
IEEE Trans. Syst. Man Cybern. Part B
Yongzhi Cao, Yoshinori Ezawa
2010 J jnl
A Fuzzy Petri-Nets Model for Computing With Words.
IEEE Trans. Fuzzy Syst.
Yongzhi Cao, Guoqing Chen
2010 B conf
A Game Perspective of Refinement of Component Models.
COMPSAC
Zizhen Wang, Hanpin Wang, Yongzhi Cao, Wanling Qu, Wei Jin, Meixia Zhu
2010 J jnl
A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels.
Comput. J.
Yongzhi Cao
2010 J jnl
Bisimulations for fuzzy transition systems
CoRR
Yongzhi Cao, Guoqing Chen, Etienne E. Kerre
2010 B conf
Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus.
COMPSAC
Wei Jin, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Xiaojuan Ban
2010 J jnl
Nondeterministic fuzzy automata
CoRR
Yongzhi Cao, Yoshinori Ezawa
2010 C conf
The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation.
APSEC
Meixia Zhu, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Wei Jin
2009 J jnl
A Fuzzy Petri Nets Model for Computing With Words
CoRR
Yongzhi Cao, Guoqing Chen
2009 B conf
On Model Checking Boolean BI.
CSL
Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao
2008 J jnl
A hierarchy of behavioral equivalences in the π-calculus with noisy channels
CoRR
Yongzhi Cao
2008 J jnl
Discussion on: Decentralized Supervisory Control of Fuzzy Discrete Event Systems.
Eur. J. Control
Yongzhi Cao
2007 J jnl
Retraction and Generalized Extension of Computing With Words.
IEEE Trans. Fuzzy Syst.
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
2007 J jnl
State-Based Control of Fuzzy Discrete-Event Systems.
IEEE Trans. Syst. Man Cybern. Part B
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
2006 J jnl
Observability and Decentralized Control of Fuzzy Discrete-Event Systems.
IEEE Trans. Fuzzy Syst.
Yongzhi Cao, Mingsheng Ying
2006 J jnl
Probabilistic Automata for Computing with Words
CoRR
Yongzhi Cao, Lirong Xia, Mingsheng Ying
2006 J jnl
Retraction and Generalized Extension of Computing with Words
CoRR
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
2006 J jnl
Similarity-based supervisory control of discrete-event systems.
IEEE Trans. Autom. Control.
Yongzhi Cao, Mingsheng Ying
2005 J jnl
State-Based Control of Fuzzy Discrete Event Systems
CoRR
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
2005 J jnl
Supervisory control of fuzzy discrete event systems.
IEEE Trans. Syst. Man Cybern. Part B
Yongzhi Cao, Mingsheng Ying
2004 J jnl
Observability and Decentralized Control of Fuzzy Discrete Event Systems
CoRR
Yongzhi Cao, Mingsheng Ying
2004 J jnl
Similarity-Based Supervisory Control of Discrete Event Systems
CoRR
Yongzhi Cao, Mingsheng Ying
2004 J jnl
Supervisory Control of Fuzzy Discrete Event Systems
CoRR
Yongzhi Cao, Mingsheng Ying