Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Yuan Sun 0007

dblp:75/5247-7 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Emerging computing paradigms
quantum computer architecture
0.412020
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.412020
Structured Decomposition for Reversible Boolean Functions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2020
Coding theory
boolean functions
0.412020
On the Degree of Boolean Functions as Polynomials over ℤm · ICALP 2020
Computational complexity
boolean function complexity
0.412020
On the Degree of Boolean Functions as Polynomials over ℤm · ICALP 2020
Computational complexity › boolean function analysis
polynomial representation
0.412020
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
YearPublicationVenuePosition
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
ICALP2
2020 Structured Decomposition for Reversible Boolean Functions
abstract
Reversible 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
COCOON2
2019 The One-Round Multi-player Discrete Voronoi Game on Grids and Trees
Xiaoming Sun 0001, Yuan Sun 0007, Zhiyu Xia, Jialin Zhang 0001
COCOON2