United Monoids - Finding Simplicial Sets and Labelled Algebraic Graphs in Trees.

Andrey Mokhov

Andrey Mokhov United Monoids - Finding Simplicial Sets and Labelled Algebraic Graphs in Trees. 12 2022 6 Art Sci. Eng. Program. 3 https://doi.org/10.22152/programming-journal.org/2022/6/12 db/journals/programming/programming6.html#Mokhov22

Andrey Mokhov United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees. 2022 abs/2202.09230 CoRR https://arxiv.org/abs/2202.09230 db/journals/corr/corr2202.html#abs-2202-09230

Andrey Mokhov Neil Mitchell Simon Peyton Jones Build systems à la carte: Theory and practice. e11 2020 30 J. Funct. Program. https://doi.org/10.1017/S0956796820000088 https://www.wikidata.org/entity/Q105982564 db/journals/jfp/jfp30.html#MokhovMJ20

Danil Sokolov Victor Khomenko Andrey Mokhov Vladimir Dubikhin David Lloyd Alex Yakovlev Automating the Design of Asynchronous Logic Control for AMS Electronics. 952-965 2020 39 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 5 https://doi.org/10.1109/TCAD.2019.2907905 https://www.wikidata.org/entity/Q128201036 db/journals/tcad/tcad39.html#SokolovKMDLY20

Georgy Lukyanov Andrey Mokhov Jakob Lechner Formal Verification of Spacecraft Control Programs. 37:1-37:18 2020 19 ACM Trans. Embed. Comput. Syst. 5 https://doi.org/10.1145/3391900 db/journals/tecs/tecs19.html#LukyanovML20

Alessandro de Gennaro Danil Sokolov Andrey Mokhov Design and Implementation of Reconfigurable Asynchronous Pipelines. 1527-1539 2020 28 IEEE Trans. Very Large Scale Integr. Syst. 6 https://doi.org/10.1109/TVLSI.2020.2975591 db/journals/tvlsi/tvlsi28.html#GennaroSM20

Matthew Naylor 0002 Simon W. Moore Andrey Mokhov David B. Thomas Jonathan R. Beaumont Shane T. Fleming A. Theodore Markettos Thomas Bytheway Andrew D. Brown Termination detection for fine-grained message-passing architectures. 17-24 2020 ASAP https://doi.org/10.1109/ASAP49362.2020.00012 conf/asap/2020 db/conf/asap/asap2020.html#NaylorMMTBFMBB20

Alessandro de Gennaro Paulius Stankaitis Andrey Mokhov Efficient composition of scenario-based hardware specifications. 57-69 2019 13 IET Comput. Digit. Tech. 2 https://doi.org/10.1049/iet-cdt.2018.5073 db/journals/iet-cdt/iet-cdt13.html#GennaroSM19

Christian Ikenmeyer Balagopal Komarath Christoph Lenzen 0001 Vladimir Lysikov Andrey Mokhov Karteek Sreenivasaiah On the Complexity of Hazard-free Circuits. 25:1-25:20 2019 66 J. ACM 4 https://doi.org/10.1145/3320123 https://www.wikidata.org/entity/Q127336541 db/journals/jacm/jacm66.html#IkenmeyerKLLMS19

Andrey Mokhov Georgy Lukyanov Simon Marlow Jerémie Dimino Selective applicative functors. 90:1-90:29 2019 3 Proc. ACM Program. Lang. ICFP https://doi.org/10.1145/3341694 db/journals/pacmpl/pacmpl3.html#MokhovLMD19

