EDBT 2026 Demo / reviewers in the wild / expert
Yinfeng Zhu 0001
dblp:173/5793-1
· DBLP profile ↗
4ranked-venue papers
2as first author
4since 2021 · last 2024
0000-0003-1724-5250ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 2 first-author · 4 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Around Don's Conjecture for Binary Completely Reachable Automata
Yinfeng Zhu 0001 |
DLT | 1 |
| 2024 | A Quadratic Upper Bound on the Reset Thresholds of Synchronizing Automata Containing a Transitive Permutation GroupabstractFor any synchronizing $n$-state deterministic automaton, Černý conjectures the existence of a synchronizing word of length at most $(n-1)^2$. We prove that there exists a synchronizing word of length at most $2n^2 - 7n + 7$ for every synchronizing $n$-state deterministic automaton that satisfies the following two properties: 1. The image of the action of each letter contains at least $n-1$ states; 2. The actions of bijective letters generate a transitive permutation group on the state set. Yinfeng Zhu 0001 |
FSTTCS | 1 |
| 2023 | Correction to: Submodular Functions and Rooted Trees
Yaokun Wu, Yinfeng Zhu 0001 |
Theory Comput. Syst. | 2 |
| 2022 | Submodular Functions and Rooted Trees
Yaokun Wu, Yinfeng Zhu 0001 |
Theory Comput. Syst. | 2 |