Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Danil Sokolov

Persistent and Nonviolent Steps and the Design of GALS Systems

Fundamenta Informaticae

Information Systems

Computational Theory

Theoretical Computer Science

English

Formal Design and Verification of an Asynchronous SRAM Controller

English

Energy-Efficient Approximate Multiplier Design Using Bit Significance-Driven Logic Compression

English

Loadable Kessels Counter

English

Cost-Aware Synthesis of Asynchronous Circuits Based on Partial Acknowledgement

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Computer Science Applications

Computer Graphics

Computer-Aided Design

English

Related publications

The Forward Search for Very Large Datasets

Journal of Statistical Software

English

R Graphics (3rd Edition)

Journal of Statistical Software

English

On an Analogue of Titchmarsh’s Divisor Problem for Holomorphic Cusp Forms

Journal of the American Mathematical Society

Applied Mathematics

English

Uniqueness of Enhancement for Triangulated Categories

Journal of the American Mathematical Society

Applied Mathematics

English

The Archimedean Theory of the Exterior Square $L$-Functions Over $\Mathbb{Q}$

Journal of the American Mathematical Society

Applied Mathematics

English

Intersecting Families of Permutations

Journal of the American Mathematical Society

Applied Mathematics

English

Proof of Aldous’ Spectral Gap Conjecture

Journal of the American Mathematical Society

Applied Mathematics

English

W$^{*}$–superrigidity for Bernoulli Actions of Property (T) Groups

Journal of the American Mathematical Society

Applied Mathematics

English

Appendix and Erratum to “Massey Products for Elliptic Curves of Rank 1”

Journal of the American Mathematical Society

Applied Mathematics

English

The Complex Monge-Ampère Equation on Compact Hermitian Manifolds

Journal of the American Mathematical Society

Applied Mathematics

English