Stanislavs Golubcovs Andrey Mokhov Alex Bystrov Danil Sokolov Alex Yakovlev Generalised Asynchronous Arbiter. 3-12 2019 ACSD https://doi.org/10.1109/ACSD.2019.00005 conf/acsd/2019 db/conf/acsd/acsd2019.html#GolubcovsMBSY19 Andrey Mokhov Georgy Lukyanov Jakob Lechner Formal verification of spacecraft control programs (experience report). 139-145 2019 Haskell@ICFP https://doi.org/10.1145/3331545.3342593 conf/haskell/2019 db/conf/haskell/haskell2019.html#MokhovLL19 Alexander S. Kulikov Ivan Mikhailin Andrey Mokhov Vladimir V. Podolskii Complexity of Linear Operators. 17:1-17:12 2019 ISAAC https://doi.org/10.4230/LIPIcs.ISAAC.2019.17 conf/isaac/2019 db/conf/isaac/isaac2019.html#KulikovMMP19 Andrew D. Brown Mark Vousden Alex Rast Graeme M. Bragg David B. Thomas Jonny Beaumont Matthew Naylor 0002 Andrey Mokhov POETS: Distributed Event-Based Computing - Scaling Behaviour. 487-496 2019 PARCO https://doi.org/10.3233/APC200076 conf/parco/2019 db/conf/parco/parco2019.html#BrownVRBTBNM19

Alexander S. Kulikov Ivan Mikhailin Andrey Mokhov Vladimir V. Podolskii Complexity of Linear Operators. TR19-002 2019 TR19 Electron. Colloquium Comput. Complex. https://eccc.weizmann.ac.il/report/2019/002 db/journals/eccc/eccc26.html#KulikovMMP19

Hernán Ponce de León Andrey Mokhov Compact and efficiently verifiable models for concurrent systems. 407-431 2018 53 Formal Methods Syst. Des. 3 https://doi.org/10.1007/s10703-018-0316-0 db/journals/fmsd/fmsd53.html#LeonM18

Andrey Mokhov Neil Mitchell Simon Peyton Jones Build systems à la carte. 79:1-79:29 2018 2 Proc. ACM Program. Lang. ICFP https://doi.org/10.1145/3236774 db/journals/pacmpl/pacmpl2.html#MokhovMJ18

Jonathan Beaumont Andrey Mokhov Danil Sokolov Alex Yakovlev High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds. 61-74 2018 37 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1 https://doi.org/10.1109/TCAD.2017.2748002 db/journals/tcad/tcad37.html#BeaumontMSY18

Georgy Lukyanov Andrey Mokhov Concurrency Oracles for Free. 112-127 2018 ATAED@Petri Nets/ACSD https://ceur-ws.org/Vol-2115/ATAED2018-112-127.pdf conf/apn/2018ataed db/conf/apn/ataed2018.html#LukyanovM18 Ghaith Tarawneh Andrey Mokhov Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools. 43-50 2018 ASYNC https://doi.org/10.1109/ASYNC.2018.00022 https://doi.ieeecomputersociety.org/10.1109/ASYNC.2018.00022 conf/async/2018 db/conf/async/async2018.html#TarawnehM18 Danil Sokolov Alessandro de Gennaro Andrey Mokhov Reconfigurable asynchronous pipelines: From formal models to silicon. 1562-1567 2018 DATE https://doi.org/10.23919/DATE.2018.8342264 conf/date/2018 db/conf/date/date2018.html#SokolovGM18 Christian Ikenmeyer Balagopal Komarath Christoph Lenzen 0001 Vladimir Lysikov Andrey Mokhov Karteek Sreenivasaiah On the complexity of hazard-free circuits. 878-889 2018 STOC https://doi.org/10.1145/3188745.3188912 conf/stoc/2018 db/conf/stoc/stoc2018.html#IkenmeyerKLLMS18

Andrey Mokhov Georgy Lukyanov Jakob Lechner Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers. 2018 abs/1802.01738 CoRR http://arxiv.org/abs/1802.01738 db/journals/corr/corr1802.html#abs-1802-01738

Alexander S. Kulikov Ivan Mikhailin Andrey Mokhov Vladimir V. Podolskii Complexity of Linear Operators. 2018 abs/1812.11772 CoRR http://arxiv.org/abs/1812.11772 db/journals/corr/corr1812.html#abs-1812-11772

