Yongzhi Cao

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
The complexity of ferromagnetic 2-spin systems on bounded degree graphs	2025-01-16	Paper
A differentiable first-order rule learner for inductive logic programming	2024-07-03	Paper
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms	2023-03-13	Paper
Multi resource allocation with partial preferences	2023-01-04	Paper
Reasoning about block-based cloud storage systems via separation logic	2022-10-21	Paper
Zero-freeness and approximation of real Boolean Holant problems	2022-05-31	Paper
Learning from interpretation transition using differentiable logic programming semantics	2022-04-20	Paper
An adaptation-complete proof system for local reasoning about cloud storage systems	2022-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q3307709	2020-08-12	Paper
FPRAS for the Potts Model and the Number of $k$-colorings	2019-02-25	Paper
Reducing Interval-Valued Decision Trees to Conventional Ones: Comments on Decision Trees with Single and Multiple Interval-Valued Objectives	2018-10-24	Paper
Polynomial-time algorithms for computing distances of fuzzy transition systems	2018-05-17	Paper
Conditional anonymity with non-probabilistic adversary	2018-05-17	Paper
Similarity-Based Supervisory Control of Discrete-Event Systems	2017-07-27	Paper
Reliability of Mobile Processes with Noisy Channels	2017-07-12	Paper
Differential privacy in probabilistic systems	2017-05-18	Paper
Model checking fuzzy computation tree logic	2017-05-18	Paper
Discussion on: ``Decentralized supervisory control of fuzzy discrete event systems	2017-04-19	Paper
Nondeterministic fuzzy automata with membership values in complete residuated lattices	2017-02-22	Paper
Model checking computation tree logic over finite lattices	2015-12-15	Paper
Simulation for lattice-valued doubly labeled transition systems	2015-07-10	Paper
Lattice-valued simulations for quantitative transition systems	2014-11-24	Paper
Behavioural equivalences of a probabilistic pi-calculus	2013-08-20	Paper
Probabilistic automata for computing with words	2013-02-21	Paper
Nondeterministic fuzzy automata	2012-10-17	Paper
Value-passing CCS with noisy channels	2012-06-25	Paper
On Model Checking Boolean BI	2009-11-12	Paper
CARTAN DETERMINANTS OF CELLULAR ALGEBRAS	2007-03-20	Paper
Cyclotomic blob algebra and its representation theory.	2006-01-09	Paper
On the projective-injective modules over cellular algebras	2004-03-29	Paper
On the quasi-heredity and the semi-simplicity of cellular algebras.	2003-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4778323	2002-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4778366	2002-11-14	Paper
Weighted Moore-Penrose inverses of morphisms	2001-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4521845	2001-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q4489503	2001-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4503648	2001-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4489496	2000-07-11	Paper

Research outcomes over time

This page was built for person: Yongzhi Cao