| 2024 | ASPDAC | Bridging the Design Methodologies of Burst-Mode Specifications and Signal Transition Graphs. | Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev |
| 2022 | FDL | Formal Modelling of Burst-Mode Specifications in a Distributed Environment. | Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev |
| 2021 | DATE | Synthesis of SI Circuits from Burst-Mode Specifications. | Alex Chan, Danil Sokolov, Victor Khomenko, David Lloyd, Alex Yakovlev |
| 2020 | ISCAS | Toward Designing Thermally-Aware Memristance Decoder. | Thanasin Bunnam, Ahmed Soltan, Danil Sokolov, Alex Yakovlev, Oleg V. Maevsky |
| 2018 | DATE | Reconfigurable asynchronous pipelines: From formal models to silicon. | Danil Sokolov, Alessandro de Gennaro, Andrey Mokhov |
| 2018 | ISCAS | An Excitation Time Model for General-purpose Memristance Tuning Circuit. | Thanasin Bunnam, Ahmed Soltan, Danil Sokolov, Alex Yakovlev |
| 2017 | DAC | Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited. | Vladimir Dubikhin, Chris J. Myers, Danil Sokolov, Ioannis Syranidis, Alexandre Yakovlev |
| 2017 | DATE | Energy-efficient approximate multiplier design using bit significance-driven logic compression. | Issa Qiqieh, Rishad A. Shafik, Ghaith Tarawneh, Danil Sokolov, Alex Yakovlev |
| 2017 | DATE | Benefits of asynchronous control for analog electronics: Multiphase buck case study. | Danil Sokolov, Vladimir Dubikhin, Victor Khomenko, David Lloyd, Andrey Mokhov, Alex Yakovlev |
| 2015 | DATE | GALS synthesis and verification for xMAS models. | Frank P. Burns, Danil Sokolov, Alexandre Yakovlev |
| 2015 | MEMOCODE | Compositional design of asynchronous circuits from behavioural concepts. | Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev |
| 2014 | DATE | Design of safety critical systems by refinement. | Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov |
| 2011 | MEMOCODE | Formal modelling and transformations of processor instruction sets. | Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev |
| 2008 | ICCD | Conversion driven design of binary to mixed radix circuits. | Ashur Rafiev, Julian P. Murphy, Danil Sokolov, Alexandre Yakovlev |
| 2006 | ICCAD | Cost-aware synthesis of asynchronous circuits based on partial acknowledgement. | Yu Zhou, Danil Sokolov, Alexandre Yakovlev |
| 2006 | IOLTS | Online Testing by Protocol Decomposition. | Deepali Koppad, Danil Sokolov, Alexandre V. Bystrov, Alexandre Yakovlev |
| 2004 | CHES | Improving the Security of Dual-Rail Circuits. | Danil Sokolov, Julian P. Murphy, Alexandre V. Bystrov, Alexandre Yakovlev |
| 2003 | DATE | STG Optimisation in the Direct Mapping of Asynchronous Circuits . | Danil Sokolov, Alexandre V. Bystrov, Alexandre Yakovlev |