Fei Xia 0001 Ashur Rafiev Ali Aalsaud Mohammed A. Noaman Al-Hayanni James J. Davis 0001 Joshua M. Levine Andrey Mokhov Alexander B. Romanovsky Rishad A. Shafik Alex Yakovlev Sheng Yang 0003 Voltage, Throughput, Power, Reliability, and Multicore Scaling. 34-45 2017 50 Computer 8 https://doi.org/10.1109/MC.2017.3001246 http://doi.ieeecomputersociety.org/10.1109/MC.2017.3001246 db/journals/computer/computer50.html#XiaRAADLMRSYY17

Anirban Bhattacharyya Andrey Mokhov Ken G. Pierce An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems. 251-307 2017 29 Formal Aspects Comput. 2 https://doi.org/10.1007/s00165-016-0405-z https://www.wikidata.org/entity/Q59615030 db/journals/fac/fac29.html#BhattacharyyaMP17

Victor Khomenko Andrey Mokhov Danil Sokolov Alex Yakovlev Formal Design and Verification of an Asynchronous SRAM Controller. 59-67 2017 ACSD https://doi.org/10.1109/ACSD.2017.12 https://doi.ieeecomputersociety.org/10.1109/ACSD.2017.12 conf/acsd/2017 db/conf/acsd/acsd2017.html#KhomenkoMSY17 Ghaith Tarawneh Andrey Mokhov Xprova: Formal Verification Tool with Built-in Metastability Modeling. 74-79 2017 ACSD https://doi.org/10.1109/ACSD.2017.22 https://doi.ieeecomputersociety.org/10.1109/ACSD.2017.22 conf/acsd/2017 db/conf/acsd/acsd2017.html#TarawnehM17 Andrey Mokhov Jordi Cortadella Alessandro de Gennaro Process Windows. 86-95 2017 ACSD https://doi.org/10.1109/ACSD.2017.18 https://doi.ieeecomputersociety.org/10.1109/ACSD.2017.18 conf/acsd/2017 db/conf/acsd/acsd2017.html#MokhovCG17 Lukasz Mikulski Andrey Mokhov Marcin Piatkowski Reduction of Order Structures. 96-105 2017 ACSD https://doi.org/10.1109/ACSD.2017.17 https://doi.ieeecomputersociety.org/10.1109/ACSD.2017.17 https://www.wikidata.org/entity/Q104379695 conf/acsd/2017 db/conf/acsd/acsd2017.html#MikulskiMP17 Victor Khomenko Danil Sokolov Andrey Mokhov Alex Yakovlev WAITX: An Arbiter for Non-persistent Signals. 33-40 2017 ASYNC https://doi.org/10.1109/ASYNC.2017.8 https://doi.ieeecomputersociety.org/10.1109/ASYNC.2017.8 conf/async/2017 db/conf/async/async2017.html#KhomenkoSMY17 Danil Sokolov Vladimir Dubikhin Victor Khomenko David Lloyd Andrey Mokhov Alex Yakovlev Benefits of asynchronous control for analog electronics: Multiphase buck case study. 1751-1756 2017 DATE https://doi.org/10.23919/DATE.2017.7927276 http://dl.acm.org/citation.cfm?id=3130788 conf/date/2017 db/conf/date/date2017.html#SokolovDKLMY17 Haider Alrudainy Rishad A. Shafik Andrey Mokhov Alex Yakovlev Lifetime reliability characterization of N/MEMS used in power gating of digital integrated circuits. 1-6 2017 DFT https://doi.org/10.1109/DFT.2017.8244452 https://doi.ieeecomputersociety.org/10.1109/DFT.2017.8244452 conf/dft/2017 db/conf/dft/dft2017.html#AlrudainySMY17 Andrey Mokhov Alessandro de Gennaro Ghaith Tarawneh Jonny Wray Georgy Lukyanov Sergey Mileiko Joe Scott Alex Yakovlev Andrew D. Brown Language and hardware acceleration backend for graph processing. 1-7 2017 FDL https://doi.org/10.1109/FDL.2017.8303899 conf/fdl/2017 db/conf/fdl/fdl2017.html#MokhovGTWLMSYB17 Andrey Mokhov Alessandro de Gennaro Ghaith Tarawneh Jonny Wray Georgy Lukyanov Sergey Mileiko Joe Scott Alex Yakovlev Andrew D. Brown Language and Hardware Acceleration Backend for Graph Processing. 71-88 2017 FDL (Selected Papers) https://doi.org/10.1007/978-3-030-02215-0_4 conf/fdl/2017s db/conf/fdl/fdl2017s.html#MokhovGTWLMSYB17a Andrey Mokhov Algebraic graphs with class (functional pearl). 2-13 2017 Haskell https://doi.org/10.1145/3122955.3122956 https://doi.org/10.1145/3156695.3122956 conf/haskell/2017 db/conf/haskell/haskell2017.html#Mokhov17 Ghaith Tarawneh Andrey Mokhov Matthew Naylor 0002 Alex Rast Simon W. Moore David B. Thomas Alex Yakovlev Andrew D. Brown Programming Model to Develop Supercomputer Combinatorial Solvers. 171-179 2017 ICPP Workshops https://doi.org/10.1109/ICPPW.2017.35 https://doi.ieeecomputersociety.org/10.1109/ICPPW.2017.35 conf/icppw/2017 db/conf/icppw/icppw2017.html#TarawnehMNRMTYB17 Haider Alrudainy Andrey Mokhov Fei Xia 0001 Alex Yakovlev Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays. 158-163 2017 ISVLSI https://doi.org/10.1109/ISVLSI.2017.36 https://doi.ieeecomputersociety.org/10.1109/ISVLSI.2017.36 conf/isvlsi/2017 db/conf/isvlsi/isvlsi2017.html#AlrudainyMXY17 Andrey Mokhov Danil Sokolov Victor Khomenko Alex Yakovlev Asynchronous Arbitration Primitives for New Generation of Circuits and Systems. 81-84 2017 NGCAS https://doi.org/10.1109/NGCAS.2017.43 conf/ngcas/2017 db/conf/ngcas/ngcas2017.html#MokhovSKY17 Andrew D. Brown David B. Thomas Jeff Reeve Ghaith Tarawneh Alessandro de Gennaro Andrey Mokhov Matthew Naylor 0002 Tom Kazmierski Distributed Event-Based Computing. 583-592 2017 PARCO https://doi.org/10.3233/978-1-61499-843-3-583 conf/parco/2017 db/conf/parco/parco2017.html#BrownTRTGMNK17

