Low-Latency Contro Structures with Slack. - Alexandre V. Bystrov; Danil Sokolov; Alexandre Yakovlev (ASYNC, 2003)

STG Optimisation in the Direct Mapping of Asynchronous Circuits . - Danil Sokolov; Alexandre V. Bystrov; Alexandre Yakovlev (DATE, 2003)

Improving the Security of Dual-Rail Circuits. - Danil Sokolov; Julian P. Murphy; Alexandre V. Bystrov; Alexandre Yakovlev (CHES, 2004)

A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits. - Delong Shang; Frank P. Burns; Alexandre V. Bystrov; Albert Koelmans; Danil Sokolov; Alexandre Yakovlev (PATMOS, 2004)

Design and Analysis of Dual-Rail Circuits for Security Applications. - Danil Sokolov; Julian P. Murphy; Alexandre V. Bystrov; Alexandre Yakovlev (IEEE Trans. Computers, 2005)

Cost-aware synthesis of asynchronous circuits based on partial acknowledgement. - Yu Zhou 006; Danil Sokolov; Alexandre Yakovlev (ICCAD, 2006)

Online Testing by Protocol Decomposition. - Deepali Koppad; Danil Sokolov; Alexandre V. Bystrov; Alexandre Yakovlev (IOLTS, 2006)

Asynchronous Data Path Models. - Danil Sokolov; Ivan Poliakov; Alexandre Yakovlev (ACSD, 2007)

Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. - Ivan Poliakov; Danil Sokolov; Andrey Mokhov (ICATPN, 2007)

Direct Mapping of Low-Latency Asynchronous Controllers From STGs. - Danil Sokolov; Alexandre V. Bystrov; Alexandre Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

Registers for Phase Difference Based Logic. - Delong Shang; Alexandre Yakovlev; Albert Koelmans; Danil Sokolov; Alexandre V. Bystrov (IEEE Trans. Very Large Scale Integr. Syst., 2007)

Automated Verification of Asynchronous Circuits Using Circuit Petri Nets. - Ivan Poliakov; Andrey Mokhov; Ashur Rafiev; Danil Sokolov; Alex Yakovlev (ASYNC, 2008)

Conversion driven design of binary to mixed radix circuits. - Ashur Rafiev; Julian P. Murphy; Danil Sokolov; Alexandre Yakovlev (ICCD, 2008)

Analysis of Static Data Flow Structures. - Danil Sokolov; Ivan Poliakov; Alexandre Yakovlev (Fundam. Informaticae, 2008)

Formal modelling and transformations of processor instruction sets. - Andrey Mokhov; Danil Sokolov; Maxim Rykunov; Alex Yakovlev (MEMOCODE, 2011)

On Dual-Rail Control Logic for Enhanced Circuit Robustness. - Andrey Mokhov; Victor Khomenko; Danil Sokolov; Alex Yakovlev (ACSD, 2012)

Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation. - Andrey Mokhov; Danil Sokolov; Alex Yakovlev (ASYNC, 2012)

Towards power-elastic systems through concurrency management. - Fei Xia 001; Andrey Mokhov; Yu Zhou 006; Yifan Chen; Isi Mitrani; Delong Shang; Danil Sokolov; Alexandre Yakovlev (IET Comput. Digit. Tech., 2012)

Step Persistence in the Design of GALS Systems. - Johnson Fernandes; Maciej Koutny; Marta Pietkiewicz-Koutny; Danil Sokolov; Alex Yakovlev (Petri Nets, 2013)

Design-for-adaptivity of microarchitectures. - Maxim Rykunov; Andrey Mokhov; Danil Sokolov; Alex Yakovlev; Albert Koelmans (ASAP, 2013)

GALS Partitioning by Behavioural Decoupling Expressed in Petri Nets. - Danil Sokolov; Alex Yakovlev (ASYNC, 2014)

An implantable optrode with Self-diagnostic function in 0.35µm CMOS for optical neural stimulation. - Hubin Zhao; Danil Sokolov; Patrick Degenaar (BioCAS, 2014)

Design of safety critical systems by refinement. - Alex Iliasov; Arseniy Alekseyev; Danil Sokolov; Andrey Mokhov (DATE, 2014)

