EDBT 2026 Demo / reviewers in the wild / expert
Yuan Sun 0007
dblp:75/5247-7
· DBLP profile ↗
5ranked-venue papers
0as first author
0since 2021 · last 2020
0000-0002-2012-2019ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4Systems, architecture and hardware · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Computational complexity · 61% Coding theory · 30% Logic in computer science · 9% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Emerging computing paradigms · 50% Electronic design automation · 50% |
Topics — the 5 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Emerging computing paradigms
quantum computer architecture |
0.4 | 1 | 2020 | Structured Decomposition for Reversible Boolean Functions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2020 |
Electronic design automation › logic synthesis › non-conventional logic synthesis
reversible logic synthesis |
0.4 | 1 | 2020 | Structured Decomposition for Reversible Boolean Functions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2020 |
Coding theory
boolean functions |
0.4 | 1 | 2020 | On the Degree of Boolean Functions as Polynomials over ℤm · ICALP 2020 |
Computational complexity
boolean function complexity |
0.4 | 1 | 2020 | On the Degree of Boolean Functions as Polynomials over ℤm · ICALP 2020 |
Computational complexity › boolean function analysis
polynomial representation |
0.4 | 1 | 2020 | On the Degree of Boolean Functions as Polynomials over ℤm · ICALP 2020 |
Methods — techniques the papers use, named apart from their topics
block decomposition · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | On the Degree of Boolean Functions as Polynomials over ℤm
Xiaoming Sun 0001, Yuan Sun 0007, Jiaheng Wang 0002, Kewen Wu 0001, Zhiyu Xia, Yufan Zheng |
ICALP | 2 |
| 2020 | Structured Decomposition for Reversible Boolean FunctionsabstractReversible Boolean function (RBF) is a one-to-one function which maps n-bit input to n-bit output. Reversible logic synthesis has been widely studied due to its connection with low-energy computation as well as quantum computation. In this paper, we give a structured decomposition for even RBFs. Specifically, for n ≥ 6, any even n-bit RBF can be decomposed to 7 blocks of (n-1)-bit RBF, where 7 is a constant independent of n and the positions of these blocks have a large degree of freedom. Moreover, if the (n-1)-bit RBFs are required to be even as well, we show for n ≥ 10, even n-bit RBF can be decomposed to 10 even (n - 1)-bit RBFs. In short, our decomposition has block depth 7 and even block depth 10. Our result improves Selinger's work in block depth model, by reducing the constant from 9 to 7 and from 13 to 10, when the blocks are limited to be even. We emphasize that our setting is a bit different from Selinger's work. In Selinger's constructive proof, each block is placed in one of two specific positions and thus the decomposition has an alternating structure. We relax this restriction and allow each block to act on arbitrary (n - 1) bits. This relaxation keeps the block structure and provides more candidates when choosing the positions of blocks. Jiaqing Jiang, Xiaoming Sun 0001, Yuan Sun 0007, Kewen Wu 0001, Zhiyu Xia |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 3 |
| 2020 | The one-round multi-player discrete Voronoi game on grids and trees
Xiaoming Sun 0001, Yuan Sun 0007, Zhiyu Xia, Jialin Zhang 0001 |
Theor. Comput. Sci. | 2 |
| 2019 | On the Relationship Between Energy Complexity and Other Boolean Function Measures
Xiaoming Sun 0001, Yuan Sun 0007, Kewen Wu 0001, Zhiyu Xia |
COCOON | 2 |
| 2019 | The One-Round Multi-player Discrete Voronoi Game on Grids and Trees
Xiaoming Sun 0001, Yuan Sun 0007, Zhiyu Xia, Jialin Zhang 0001 |
COCOON | 2 |