Christian Ikenmeyer Balagopal Komarath Christoph Lenzen 0001 Vladimir Lysikov Andrey Mokhov Karteek Sreenivasaiah On the complexity of hazard-free circuits. 2017 abs/1711.01904 CoRR http://arxiv.org/abs/1711.01904 db/journals/corr/corr1711.html#abs-1711-01904

Andrey Mokhov Josep Carmona 0001 Jonathan Beaumont Mining Conditional Partial Order Graphs from Event Logs. 114-136 2016 11 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-662-53401-4_6 https://www.wikidata.org/entity/Q62039939 journals/topnoc/2016-11 db/journals/topnoc/topnoc11.html#MokhovCB16

Ghaith Tarawneh Andrey Mokhov Alex Yakovlev Formal verification of clock domain crossing using gate-level models of metastable flip-flops. 1060-1065 2016 DATE https://ieeexplore.ieee.org/document/7459466/ conf/date/2016 db/conf/date/date2016.html#TarawnehMY16 Simon Marlow Simon Peyton Jones Edward Kmett Andrey Mokhov Desugaring Haskell's do-notation into applicative operations. 92-104 2016 Haskell https://doi.org/10.1145/2976002.2976007 conf/haskell/2016 db/conf/haskell/haskell2016.html#MarlowJKM16 Andrey Mokhov Neil Mitchell Simon Peyton Jones Simon Marlow Non-recursive make considered harmful: build systems at scale. 170-181 2016 Haskell https://doi.org/10.1145/2976002.2976011 conf/haskell/2016 db/conf/haskell/haskell2016.html#MokhovMJM16 Haider Alrudainy Andrey Mokhov Nizar S. Dahir Alex Yakovlev MEMS-based power delivery control for bursty applications. 790-793 2016 ISCAS https://doi.org/10.1109/ISCAS.2016.7527359 conf/iscas/2016 db/conf/iscas/iscas2016.html#AlrudainyMDY16