Synthesis of Processor Instruction Sets from High-Level ISA Specifications. - Andrey Mokhov; Alexei Iliasov; Danil Sokolov; Maxim Rykunov; Alex Yakovlev; Alexander B. Romanovsky (IEEE Trans. Computers, 2014)

Opportunistic Merge Element. - Andrey Mokhov; Victor Khomenko; Danil Sokolov; Alex Yakovlev (ASYNC, 2015)

Design and Verification of Speed-Independent Multiphase Buck Controller. - Danil Sokolov; Victor Khomenko; Andrey Mokhov; Alex Yakovlev; David Lloyd (ASYNC, 2015)

A CMOS-based neural implantable optrode for optogenetic stimulation and electrical recording. - Hubin Zhao; Fahimeh Dehkhoda; Reza Ramezani; Danil Sokolov; Patrick Degenaar; Yan Liu 016; Timothy G. Constandinou (BioCAS, 2015)

GALS synthesis and verification for xMAS models. - Frank P. Burns; Danil Sokolov; Alexandre Yakovlev (DATE, 2015)

Wireless data and power transfer of an optogenetic implantable visual cortex stimulator. - Nabeel Fattah; Soumyasanta Laha; Danil Sokolov; Graeme Chester; Patrick Degenaar (EMBC, 2015)

Compositional design of asynchronous circuits from behavioural concepts. - Jonathan Beaumont; Andrey Mokhov; Danil Sokolov; Alex Yakovlev (MEMOCODE, 2015)

Persistent and Nonviolent Steps and the Design of GALS Systems. - Johnson Fernandes; Maciej Koutny; Lukasz Mikulski; Marta Pietkiewicz-Koutny; Danil Sokolov; Alex Yakovlev (Fundam. Informaticae, 2015)

Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis. - Mahdi Jelodari Mamaghani; Danil Sokolov; Jim D. Garside (ACSD, 2016)

Design of Mixed-Signal Systems With Asynchronous Control. - Vladimir Dubikhin; Danil Sokolov; Alex Yakovlev; Chris J. Myers (IEEE Des. Test, 2016)

Formal Design and Verification of an Asynchronous SRAM Controller. - Victor Khomenko; Andrey Mokhov; Danil Sokolov; Alex Yakovlev (ACSD, 2017)

Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours. - Jordi Cortadella; Alberto Moreno; Danil Sokolov; Alex Yakovlev; David Lloyd (ASYNC, 2017)

Elastic Bundles: Modelling and Synthesis of Asynchronous Circuits with Granular Rigidity. - Johnson Fernandes; Danil Sokolov; Alex Yakovlev (ASYNC, 2017)

WAITX: An Arbiter for Non-persistent Signals. - Victor Khomenko; Danil Sokolov; Andrey Mokhov; Alex Yakovlev (ASYNC, 2017)

Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited. - Vladimir Dubikhin; Chris J. Myers; Danil Sokolov; Ioannis Syranidis; Alexandre Yakovlev (DAC, 2017)

Energy-efficient approximate multiplier design using bit significance-driven logic compression. - Issa Qiqieh; Rishad A. Shafik; Ghaith Tarawneh; Danil Sokolov; Alex Yakovlev (DATE, 2017)

Benefits of asynchronous control for analog electronics: Multiphase buck case study. - Danil Sokolov; Vladimir Dubikhin; Victor Khomenko; David Lloyd; Andrey Mokhov; Alex Yakovlev (DATE, 2017)

Self-timed control of multiphase switched capacitor converters. - Sergey Mileiko; Alexander Kushnerov; Danil Sokolov; Alex Yakovlev (ECCTD, 2017)

Asynchronous Arbitration Primitives for New Generation of Circuits and Systems. - Andrey Mokhov; Danil Sokolov; Victor Khomenko; Alex Yakovlev (NGCAS, 2017)

Pulse controlled memristor-based delay element. - Thanasin Bunnam; Ahmed Soltan; Danil Sokolov; Alex Yakovlev (PATMOS, 2017)