Anirban Bhattacharyya Andrey Mokhov Ken G. Pierce An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems. 2016 abs/1609.08531 CoRR http://arxiv.org/abs/1609.08531 db/journals/corr/corr1609.html#BhattacharyyaMP16

Andrey Mokhov Algebra of switching networks. 197-205 2015 9 IET Comput. Digit. Tech. 4 https://doi.org/10.1049/iet-cdt.2014.0135 db/journals/iet-cdt/iet-cdt9.html#Mokhov15

Alexandre Yakovlev Alexander Kushnerov Andrey Mokhov Reza Ramezani On hyperbolic laws of capacitor discharge through self-timed digital loads. 1243-1262 2015 43 Int. J. Circuit Theory Appl. 10 https://doi.org/10.1002/cta.2010 db/journals/ijcta/ijcta43.html#YakovlevKMR15

Kamel Barkaoui Luca Bernardinello Andrey Mokhov Guest Editorial for Special Issue Application of Concurrency to System Design. 62:1-62:2 2015 14 ACM Trans. Embed. Comput. Syst. 4 https://doi.org/10.1145/2809925 db/journals/tecs/tecs14.html#BarkaouiBM15

Alessandro de Gennaro Paulius Stankaitis Andrey Mokhov A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. 100-109 2015 ACSD https://doi.org/10.1109/ACSD.2015.17 https://doi.ieeecomputersociety.org/10.1109/ACSD.2015.17 conf/acsd/2015 db/conf/acsd/acsd2015.html#GennaroSM15 Andrey Mokhov Josep Carmona 0001 Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data. 16-30 2015 ATAED@Petri Nets/ACSD https://ceur-ws.org/Vol-1371/paper02.pdf conf/apn/2015ataed db/conf/apn/ataed2015.html#MokhovC15 Danil Sokolov Victor Khomenko Andrey Mokhov Alex Yakovlev David Lloyd Design and Verification of Speed-Independent Multiphase Buck Controller. 29-36 2015 ASYNC https://doi.org/10.1109/ASYNC.2015.14 https://doi.ieeecomputersociety.org/10.1109/ASYNC.2015.14 conf/async/2015 db/conf/async/async2015.html#SokolovKMYL15 Andrey Mokhov Victor Khomenko Danil Sokolov Alex Yakovlev Opportunistic Merge Element. 116-123 2015 ASYNC https://doi.org/10.1109/ASYNC.2015.25 https://doi.ieeecomputersociety.org/10.1109/ASYNC.2015.25 conf/async/2015 db/conf/async/async2015.html#MokhovKSY15 Hernán Ponce de León Andrey Mokhov Building Bridges Between Sets of Partial Orders. 145-160 2015 LATA https://doi.org/10.1007/978-3-319-15579-1_11 conf/lata/2015 db/conf/lata/lata2015.html#LeonM15 Jonathan Beaumont Andrey Mokhov Danil Sokolov Alex Yakovlev Compositional design of asynchronous circuits from behavioural concepts. 118-127 2015 MEMOCODE https://doi.org/10.1109/MEMCOD.2015.7340478 conf/memocode/2015 db/conf/memocode/memocode2015.html#BeaumontMSY15

Victor Khomenko Andrey Mokhov Direct Construction of Complete Merged Processes. 693-707 2014 57 Comput. J. 5 https://doi.org/10.1093/comjnl/bxt014 db/journals/cj/cj57.html#KhomenkoM14

Andrey Mokhov Alexei Iliasov Danil Sokolov Maxim Rykunov Alex Yakovlev Alexander B. Romanovsky Synthesis of Processor Instruction Sets from High-Level ISA Specifications. 1552-1566 2014 63 IEEE Trans. Computers 6 https://doi.org/10.1109/TC.2013.37 http://doi.ieeecomputersociety.org/10.1109/TC.2013.37 db/journals/tc/tc63.html#MokhovISRYR14

Andrey Mokhov Victor Khomenko Algebra of Parameterised Graphs. 143:1-143:22 2014 13 ACM Trans. Embed. Comput. Syst. 4s https://doi.org/10.1145/2627351 db/journals/tecs/tecs13.html#MokhovK14

Ashur Rafiev Alexei Iliasov Alexander B. Romanovsky Andrey Mokhov Fei Xia 0001 Alexandre Yakovlev Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. 122-131 2014 ACSD https://doi.org/10.1109/ACSD.2014.28 https://doi.ieeecomputersociety.org/10.1109/ACSD.2014.28 conf/acsd/2014 db/conf/acsd/acsd2014.html#RafievIRMXY14 Alex Iliasov Arseniy Alekseyev Danil Sokolov Andrey Mokhov Design of safety critical systems by refinement. 1-4 2014 DATE https://doi.org/10.7873/DATE.2014.100 http://dl.acm.org/citation.cfm?id=2616713 conf/date/2014 db/conf/date/date2014.html#IliasovASM14 Ashur Rafiev Alexei Iliasov Alexander B. Romanovsky Andrey Mokhov Fei Xia 0001 Alexandre Yakovlev ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. 21 2014 ES4CPS@DATE https://doi.org/10.1145/2589650.2559632 conf/date/2014es4cps db/conf/date/es4cps2014.html#RafievIRMXY14 Haider Alrudainy Andrey Mokhov Alex Yakovlev A scalable physical model for Nano-Electro-Mechanical relays. 1-7 2014 PATMOS https://doi.org/10.1109/PATMOS.2014.6951889 conf/patmos/2014 db/conf/patmos/patmos2014.html#AlrudainyMY14

Anirban Bhattacharyya Andrey Mokhov Ken G. Pierce Manuel Mazzara On Formalisms for Dynamic Reconfiguration of Dependable Systems. 2014 abs/1405.0319 CoRR http://arxiv.org/abs/1405.0319 db/journals/corr/corr1405.html#BhattacharyyaMPM14

Stanislavs Golubcovs Delong Shang Fei Xia 0001 Andrey Mokhov Alex Yakovlev Concurrent Multiresource Arbiter: Design and Applications. 31-44 2013 62 IEEE Trans. Computers 1 https://doi.org/10.1109/TC.2011.218 http://doi.ieeecomputersociety.org/10.1109/TC.2011.218 db/journals/tc/tc62.html#GolubcovsSXMY13

Maxim Rykunov Andrey Mokhov Danil Sokolov Alex Yakovlev Albert Koelmans Design-for-adaptivity of microarchitectures. 314-320 2013 ASAP https://doi.org/10.1109/ASAP.2013.6567596 https://doi.ieeecomputersociety.org/10.1109/ASAP.2013.6567596 conf/asap/2013 db/conf/asap/asap2013.html#RykunovMSYK13

Fei Xia 0001 Andrey Mokhov Yu Zhou 0006 Yifan Chen Isi Mitrani Delong Shang Danil Sokolov Alexandre Yakovlev Towards power-elastic systems through concurrency management. 33-42 2012 6 IET Comput. Digit. Tech. 1 https://doi.org/10.1049/iet-cdt.2010.0091 db/journals/iet-cdt/iet-cdt6.html#XiaMZCMSSY12

Ashur Rafiev Andrey Mokhov Frank P. Burns Julian P. Murphy Albert Koelmans Alex Yakovlev Mixed Radix Reed-Muller Expansions. 1189-1202 2012 61 IEEE Trans. Computers 8 https://doi.org/10.1109/TC.2011.124 http://doi.ieeecomputersociety.org/10.1109/TC.2011.124 db/journals/tc/tc61.html#RafievMBMKY12