Power proportional adder design for Internet of Things in a 65 nm process. - Adrian Wheeldon; Jordan Morris; Danil Sokolov; Alex Yakovlev (PATMOS, 2017)

Energy-efficient approximate wallace-tree multiplier using significance-driven logic compression. - Issa Qiqieh; Rishad A. Shafik; Ghaith Tarawneh; Danil Sokolov; Shidhartha Das; Alex Yakovlev (SiPS, 2017)

A Structured Visual Approach to GALS Modeling and Verification of Communication Circuits. - Frank P. Burns; Danil Sokolov; Alex Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Loadable Kessels Counter. - Oyinkuro Benafa; Danil Sokolov; Alex Yakovlev (ASYNC, 2018)

Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft. - Danil Sokolov; Victor Khomenko; Alex Yakovlev; David Lloyd (ASYNC, 2018)

Reconfigurable asynchronous pipelines: From formal models to silicon. - Danil Sokolov; Alessandro de Gennaro; Andrey Mokhov (DATE, 2018)

An Excitation Time Model for General-purpose Memristance Tuning Circuit. - Thanasin Bunnam; Ahmed Soltan; Danil Sokolov; Alex Yakovlev (ISCAS, 2018)

Significance-Driven Logic Compression for Energy-Efficient Multiplier Design. - Issa Qiqieh; Rishad A. Shafik; Ghaith Tarawneh; Danil Sokolov; Shidhartha Das; Alexandre Yakovlev (IEEE J. Emerg. Sel. Topics Circuits Syst., 2018)

High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds. - Jonathan Beaumont; Andrey Mokhov; Danil Sokolov; Alex Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Generalised Asynchronous Arbiter. - Stanislavs Golubcovs; Andrey Mokhov; Alex Bystrov; Danil Sokolov; Alex Yakovlev (ACSD, 2019)

Synthesis from Waveform Transition Graphs. - Alberto Moreno; Danil Sokolov; Jordi Cortadella (ASYNC, 2019)

Self-timed, minimum latency circuits for the internet of things. - Adrian Wheeldon; Jordan Morris; Danil Sokolov; Alex Yakovlev (Integr., 2019)

Toward Designing Thermally-Aware Memristance Decoder. - Thanasin Bunnam; Ahmed Soltan; Danil Sokolov; Oleg V. Maevsky; Alex Yakovlev (IEEE Trans. Circuits Syst. I Regul. Pap., 2019)

Handshake Verification in WORKCRAFT. - Victor Khomenko; Danil Sokolov; Alex Yakovlev; David Lloyd (ASYNC, 2020)

Empirical Temperature Model of Self-Directed Channel Memristor. - Thanasin Bunnam; Ahmed Soltan; Danil Sokolov; Oleg V. Maevsky; Patrick Degenaar; Alex Yakovlev (IEEE SENSORS, 2020)

Automating the Design of Asynchronous Logic Control for AMS Electronics. - Danil Sokolov; Victor Khomenko; Andrey Mokhov; Vladimir Dubikhin; David Lloyd; Alex Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Design and Implementation of Reconfigurable Asynchronous Pipelines. - Alessandro de Gennaro; Danil Sokolov; Andrey Mokhov (IEEE Trans. Very Large Scale Integr. Syst., 2020)

Synthesis of SI Circuits from Burst-Mode Specifications. - Alex Chan; Danil Sokolov; Victor Khomenko; David Lloyd; Alex Yakovlev (DATE, 2021)

Formal Modelling of Burst-Mode Specifications in a Distributed Environment. - Alex Chan; Danil Sokolov; Victor Khomenko; Alex Yakovlev (FDL, 2022)

Burst Automaton: Framework for Speed-Independent Synthesis Using Burst-Mode Specifications. - Alex Chan; Danil Sokolov; Victor Khomenko; David Lloyd; Alex Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Bridging the Design Methodologies of Burst-Mode Specifications and Signal Transition Graphs. - Alex Chan; Danil Sokolov; Victor Khomenko; Alex Yakovlev (ASPDAC, 2024)

Easy async for busy engineers: AFSM-based design of low-latency robust controllers in Workcraft*. - Danil Sokolov; Victor Khomenko; Marco Sautto (ASYNC, 2025)