Andrey Mokhov Victor Khomenko Arseniy Alekseyev Alex Yakovlev Algebra of Parameterised Graphs. 22-31 2012 ACSD https://doi.org/10.1109/ACSD.2012.15 https://doi.ieeecomputersociety.org/10.1109/ACSD.2012.15 conf/acsd/2012 db/conf/acsd/acsd2012.html#MokhovKAY12 Andrey Mokhov Victor Khomenko Danil Sokolov Alex Yakovlev On Dual-Rail Control Logic for Enhanced Circuit Robustness. 112-121 2012 ACSD https://doi.org/10.1109/ACSD.2012.17 https://doi.ieeecomputersociety.org/10.1109/ACSD.2012.17 conf/acsd/2012 db/conf/acsd/acsd2012.html#MokhovKSY12 Andrey Mokhov Danil Sokolov Alex Yakovlev Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation. 17-24 2012 ASYNC https://doi.org/10.1109/ASYNC.2012.23 https://doi.ieeecomputersociety.org/10.1109/ASYNC.2012.23 conf/async/2012 db/conf/async/async2012.html#MokhovSY12

Andrey Mokhov Victor Khomenko Alexandre Yakovlev Flat Arbiters. 63-90 2011 108 Fundam. Informaticae 1-2 https://doi.org/10.3233/FI-2011-414 db/journals/fuin/fuin108.html#MokhovKY11

Andrey Mokhov Arseniy Alekseyev Alex Yakovlev Encoding of processor instruction sets with explicit concurrency control. 427-439 2011 5 IET Comput. Digit. Tech. 6 https://doi.org/10.1049/iet-cdt.2010.0158 db/journals/iet-cdt/iet-cdt5.html#MokhovAY11

Arseniy Alekseyev Victor Khomenko Andrey Mokhov Dominic Wist Alex Yakovlev Improved Parallel Composition of Labelled Petri Nets. 131-140 2011 ACSD https://doi.org/10.1109/ACSD.2011.11 https://doi.ieeecomputersociety.org/10.1109/ACSD.2011.11 conf/acsd/2011 db/conf/acsd/acsd2011.html#AlekseyevKMWY11 Victor Khomenko Andrey Mokhov An Algorithm for Direct Construction of Complete Merged Processes. 89-108 2011 Petri Nets https://doi.org/10.1007/978-3-642-21834-7_6 conf/apn/2011 db/conf/apn/pn2011.html#KhomenkoM11 Andrey Mokhov Danil Sokolov Maxim Rykunov Alex Yakovlev Formal modelling and transformations of processor instruction sets. 51-60 2011 MEMOCODE https://doi.org/10.1109/MEMCOD.2011.5970510 conf/memocode/2011 db/conf/memocode/memocode2011.html#MokhovSRY11

Andrey Mokhov Alexandre Yakovlev Conditional Partial Order Graphs: Model, Synthesis, and Application. 1480-1493 2010 59 IEEE Trans. Computers 11 https://doi.org/10.1109/TC.2010.58 http://doi.ieeecomputersociety.org/10.1109/TC.2010.58 db/journals/tc/tc59.html#MokhovY10

Andrey Mokhov Arseniy Alekseyev Alexandre Yakovlev Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. 3-12 2010 ACSD https://doi.org/10.1109/ACSD.2010.30 https://doi.ieeecomputersociety.org/10.1109/ACSD.2010.30 conf/acsd/2010 db/conf/acsd/acsd2010.html#MokhovAY10 Andrey Mokhov Conditional Partial Order Graphs. 2009 University of Newcastle Upon Tyne, UK https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.515073 British Library, EThOS Andrey Mokhov Victor Khomenko Alexandre Yakovlev Flat Arbiters. 99-108 2009 ACSD https://doi.org/10.1109/ACSD.2009.7 https://doi.ieeecomputersociety.org/10.1109/ACSD.2009.7 conf/acsd/2009 db/conf/acsd/acsd2009.html#MokhovKY09 Andrey Mokhov Crescenzo D'Alessandro Alex Yakovlev Synthesis of Multiple Rail Phase Encoding Circuits. 95-104 2009 ASYNC https://doi.org/10.1109/ASYNC.2009.14 https://doi.ieeecomputersociety.org/10.1109/ASYNC.2009.14 conf/async/2009 db/conf/async/async2009.html#MokhovDY09 Stanislavs Golubcovs Delong Shang Fei Xia 0001 Andrey Mokhov Alex Yakovlev Modular Approach to Multi-resource Arbiter Design. 107-116 2009 ASYNC https://doi.org/10.1109/ASYNC.2009.16 https://doi.ieeecomputersociety.org/10.1109/ASYNC.2009.16 conf/async/2009 db/conf/async/async2009.html#GolubcovsSXMY09 Andrey Mokhov Alexandre Yakovlev Verification of conditional partial order graphs. 128-137 2008 ACSD https://doi.org/10.1109/ACSD.2008.4574604 conf/acsd/2008 db/conf/acsd/acsd2008.html#MokhovY08 Ivan Poliakov Andrey Mokhov Ashur Rafiev Danil Sokolov Alex Yakovlev Automated Verification of Asynchronous Circuits Using Circuit Petri Nets. 161-170 2008 ASYNC https://doi.org/10.1109/ASYNC.2008.18 https://doi.ieeecomputersociety.org/10.1109/ASYNC.2008.18 conf/async/2008 db/conf/async/async2008.html#PoliakovMRSY08 Andrey Mokhov Alexandre Yakovlev Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis. 1142-1147 2008 DATE https://doi.org/10.1109/DATE.2008.4484832 https://doi.ieeecomputersociety.org/10.1109/DATE.2008.4484832 https://doi.org/10.1145/1403375.1403654 conf/date/2008 db/conf/date/date2008.html#MokhovY08 Ivan Poliakov Danil Sokolov Andrey Mokhov Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. 505-514 2007 conf/apn/2007 ICATPN https://doi.org/10.1007/978-3-540-73094-1_30 db/conf/apn/icatpn2007.html#PoliakovSM07 Crescenzo D'Alessandro Andrey Mokhov Alexandre V. Bystrov Alexandre Yakovlev Delay/Phase Regeneration Circuits. 105-116 2007 conf/async/2007 ASYNC https://doi.org/10.1109/ASYNC.2007.14 https://doi.ieeecomputersociety.org/10.1109/ASYNC.2007.14 db/conf/async/async2007.html#DAlessandroMBY07 Ali Aalsaud Mohammed A. Noaman Al-Hayanni Arseniy Alekseyev Haider Alrudainy Kamel Barkaoui Jonathan BeaumontJonathan R. Beaumont Jonny Beaumont Luca Bernardinello Anirban Bhattacharyya Graeme M. Bragg Andrew D. Brown Frank P. Burns Alexandre V. BystrovAlex Bystrov Thomas Bytheway Josep Carmona 0001 Yifan Chen Jordi Cortadella Nizar DahirNizar S. Dahir Crescenzo D'Alessandro James J. Davis 0001 Jerémie Dimino Vladimir Dubikhin Shane T. Fleming Alessandro de Gennaro Stanislavs Golubcovs Christian Ikenmeyer Alexei IliasovAlex Iliasov Simon L. Peyton JonesSimon Peyton Jones Tom Kazmierski Victor Khomenko Edward Kmett Albert Koelmans Balagopal Komarath Alexander S. Kulikov Alexander Kushnerov Jakob Lechner Christoph Lenzen 0001 Hernán Ponce de León Joshua M. Levine David Lloyd Georgy Lukyanov Vladimir Lysikov A. Theodore Markettos Simon Marlow Manuel Mazzara Ivan Mikhailin Lukasz Mikulski Sergey Mileiko Neil Mitchell Isi Mitrani Simon W. Moore Julian P. Murphy Matthew Naylor 0002 Marcin Piatkowski Ken G. Pierce Vladimir Podolskii 0001Vladimir V. Podolskii Ivan Poliakov Ashur Rafiev Reza Ramezani Alex Rast Jeff Reeve Alexander B. Romanovsky Maxim Rykunov Joe Scott Rishad A. Shafik Delong Shang Danil Sokolov Karteek Sreenivasaiah Paulius Stankaitis Ghaith Tarawneh David B. Thomas Mark Vousden Dominic Wist Jonny Wray Fei Xia 0001 Alexandre YakovlevAlex Yakovlev Sheng Yang 0003 Yu Zhou 0006