Staff Profile

Roles and Responsibilities

Head of MicroSystems Research Group.

Degree Programme Director:
BEng/MEng Computer Systems Engineering/Microelectronics and Software Engineering (CSE/MSE) from 1999 to 2006

Board of Studies Chairman for Computer Systems Engineering until 2007.

Qualifications

MSc (1979), PhD(1982) from St. Petersburg Electrotechnical University (formerly Leningrad Electrical Engineering Institute - LETI)

DSc (2006) from University of Newcastle upon Tyne

CEng (2015)

Fellowships and Memberships 

Fellow of Royal Academy of Engineering (2017), Fellow of IEEE (2016), Fellow of IET (2015)

Languages

English and Russian

Alex is head of the MicroSystems Group and his profile can be viewed on Google Scholar.

Research Interests

Design of Asynchronous VLSI Systems, Petri Nets and concurrency models in system design, Hardware Description Languages, Low Power Electronics, Energy-Proportional and Energy-Modulated Computing, Energy-Harvesting Electronics, Asynchronous circuits for Analogue Electronics

Machine learning based on automata approaches, Tsetlin automata

CAD Systems for VLSI, Fault Tolerance and Reliability in VLSI, System Timing

"Genetic Evolution" of IP-driven Electronics and IT Technology 

My blog on energy-modulated computing:

• https://blogs.ncl.ac.uk/alexyakovlev

Our vision paper on Real-Power Computing:

• https://ieeexplore.ieee.org/document/8330023

Spinout activity:

Cofounder of Literal Labs

Advanced VLSI Systems Design for MSc

Low Power and Asynchronous Systems for MSc

MEng, MSc Project supervision

• Articles

  • Tunheim SA, Jiao L, Shafik R, Yakovlev A, Granmo O-C. Tsetlin Machine-Based Image Classification FPGA Accelerator With On-Device Training. IEEE Transactions on Circuits and Systems I: Regular Papers 2025, 72(2), 830-843.
  • Johnson-Richards C, Yakovlev A, Pacheco-Peña V. Topological Valley Photonic Waveguides: Scattering Matrix Evaluation for Linear Computing. Advanced Photonics Research 2025, 6(11), e202500006.
  • Tarasyuk O, Gorbenko A, Eberl M, Topley N, Zhang J, Shafik R, Yakovlev A. Prediction of the infecting organism in peritoneal dialysis patients with acute peritonitis using interpretable Tsetlin Machines. Bioinformatics Advances 2025, 5(1), vbaf140.
  • Ghazal O, Wang W, Kvatinsky S, Merchant F, Yakovlev A, Shafik R. IMPACT: In-Memory ComPuting Architecture based on Y-FlAsh Technology for Coalesced Tsetlin machine inference. Royal Society of London. Philosophical Transactions A. Mathematical, Physical and Engineering Sciences 2025, 383, 20230393.
  • Ghazal O, Wang W, Kvatinsky S, Merchant F, Yakovlev A, Shafik R. IMPACT: In-Memory ComPuting Architecture based on Y-FlAsh Technology for Coalesced Tsetlin machine inference. Royal Society Philosophical Transactions A 2025, 383(2288), 20230393.
  • Mao G, Rahman T, Maheshwari S, Pattison B, Shao Z, Shafik R, Yakovlev A. Dynamic Tsetlin Machine Accelerators for On-Chip Training using FPGAs. IEEE Transactions on Circuits and Systems - I: Regular Papers 2025, epub ahead of print.
  • Anders Tunheim S, Zheng Y, Jiao L, Shafik R, Yakovlev A, Granmo OC. An All-Digital 8.6-nJ/Frame 65-nm Tsetlin Machine Image Classification Accelerator. IEEE Transactions on Circuits and Systems I: Regular Papers 2025, Epub ahead of print.
  • MacDonald R, Yakovlev A, Pacheco-Peña V. Solving partial differential equations with waveguide-based metatronic networks. Advanced Photonics Nexus 2024, 3(5), 056007.
  • Rogers W, Johnson-Richards C, Yakovlev A, Pacheco-Pena V. Perfect splitting in rectangular-waveguide junctions for analog computing. Physical Review Applied 2024, 21(5), 054054.
  • Morris J, Rafiev A, Bragg G, Vousden M, Thomas D, Yakovlev A, Brown A. An Event-Driven Approach to Genotype Imputation on a Custom RISC-V Cluster. IEEE/ACM Transactions on Computational Biology and Bioinformatics 2024, 21(1), 26-35.
  • Macdonald RG, Yakovlev A, Pacheco-Peña V. Time derivatives via interconnected waveguides. Scientific Reports 2023, 13, 13126.
  • Maheshwari S, Rahman T, Shafik R, Yakovlev A, Rafiev A, Jiao L, Granmo O. REDRESS: Generating Compressed Models for Edge Inference Using Tsetlin Machines. IEEE Transactions on Pattern Analysis and Machine Intelligence 2023, 45(9), 11152-11168.
  • Knightley T, Yakovlev A, Pacheco-Peña V. Neural network design of multilayer metamaterial for temporal differentiation. Advanced Optical Materials 2023, 11(5), 2202351.
  • Tunheim SA, Jiao L, Shafik R, Yakovlev A, Granmo O-C. Convolutional Tsetlin Machine-based Training and Inference Accelerator for 2-D Pattern Classification. Microprocessors and Microsystems 2023, 103, 104949.
  • Yu S, Xia F, Shafik R, Balsamo D, Yakovlev A. Approximate digital-in analog-out multiplier with asymmetric nonvolatility and low energy consumption. Integration 2023, 93, 102045.
  • Zheng Y, Yakovlev A, Bystrov A. A Power-Gated 8-Transistor Physically Unclonable Function Accelerates Evaluation Speeds. Journal of Low Power Electronics and Applications 2023, 13(4), 53.
  • Abeyrathna KD, Granmo O-C, Shafik R, Jiao L, Wheeldon A, Yakovlev A, Lei J, Goodwin M. A multi-step finite-state automaton for arbitrarily deterministic Tsetlin Machine learning. Expert Systems 2023, 40(4), e12836.
  • Rahman T, Shafik R, Granmo O-C, Yakovlev A. Resilient Biomedical Systems Design Under Noise Using Logic-Based Machine Learning. Frontiers in Control Engineering 2022, 2, 778118.
  • Ventisei A, Yakovlev A, Pacheco-Peña V. Exploiting Petri Nets for Graphical Modelling of Electromagnetic Pulse Switching Operations. Advanced Theory and Simulations 2022, 5(3), 2100429.
  • Yu S, Bunnam T, Triamlumlerd S, Pracha M, Xia F, Shafik R, Yakovlev A. Energy-efficient neural network design using memristive MAC unit. Frontiers in Electronics 2022, 3, 877629.
  • Chan A, Sokolov D, Khomenko V, Lloyd D, Yakovlev A. Burst Automaton: Framework for Speed-Independent Synthesis using Burst-Mode Specifications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 2022, 42(5), 1560-1573.
  • MacDonald RG, Yakovlev A, Pacheco-Peña V. Amplitude-Controlled Electromagnetic Pulse Switching Using Waveguide Junctions for High-Speed Computing Processes. Advanced Intelligent Systems 2022, 4(12), 2200137.
  • Morris J, Prabhat P, Myers J, Yakovlev A. A Subthreshold Layout Strategy for Faster and Lower Energy Complex Digital Circuits. Journal of Low Power Electronics and Applications 2022, 12(3), 43.
  • Dahir N, Karkar A, Palesi M, Mak T, Yakovlev A. Power density aware application mapping in mesh-based network-on-chip architecture: An evolutionary multi-objective approach. Integration 2021, 81, 342-353.
  • Lei J, Rahman T, Shafik R, Wheeldon A, Yakovlev A, Granmo O-C, Kawsar F, Mathur A. Low-Power Audio Keyword Spotting Using Tsetlin Machines. Journal of Low Power Electronics and Applications 2021, 11(2), 18.
  • Maheshwari S, Gudur VY, Shafik R, Wilson I, Yakovlev A, Acharyya A. CORAL: Verification-aware OpenCL based Read Mapper for Heterogeneous Systems. IEEE/ACM Transactions On Computational Biology And Bioinformatics 2021, 18(4), 1426-1438.
  • Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Asynchrony and Persistence in Reaction Systems. Theoretical Computer Science 2021, 881, 97-110.
  • Al-hayanni MAN, Rafiev A, Xia F, Shafik R, Romanovsky A, Yakovlev A. PARMA: Parallelization-Aware Run-time Management for Energy-Efficient Many-Core Systems. IEEE Transactions on Computers 2020, 69(10), 1507-1518.
  • Mileiko S, Bunnam T, Xia F, Shafik R, Yakovlev A, Das S. Neural network design for energy-autonomous artificial intelligence applications using temporal encoding. Philosophical Transactions of the Royal Society A 2020, 378(2164), 20190166.
  • Aalsaud A, Xia F, Rafiev A, Shafik R, Romanovsky A, Yakovlev A. Low-complexity run-time management of concurrent workloads for energy-efficient multi-core systems. Journal of Low Power Electronics and Applications 2020, 10(3), 25.
  • Wheeldon A, Shafik R, Rahman T, Lei J, Yakovlev A, Granmo OC. Learning Automata based Energy-efficient AI Hardware Design for IoT Applications. Philosophical Transactions of the Royal Society A 2020, 378(2182), 20190593.
  • Shafik R, Yakovlev A. Harmonizing energy-autonomous computing and intelligence: an editorial introduction. Philosophical Transactions of the Royal Society A 2020, 378(2164), 20190594.
  • Yakovlev A, Pacheco-Peña V. Enabling High-Speed Computing with Electromagnetic Pulse Switching. Advanced Materials Technologies 2020, 5(12), e2000796.
  • Al-Daloo M, Abufalgha MA, Yakovlev A, Halak B. Bootstrapped Driver and the Single-Event-Upset Effect. IEEE Transactions on Circuits and Systems I: Regular Papers 2020, 67(10), 3309-3319.
  • Al-Hayanni MAN, Xia F, Rafiev R, Romanovsky A, Shafik R, Yakovlev A. Amdahl’s law in the context of heterogeneous many-core systems – a survey. IET Computers & Digital Techniques 2020, 14(4), 133-148.
  • Abdulfattah AN, Tsimenidis CC, Yakovlev A. Ultra-low power m-sequence code generator for body sensor node applications. Integration 2019, 65, 231-240.
  • Bunnam T, Soltan A, Sokolov D, Maevsky O, Yakovlev A. Toward Designing Thermally-Aware Memristance Decoder. IEEE Transactions on Circuits and Systems I 2019, 66(11), 4337-4347.
  • Wheeldon A, Morris J, Sokolov D, Yakovlev A. Self-timed, Minimum Latency Circuits for the Internet of Things. Integration 2019, 69, 138-146.
  • Abdulfattah AN, Tsimenidis CC, Al-Jewad BZ, Yakovlev A. Performance Analysis of MICS-based RF Wireless Power Transfer System for Implantable Medical Devices. IEEE Access 2019, 7, 11775-11784.
  • Sokolov D, Khomenko V, Mokhov A, Dubikhin V, Lloyd D, Yakovlev A. Automating the Design of Asynchronous Logic Control for AMS Electronics. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2019, 39(5), 952-965.
  • Al-Daloo M, Soltan A, Yakovlev A. Advance Interconnect Circuit Modelling Design Using Fractional-Order Elements. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2019, 39(10), 2722-2734.
  • Rafiev A, Al-Hayanni MAN, Xia F, Shafik R, Romanovsky A, Yakovlev A. Speedup and Power Scaling Models for Heterogeneous Many-Core Systems. IEEE Transactions on Multi-Scale Computing Systems 2018, 4(3), 436-449.
  • Qiqieh I, Shafik R, Tarawneh G, Sokolov D, Das S, Yakovlev A. Significance-Driven Logic Compression for Energy-Efficient Multiplier Design. IEEE Journal on Emerging and Selected Topics in Circuits and Systems 2018, 8(3), 417-430.
  • Shafik R, Yakovlev A, Das S. Real-Power Computing. IEEE Transactions on Computers 2018, 67(10), 1445-1461.
  • Donaghy-Spargo C, Yakovlev A. Oliver Heaviside's electromagnetic theory. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2018, 376(2134), 20180229.
  • Karkar A, Mak T, Dahir N, Al-Dujaily R, Tong KF, Yakovlev A. Network-on-Chip Multicast Architectures Using Hybrid Wire and Surface-Wave Interconnects. IEEE Transactions on Emerging Topics in Computing 2018, 6(3), 357-369.
  • Beaumont J, Mokhov A, Sokolov D, Yakovlev A. High-level asynchronous concepts at the interface between analogue and digital worlds. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2018, 37(1), 61-74.
  • Yakovlev A. Energy current and computing. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2018, 376(2134), 20170449.
  • Xia F, Rafiev A, Aalsaud A, Al-Hayanni M, Davis J, Levine J, Mokhov A, Romanovsky A, Shafik R, Yakovlev A, Yang S. Voltage, Throughput, Power, Reliability and Multicore Scaling. IEEE Computer Magazine 2017, 50(8), 34-45.
  • Luo J, Nikolic K, Evans B, Dong N, Sun X, Andras P, Yakovlev A, Degenaar P. Optogenetics in Silicon: A Neural Processor for Predicting Optically Active Neural Networks. IEEE Transactions on Biomedical Circuits and Systems 2017, 11(1), 15-27.
  • Agyeman MO, Zong W, Yakovlev A, Tong K-F, Mak T. Extending the performance of hybrid NoCs beyond the limitations of network heterogeneity. Journal of Low Power Electronics and Applications 2017, 7(2), 8.
  • Burns F, Sokolov D, Yakovlev A. A Structured Visual Approach to GALS Modelling and Verification of Communication Circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2017, 36(6), 938-951.
  • Agyeman MO, Vien QT, Ahmadinia A, Yakovlev A, Tong KF, Mak T. A Resilient 2-D Waveguide Communication Fabric for Hybrid Wired-Wireless NoC Design. IEEE Transactions on Parallel and Distributed Systems 2017, 28(2), 359-373.
  • Dubikhin V, Myers CJ, Yakovlev A, Sokolov D. Design of Mixed-Signal Systems With Asynchronous Control. IEEE Design & Test 2016, 33(5), 44-55.
  • Karkar A, Mak T, Tong KF, Yakovlev A. A Survey of Emerging Interconnects for On-Chip Efficient Multicast and Broadcast in Many-Cores. IEEE Circuits and Systems Magazine 2016, 16(1), 58-72.
  • Liu Q, Mak T, Zhang T, Niu X, Luk W, Yakovlev A. Power-Adaptive Computing System Design for Solar-Energy-Powered Embedded Systems. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2015, 23(8), 1402-1414.
  • Fernandes J, Koutny M, Mikulski L, Pietkiewicz-Koutny M, Sokolov D, Yakovlev A. Persistent and Non-violent Steps and the Design of GALS Systems. Fundamenta Informaticae 2015, 137(1), 143-170.
  • Yakovlev A, Kushnerov A, Mokhov A, Ramezani R. On hyperbolic laws of capacitor discharge through self-timed digital loads. International Journal of Circuit Theory and Applications 2015, 43(10), 1243-1262.
  • Guido JS, Yakovlev A. Design of Self-Timed Reconfigurable Controllers for Parallel Synchronization via Wagging. IEEE Transactions on Very Large Scale Integrated (VLSI) Systems 2015, 23(2), 292-305.
  • Dahir N, Al-Dujaily R, Mak T, Yakovlev A. Thermal Optimization in Network-on-Chip-Based 3D Chip Multiprocessors Using Dynamic Programming Networks. ACM Transactions on Embedded Computing Systems (TECS) 2014, 13(4s), 139.
  • Mokhov A, Iliasov A, Sokolov D, Rykunov M, Yakovlev A, Romanovsky A. Synthesis of Processor Instruction Sets from High-Level ISA Specifications. IEEE Transactions on Computers 2014, 63(6), 1552-1566.
  • Dahir NS, Mak T, Xia F, Yakovlev A. Modelling and Tools for Power Supply Variations Analysis in Networks-on-Chip. IEEE Transactions on Computers 2014, 63(3), 679-690.
  • Tarawneh G, Yakovlev A, Mak T. Eliminating Synchronization Latency Using Sequenced Latching. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2014, 22(2), 408-419.
  • Mokhov A, Rykunov M, Sokolov D, Yakovlev A. Design of Processors with Reconfigurable Microarchitecture. Journal of Low Power Electronics and Applications 2014, 4(1), 26-43.
  • Ramezani R, Yakovlev A, Xia F, Murphy J, Shang D. Voltage Sensing Using an Asynchronous Charge-to-Digital Converter for Energy-Autonomous Environments. IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS) 2013, 3(1), 35-44.
  • Docherty J, Bystrov A, Yakovlev A. Simulation testing of a real-time heuristic scheduler with automotive benchmarks. International Journal of Simulation: Systems, Science and Technology 2013, 14(3), 1-11.
  • Karkar AJ, Turner JE, Tong K, Al-Dujaily R, Mak T, Yakovlev A, Xia F. Hybrid wire-surface wave interconnects for next-generation networks-on-chip. IET Computers & Digital Techniques 2013, 7(6), 294-303.
  • Dahir N, Mak T, Al-Dujaily R, Yakovlev A. Highly adaptive and deadlock-free routing for three-dimensional networks-on-chip. IET Computers & Digital Techniques 2013, 7(6), 255-263.
  • Al-Dujaily R, Dahir N, Mak T, Xia F, Yakovlev A. Dynamic programming-based runtime thermal management (DPRTM): An online thermal control strategy for 3D-NoC systems. ACM Transactions on Design Automation of Electronic Systems (TODAES) 2013, 19(1), 2.1-2.27.
  • Al-Dujaily R, Mak T, Lam K-P, Xia F, Yakovlev A, Poon C-S. Dynamic On-Chip Thermal Optimization for Three-Dimensional Networks-On-Chip. The Computer Journal 2013, 56(6), 756-770.
  • Golubcovs S, Shang DL, Xia F, Mokhov A, Yakovlev A. Concurrent Multiresource Arbiter: Design and Applications. IEEE Transactions on Computers 2013, 62(1), 31-44.
  • Jameson A, Chester EG, Yakovlev A. Address event representation neuromorphics to epiretinal colour vision. Electronics Letters 2013, 49(3), 173-174.
  • Xia F, Mokhov A, Zhou Y, Chen Y, Mitrani I, Shang D, Sokolov D, Yakovlev A. Towards power-elastic systems through concurrency management. IET Computers and Digital Techniques 2012, 6(1), 33-42.
  • Alahmadi ANM, Russell G, Yakovlev A. Time difference amplifier design with improved performance parameters. Electronics Letters 2012, 48(10), 562-563.
  • Yu B, Mak T, Li X, Xia F, Yakovlev A, Sun Y, Poon C. Real-Time FPGA-Based Multichannel Spike Sorting Using Hebbian Eigenfilters. IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS) 2012, 1(4), 502-515.
  • Rafiev A, Mokhov A, Burns FP, Murphy JP, Koelmans A, Yakovlev A. Mixed Radix Reed-Muller Expansions. IEEE Transactions on Computers 2012, 61(8), 1189-1202.
  • Hasan S, Boussakta S, Yakovlev A. FPGA-Based Architecture for a Generalized Parallel 2-D MRI Filtering Algorithm. American Journal of Engineering and Applied Sciences 2012, 4(4), 566-575.
  • Al-Dujaily R, Mak T, Xia F, Yakovlev A, Palesi M. Embedded Transitive Closure Networks for Runtime Deadlock Detection in Networks-on-Chip. IEEE Transactions on Parallel and Distributed Systems 2012, 23(7), 1205-1215.
  • Burns F, Bystrov A, Koelmans A, Yakovlev A. Design and security evaluation of balanced 1-of-n circuits. IET Computers and Digital Techniques 2012, 6(2), 125-135.
  • Zhou J, Ashouei M, Kinniment D, Huisken J, Russell G, Yakovlev A. Sub-threshold Synchronizer. Microelectronics Journal 2011, 42(6), 840-850.
  • Halak B, Yakovlev A. Statistical analysis of crosstalk-induced errors for on-chip interconnects. IET Computers and Digital Techniques 2011, 5(2), 104-112.
  • Baz A, Shang D, Xia F, Yakovlev A. Self-timed SRAM for Energy Harvesting Systems. Journal of Low Power Electronics 2011, 7(2), 274-284.
  • Burns F, Bystrov A, Koelmans A, Yakovlev A. Security Evaluation of Balanced 1-of-n Circuits. IEEE Transactions on VLSI Systems 2011, 19(11), 2135-2139.
  • Shedabale S, Russell G, Yakovlev A. M-PRES: a statistical tool for modelling the impact of manufacturing process variations on circuit-level performance parameters. IET Circuits, Devices and Systems Series 2011, 5(5), 403-410.
  • Al-Azawi S, Boussakta S, Yakovlev A. Image Compression Algorithms Using Intensity Based Adaptive Quantization Coding. American Journal of Engineering and Applied Sciences 2011, 4(4), 504-512.
  • Mokhov A, Khomenko V, Yakovlev A. Flat Arbiters. Fundamenta Informaticae 2011, 108(1-2), 63-90.
  • Mokhov A, Alekseyev A, Yakovlev A. Encoding of processor instruction sets with explicit concurrency control. IET Computers and Digital Techniques 2011, 5(6), 427-439.
  • Mak T, Al-Dujaily R, Zhou K, Lam K, Poon C. Dynamic Programming Networks for Large-Scale 3D Chip Integration. IEEE Circuits and Systems Magazine 2011, 11(3), 51-62.
  • Zhang X, Shang D, Xia F, Yakovlev A. A Novel Power Delivery Method for Asynchronous Loads in Energy Harvesting Systems. ACM Journal on Emerging Technologies in Computing Systems (JETC) 2011, 7(4), 16.1-16.22.
  • Halak B, Yakovlev A. Throughput optimization for area-constrained links with crosstalk avoidance methods. IEEE Transactions on VLSI Systems 2010, 18(6), 1016-1019.
  • Mokhov A, Yakovlev A. Conditional Partial Order Graphs: Model, Synthesis, and Application. IEEE Transactions on Computers 2010, 59(11), 1480-1493.
  • Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Synthesis of Nets with Step Firing Policies. Fundamenta Informaticae 2009, 94(3-4), 275-303.
  • Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Synthesis of nets with step firing policies. Fundamenta Informaticae 2009, 94(3-4), 275-303.
  • Chen Y, Xia F, Shang D, Yakovlev A. Fine-grain stochastic modelling of dynamic power management policies and analysis of their power-latency tradeoffs. IET Software 2009, 3(6), 458-469.
  • Burns F, Murphy J, Koelmans A, Yakovlev A. Efficient advanced encryption standard implementation using lookup and normal basis. IET Computers and Digital Techniques 2009, 3(3), 270-280.
  • Dasgupta S, Yakovlev A. Desynchronisation Technique Using Petri Nets. Electronic Notes in Theoretical Computer Science 2009, 245, 51-67.
  • Shedabale S, Ramakrishnan H, Russell G, Yakovlev A, Chattopadhyay S. Statistical modelling of the variation in advanced process technologies using a multi-level partitioned response surface approach. IET Circuits, Devices and Systems 2008, 2(5), 451-464.
  • Khomenko V, Madalinski A, Yakovlev A. Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. Fundamenta Informaticae 2008, 86(3), 299-323.
  • D'Alessandro CS, Shang D, Bystrov A, Yakovlev AV, Maevsky O. Phase-encoding for on-chip signalling. IEEE Transactions on Circuits and Systems I: Regular Papers 2008, 55(2), 535-545.
  • Zhou J, Kinniment DJ, Dike C, Russell G, Yakovlev A. On-chip measurement of deep metastability in synchronizers. IEEE Journal of Solid-State Circuits 2008, 43(2), 550-557.
  • Halak B, Yakovlev AV. Fault-tolerant techniques to minimize the impact of crosstalk on phase encoded communication channels. IEEE Transactions on Computers 2008, 57(4), 505-519.
  • Cheung PYK, Yakovlev A. Comments on the BCS Lecture ‘The Future of Computer Technology and its Implications for the Computer Industry’ by Professor Steve Furber. The Computer Journal 2008, 51(6), 741-742.
  • Sokolov D, Poliakov I, Yakovlev A. Analysis of Static Data Flow Structures. Fundamenta Informaticae 2008, 88(4), 581-610.
  • Shang D, Yakovlev A, Koelmans A, Sokolov D, Bystrov A. Registers for Phase Difference Based Logic. IEEE Transactions on Very Large Scale Integration Systems 2007, 15(6), 720-724.
  • Kinniment DJ, Dike CE, Heron K, Russell G, Yakovlev AV. Measuring deep metastability and its effect on synchronizer performance. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2007, 15(9), 1028-1039.
  • D'Alessandro C, Bystrov A, Yakovlev A. Improved phase-encoding signalling. Electronics Letters 2007, 43(4), 216-217.
  • Burns F, Murphy J, Shang D, Koelmans A, Yakorlev A. Dynamic global security-aware synthesis using SystemC. IET Computers and Digital Techniques 2007, 1(4), 405-413.
  • Sokolov D, Bystrov A, Yakovlev A. Direct mapping of low-latency asynchronous controllers from STGs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2007, 26(6), 993-1009.
  • Dasgupta S, Yakovlev A. Comparative analysis of GALS clocking schemes. IET Computers and Digital Techniques 2007, 1(2), 59-69.
  • Dasgupta S, Potop-Butucaru D, Caillaud B, Yakovlev A. Moving from weakly endochronous systems to delay-insensitive circuits. Electronic Notes in Theoretical Computer Science 2006, 146(2), 81-103.
  • Khomenko V, Koutny M, Yakovlev A. Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. Fundamenta Informaticae 2006, 70(1-2), 49-73.
  • Shang D, Burns F, Bystrov A, Koelmans A, Sokolov D, Yakovlev A. High-security asynchronous circuit implementation of AES. IEE Proceedings - Computers and Digital Techniques 2006, 153(2), 71-77.
  • Sokolov D, Murphy J, Bystrov A, Yakovlev A. Design and analysis of dual-rail circuits for security applications. IEEE Transactions on Computers 2005, 54(4), 449-460.
  • Sokolov D, Yakovlev A. Clockless circuits and system synthesis. IEE Proceedings: Computers and Digital Techniques 2005, 152(3), 298-316.
  • Burns F, Shang D, Koelmans A, Yakovlev A. Scheduling and allocation using closeness tables. IEE Proceedings - Computers and Digital Techniques 2004, 151(5), 332-340.
  • Khomenko V, Koutny M, Yakovlev A. Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundamenta Informaticae 2004, 62(2), 221-241.
  • Yakovlev A, Furber S, Krenz R, Bystrov A. Design and analysis of a self-timed duplex communication system. IEEE Transactions on Computers 2004, 53(7), 798-814.
  • Shang D, Burns F, Koelmans A, Yakovlev A, Xia F. Asynchronous system synthesis based on direct mapping using VHDL and Petri nets. IEE Proceedings - Computers and Digital Techniques 2004, 151(3), 209-220.
  • Madalinski A, Bystrov A, Khomenko V, Yakovlev A. Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. IET Computers & Digital Techniques 2003, 150(5), 285-293.
  • Kinniment DJ, Maevsky OV, Bystrov A, Russell G, Yakovlev A. On-chip structures for timing measurement and test. Microprocessors and Microsystems 2003, 27(9), 473-483.
  • Abas MA, Bystrov A, Kinniment DJ, Maevsky OV, Russell G, Yakovlev AV. Time difference amplifier. Electronics Letters 2002, 38(23), 1437-1438.
  • Kinniment DJ, Bystrov A, Yakovlev A. Synchronization circuit performance. IEEE Journal of Solid-State Circuits 2002, 37(2), 202-209.
  • Cortadella J, Kishinevsky M, Burns SM, Kondratyev A, Lavagno L, Stevens KS, Taubin A, Yakovlev A. Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2002, 21(2), 109-130.
  • Saito H, Kondratyev A, Cortadella J, Lavagno L, Yakovlev A, Nanya T. Design of asynchronous controllers with delay insensitive interface. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 2002, E85-A(12), 2577-2585.
  • Xia F, Yakovlev AV, Clark IG, Shang D. Data communication in systems with heterogeneous timing. IEEE Micro 2002, 22(6), 58-69.
  • Burns F, Koelmans A, Yakovlev A. WCET Analysis of Superscalar Processors Using simulation with Coloured Petri Nets. The International Journal of Time-Critical Computing Systems 2001, 18(2/3), 267-280.
  • Burns A, Wellings AJ, Burns FP et al. Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets. International Journal of Computer Systems Science and Engineering.Special Issue: International Workshop on Software Engineering and Petri Nets (SEPN) 2001, 16(3), 173-182.
  • Burns A, Wellings AJ, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada. ACM SIGAda Ada Letters 2001, 21(1), 48-55.
  • Burns F, Koelmans A, Yakovlev A. WCET analysis of superscalar processors using simulation with Coloured Petri Nets. Real-Time Systems 2000, 18(2-3), 275-288.
  • Kinniment D, Yakovlev A, Gao B. Synchronous and asynchronous A-D conversion. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2000, 8(2), 217-220.
  • Starodoubtsev N, Bystrov A, Yakovlev A. Semi-modular latch chains for asynchronous circuit design. Lecture Notes in Computer Science: Integrated Circuit Design 2000, 1918, 168-177.
  • Bystrov A, Yakovlev A. Ordered arbiters. Electronics Letters 1999, 35(11), 877-879.
  • Kinniment DJ, Yakovlev AV. Low power, low noise micropipelined flash A-D converter. IEE Proceedings: Circuits, Devices and Systems 1999, 146(5), 263-267.
  • Kondratyev A, Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A. Logic decomposition of speed-independent circuits. Proceedings of the IEEE 1999, 87(2), 347-362.
  • Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Pastor E, Yakovlev A. Decomposition and Technology Mapping of Speed-independent Circuits Using Boolean Relations. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 1999, 18(9), 1221-1236.
  • Lloyd L, Heron K, Koelmans AM, Yakovlev AV. Asynchronous microprocessors: From high level model to FPGA implementation. Journal of Systems Architecture 1999, 45(12-13), 975-1000.
  • Clark IG, Xia F, Yakovlev A, Davies AC. Petri net models of latch metastability. Electronics Letters 1998, 34(7), 635-636.
  • Kondratyev A, Kishinevsky M, Yakovlev A. Hazard-free implementation of speed-independent circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 1998, 17(9), 749-771.
  • Yakovlev A. Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. Formal Methods in System Design 1998, 12(1), 39-71.
  • Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A. Deriving Petri Nets from finite transition systems. IEEE Transactions on Computers 1998, 47(8), 859-882.
  • Burns FP, Koelmans AM, Yakovlev A. Analysing Superscalar Processor Architectures with Coloured Petri Nets. International Journal on Software Tools for Technology Transfer 1998, 2(2), 182-191.
  • Yakovlev A, Cortadella J, Kishinevsky M, Lavagno L. Deriving Petri Nets from Finite Transition Systems. IEEE Transactions on Computers, 1.96388888888889, 859-882 1998.
  • Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems 1997, E80-D(3), 315-325.
  • Semenov A, Koelmans AM, Lloyd L, Yakovlev A. Designing an asynchronous processor using petri nets. IEEE Micro 1997, 17(2), 54-63.
  • Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. A Region-Based Theory for State Assignment in Speed-independent Circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 1997, 16(8), 793-812.
  • Yakovlev A, Semenov A, Koelmans AM, Kinniment DJ. Petri nets and asynchronous circuit design. IEE Colloquium (Digest) 1996, (40), 8/1-8/6.
  • Yakovlev A, Kishinevsky M, Kondratyev A, Lavagno L, Pietkiewicz-Koutny M. On the models for asynchronous circuit behaviour with OR causality. Formal Methods in System Design 1996, 9(3), 189-233.
  • Yakovlev AV, Koelmans AM, Semenov A, Kinniment DJ. Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integration: the VLSI journal 1996, 21(3), 143-170.
  • Yakovlev A, Lavagno L, Sangiovanni-Vincentelli A. A unified signal transition graph model for asynchronous control circuit synthesis. Formal Methods in System Design 1996, 9(3), 139-188.
  • Yakovlev A, Koelmans AM, Lavagno L. High Level Modelling and Design of Asynchronous Interface Logic. IEEE Design and Test of Computers (Special Issue on Asynchronous Logic Design) 1995, 12(1), 32-40.
  • Yakovlev A, Petrov AI, Lavagno L. A Low Latency Asynchronous Arbitration Circuit. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 1994, 2(3), 372-377.
  • Yakovlev A. Structural Technique for Fault-masking in Asynchronous Interfaces. IEE Proceedings E - Computers and Digital Techniques 1993, 140(2), 81-91.
  • Yakovlev A. Designing Self-Timed Systems. VLSI Systems Design 1985, VI(9), 70-90.

• Authored Books

  • Marakhovsky VB, Rozenblyum LYa, Yakovlev AV. Моделирование параллельных процессов. Сети Петри. [Modelling Concurrent Processes. Petri nets] . Saint Petersburg: СПб: Профессиональная литература, АйТи-Подготовка (Professional Literature, www.profliteratura.ru), 2014.
  • Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. Logic Synthesis for Asynchronous Controllers and Interfaces. Berlin: Springer, 2002.

• Book Chapters

  • Burns A, Jones CB. Specifying Fault-Tolerant Mixed-Criticality Scheduling. In: The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cham: Springer, 2024, pp.22-42.
  • Freitas L, Buhagiar AJ, Scott III WE. SmartAudits: Applying Timebands to a Medical Device. In: Ana Cavalcanti, James Baxter, ed. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. Cham: Springer, 2024, pp.131-152.
  • Jones CB. Clarifying Assumptions. In: Simon Foster, Augusto Sampaio, ed. The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cham: Springer, 2024, pp.43-70.
  • Rafiev A, Morris J, Xia F, Yakovlev A, Naylor M, Moore S, Thomas D, Bragg G, Vousden M, Brown A. Practical Distributed Implementation of Very Large Scale Petri Net Simulations. In: Transactions on Petri Nets and Other Models of Concurrency XVI. Berlin: Springer, 2022, pp.112-139.
  • Pacheco-Peña V, Yakovlev A. Computing with square electromagnetic pulses. In: Adamatzky A, ed. Handbook of Unconventional Computing: Volume 2: Implementations. Singapore: World Scientific, 2021, pp.465-492.
  • Mokhov A, de Gennaro A, Tarawneh G, Wray J, Lukyanov G, Mileiko S, Scott J, Yakovlev A, Brown A. Language and Hardware Acceleration Backend for Graph Processing. In: Daniel Große, Sara Vinco, Hiren Patel, ed. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017. Cham: Springer, 2019, pp.71-88.
  • Jones C, Wang J, Zhan N. Preface. In: Jones, Cliff; Wang, Ji; Zhan, Naijun, ed. Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Springer Verlag, 2018.
  • Jones CB. Concurrency: Handling interference formally. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cambridge, UK: Springer Verlag, 2018, pp.26-43.
  • Rafiev A, Mokhov A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Resource-Driven Modelling for Managing Model Fidelity. In: Molnos A; Fabre C, ed. Model-Implementation Fidelity in Cyber Physical System Design. Cham, Switzerland: Springer International Publishing AG, 2017, pp.25-55.
  • Liu B, Fernandez F, Gielen G, Karkar A, Yakovlev A, Grout V. SMAS: A Generalized and Efficient Framework for Computationally Expensive Electronic Design Optimization Problems. In: Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio Frequency (RF) Circuit Design. Springer, 2015, pp.251-275.
  • Yakovlev A. Chapter 13: Enabling Survival Instincts in Electronic Systems: An Energy Perspective. In: Wayne Luk and George A. Constantinides, ed. Transforming Reconfigurable Systems: A Festschrift Celebrating the 60th Birthday of Professor Peter Cheung. London, UK: Imperial College Press, 2015, pp.237-263.
  • Al-Dujaily R, Mak T, Xia F, Yakovlev A, Palesi M. Run-Time Deadlock Detection. In: M. Palesi and M. Daneshtalab, ed. Routing Algorithms in Network-on-Chip. New York, NY, USA: Springer Science+Business Media, 2014, pp.41-68.
  • Golubcovs S, Yakovlev A. Asynchronous Communications for NoCs. In: C. Silvano, M. Lajolo and G. Palermo, ed. Low Power Networks-on-Chip. Berlin: Springer, 2010, pp.71-110.
  • Sokolov D, Yakovlev A. Clock-less circuits and system synthesis. In: Bashir M.Al-Hashimi, ed. System on Chip: next generation electronics. London: Institution of Electrical Engineers, 2006, pp.541-586.
  • Carmona J, Cortadella J, Khomenko V, Yakovlev A. Synthesis of asynchronous hardware from Petri nets. In: Desel, J., Reisig, W., Rozenberg, G, ed. Lectures on Concurrency and Petri Nets: Advances in Petri Nets. Berlin: Springer, 2004, pp.183-205.
  • Sokolov D, Murphy J, Bystrov A, Yakovlev A. Improving the security of dual-rail circuits. In: Cryptographic Hardware and Embedded Systems - CHES 2004. Berlin: Springer, 2004, pp.282-297.
  • Yakovlev A, Xia F. Towards synthesis of asynchronous communication mechanisms. In: B. Caillaud, P. Darondeau, L. Lavagno and X. Xie, ed. Synthesis and Control of Discrete Event Systems. London: Kluwer Academic Publishers, 2002, pp.57-75.
  • Yakovlev AV, Koelmans AM. Petri Nets and Digital Hardware Design. In: Reisig, W., Rozenberg, G, ed. Lectures on Petri Nets II: Applications, Advances in Petri Nets. Berlin; New York: Springer-Verlag, 1998, pp.154-236.

• Conference Proceedings (inc. Abstracts)

  • Johnson-Richards C, Macdonald RG, Yakovlev A, Pacheco-Pena V. Photonic Routing in a Multiple-Input Valley Photonic Crystal Junction. In: International Conference on Metamaterials, Photonic Crystals and Plasmonics META 2025. 2025, Malaga, Spain: META Conference.
  • Macdonald RG, Yakovlev A, Pacheco-Pena V. Linear logic operations in a quasi-digital system. In: International Conference on Metamaterials, Photonic Crystals and Plasmonics META 2025. 2025, Malaga, Spain: META Conference.
  • Duan S, Sartori MLL, Shafik R, Yakovlev A, Ozer E. Efficient FPGA Implementation of Time-Domain Popcount for Low-Complexity Machine Learning. In: 2025 29th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). 2025, Portland, OR, USA: IEEE.
  • Khomenko V, Koutny M, Yakovlev A. Distributed Places and Safe Net Reduction. In: 46th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2025). 2025, Paris: Springer.
  • Squires-Parkin H, Chan A, Shafik R, Wheeldon A, Yakovlev A. Asynchronous Design of a Bitwise Elimination Argmax via High-Level Modeling in GraphRack. In: 29th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). 2025, Portland, OR, USA: IEEE.
  • Mileiko S, Ritom F, Shafik R, Yakovlev A, Balsamo D. Run-time Energy and Time Management for Intermittent LoRaWAN Communications. In: IEEE Sensors Applications Symposium (SAS 2024). 2024, Naples, Italy: IEEE.
  • Chan A, Wheeldon A, Shafik R, Yakovlev A. Design of Event-Driven Tsetlin Machines Using Safe Petri Nets. In: International Conference on Applications and Theory of Petri Nets and Concurrency. 2024, Geneva, Switzerland: Springer, Cham.
  • Chan A, Sokolov D, Khomenko V, Yakovlev A. Bridging the Design Methodologies of Burst-Mode Specifications and Signal Transition Graphs. In: 29th Asia and South Pacific Design Automation Conference (ASP-DAC). 2024, Incheon, Republic of Korea: IEEE.
  • Krishnamurthy K, Ghazal O, Lan T, Xia F, Yakovlev A, Shafik R. Variable Duty Cycle Pulse Generation for Low Complexity Randomization in Machine Learning. In: 21st IEEE Interregional NEWCAS Conference (NEWCAS 2023). 2023, Edinburgh, UK: IEEE.
  • Ventisei A, Macdonald RG, Knightley T, Riley JA, Yakovlev A, Pacheco-Peña V. Utilizing Petri-Nets to represent electromagnetic waveguide junction switching processes. In: XXXV URSI General Assembly and Scientific Symposium – URSI GASS 2023. 2023, Sapporo, Japan: URSI GASS.
  • Knightley T, Yakovlev A, Pacheco-Peña V. Temporal differentiation by neural network designed multilayer metamaterial. In: XXXV URSI General Assembly and Scientific Symposium – URSI GASS 2023. 2023, Sapporo, Japan: URSI GASS.
  • Ventisei A, Yakovlev A, Pacheco-Peña V. Modelling of interconnected electromagnetic waveguide junctions using Petri-nets. In: The 17th International Congress on Artificial Materials for Novel Wave Phenomena – Metamaterials 2023. 2023, Chania, Greece: Institute of Electrical and Electronics Engineers.
  • Ghazal O, Singh S, Rahman T, Yu S, Zheng Y, Balsamo D, Patkar S, Merchant F, Xia F, Yakovlev A, Shafik R. IMBUE: In-Memory Boolean-to-CUrrent Inference ArchitecturE for Tsetlin Machines. In: IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED 2023). 2023, Vienna, Austria: IEEE.
  • Singh S, Ghazal O, Jha C, Rana V, Drechsler R, Shafik R, Yakovlev A, Patkar S, Merchant F. Finite State Automata Design using 1T1R ReRAM Crossbar. In: 21st IEEE Interregional NEWCAS Conference (NEWCAS 2023). 2023, Edinburgh, UK: IEEE.
  • Macdonald RG, Yakovlev A, Pacheco-Peña V. Exploiting Waveguide Networks to Calculate Solutions of Partial Differential Equations. In: The 17th International Congress on Artificial Materials for Novel Wave Phenomena – Metamaterials 2023. 2023, Chania, Greece: Institute of Electrical and Electronics Engineers.
  • Rogers William, Johnson-Richards C, Yakovlev A, Pacheco-Peña V. Enabling perfect splitting using four-port interconnected rectangular waveguides. In: XXXV URSI General Assembly and Scientific Symposium – URSI GASS 2023. 2023, Sapporo, Japan: URSI GASS.
  • Ghazal O, Mao G, Lan T, Ojukwu J, Xia F, Yakovlev A, Shafik R. Asynchronous Control for Tsetlin Machine with Binary Memristor-Transistor Array. In: IEEE International Symposium on Circuits and Systems (ISCAS 2023). 2023, Monterey, CA, USA: IEEE.
  • Macdonald RG, Yakovlev A, Pacheco-Peña V. Arbitrary order analogue differentiation using transmission line techniques. In: XXXV URSI General Assembly and Scientific Symposium – URSI GASS 2023. 2023, URSI GASS.
  • Zheng Y, Bystrov A, Yakovlev A. A Rapid Reset 8-Transistor Physically Unclonable Function Utilising Power Gating. In: 2023 Design, Automation & Test in Europe Conference (DATE 2023). 2023, Antwerp, Belgium: IEEE.
  • Rafiev A, Morris J, Xia F, Shafik R, Yakovlev A, Granmo O-C, Brown AD. Visualization of Machine Learning Dynamics in Tsetlin Machines. In: International Symposium on the Tsetlin Machine (ISTM). 2022, Grimstad, Norway: IEEE.
  • Knightley T, Yakovlev A, Pacheco-Peña V. Temporal differentiation using multi-layered metamaterials designed via Neural Networks. In: UK Semiconductors 2022. 2022, Sheffield.
  • Khomenko V, Koutny M, Yakovlev A. Slimming Down Petri Boxes: Compact Petri Net Models of Control Flows. In: 33rd International Conference on Concurrency Theory (CONCUR). 2022, Warsaw, Poland: Dagstuhl.
  • Macdonald RG, Yakovlev A, Pacheco-Peña V. On the calculation of temporal derivatives using interconnected parallel plate waveguides. In: UK Semiconductors 2022. 2022, Sheffield.
  • Shmarov I, Docampo P, Billam T, Shafik R, Yakovlev A. Fuzlearn: A Fuzzy Clusterization based Machine Learning using Learning Automata. In: International Symposium on the Tsetlin Machine (ISTM 2022). 2022, Grimstad, Norway: IEEE.
  • Chan A, Sokolov D, Khomenko V, Yakovlev A. Formal Modelling of Burst-Mode Specifications in a Distributed Environment. In: Forum on Specification & Design Languages (FDL). 2022, Linz, Austria: IEEE.
  • MacDonald RG, Yakovlev A, Pacheco-Peña V. Exploiting waveguide junctions for the switching of transverse electromagnetic pulses of non-constant amplitude. In: 3rd URSI Atlantic and Asia Pacific Radio Science Meeting (AT-AP-RASC 2022). 2022, Gran Canaria, Spain: IEEE.
  • MacDonald RG, Yakovlev A, Pacheco-Peña V. Exploiting transmission line theory to calculate temporal derivatives. In: 3rd URSI Atlantic and Asia Pacific Radio Science Meeting (AT-AP-RASC 2022). 2022, Gran Canaria, Spain: URSI.
  • Khomenko V, Koutny M, Yakovlev A. Avoiding Exponential Explosion in Petri Net Models of Control Flows. In: 43rd International Conference on the Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022). 2022, Bergen, Norway: Springer.
  • Mao G, Yakovlev A, Xia F, Lan T, Yu S, Shafik R. Automated Synthesis of Asynchronous Tsetlin Machines on FPGA. In: 29th IEEE International Conference on Electronics Circuits and Systems (ICECS 2022). 2022, Glasgow, UK: IEEE.
  • Mao G, Yakovlev A, Xia F, Shafik R, Yu S. Automated Mapping of Asynchronous Circuits on FPGA Under Timing Constraints. In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). 2022, Aliathon Resort, Pafos, Cyprus: IEEE.
  • Lan T, Mao G, Xia F, Yu S, Shafik R, Yakovlev A. An Asynchronous Tsetlin Automaton Architecture with Integrated Non-volatile Memory. In: International Symposium on the Tsetlin Machine (ISTM 2022). 2022, Grimstad, Norway: IEEE.
  • Morris J, Rafiev A, Xia F, Shafik R, Yakovlev A, Brown A. An Alternate Feedback Mechanism for Tsetlin Machines on Parallel Architectures. In: International Symposium on the Tsetlin Machine. 2022, Grimstad, Norway.
  • Yakovlev A, Macdonald RG, Ventisei A, Knightley T, Aljuaid W, Rogers W, Riley JA, Pacheco-Peña V. (Invited) From TEM pulse switching to computing with light”, 3rd URSI Atlantic and Asia Pacific Radio Science Meeting. In: 3rd URSI Atlantic and Asia Pacific Radio Science Meeting (AT-AP-RASC). 2022, Gran Canaria, Spain: IEEE.
  • Kushnerov A, Medina M, Yakovlev A. Towards Hazard-Free Multiplexer Based Implementation of Self-Timed Circuits. In: 27th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2021). 2021, Beijing, China: IEEE.
  • Yakovlev A, MacDonald RG, Ventisei A, Knightley T, Riley J, Pacheco-Peña V. TEM pulse routing and switching via series and parallel interconnected waveguide crossings. In: Fifteenth International Congress on Artificial Materials for Novel Wave Phenomena (Metamaterials) 2021. 2021, NYC, NY, USA: IEEE.
  • Chan A, Sokolov D, Khomenko V, Lloyd D, Yakovlev A. Synthesis of SI Circuits from Burst-Mode Specifications. In: Design, Automation & Test in Europe Conference & Exhibition (DATE 2021). 2021, Grenoble, France: IEEE.
  • Wheeldon A, Yakovlev A, Shafik R. Self-timed Reinforcement Learning using Tsetlin Machine. In: 27th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2021). 2021, Beijing, China: IEEE.
  • Haddadi I, Qiqieh I, Shafik R, Xia F, Al-Hayanni M, Yakovlev A. Run-time Configurable Approximate Multiplier using Significance-Driven Logic Compression. In: IEEE International Conference on Computer Design (ICCD 2021). 2021, Virtual: IEEE.
  • Pacheco-Peña V, Yakovlev A. Routing TEM pulses with interconnected transmission lines for computing applications with electromagnetic waves. In: XXXIV General Assembly and Scientific Symposium of the International Union of Radio Science. 2021, Rome, Italy: URSI GASS.
  • Jenkus D, Xia F, Shafik R, Yakovlev A. QoS-Aware Power Minimization of Distributed Many-Core Servers using Transfer Q-Learning. In: Design, Automation and Test in Europe, Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures (SLOHA). 2021.
  • Maheshwari S, Shafik R, Wilson I, Yakovlev A, Gudur VY, Acharyya A. PLEDGER: Embedded Whole Genome Read Mapping using Algorithm-HW Co-design and Memory-aware Implementation. In: Design, Automation & Test in Europe Conference & Exhibition (DATE 2021). 2021, Grenoble, France: IEEE.
  • Yu S, Shafik R, Bunnam T, Chen K, Yakovlev A. Optimized Multi-Memristor Model based Low Energy and Resilient Current-Mode Multiplier Design. In: Design, Automation & Test in Europe Conference & Exhibition (DATE 2021). 2021, Grenoble, France: IEEE.
  • Wheeldon A, Yakovlev A, Shafik R, Morris J. Low-Latency Asynchronous Logic Design for Inference at the Edge. In: Design, Automation & Test in Europe Conference & Exhibition (DATE 2021). 2021, Grenoble, France: IEEE.
  • Mileiko S, Cetinkaya O, Yakovlev A, Balsamo D. A Non-Intrusive Ultrasonic Sensor System for Water Flow Rate Measurement. In: 2021 IEEE Sensors Applications Symposium (SAS). 2021, Sundsvall, Sweden: IEEE.
  • Khomenko V, Sokolov D, Yakovlev A, Lloyd D. Handshake Verification in Workcraft. In: International Symposium on Asynchronous Circuits and Systems (ASYNC). 2020.
  • Lei J, Wheeldon A, Shafik R, Yakovlev A, Granmo O-C. From arithmetic to logic based AI: A comparative analysis of neural networks and tsetlin machine. In: ICECS 2020 - 27th IEEE International Conference on Electronics, Circuits and Systems, Proceedings. 2020, Institute of Electrical and Electronics Engineers Inc.
  • Shafik R, Wheeldon A, Yakovlev A. Explainability and Dependability Analysis of Learning Automata based AI Hardware. In: 26th IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS). 2020, Napoli, Italy: IEEE.
  • Li D, Xia F, Luo J, Yakovlev A. Modelling Reversion Loss and Shoot-through Current in Switched-Capacitor DC-DC Converters with Petri Nets. In: 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019). 2019, Rhodes, Greece: IEEE.
  • Golubcovs S, Mokhov A, Bystrov A, Sokolov D, Yakovlev A. Generalised Asynchronous Arbiter. In: 2019 19th International Conference on Application of Concurrency to System Design (ACSD). 2019, Aachen, Germany: IEEE.
  • Mileiko S, Shafik R, Yakovlev A, Edwards J. A Pulse Width Modulation based Power-elastic and Robust Mixed-signal Perceptron Design. In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE 2019). 2019, Florence, Italy: IEEE/ACM.
  • Zhou Y, Shi C, Deng Z, Yakovlev A. Synthesis and optimization of asynchronous dual rail encoded circuits based on partial acknowledgement. In: 2017 IEEE 12th International Conference on ASIC (ASICON). 2018, Guiyang, China: IEEE Computer Society.
  • Meski A, Koutny M, Penczek W. Reaction mining for reaction systems. In: 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018). 2018, Fontainebleau, France: Springer Verlag.
  • Al-daloo M, Soltan A, Yakovlev A. Overview study of on-chip interconnect modelling approaches and its trend. In: 7th International Conference on Modern Circuits and Systems Technologies (MOCAST 2018). 2018, Thessaloniki, Greece: IEEE.
  • Ezhilchelvan P, Mitrani I, Webber J. On the degradation of distributed graph databases with eventual consistency. In: 15th European Performance Engineering Workshop (EPEW 2018). 2018, Paris, France: Springer Verlag.
  • Li D, Shang D, Xia F, Yakovlev A. Modelling Switched-Capacitor DC-DC Converters with Signal Transition Graphs. In: SMACD 2018 - 15th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design. 2018, Prague, Czech Republic: Institute of Electrical and Electronics Engineers Inc.
  • Aalsaud A, Rafiev A, Xia F, Shafik R, Yakovlev A. Model-free Runtime Management for Concurrent Workloads on Many-Core Heterogeneous Systems. In: 28th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2018). 2018, Platja d'Aro, Spain: IEEE.
  • Aalsaud A, Alrudainy H, Shafik R, Xia F, Yakovlev A. MEMS-Based Runtime Idle Energy Minimization for Bursty Workloads in Heterogeneous Many-Core Systems. In: 28th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2018). 2018, Platja d'Aro, Spain: IEEE.
  • Benafa O, Sokolov D, Yakovlev A. Loadable kessels counter. In: 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). 2018, Vienna, Austria: IEEE.
  • Alrudainy H, Shafik R, Mokhov A, Yakovlev A. Lifetime Reliability Characterization of N/MEMS Used in Power Gating of Digital Integrated Circuits. In: IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT). 2018, Cambridge, UK: IEEE.
  • Mokhov A, De Gennaro A, Tarawneh G, Wray J, Lukyanov G, Mileiko S, Scott J, Yakovlev A, Brown A. Language and hardware acceleration backend for graph processing. In: Languages, Design Methods, and Tools for Electronic System Design. 2018, Verona, Italy: Springer Verlag.
  • Harrison MD, Masci P, Campos JC. Formal Modelling as a Component of User Centred Design. In: Software Technologies: Applications and Foundations. STAF 2018. 2018, Toulouse, France: Springer.
  • Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Error-Based Metric for Cross-Layer Cut Determination. In: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016. 2018, Bremen, Germany: Springer Verlag.
  • Sokolov D, Khomenko V, Yakovlev A, Lloyd D. Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft. In: 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'18). 2018, Vienna, Austria: IEEE.
  • Bunnam T, Soltan A, Sokolov D, Yakovlev A. An Excitation Time Model for General-purpose Memristance Tuning Circuit. In: 2018 IEEE International Symposium on Circuits and Systems (ISCAS). 2018, Florence, Italy: IEEE.
  • Freitas L, Modesti P, Emms M. A methodology for protocol verification applied to EMV^® 1. In: 21st Brazilian Symposium on Formal Methods (SBMF 2018). 2018, Salvador, Brazil: Springer Verlag.
  • Cortadella J, Moreno A, Sokolov D, Yakovlev A, Lloyd D. Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours. In: 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). 2017, San Diego, California, USA: IEEE.
  • Khomenko V, Sokolov D, Mokhov A, Yakovlev A. WAITX: An Arbiter for Non-Persistent Signals. In: 23rd IEEE International Symposium on Asynchronous Circuits and Systems. 2017, San Diego, California, USA: IEEE Computing Society.
  • Morris J, Prabhat P, Myers J, Yakovlev A. Unconventional Layout Techniques for a High Performance, Low Variability Subthreshold Standard Cell Library. In: Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI. 2017, Bochum, Germany: IEEE Computer Society.
  • Alrudainy HM, Mokhov A, Xia F, Yakovlev A. Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays. In: Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI. 2017, Bochum, Germany: IEEE Computer Society.
  • Martin L, Romanovsky A. Stochastic activity networks for the verification of knowledge bases. In: International Workshop on Software Engineering for Resilient Systems (SERENE 2017). 2017, Geneva, Switzerland: Springer Verlag.
  • Al-Hayanni M, Shafik R, Rafiev A, Xia F, Yakovlev A. Speedup and Parallelization Models for Energy-Efficient Many-Core Systems Using Performance Counters. In: 2017 International Conference on High Performance Computing & Simulation. 2017, Genoa, Italy: IEEE.
  • Osorio C, Wilson R, Papagiannidis S. Social Networking Sites Withdrawal. In: International Conference on Social Informatics (SocInfo 2017). 2017, Oxford, UK: Springer Verlag.
  • Burke D, Jenkus D, Qiqieh I, Shafik R, Das S, Yakovlev A. Significance-driven adaptive approximate computing for energy-efficient image processing applications: special session paper. In: Proceedings of the 12th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion (CODES 2017). 2017, Seoul, Republic of Korea: ACM.
  • Burke D, Jenkus D, Qiqieh I, Das S, Shafik R, Yakovlev A. Significance-Driven Adaptive Approximate Computing for Energy-Efficient Image Processing Applications. In: CODES '17 12th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion. 2017, Seoul, Korea.
  • Burke D, Jenkus D, Qiqieh I, Das S, Shafik R, Yakovlev A. Significance-Driven Adaptive Approximate Computing for Energy-Efficient Image Processing Applications. In: 12th International Conference on Hardware/Software Codesign and System Synthesis: Special Session. 2017, Seoul, Republic of Korea: ACM.
  • Mileiko S, Kushnerov A, Sokolov D, Yakovlev A. Self-timed control of two-phase switched capacitor converters. In: 2016 IEEE International Conference on the Science of Electrical Engineering, ICSEE 2016. 2017, Eilat, Israel: Institute of Electrical and Electronics Engineers Inc.
  • Mileiko S, Kushnerov A, Sokolov D, Yakovlev A. Self-timed control of multiphase switched capacitor converters. In: 2017 European Conference on Circuit Theory and Design (ECCTD). 2017, Catania, Italy: IEEE.
  • Rafiev A, Xia F, Iliasov A, Romanovsky A, Yakovlev A. Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips using ArchOn Framework. In: 17th International Conference on Application of Concurrency to System Design (ACSD). 2017, Zaragoza, Spain: IEEE.
  • Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. In: Forum on Specification and Design Languages (FDL). 2017, Bremen, Germany: IEEE Computer Society.
  • Krstic M, Fan X, Babic M, Grass E, Bjerregaard T, Yakovlev A. Reducing switching noise effects by advanced clock management. In: Proceedings of the 2017 11th International Workshop on the Electromagnetic Compatibility of Integrated Circuits (EMCCompo 2017). 2017, St. Petersburg, Russia: IEEE.
  • Bunnam T, Soltan A, Sokolov D, Yakovlev A. Pulse controlled memristor-based delay element. In: 27th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS). 2017, Thessaloniki, Greece: IEEE.
  • Tarawneh G, Mokhov A, Naylor M, Rast A, Moore SW, Thomas DB, Yakovlev A, Brown A. Programming Model to Develop Supercomputer Combinatorial Solvers. In: Tenth International Workshop on Parallel Programming Models and Systems Software. 2017, Bristol, UK: IEEE.
  • Wheeldon A, Morris J, Sokolov D, Yakovlev A. Power proportional adder design for Internet of Things in a 65nm process. In: 27th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS). 2017, Thessaloniki, Greece: IEEE.
  • Kushnerov A, Liang TJP, Yakovlev A. Multiphase ternary Fibonacci 2D switched capacitor converters. In: 2017 European Conference on Circuit Theory and Design (ECCTD). 2017, Catania, Italy: IEEE.
  • Ezhilchelvan P, Mitrani I. Multi-class Resource Sharing with Batch Arrivals and Complete Blocking. In: International Conference on Quantitative Evaluation of Systems (QEST 2017). 2017, Berlin, Germany: Springer Verlag.
  • Gensh R, Rafiev A, Xia F, Romanovsky A, Yakovlev A. Modelling for systems with holistic fault tolerance. In: 9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017). 2017, Geneva, Switzerland: Springer Verlag.
  • Alrajeh O, Forshaw M, Thomas N. Machine Learning Models for Predicting Timely Virtual Machine Live Migration. In: 14th European Workshop on Performance Engineering (EPEW). 2017, Berlin, Germany: Springer Verlag.
  • Mokhov A, De Gennaro A, Tarawneh G, Wray J, Lukyanov G, Mileiko S, Scott J, Yakovlev A, Brown A. Language and Hardware Acceleration Backend for Graph Processing. In: FDL 2017 Forum on Specification & Design Languages. 2017, Verona, Italy: IEEE.
  • Jones CB, Velykis A, Yatapanage N. General Lessons from a Rely/Guarantee Development. In: 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA). 2017, Changsha, China: Springer Verlag.
  • Khomenko V, Mokhov A, Sokolov D, Yakovlev A. Formal Design and Verification of an Asynchronous SRAM Controller. In: 17th International Conference on Application of Concurrency to System Design (ACSD 2017). 2017, Zaragoza, Spain: IEEE Computing Society.
  • Qiqieh I, Shafik R, Tarawneh G, Sokolov D, Yakovlev A. Energy-Efficient Approximate Wallace Tree Multiplier using Significance-Driven Logic Compression. In: IEEE International Workshop on Signal Processing Systems (SiPS). 2017, Lorient, France: IEEE.
  • Qiqieh I, Shafik R, Tarawneh G, Sokolov D, Yakovlev A. Energy-Efficient Approximate Multiplier Design using Bit Significance-Driven Logic Compression. In: 2017 Design, Automation and Test in Europe (DATE). 2017, Lausanne, Switzerland: IEEE.
  • Clarke D, Ali ST. End to end security is not enough. In: Security Protocols 2017: Security Protocols XXV. 2017, Cambridge, UK: Springer Verlag.
  • Soltan A, Radwan AG, Yakovlev A. Elmore delay in the fractional order domain. In: European Conference on Circuit Theory and Design (ECCTD). 2017, Catania, Italy: IEEE.
  • Fernandes J, Sokolov D, Yakovlev A. Elastic Bundles: Modelling and Synthesis of Asynchronous Circuits with Granular Rigidity. In: 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). 2017, San Diego, California, USA: IEEE.
  • Karkar AJM, Mak T, Yakovlev A. Efficient surface-wave-based network-on-chip architecture for spiking-neural-network. In: 2017 Annual Conference on New Trends in Information and Communications Technology Applications, NTICT 2017. 2017, Institute of Electrical and Electronics Engineers Inc.
  • Al-Maaitah K, Qiqieh I, Soltan A, Yakovlev A. Configurable-Accuracy Approximate Adder Design with Light-Weight Fast Convergence Error Recovery Circuit. In: 2017 IEEE Jordan Conference on Applied Electrical Engineering and Computing Technologies (AEECT). 2017, Amman, Jordan: IEEE.
  • Sokolov D, Dubikhin V, Khomenko V, Lloyd D, Mokhov A, Yakovlev A. Benefits of Asynchronous Control for Analog Electronics: Multiphase Buck Case Study. In: Design, Automation & Test in Europe Conference & Exhibition (DATE). 2017, Lausanne, Switzerland: IEEE.
  • Metere R, Dong C. Automated Cryptographic Analysis of the Pedersen Commitment Scheme. In: 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security. 2017, Warsaw, Poland: Springer Verlag.
  • Mokhov A, Sokolov D, Khomenko V, Yakovlev A. Asynchronous Arbitration Primitives for New Generation of Circuits and Systems. In: New Generation of Circuits and Systems Conference (NGCAS). 2017, Genova, Italy: IEEE.
  • Gensh R, Rafiev A, Romanovsky A, Garcia A, Xia F, Yakovlev A. Architecting Holistic Fault Tolerance. In: 18th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2017). 2017, Singapore: IEEE Computer Society.
  • Al-Maaitah K, Tarawneh G, Soltan A, Qiqieh I, Yakovlev A. Approximate Adder Segmentation Technique and Significance-Driven Error Correction. In: 27th International Symposium on Power And Timing Modeling, Optimization and Simulation (PATMOS). 2017, Thessaloniki, Greece: IEEE.
  • Dubikhin V, Myers C, Sokolov D, Syranidis I, Yakovlev A. Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems. In: DAC '17 Proceedings of the 54th Annual Design Automation Conference. 2017, Austin, TX, USA: Association for Computing Machinery.
  • Mace JC, Thekkummal N, Morisset C, Van Moorsel A. ADaCS: A Tool for Analysing Data Collection Strategies. In: 14th European Workshop on Performance Engineering (EPEW 2017). 2017, Berlin, Germany: Springer Verlag.
  • McCorry P, Shahandashti SF, Hao F. A smart contract for boardroom voting with maximum voter privacy. In: FC: International Conference on Financial Cryptography and Data Security 21st International Conference, FC 2017. 2017, Sliema, Malta: Springer Verlag.
  • Koutny M, Kleijn J, Penczek W. Transactions on petri nets and other models of concurrency XII. In: 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. 2016, Toruń, Poland: Springer Verlag.
  • Abdulfattah AN, Tsimenidis CC, Yakovlev A. Subthreshold-based m-sequence code generator for ultra low-power body sensor nodes. In: 26th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). 2016, Bremen, Germany: Institute of Electrical and Electronics Engineers.
  • Kushnerov A, Yakovlev A. Stacking Voltage-Controlled Oscillators: Analysis and Application. In: 23rd IEEE International Conference on Electronics Circuits and Systems. 2016, Monte Carlo, Monaco: IEEE.
  • Aalsaud A, Shafik R, Rafiev A, Xia F, Yang S, Yakovlev A. Power-Aware Performance Adaptation of Concurrent Applications in Heterogeneous Many-Core Systems. In: Proceedings of the 2016 International Symposium on Low Power Electronics and Design (ISLPED 16). 2016, San Franciso Airport, CA, USA: ACM.
  • Gensh R, Romanovsky A, Yakovlev A. On Structuring Holistic Fault Tolerance. In: 15th International Conference on Modularity 2016. 2016, Malaga, Spain: ACM.
  • Alrudainy H, Mokhov A, Dahir NS, Yakovlev A. MEMS-Based Power Delivery Control for Bursty Applications. In: 2016 IEEE International Symposium on Circuits and Systems (ISCAS). 2016, Montreal, Canada: IEEE.
  • Shang DL, Xu YQ, Gao KY, Xia F, Yakovlev A. Low Power Voltage Sensing Through Capacitance to Digital Conversion. In: 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). 2016, Košice, Slovakia: IEEE.
  • Shang D, Xu Y, Gao K, Xia F, Yakovlev A. Low power voltage sensing through capacitance to digital conversion. In: 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). 2016, Kosice, Slovakia: IEEE.
  • Tarawneh G, Mokhov A, Yakovlev A. Formal verification of clock domain crossing using gate-level models of metastable flip-flops. In: 2016 Design Automation & Test in Europe Conference & Exhibition (DATE). 2016, Dresden, Germany: IEEE.
  • Gao K, Shang D, Xia F, Yakovlev A. Fast capacitance-to-digital converter with internal reference. In: IEEE Biomedical Circuits and Systems Conference (BioCAS). 2016, Shanghai: IEEE.
  • Al-Daloo M, Yakovlev A, Halak B. Energy Efficient Bootstrapped CMOS Inverter for Ultra-Low Power Applications. In: 23rd IEEE International Conference on Electronics Circuits and Systems. 2016, Monte Carlo, Monaco: Institute of Electrical and Electronics Engineers.
  • Benafa O, Ogweno A, Shang DL, Yakovlev A. Design of a DCO based on Worst-Case Delay of a Self-Timed Counter and a Digitally controllable Delay Path. In: 2016 14th IEEE International New Circuits and Systems Conference (NEWCAS). 2016, Vancouver, BC, Canada: IEEE.
  • Burke D, Shafik RA, Yakovlev A. Challenges and opportunities in research and education of heterogeneous many-core applications. In: 2016 11th European Workshop on Microelectronics Education, EWME 2016. 2016, Southampton, UK: Institute of Electrical and Electronics Engineers Inc.
  • Xu Y, Shang D, Xia F, Yakovlev A. A Smart All-Digital Charge to Digital Converter. In: 23rd IEEE International Conference on Electronics Circuits and Systems. 2016, Monte Carlo, Monaco: Institute of Electrical and Electronics Engineers Inc.
  • Ogweno A, Degenaar P, Khomenko V, Yakovlev A. A Fixed Window Level Crossing ADC with Activity Dependent Power Dissipation. In: 2016 14th IEEE International New Circuits and Systems Conference (NEWCAS). 2016, Vancouver, BC, Canada: IEEE.
  • Gao K, Xu Y, Shang D, Xia F, Yakovlev A. Wideband Dynamic Voltage Sensing Mechanism for EH Systems. In: Power and Timing Modeling, Optimization and Simulation (PATMOS), 2015 25th International Workshop on. 2015, Salvador, Bahia, Brazil: IEEE.
  • Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. In: 14th International Conference on Application of Concurrency to System Design (ACSD 2014). 2015, Tunis, Tunisia: IEEE Computer Society.
  • Ogweno A, Yakovlev A, Degenaar P. Power Gating in Asynchronous Micropiplines for Low Power Data Driven Computing. In: 11th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME) 2015. 2015, Glasgow, UK: Institute of Electrical and Electronics Engineers.
  • Halak B, Murphy J, Yakovlev A. Power Balanced Circuits for Leakage-Power-Attacks Resilient Design. In: Science and Information Conference (SAI) 2015. 2015, London, UK: Institute of Electrical and Electronics Engineers.
  • Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Order Graphs and Cross-Layer Parametric Significance-driven Modelling. In: 15th International Conference on Application of Concurrency to System Design (ACSD'15). 2015, Brussels, Belgium: IEEE Computer Society.
  • Mokhov A, Khomenko V, Sokolov D, Yakovlev A. Opportunistic Merge Element. In: 21st IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'15). 2015, Mountain View, Silicon Valley, California, USA: IEEE Computing Society Press.
  • Agyeman MO, Wan JX, Vien QT, Zong W, Yakovlev A, Tong K, Mak T. On the Design of Reliable Hybrid Wired-Wireless Network-on-Chip Architectures. In: 2015 IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC). 2015, Turin, Italy: IEEE.
  • Spargo CM, Yakovlev A. Oliver Heaviside FRS: Newcastle upon Tyne 1868-1874. In: IET History of Technology Network: Conference on the history of power and engineering. 2015, Newcastle upon Tyne, UK: Institution of Engineering and Technology.
  • Agyeman MO, Zong W, Wan J-X, Yakovlev A, Tong K, Mak T. Novel Hybrid Wired-Wireless Network-on-Chip Architectures: Transducer and Communication Fabric Design. In: 2015 9th IEEE/ACM International Symposium on Networks-on-Chip, NOCS 2015. 2015, Vancouver, BC, Canada: Association for Computing Machinery, Inc.
  • Karkar A, Tong K-F, Mak T, Yakovlev A. Mixed wire and surface-wave communication fabrics for decentralized on-chip multicasting. In: Design, Automation & Test in Europe Conference & Exhibition (DATE). 2015, Grenoble, France: EDAA.
  • Karkar A, Tong K-F, Mak T, Yakovlev A. Mixed wire and surface-wave communication fabrics for decentralized on-chip multicasting. In: Design, Automation and Test in Europe Conference & Exhibition (DATE) 2015. 2015, Grenoble, France: Institute of Electrical and Electronics Engineers Inc.
  • Burns F, Sokolov D, Yakovlev A. GALS synthesis and verification for xMAS models. In: DATE '15 Design, Automation & Test in Europe Conference & Exhibition. 2015, Grenoble, France: EDA Consortium.
  • Burns F, Sokolov D, Yakovlev A. GALS synthesis and verification for xMAS models. In: Proceedings of the Design, Automation and Test in Europe (DATE'15). 2015, Grenoble, France: Association for Computing Machinery.
  • Burns F, Sokolov D, Yakovlev A. GALS synthesis and verification for xMAS models. In: Design And Test Europe (DATE). 2015, Grenoble, France: IEEE.
  • Gensh R, Romanovsky A, Yakovlev A. Engineering Cross-Layer Fault Tolerance in Many-Core Systems. In: 7th International Workshop, SERENE-2015. 2015, Paris, France: Springer.
  • Gensh R, Romanovsky A, Yakovlev A. Engineering Cross-Layer Fault Tolerance in Many-Core Systems. In: 7th International Workshop on Software Engineering for Resilient Systems. 2015, Paris, France: Springer International Publishing.
  • Sokolov D, Khomenko V, Mokhov A, Yakovlev A, Lloyd D. Design and Verification of Speed-Independent Multiphase Buck Controller. In: 21st IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'15). 2015, Mountain View, Silicon Valley, California, USA: IEEE Computing Society Press.
  • Beaumont J, Mokhov A, Sokolov D, Yakovlev A. Compositional design of asynchronous circuits from behavioural concepts. In: 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). 2015, Austin, Texas: ACM/IEEE.
  • Shang DL, Benafa O, Xia F, Xu YQ, Yakovlev A. An Elastic Timer for Wide Dynamic Working Range. In: 2015 IEEE 13th International New Circuits and Systems Conference (NEWCAS). 2015, Grenoble, France: IEEE.
  • Kushnerov A, Yakovlev A. A least squares method applied to multiphase switched capacitor converters. In: 2015 European Conference on Circuit Theory and Design (ECCTD). 2015, Trondheim, Norway: IEEE.
  • Iliasov A, Rafiev A, Xia F, Gensh R, Romanovsky A, Yakovlev A. A formal specification and prototyping language for multi-core system management. In: 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2015). 2015, Turku: IEEE.
  • Sokolov D, Mokhov A, Yakovlev A, Lloyd D. Towards asynchronous power management. In: Faible Tension Faible Consommation (FTFC 2014). 2014, Monaco: IEEE.
  • Hao F, Shahandashti SF. The SPEKE protocol revisited. In: Security Standardisation Research : First International Conference, SSR 2014. 2014, London, UK: Springer Verlag.
  • Ciancia V, Martinelli F, Ilaria M, Morisset C. Quantitative evaluation of enforcement strategies position paper. In: 6th International Symposium on Foundations and Practice of Security (FPS 2013). 2014, La Rochelle, France: Springer.
  • Iliasov A, Lopatkin I, Romanovsky A. Practical formal methods in railways - The SafeCap approach. In: 19th Ada-Europe International Conference on Reliable Software Technologies. 2014, Paris, France: Springer.
  • Satvat K, Forshaw M, Hao F, Toreini E. On the privacy of private browsing - A forensic approach. In: 8th International Workshop on Data Privacy Management and Autonomous Spontaneous Security (DPM 2013). 2014, Egham, UK: Springer.
  • Morisset C, Gross T, van Moorsel A, Yevseyeva I. Nudging for quantitative access control systems. In: Second International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2014). 2014, Crete, Greece: Springer.
  • Wu MY, Karkar A, Liu B, Yakovlev A, Gielen G, Grout V. Network on Chip Optimization Based on Surrogate Model Assisted Evolutionary Algorithms. In: 2014 IEEE Congress on Evolutionary Computation. 2014, Beijing, China: IEEE.
  • Wu M, Karkar A, Liu B, Yakovlev A, Gielen G, Grout V. Network on Chip optimization based on surrogate model assisted evolutionary algorithms. In: Evolutionary Computation (CEC), 2014 IEEE Congress on. 2014, Beijing, China: IEEE.
  • Crampton J, Morisset C. Monotonicity and completeness in attribute-based access control. In: 10th International Workshop on Security and Trust Management (STM 2014). 2014, Wroclaw, Poland: Springer Verlag.
  • Coopamootoo KPL, Gross T. Mental models for usable privacy: A position paper. In: Second International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2014). 2014, Crete, Greece: Springer Verlag.
  • Sinmai K, Andras P. Mapping on surfaces: Supporting collaborative work using interactive tabletop. In: 20th International Conference on Collaboration and Technology (CRIWG 2014). 2014, Santiago, Chile: Springer Verlag.
  • Osorio C, Papagiannidis S. Main factors for joining new social networking sites. In: First International Conference on HCI in Business (HCIB 2014). 2014, Crete, Greece: Springer Verlag.
  • Karkar A, Dahir N, Al-Dujaily R, Tong K, Mak T, Yakovlev A. Hybrid wire-surface wave architecture for one-to-many communication in networks-on-chip. In: Design, Automation and Test in Europe Conference and Exhibition (DATE). 2014, Dresden: IEEE.
  • Karkar A, Dahir N, Al-Dujaily R, Tong K, Mak T, Yakovlev A. Hybrid wire-surface wave architecture for one-to-many communication in networks-on-chip. In: Design, Automation and Test in Europe Conference and Exhibition (DATE 2014). 2014, Dresden, Germany: IEEE.
  • Sokolov D, Yakovlev A. GALS Partitioning by Behavioural Decoupling Expressed in Petri Nets. In: Asynchronous Circuits and Systems (ASYNC), 2014 20th IEEE International Symposium on. 2014, Potsdam, Germany: IEEE.
  • Baz A, Shang D, Xia F, Gu X, Yakovlev A. Energy efficiency of micropipelines under wide dynamic supply voltages. In: Faible Tension Faible Consommation (FTFC), 2014 IEEE. 2014, Monaco, Monaco: IEEE.
  • Modesti P. Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx . In: 10th International Workshop on Security and Trust Management (STM). 2014, Switzerland: Springer, Cham.
  • Dahir N, Tarawneh G, Mak T, Al-Dujaily R, Yakovlev A. Design and Implementation of Dynamic Thermal-Adaptive Routing Strategy for Networks-on-Chip. In: 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP. 2014, Turin, Italy: IEEE.
  • Low HS, Shang D, Xia F, Yakovlev A. Asynchronously assisted FPGA for variability. In: 2014 24th International Conference on Field Programmable Logic and Applications (FPL). 2014, Munich, Germany: IEEE. In Preparation.
  • Shang D, Zhang X, Xia F, Yakovlev A. Asynchronous design for new on-chip wide dynamic range power electronics. In: Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014. 2014, Dresden, Germany: IEEE.
  • Shang D, Zhang X, Xia F, Yakovlev A. Asynchronous design for new on-chip wide dynamic range power electronics. In: 2014 Design, Automation and Test in Europe Conference and Exhibition (DATE). 2014, Dresden, Germany: IEEE.
  • Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. In: ES4CPS@DATE 2014 - International Workshop on Engineering Simulations for Cyber-Physical Systems. 2014, Dresden, Germany.
  • Alrudainy H, Mokhov A, Yakovlev A. A scalable physical model for Nano-Electro-Mechanical relays. In: 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2014). 2014, Palma de Mallorca, Spain: IEEE.
  • Freitas L, Jones CB, Velykis A, Whiteside I. A Model for Capturing and Replaying Proof Strategies. In: VSTTE 2014: Verified Software: Theories, Tools and Experiments. 2014, Vienna, Austria: Springer, Cham.
  • Shang D, Xia F, Yakovlev A. Wide-range, reference free, on-chip voltage sensor for variable Vdd operations. In: 2013 IEEE International Symposium on Circuits and Systems (ISCAS). 2013, Beijing, China: IEEE.
  • Hao F. Verifiable classroom voting: Where cryptography meets pedagogy. In: Cambridge International Workshop on Security Protocols. 2013, Cambridge, UK: Springer Verlag.
  • Hao F, Clarke D, Shepherd C. Verifiable classroom voting: Where cryptography meets pedagogy. In: Cambridge International Workshop on Security Protocols. 2013, Cambridge, UK: Springer Verlag.
  • Burns F, Baz A, Shang D, Yakovlev A. Variability analysis of Self-Timed SRAM robustness. In: 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). 2013, Karlsruhe, Germany: IEEE.
  • Van Schaik P, Zeng Y, Spears I. Using dynamic Bayesian networks to model user-experience. In: 9th International Workshop ADMI 2013: International Workshop on Agents and Data Mining Interaction. 2013, Saint Paul, MN: Springer Verlag.
  • Luo JW, Degenaar P, Coapes G, Yakovlev A, Mak T, Andras P. Towards Reliable Hybrid Bio-Silicon Integration Using Novel Adaptive Control System. In: 2013 IEEE International Sysmposium on Circuits and Systems (ISCAS). 2013, Beijing, China: IEEE.
  • Mokhov A, Rykunov M, Sokolov D, Yakovlev A. Towards reconfigurable processors for power-proportional computing. In: Faible Tension Faible Consommation (FTFC 2013). 2013, Paris, France: IEEE.
  • Kleijn J, Koutny M, Pietkiewicz-Koutny M. Tissue systems and petri net synthesis. In: Transactions on Petri Nets and Other Models of Concurrency IX. 2013, Springer Verlag.
  • Fernandes J, Koutny M, Pietkiewicz-Koutny M, Sokolov D, Yakovlev A. Step Persistence in the Design of GALS Systems. In: Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013. 2013, Milan, Italy: Springer.
  • Docherty J, Bystrov A, Yakovlev A. Simulation Testing of a Real-Time Heuristic Scheduler with Automotive Benchmarks. In: 15th IEEE International Conference on Computer Modelling and Simulation (UKSim). 2013, Cambridge, UK.
  • Docherty J, Bystrov A, Yakovlev A. Simulation Testing of a Real-Time Heuristic Scheduler with Automotive Benchmarks. In: UKSIM-AMSS 15TH INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM 2013). 2013, 345 E 47TH ST, NEW YORK, NY 10017 USA: IEEE.
  • Dietrich D, Whiteside I, Aspinall D. Polar: A framework for proof refactoring. In: LPAR: International Conference on Logic for Programming Artificial Intelligence and Reasoning. 2013, Stellenbosch, South Africa: Springer.
  • Grivas AK, Mak T, Yakovlev A, Wray J. Novel Multi-Layer Network Decomposition Boosting Acceleration of Multi-core Algorithms. In: 24th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP). 2013, Washington, DC, USA: IEEE.
  • Grivas AK, Mak T, Yakovlev A, Wray J. Novel Multi-Layer Network Decomposition Boosting Acceleration of Multi-core Algorithms. In: PROCEEDINGS OF THE 2013 IEEE 24TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS (ASAP 13). 2013, 345 E 47TH ST, NEW YORK, NY 10017 USA: IEEE.
  • Rykunov M, Mokhov A, Sokolov D, Yakovlev A, Koelmans A. Design-for-Adaptivity of Microarchitectures. In: 24th International Conference on Application-Specific Systems, Architectures and Processors (ASAP 2013). 2013, Washington, DC, USA: IEEE.
  • Ramezani R, Yakovlev A. Capacitor Discharging Through Asynchronous Circuit Switching. In: 2013 IEEE 19TH INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS (ASYNC). 2013, 345 E 47TH ST, NEW YORK, NY 10017 USA: IEEE.
  • Ramezani R, Yakovlev A. Capacitor discharging through asynchronous circuit switching. In: Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on. 2013, Santa Monica, CA, USA: IEEE.
  • Yakovlev A, Vivet P, Renaudin M. Advances in Asynchronous logic: from Principles to GALS & NoC, Recent Industry Applications, and Commercial CAD tools. In: Conference on Design, Automation and Test in Europe (DATE '13). 2013, Grenoble, France: EDAA Consortium.
  • Tarawneh G, Yakovlev A. Adaptive Synchronization for DVFS Applications. In: INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION. 2013, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY: SPRINGER-VERLAG BERLIN.
  • Russell G, Burns F, Yakovlev A. VARMA-VARiability Modelling and Analysis Tool. In: 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). 2012, Tallinn, Estonia: IEEE.
  • Ghasempour M, Shang DL, Xia F, Yakovlev A. Ultra-Low Power Transmitter. In: 2012 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS 2012). 2012, 345 E 47TH ST, NEW YORK, NY 10017 USA: IEEE.
  • Murphy J, O'Neill M, Burns F, Bystrov A, Yakovlev A, Halak B. Self-Timed Physically Unclonable Functions. In: 5th International Conference on New Technologies, Mobility and Security (NTMS). 2012, Istanbul, Turkey: IEEE.
  • Alahmadi ANM, Russell G, Yakovlev A. Reconfigurable Time Interval Measurement Circuit Incorporating a Programmable Gain Time Difference Amplifier. In: 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). 2012, Tallinn, Estonia: IEEE.
  • Mokhov A, Khomenko V, Sokolov D, Yakovlev A. On Dual-Rail Control Logic for Enhanced Circuit Robustness. In: 12th International Conference on Application of Concurrency to System Design (ACSD). 2012, Hamburg, Germany: IEEE Computer Society.
  • Dahir N, Mak T, Xia F, Yakovlev A. Minimizing Power Supply Noise Through Harmonic Mappings in Networks-on-Chip. In: CODES+ISSS'12:PROCEEDINGS OF THE TENTH ACM INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE-CODESIGN AND SYSTEM SYNTHESIS. 2012, 1515 BROADWAY, NEW YORK, NY 10036-9998 USA: ASSOC COMPUTING MACHINERY.
  • Tarawneh G, Mak T, Yakovlev A. Intra-chip physical parameter sensor for FPGAS using flip-flop metastability. In: 22nd International Conference on Field Programmable Logic and Applications (FPL). 2012, Oslo, Norway: IEEE.
  • Docherty J, Bystrov A, Yakovlev A. Identification of Key Energy Harvesting Parameters through Monte Carlo Simulations. In: 14th International Conference on Computer Modelling and Simulation (UKSim). 2012, Cambridge: IEEE.
  • Al-Azawi S, Boussakta S, Yakovlev A. High precision and low power DCT architectures for image compression applications. In: IET Conference on Image Processing (IPR). 2012, London: IET.
  • Mikulski L, Koutny M. Hasse Diagrams of Combined Traces. In: 12th International Conference on Application of Concurrency to System Design, ACSD 2012. 2012, Hamburg, Germany: IEEE.
  • Julai N, Yakovlev A, Bystrov A. Error detection and correction of single event upset (SEU) tolerant latch. In: IEEE 18th International On-Line Testing Symposium (IOLTS). 2012, Sitges, Spain: IEEE.
  • Tarawneh G, Yakovlev A. An RTL Method for Hiding Clock Domain Crossing Latency. In: 19th IEEE International Conference on Electronics, Circuits, and Systems (ICECS). 2012, Seville, Spain: IEEE.
  • Mokhov A, Khomenko V, Alekseyev A, Yakovlev A. Algebra of Parametrised Graphs. In: 12th International Conference on Application of Concurrency to System Design (ACSD 2012). 2012, Hamburg, Germany: IEEE Computer Society.
  • Tarawneh G, Yakovlev A. Adaptive Synchronization for DVFS Applications. In: 22nd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2012). 2012, Newcastle: Springer Berlin Heidelberg.
  • Mokhov A, Sokolov D, Yakovlev A. Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation. In: 18th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2012). 2012, Copenhagen, Denmark: IEEE.
  • Zhang XF, Shang DL, Xia F, Low HS, Yakovlev A. A Hybrid Power Delivery Method for Asynchronous Loads in Energy Harvesting Systems. In: 10th IEEE International New Circuits and Systems Conference (NEWCAS). 2012, Montreal, Canada: IEEE.
  • Low HS, Shang DL, Xia F, Yakovlev A. Variation Tolerant Asynchronous FPGA. In: 19th Annual ACM International Symposium on Field-Programmable Gate Arrays. 2011, Monterey, California, USA: Association for Computing Machinery.
  • Low HS, Shang DL, Xia F, Yakovlev A. Variation Tolerant Asynchronous FPGA. In: 17th International Symposium on Asynchronous Circuits and Systems (ASYNC). 2011, Ithaca, NY, USA: Institution of Electronic and Electrical Engineers.
  • Luo JW, Mak T, Yu B, Andras P, Yakovlev A. Towards neuro-silicon interface using reconfigurable dynamic clamping. In: Conference of the IEEE Engineering in Medicine and Biology Society. 2011, Boston, Massachusetts, USA: IEEE.
  • Al-Dujaily R, Mak T, Xia F, Yakovlev A, Palesi M. Run-Time Deadlock Detection in Networks-on-Chip Using Coupled Transitive Closure Networks. In: Design, Automation and Test in Europe (DATE). 2011, Grenoble, France.
  • Hasan S, Boussakta S, Yakovlev A. Parameterized FPGA-based architecture for parallel 1-D filtering algorithms . In: 7th IEEE International Workshop on Systems, Signal Processing and their Applications (WOSSPA). 2011, Tipaza, Algeria: IEEE.
  • Al-Azawi S, Boussakta S, Yakovlev A. Low complexity image compression algorithm using AMBTC and bit plane squeezing. In: 7th IEEE International Workshop on Systems, Signal Processing and their Applications (WOSSPA). 2011, Tipaza, Algeria: IEEE.
  • Baz A, Shang DL, Xia F, Yakovlev A, Bystrov A. Improving the Robustness of Self-timed SRAM to Variable Vdds. In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 21st International Workshop (PATMOS). 2011, Madrid, Spain: Springer.
  • Alekseyev A, Khomenko V, Mokhov A, Wist D, Yakovlev A. Improved parallel composition of labelled Petri nets. In: 11th International Conference on Application of Concurrency to System Design (ACSD). 2011, Kanazawa, Japan: IEEE.
  • Yakovlev A. Energy-modulated computing. In: 2011 Design, Automation & Test in Europe (DATE). 2011, Grenoble, France: IEEE.
  • Zhang XF, Shang DL, Xia F, Yakovlev A. A Novel Power Delivery Method for Asynchronous Loads in Energy Harvesting Systems. In: 17TH IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). 2011, Ithaca, New York, USA: IEEE.
  • Dong L, Di H, Tao L, Xu G, Olivier P. Visual Focus Of Attention Recognition in the Ambient Kitchen. In: The Ninth Asian Conference on Computer Vision. 2010, Xi'an, China: Springer.
  • Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Vaisanen P, Ilic D, Latvala T. Verifying Mode Consistency for On-Board Satellite Software. In: 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 2010, Vienna, Austria: Springer.
  • Shang DL, Xia F, Golubcovs S, Yakovlev A. The Magic Rule of Tiles: Virtual Delay Insensitivity. In: 19th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2009). 2010, Delft, Netherlands: Springer.
  • Chen Y, Mitrani I, Shang D, Xia F, Yakovlev A. Stochastic analysis of power, latency and the degree of concurrency. In: IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems (ISCAS). 2010, Paris, France: IEEE.
  • Baz A, Shang D, Xia F, Yakovlev A. Self-timed SRAM for energy harvesting systems. In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation: 20th International Workshop (PATMOS). 2010, Grenoble, France: Springer.
  • Rafiev A, Murphy J, Yakovlev A. Secure Design Flow for Asynchronous Multi-Valued Logic Circuits. In: 40th International Symposium on Multi-Valued Logic (ISMVL). 2010, Barcelona, Spain: IEEE Computer Society.
  • Al-Azawi S, Boussakta S, Yakovlev A. Performance Improvement Algorithms for Colour Image Compression Using DWT and Multilevel Block Truncation Coding. In: International Symposium on Communication Systems, Networks and Digital Signal Processing (CNDSP). 2010, University of Northumbria, Newcastle upon Tyne, UK: IEEE.
  • Hasan S, Yakovlev A, Boussakta S. Performance Efficient FPGA Implementation of Parallel 2-D MRI Image Filtering Algorithms using Xilinx System Generator. In: International Symposium on Communication Systems, Networks and Digital Signal Processing (CNDSP). 2010, University of Northumbria, Newcastle upon Tyne, UK: IEEE.
  • Halak B, Yakovlev A, O'Niell A. Is a single cell sensor possible?. In: Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). 2010, Buenos Aires, Argentina: IEEE.
  • Shang D, Xia F, Yakovlev A. Highly Parallel Multi-Resource Arbiters. In: 2010 IEEE International Symposium on Circuits and Systems. 2010, Paris, France: IEEE.
  • Shang D, Xia F, Yakovlev A. Highly parallel multi-resource arbiters. In: IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems (ISCAS). 2010, Paris, France: IEEE.
  • Mokhov A, Alekseyev A, Yakovlev A. Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. In: 10th International Conference on Application of Concurrency to System Design (ACSD). 2010, Braga, Portugal: IEEE Computer Society.
  • Shang D, Xia F, Yakovlev A. Asynchronous FPGA Architecture with Distributed Control. In: 2010 IEEE International Symposium on Circuits and Systems. 2010, Paris, France: IEEE.
  • Shang D, Xia F, Yakovlev A. Asynchronous FPGA architecture with distributed control. In: IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems (ISCAS). 2010, Paris, France: IEEE.
  • Al-Tarawneh Z, Russell G, Yakovlev A. An Analysis of SEU Robustness of C-Element Structures Implemented in Bulk CMOS and SOI Technologies. In: 22nd International Conference on Microelectronics (ICM). 2010, Cairo, Egypt: IEEE.
  • Alshaikh M, Kinniment D, Yakovlev A. A Synchronizer Design Based on Wagging. In: International Conference on Microelectronics (ICM). 2010, Cairo, Egypt: IEEE.
  • Yu B, Mak T, Li X, Xia F, Yakovlev A, Sun Y, Poon C. A Reconfigurble Hebbian Eigenfilter for Neurophysiological Spike Train Analysis. In: IEEE International Conference on Field Programmable Logic and Applications. 2010, Milano, Italy: IEEE.
  • Poliakov I, Khomenko V, Yakovlev A. WORKCRAFT - A Framework for Interpreted Graph Models. In: 30th International Conference on Applications and Theory of Petri Nets. 2009, Paris, France: Springer-Verlag.
  • Mokhov A, D'Alessandro C, Yakovlev A. Synthesis of multiple rail phase encoding circuits. In: ASYNC: 15TH IEEE International Symposium on Asynchronous Circuits and Systems. 2009, Chapel Hill, NC: IEEE.
  • Rafiev A, Murphy JP, Yakovlev A. Quaternary Reed-Muller Expansions of Mixed Radix Arguments in Cryptographic Circuits. In: 39th IEEE International Symposium on Multiple-Valued Logic. 2009, Naha, Okinawaw, Japan: IEEE.
  • Alekseyev A, Poliakov I, Khomenko V, Yakovlev A. Optimisation of Balsa control path using STG resynthesis. In: 21st UK Asynchronous Forum. 2009, Bristol, UK: Computer Science Department, University of Bristol.
  • Alshaikh M, Kinniment D, Yakovlev A. O. The trade-off between resolution time and delay times in bistable circuits. In: 16th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2009. 2009, Tunisia: IEEE.
  • Golubcovs S, Shang D, Xia F, Mokhov A, Yakovlev A. Modular Approach to Multi-Resource Arbiter Design. In: 15th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2009). 2009, Chapel Hill, North Carolina: IEEE Computer Press.
  • Dotti F, Iliasov A, Ribeiro L, Romanovsky A. Modal systems: Specification, refinement and realisation. In: Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods (ICFEM). 2009, Springer.
  • Mokhov A, Khomenko V, Yakovlev A. Flat Arbiters. In: 9th International Conference on Application of Concurrency to System Design (ACSD). 2009, Augsburg, Germany: IEEE Computer Society.
  • Asimakopoulos P, Van der Plas G, Yakovlev A, Marchal P. Evaluation of Energy-Recovering Interconnects for Low-Power 3D Stacked ICs. In: IEEE International Conference on 3D Systems Integration. 2009, San Francisco, CA: IEEE.
  • Mazzucco M, Morgan G, Panzieri F, Sharp C. Engineering distributed shared memory middleware for Java. In: On the Move to Meaningful Internet Systems. 2009, Springer.
  • Emery R, Yakovlev A, Chester G. Connection-centric network for spiking neural networks. In: 3rd ACM/IEEE International Symposium on Networks-on-Chip (NoCS 2009). 2009, La Jolla, CA, USA: IEEE.
  • Mokhov A, Yakovlev A. Verification of Conditional Partial Order Graphs. In: Application of Concurrency to System Design (ACSD'08). 2008, Xi'an, China: IEEE.
  • Mokhov A, Yakovlev A. Verification of Conditional Partial Order Graphs. In: 8th International Conference on Application of Concurrency to System Design (ACSD 2008). 2008, Xi'an, China: IEEE.
  • Halak B, Shedabale S, Ramakrishnan H, Yakovlev A, Russell G. The impact of variability on the reliability of long on-chip interconnect in the presence of crosstalk. In: International Workshop on System Level Interconnect Prediction, SLIP. 2008, Newcastle, United Kingdom: IEEE Computer Society.
  • Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Synthesis of Nets with Step Firing Policies. In: Applications and Theory of Petri Nets: 29th International Conference. 2008, Xi'an, China: Springer-Verlag.
  • Ramakrishnan H, Shedabale S, Russell G, Yakovlev A. Stacked strained silicon transistors for low-power high-performance circuit applications. In: Proceedings - Electronic Components and Technology Conference. 2008, Buena Vista, Florida: IEEE.
  • Ogg S, Vialli E, Al-Hashimi B, Yakovlev A, D'Alesdsandro C, Benini L. Serialized Asynchronous Links for NoC. In: Design Automation and Test in Europe (DATE'08). 2008, Munich: IEEE.
  • Yakovlev A, Sokolov D, Poliakov I. Self-timed Circuit Design: Stepping from Control to Data Path. In: Workshop Concurrency Methods, Issues and Applications. 2008, Xi'an, China.
  • Kinniment D, Koelmans A, Fei X, Bystrov A, Chester G, Carloni L, Russell G, Roncken M, Vivet P, Murali S, Clark I, Moore S, Yakovlev A, Bainbridge J, Bertozzi D, Goossens K. Message from General Chairs. In: NOCS 2008: Second International Symposium on Networks-on-Chip. 2008, Newcastle University: IEEE Computer Society.
  • Mak T, D'Alessandro C, Sedeole P, Cheung PYK, Yakovlev A, Luk W. Implementation of wave-pipelined interconnects in FPGAs. In: Proceedings - Second IEEE International Symposium on Networks-on-Chip, NOCS 2008. 2008, Newcastle University, Newcastle-upon-Tyne: IEEE Computer Society.
  • D'Alessandro C, Bystrov A, Yakovlev A. Implementation of a phase-encoding signalling prototype chip. In: 34th European Solid-State Circuits Conference (ESSCIRC 2008). 2008, Edinburgh, UK: IEEE.
  • Minas N, Kinniment D, Russell G, Yakovlev A. High Resolution Flash Time-to-Digital Converter with Sub-Picosecond Measurement Capabilities. In: International Symposium on System-on-Chip (SOC 2008). 2008, Tampere, Finland: IEEE.
  • Mak T, D'Alessandro C, Sedcole P, Cheung P, Yakovlev A, Luk W. Global interconnections in FPGAs: modeling and performance analysis. In: 2008 ACM International Workshop on System Level Interconnect Prediction (SLIP 08). 2008, Newcastle, UK: Association for Computing Machinery.
  • Minas N, Marshall M, Russell G, Yakovlev A. FPGA implementation of an asynchronous processor with both online and offline testing capabilities. In: 14th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2008). 2008, Newcastle, UK: IEEE Computer Society.
  • Chen Y, Xia F, Shang D, Yakovlev A. Fine Grain Stochastic Modelling and Analysis of Low Power Portable Devices with Dynamic Power Management. In: UK Performance Evaluation Workshop. 2008, Imperial College, London: UKPEW.
  • Rafiev A, Murphy JP, Sokolov D, Yakovlev A. Conversion Driven Design of Binary to Mixed Radix Circuits. In: IEEE International Conference on Computer Design (ICCD’08). 2008, Lake Tahoe, CA: IEEE Computer Society Press.
  • Rafiev A, Murphy JP, Sokolov D, Yakovlev A. Conversion Driven Design of Binary to Mixed Radix Circuits. In: 2008 IEEE International Conference on Computer Design. 2008, Lake Tahoe, CA: IEEE.
  • Mokhov A, Yakovlev A. Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis. In: 2008 Design, Automation & Test in Europe Conference & Exhibition (DATE 2008). 2008, Munich Germany: IEEE.
  • Halak B, Yakovlev A. Bandwidth-centric optimisation for area-constrained links with crosstalk avoidance methods. In: Proceedings -Design, Automation and Test in Europe, DATE. 2008, Munich.
  • Poliakov I, Mokhov A, Rafiev A, Sokolov D, Yakovlev A. Automated Verification of Asynchronous Circuits Using Circuit Petri Nets. In: 14th IEEE International Symposium on Asynchronous Circuits and Systems. 2008, Newcastle upon Tyne: IEEE Computer Society Press.
  • Ogg S, Al-Hashimi B, Yakovlev A. Asynchronous Transient Resilient Links for NoC. In: CODES & ISSS’08. 2008, Atlanta, Georgia, USA: ACM Press.
  • Ramakrishnan H, Shedabale S, Russell G, Yakovlev A. Analysing the Effect of Process Variation to Reduce Parametric Yield Loss. In: IEEE International Conference on Integrated Circuit Design and Technology and Tutorial, ICICDT 2008. 2008, Minatec, Grenoble, France: IEEE.
  • Zhou J, Kinniment D, Russell G, Yakovlev A. Adapting synchronizers to the effects of on chip variability. In: 14th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2008). 2008, Newcastle upon Tyne, UK: IEEE Computer Society.
  • Carmona J, Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. In: Applications and Theory of Petri Nets. Proceedings of the 29th International Conference. 2008, Xi'an, China: Springer Berlin.
  • Carmona J, Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. A symbolic algorithm for the synthesis of bounded petri nets. In: Applications and Theory of Petri Nets: 29th International Conference. 2008, Xi'an, China: Springer.
  • Chen Y, Xia F, Shang D, Yakovlev A. The Design of Virtual Self-timed Block for Activity Communication in SOC. In: 7th International Conference on Application of Concurrency to System Design (ACSD). 2007, Bratislava, Slovakia: IEEE.
  • Chen Y, Xia F, Shang D, Yakovlev A. The Design of Virtual Self-timed Block for Activity Communication in SOC. In: 7th International Conference on Application of Concurrency to System Design, ACSD 2007. 2007, Bratislava, Slovak Republic: Institute of Electrical and Electronics Engineers.
  • Ogg S, Valli E, D'Alessandro C, Yakovlev A, Al-Hashimi B, Benini L. Reducing interconnect cost in NOC through serialized asynchronous links. In: IEEE Computer Society International Symposium on Networks-on-Chip. 2007, Princeton, NJ: IEEE.
  • D'Alessandro C, Minas N, Heron K, Kinniment D, Yakovlev A. NoC communication strategies using time-to-digital conversion. In: First International Symposium on Networks-on-chips. 2007, Princeton, New Jersey: IEEE.
  • Ramakrishnan H, Maharatna K, Chattopadhyay S, Yakovlev A. Impact of strain on the design of low-power high-speed circuits. In: IEEE International Symposium on Circuits and Systems. 2007, New Orleans, LA: IEEE.
  • Ramakrishnan H, Maharatna K, Chattopadhyay S, Yakovlev A. Impact of strain on the design of low-power high-speed circuits. In: IEEE International Symposium on Circuits and Systems. 2007, Institute of Electrical and Electronics Engineers.
  • D'Alessandro C, Mokhov A, Bystrov A, Yakovlev A. Delay/Phase regeneration circuits. In: 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007). 2007, Berkeley, California: IEEE Computer Society.
  • D'Alessandro C, Mokhov A, Bystrov A, Yakovlev A. Delay/Phase Regeneration Circuit. In: 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007). 2007, Berkeley, California: IEEE.
  • Gorgonio K, Cortadella J, Xia F, Yakovlev A. Automating synthesis of asynchronous communication mechanisms. In: 5th International Conference on Application of Concurrency to System Design. 2007, St Malo, France: Fundamenta Informaticae, IOS Press.
  • Shang D, Shin C, Wang P, Xia F, Koelmans A, Oh M, Kim S, Yakovlev A. Asynchronous Functional Coupling for Low Power Sensor Network Processors. In: 17th International Workshop on Power and Timing Modeling, Optimization and Simulation. 2007, Göteborg, Sweden: Springer.
  • Delong S, Chihoon S, Ping W, Fei X, Koelmans A, Myeonghoon O, Seongwoon K, Yakovlev A. Asynchronous functional coupling for low power sensor network processors. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2007, Springer.
  • Shang D, Shin C, Wang P, Xia F, Koelmans A, Oh M, Kim S, Yakovlev A. Asynchronous functional coupling for low power sensor network processors. In: Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation. 2007, Gothenburg, Sweden: Springer.
  • Sokolov D, Poliakov I, Yakovlev A. Asynchronous Data Path Models. In: 7th International Conference on Application of Concurrency to System Design, ACSD 2007. 2007, Bratislava, Slovak Republic: Institute of Electrical and Electronics Engineers.
  • Gardiner KT, Yakovlev A, Bystrov A. A C-element latch scheme with increased transient fault tolerance for asynchronous circuits. In: 13th IEEE International On-Line Testing Symposium Proceedings. 2007, Heraklion, Crete, Greece: IEEE Computer Society.
  • Chen Y, Xia F, Yakovlev A. Virtual self-timed blocks for systems-on-chip. In: Proceedings - IEEE International Symposium on Circuits and Systems. 2006, Island of Kos: IEEE.
  • Chen Y, Xia F, Yakovlev A. Virtual self-timed blocks for systems-on-chip. In: 2006 IEEE International Symposium on Circuits and Systems. ISCAS 2006. 2006, Island of Kos, Greece: IEEE.
  • Khomenko V, Madalinski A, Yakovlev A. Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings. In: 6th International Conference on Application of Concurrency to System Design (ACSD 2006). 2006, Turku, Finland: IEEE.
  • Koppad D, Sokolov D, Bystrov A, Yakovlev A. Online testing by protocol decomposition. In: 12th IEEE International On-Line Testing Symposium (IOLTS 2006). 2006, Lake Como, Italy: IEEE.
  • D'Alessandro C, Shang D, Bystrov A, Yakovlev A, Maevsky O. Multipl-rail phase-encoding for NoC. In: 12th International Symposium Advanced Research in Asynchronous Systems and Circuits (ASYNC'06). 2006, Grenoble, France: IEEE Computer Society Press.
  • D'Alessandro C, Shang D, Bystrov A, Yakovlev A, Maevsky O. Multiple-rail phase-encoding for NoC. In: 12th IEEE International Symposium on Asynchronous Circuits and Systems. 2006, Grenoble: IEEE.
  • Dasgupta S, Yakovlev A. Modeling and performance analysis of GALS architectures. In: 2006 International Symposium on System-on-Chip, SOC. 2006, Tampere, Finland: IEEE.
  • Shang D, Yakovlev A, Burns F, Xia F, Bystrov A. Low-Cost Online Tesing of Asynchronous Handshakes. In: 11th IEEE European Test Symposium (ETS'06). 2006, Southampton, UK: IEEE.
  • Zhou Y, Sokolov D, Yakovlev A. Cost-aware synthesis of asynchronous circuits based on partial acknowledgement. In: 2006 International Conference on Computer-Aided Design. 2006, San Jose, California: ACM Press.
  • Xia F, Hao F, Clark I, Yakovlev A, Chester EG. Buffered asynchronous communication mechanisms. In: 4th International Conference on Application of Concurrency to System Design. 2006, Hamilton, Canada: Fundamenta Informaticae, IOS Press.
  • Murphy JP, Yakovlev A. An Alternating Spacer AES Crypto-Processor. In: 32nd European Solid-State Circuits Conference (ESSCIR 2006). 2006, Montreux, Switzerland: IEEE.
  • Murphy J, Yakovlev A. An alternating spacer AES crypto-processor. In: ESSCIRC 2006: Proceedings of the 32nd European Solid-State Circuits Conference. 2006, Montreux, Switzerland: IEEE.
  • Zhou J, Kinniment D, Russell G, Yakovlev A. A robust synchronizer. In: Annual Symposium on Emerging VLSI Technologies and Architectures. 2006, Karlsruhe, Germany: IEEE.
  • Murphy J, Bystrov A, Yakovlev A. Self-Checking Circuits for Security Applications. In: 11th Annual International Mixed-Signals Testing Workshop (IMSTW’05). 2005, Cannes, France: IEEE Computer Society.
  • D'Alessandro C, Shang D, Bystrov A, Yakovlev A. PSK Signalling on NoC Buses. In: Integrated circuit and system design power and timing modeling, optimization and simulation : 15th international workshop, PATMOS 2005. 2005, Leuven, Belgium: Berlin.
  • D'Alessandro C, Shang D, Bystrov A, Yakovlev A. PSK signalling on NoC buses. In: 15th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2005). 2005, Leuven, Belgium: Springer.
  • D'Alessandro C, Shang DL, Bystrov A, Yakovlev A. PSK signalling on NoC buses. In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop (PATMOS). 2005, Leuven, Belgium: Springer.
  • Murphy J, Bystrov A, Yakovlev A. Power-balanced self checking circuits for cryptographic chips. In: 11th IEEE International On-Line Testing Symposium (IOLTS 2005). 2005, Saint Raphael, French Riviera, France: IEEE.
  • Murphy J, Bystrov A, Yakovlev A. Power-balanced self checking circuits for cryptographic chips. In: 11th IEEE International On-Line Testing Symposium. 2005, Saint Raphaël, France: IEEE Computer Society.
  • Murphy J, Yakovlev A. Power-balanced asynchronous logic. In: Proceedings of the 2005 European Conference on Circuit Theory and Design. 2005, Cork, Ireland: IEEE Circuits and Systems Society.
  • Shang D, Bystrov A, Yakovlev A, Koppad D. On-line testing of globally asynchronous circuits. In: 11th IEEE International On-Line Testing Symposium (IOLTS 2005). 2005, Saint-Raphaël, French Riviera, France: IEEE.
  • Koppad D, Bystrov A, Yakovlev A. Off-line testing of Asynchronous circuits. In: Proceedings of the IEEE International Conference on VLSI Design. 2005, Kolkata, India: IEEE Computer Society.
  • Koppad D, Bystrov A, Yakovlev A. Off-line testing of asynchronous circuits. In: 18th International Conference on 2005 VLSI Design. 2005, Kolkata, India: IEEE.
  • Koppad D, Bystrov A, Yakovlev A. Off-line testing of asynchronous circuits. In: 18th International Conference on VLSI Design. 2005, Kolkata, India: IEEE Computer Society.
  • Dasgupta S, Yakovlev A. Modeling and verification of globally asynchronous and locally synchronous ring architectures. In: Design, Automation and Test in Europe. 2005, Munich, Germany: IEEE Computer Society.
  • Ramakrishnan HK, Chattopadhyay S, Yakovlev A, Dlay S, O'Neill AG. Design ofsrained silicon inverters for fture VLSI applications. In: 3rd International Conference on Materials for Advanced Technologies (ICMAT). 2005, Singapore.
  • Cortadella J, Gorgonio K, Xia F, Yakovlev A. Automating synthesis of asynchronous communication mechanisms. In: Proceedings - Fifth International Conference on Application of Concurrency to System Design, ACSD 2005. 2005, St Malo, France: IEEE.
  • Yakovlev A. A Multi-version Data Model and Semantic-Based Transaction Processing Protocol. In: Advances in Databases and Information Systems: 9th East European Conference (ADBIS). 2005, Tallinn, Estonia: Springer.
  • Luo G-Y, Xia F, Clark IG, Koelmans AM, Yakovlev AV. Simulating heterogeneously timed networks in network simulator NS. In: Communication Systems, Networks and Digital Signal Processing (CSNDSP). 2004, University of Northumbria, Newcastle upon Tyne, UK.
  • Luo G-Y, Xia F, Clark IG, Koelmans AM, Yakovlev AV. Simulating heterogeneously timed networks in network simulator NS. In: Fourth International Symposium on Communication Systems, Networks and Digital Signal Processing (CSNDSP). 2004, Newcastle University, Newcastle upon Tyne, UK.
  • Luo G, Clark I, Xia F, Koelmans A, Yakovlev A. Simulating Heterogeneous timing networks in network simulator ns. In: 15th UK Asynchronous Forum. 2004, Cambridge, UK.
  • Hao F, Xia F, Chester EG, Yakovlev A, Clark IG. MATLAB Models of ACMs in Control Systems. In: 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO-2004). 2004, Setubal, Portugal: INSTICC press.
  • Kinniment DJ, Yakovlev AV. Low latency synchronization through speculation. In: Power and Timing Modeling, Optimization and Simulation, 14th International Workshop, PATMOS 2004. 2004, Santorini, Greece: Springer.
  • Kinniment DJ, Yakovlev A. Low latency synchronization through speculation. In: Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation; 14th International Workshop (PATMOS). 2004, Santorini, Greece: Springer.
  • Khomenko V, Koutny M, Yakovlev A. Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT. In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004). 2004, Hamilton, Canada: Fundamenta Informaticae: IOS Press.
  • Khomenko V, Koutny M, Yakovlev A. Logic synthesis for asynchronous circuits based on petri net unfoldings and incremental SAT. In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004). 2004, Hamilton, Ontario, Canada: IEEE.
  • Sokolov D, Murphy J, Bystrov A, Yakovlev A. Improving the security of dual-rail circuits. In: Cryptographic Hardware and Embedded Systems - CHES 2004. 2004, Cambridge, MA: Springer.
  • Sokolov D, Murphy J, Bystrov A, Yakovlev A. Improving the security of dual-rail circuits. In: Cryptographic Hardware and Embedded Systems (CHES): 6th International Workshop. 2004, Cambridge, Massachusetts, USA: Springer.
  • Renaudin M, Yakovlev A. From Hardware Processes to Asynchronous Circuits via Petri Nets: an Application to Arbiter Design. In: Workshop on Token Based Computing (ToBaCo) part of the 25th International Conference on Applications and Theory of Petri Nets (ICATPN'04). 2004, Bologna, Italy.
  • Shankland C, Bryans J, Morel L. Expressing iterative properties logically in a symbolic setting. In: 10th International Conference on Algebraic Methodology and Software Technology (AMAST 2004). 2004, Stirling, Scotland: Springer.
  • Xia F, Hao F, Clark I, Yakovlev A, Chester EG. Buffered asynchronous communication mechanisms. In: Fourth International Conference on Application of Concurrency to System Design (ACSD). 2004, Hamilton, Ontario, Canada: IEEE.
  • Burns F, Shang D, Koelmans A, Yakovlev A. An asynchronous synthesis toolset using Verilog. In: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE’04). 2004, Paris, France: IEEE Computer Society.
  • Shang D, Burns F, Bystrov A, Koelmans A, Sokolov D, Yakovlev A. A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits. In: 14th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2004). 2004, Santorini, Greece: Springer.
  • Shang D, Burns F, Bystrov A, Koelmans A, Sokolov D, Yakovlev A. A low and balanced power implementation of the AES security mechanism using self-timed circuits. In: Integrated circuit and system design: power and timing modeling, optimization and simulation. 14th International Workshop, PATMOS 2004. 2004, Santorinim, Greece: Springer.
  • Shang D, Burns F, Bystrov A, Koelmans A, Sokolov D, Yakovlev A. A low and balanced power implementation of the AES security mechanism using self-timed circuits. In: Integrated Circuit and System Design. 2004, Santorini, Greece: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG.
  • Madalinski A, Bystrov A, Khomenko V, Yakovlev A. Visualisation and resolution of encoding conflicts in asynchronous circuit design. In: 6th Conference on Design and Test in Europe (DATE03). 2003, Munich, Germany: IEE Proceedings: Computers and Digital Techniques.
  • Sokolov D, Bystrov A, Yakovlev A. STG optimisation in the direct mapping of asynchronous circuits. In: Design, Automation and Test in Europe (DATE). 2003, Munich, Germany: IEEE.
  • Sokolov D, Bystrov A, Yakovlev A. STG optimisation in the direct mapping of asynchronous circuits. In: Design, Automation and Test in Europe Conference and Exhibition. 2003, Munich, Germany: IEEE Computer Society.
  • Bystrov A, Sokolov D, Yakovlev A. OR-causality in low-latency asynchronous circuits. In: International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC). 2003, Vancouver, British Columbia, Canada.
  • Starodoubtsev N, Bystrov A, Yakovlev A. Monotonic circuits with complete acknowledgement. In: 9th International Symposium on Asynchronous Circuits and Systems (ASYNC 2003). 2003, Vancouver, Canada: IEEE Computer Society.
  • Bystrov A, Sokolov D, Yakovlev A. Low-latency control structures with slack. In: Ninth International Symposium on Asynchronous Circuits and Systems. 2003, Vancouver, Canada: IEEE Computer Society.
  • Khomenko V, Koutny M, Yakovlev A. Detecting State Coding Conflicts in STG Unfoldings Using SAT. In: 3rd International Conference on Application of Concurrency to System Design (ACSD 2003). 2003, Guimaraes, Portugal: IEEE Computer Society.
  • Bystrov A, Sokolov D, Yakovlev A, Koelmans A. Balancing power signature in secure systems. In: 14th UK Asynchronous Forum. 2003, Newcastle upon Tyne, UK.
  • Bystrov A, Yakovlev A, Koutny MS. Visualisation of Partial Order Models in VLSI Design Flow. In: Design, Automation and Test in Europe Conference and Exposition (DATE 2002). 2002, Paris, France: IEEE Computer Society.
  • Sokolov D, Bystrov A, Yakovlev A. Tools for STG optimisation in the direct mapping of asynchronous circuits. In: Special Interest Group on Design Automation (SIGDA). 2002.
  • Bystrov A, Yakovlev A. Synthesis of Asynchronous Circuits with Predictable Latency. In: 11th International Workshop on Logic and Synthesis. 2002, New Orleans, Los Angeles, USA: IEEE.
  • Bystrov A, Yakovlev A. Synthesis of Asynchronous Circuits with Predictable Latency. In: 11th IEEE/ACM International Workshop on Logic and Synthesis (IWLS 2002). 2002, New Orleans, Louisiana, USA: IEEE Computer Society & ACM SIGDA.
  • Kinniment DJ, Maevsky OV, Bystrov A, Russell G, Yakovlev A. On-chip structures for timing measurement and test. In: 8th International Symposium on Asynchronous Circuits and Systems (ASYNC 2002). 2002, Manchester, UK: IEEE Computer Society.
  • Bystrov A, Sokolov D, Yakovlev A. Low-latency control structures with slack. In: 13th UK Asynchronous Forum. 2002, Cambridge.
  • Cortadella J, Yakovlev A, Garside J. Logic design of asynchronous circuits. In: ASP-DAC/VLSI Design: 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design. 2002, Bangalore, India: IEEE.
  • Yakovlev A. Is the die cast for the token game?. In: Application and theory of petri nets: 23rd international conference. 2002, Adelaide, Australia: Springer.
  • Yakovlev A. Is the die cast for the token game?. In: Application and Theory of Petri Nets 2002: 23rd International Conference (ICATPN). 2002, Adelaide, Australia: Springer.
  • Khomenko V, Koutny M, Yakovlev A. Detecting State Coding Conflicts in STGs Using Integer Programming. In: Design, Automation and Test in Europe Conference and Exposition (DATE). 2002, Paris, France: IEEE Computer Society Press.
  • Burns F, Shang D, Koelmans A, Yakovlev A. Behavioural synthesis of asynchronous controllers: a case study with a self-timed communication channel. In: Asynchronous Circuit Design Workshop. 2002, Munich, Germany.
  • Sokolov D, Bystrov A, Yakovlev A. Automated design of low-latency asynchronous circuits by direct mapping. In: Postgraduate Research Conference in Electronics, Photonics, Communications and Software (PREP). 2002, Nottingham, UK.
  • Shang D, Xia F, Yakovlev A. Asynchronous circuit synthesis via direct translation. In: IEEE International Symposium on Circuits and Systems 2002. 2002, Scottsdale, Arizona: IEEE Computer Society.
  • Shang D, Xia F, Yakovlev A. Asynchronous circuit synthesis via direct translation. In: IEEE International Symposium on Circuits and Systems (ISCAS 2002). 2002, Arizona: IEEE.
  • Bystrov A, Yakovlev A. Asynchronous Circuit Synthesis by Direct Mapping: Interfacing to Environment. In: 8th International Symposium on Asynchronous Circuits and Systems (ASYNC 2002). 2002, Manchester, UK: IEEE Computer Society.
  • Maevsky O, Kinniment DJ, Yakovlev A, Bystrov A. Analysis of the oscillation problem in tri-flops. In: International Symposium on Circuits and Systems. 2002, Phoenix-Scottsdale, Arizona, USA: IEEE.
  • Maevsky O, Kinniment DJ, Yakovlev A, Bystrov A. Analysis of the oscillation problem in tri-flops. In: 2002 IEEE International Symposium on Circuits and Systems. 2002, Phoenix-Scottsdale, Arizona, USA: IEEE.
  • Maevsky O, Kinniment DJ, Yakovlev A, Bystrov A. Analysis of the oscillation problem in tri-flops. In: Proceedings - IEEE International Symposium on Circuits and Systems. 2002, Scottsdale, Arizona: IEEE Computer Society.
  • Shang D, Burns F, Koelmans A, Yakovlev A. An asynchronous DMA system design based on direct mapping using VHDL and Petri Nets. In: 13th UK Asynchronous Forum. 2002, Cambridge, UK.
  • Burns F, Shang D, Koelmans A, Yakovlev A. Translating from asynchronous FSM specifications in VHDL to Petri Nets. In: 11th UK Asynchronous Forum. 2001, Cambridge, UK.
  • Yakovlev A, Xia F, Shang D. Synthesis and implementation of a signal-type asynchronous data communication mechanism. In: 7th International Symposium on Asynchronous Circuits and Systems (ASYNC 2001). 2001, Salt Lake City, Utah: IEEE Computer Society.
  • Burns A, Wellings AJ, Burns F, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. Modelling and verification of an atomic action protocol implemented in Ada. In: 21st International Workshop on Software Engineering and Petri Nets (SEPN). 2001, Aarhus, Denmark: CRL Publishing.
  • Bystrov A, Kinniment D, Yakovlev A. Priority arbiters. In: 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000). 2000, Eliat, Israel: IEEE Computer Society.
  • Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. Hardware and Petri nets: Application to asynchronous circuit design. In: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000. 2000, Aarhus, Denmark: Springer.
  • Xia F, Yakovlev A, Shang D, Bystrov A, Koelmans A, Kinniment D. Asynchronous communication mechanisms using self-timed circuits. In: 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000). 2000, Eliat, Israel: IEEE Computer Society.
  • Saito H, Kondratyev A, Cortadella J, Lavagno L, Yakovlev A. What is the Cost of Delay-Insensitivity?. In: 1999 IEEE/ACM International Conference on Computer-Aided Design (ICCAD '99). 1999, San Jose, California, USA: IEEE Computer Society Press.
  • Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. In: 36th Annual ACM/IEEE Conference on Design Automation (DAC '99). 1999, New Orleans, Louisiana: ACM Press, New York.
  • Mitrani I, Yakovlev A. Tree Arbiter with Nearest-Neighbour Scheduling. In: 13th International Symposium on Computer and Information Sciences: Advances in Computer and Information Sciences (ISCIS). 1998, Ankara, Turkey: IOS Press.
  • Lloyd L, Heron K, Koelmans AM, Yakovlev A. Rapid Design of Asynchronous Logic Using Reconfigurable Architectures. In: International Conference on Microelectronics and Packaging (ICMP). 1998, Curitiba, Brazil.
  • Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Taubin A, Yakovlev A. Lazy Transition Systems: Application to Timing Optimization of Asynchronous Circuits. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD). 1998, San Jose, USA: IEEE Computer Society Press.
  • Mitrani I, Yakovlev A. Tree Arbiter With Nearest-Neighbour Scheduling. In: 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems (UKPEW). 1997, Ilkley, West Yorkshire, UK: UK Performance Engineering Workshop/Edinburgh University Press.
  • Semenov A, Yakovlev A, Pastor E. Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. In: 34th Annual ACM/IEEE Conference on Design Automation. 1997, Anaheim, California, USA: ACM Press, New York.
  • Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Pastor E, Yakovlev A. Decomposition and Technology Mapping of Speed-Independent Circuits Using Boolean Relations. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD). 1997, San Jose, CA, USA: IEEE Computer Society Press.
  • Semenov A, Yakovlev A. Verification of Asynchronous Circuits using Time Petri Net Unfolding. In: 33rd Annual ACM/IEEE Conference on Design Automation (DAC). 1996, Las Vegas, Nevada, USA: ACM Press, New York.
  • Starodoubstev NA, Yakovlev A, Petrov AI. Use of VHDL-based Environment for Interactive Synthesis of Asynchronous Circuits. In: VHDL Forum in Europe Spring Working Conference. 1996, Dresden, Germany.
  • Cortadella J, Kondratyev A, Kishinevsky M, Lavagno L, Yakovlev A. Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers. In: 11th Conference on Design of Integrated Circuits and Systems (DCIS). 1996, Barcelona, Spain.
  • Kondratyev A, Kishinevsky M, Yakovlev A. On Hazard-Free Implementation of Speed-Independent Circuits. In: Asia and South Pacific Design Automation Conference (ASP-DAC). 1995, Makahuri, Chiba, Japan: IEEE Press.
  • Yakovlev A, Varshavsky V, Marakhovsky V, Semenov A. Designing An Asynchronous Pipeline Token Ring Interface. In: 2nd IEEE Working Conference on Asynchronous Design Methdologies (ASYNC). 1995, London, UK: IEEE Computer Society Press.
  • Semenov A, Yakovlev A. Combining Partial Orders and Symbolic Traversal for Efficient Verification of Asynchronous Circuits. In: IFIP TC10 WG10.5 International Conference on Hardware Description Languages and Their Applications (CHDL). 1995, Makuhari, Chiba, Japan: IEEE Press.
  • Yakovlev A, Kishinevsky M, Kondratyev A, Lavagno L. OR Causality: Modelling and Hardware Implementation. In: 15th International Conference on Application and Theory of Petri Nets (APN 1994). 1994, Zaragoza, Spain: Springer-Verlag.
  • Yakovlev A, Kondratyev A, Kishinevsky M. Basic Gate Implementation of Speed-Independent Circuits. In: 31st Annual ACM/IEEE Conference on Design Automation (DAC '94), San Diego, CA, USA, 6-10 June 1994. 1994, San Diego, CA: ACM Press, New York.
  • Yakovlev A. Synthesis of Hazard-Free Asynchronous Circuits from Generalised Signal-Transition Graphs. In: 6th IEEE International Conference on VLSI Design: Chip, Board and System Design in the 90s (VLSI Design '93). 1993, Bombay, India: IEEE Computer Society Press.
  • Yakovlev A, Petrov A, Rosenblum L. Synthesis of Asynchronous Control Circuits from Symbolic Signal Transition Graphs. In: IFIP WG10.5 Working Conference on Asynchronous Design Methodologies. 1993, Manchester, UK: Elsevier Science (North-Holland).
  • Pulkkis G, Yakovlev A, Petrov A. Interfacing Transputers to Analog Environments in Real-Time Systems. In: 3rd Nordic Transputer Conference. 1993, Copenhagen, Denmark: Nordic Transputer User Group.
  • Yakovlev A. On Limitations and Extensions of Signal Transition Graph Model for Designing Asynchronous Control Circuits. In: IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD). 1992, Cambridge, Massachusetts, USA: IEEE Computer Society Press.
  • Yakovlev A, Lavagno L, Sangiovanni-Vincentelli A. A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis. In: 1992 IEEE/ACM International Conference on Computer-Aided Design (ICCAD '92). 1992, Santa Clara, California, USA: IEEE Computer Society Press.
  • Yakovlev A, Petrov A. Petri Nets and Parallel Bus Controller Design. In: 11th International Conference on Applications and Theory of Petri Nets (APN 1990), Paris, France. 1991, Springer-Verlag.
  • Yakovlev A, Rosenblum L. Analysing Semantics of Concurrent Hardware Specifications. In: International Conference on Parallel Processing (ICPP '89). 1989, University Park, PA, USA: Pennstate University Press.
  • Kondratyev AYu, Rosenblum LYa, Yakovlev AV. Signal graphs: a model for designing concurrent logic. In: International Conference on Parallel Processing (ICPP). 1988, University Park, PA: Pennstate University Press.
  • Rosenblum LYa, Yakovlev AV. Signal Graphs: from Self-Timed to Timed Ones. In: International Workshop on Timed Petri nets. 1985, Turin, Italy: IEEE Computer Society Press.

• Edited Books

  • Nicosia G, Ojha V, Malfa EL, Malfa GL, Jansen G, Pardalos P, Giuffrida G, Umeton R, ed. Machine Learning, Optimization, and Data Science: Part II. Cham: Springer, 2022.
  • Nicosia G, Ojha V, Malfa EL, Malfa GL, Jansen G, Pardalos P, Giuffrida G, Umeton R, ed. Machine Learning, Optimization, and Data Science: Part I. Cham: Springer, 2022.
  • Koutny M, Kristensen LM, Penczek W, ed. Transactions on Petri Nets and Other Models of Concurrency XIII. Berlin: Springer, 2018.
  • Koutny M, Haddad S, Yakovlev A, ed. Transactions on petri nets and other models of concurrency IX. Heidelberg: Springer Verlag, 2014.
  • Koutny M, van-der-Aalst WMP, Yakovlev A, ed. Transactions on Petri Nets and Other Models of Concurrency VIII. Germany: Springer, 2013.
  • Ayala JL, Shang D, Yakovlev A, ed. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 22^nd Int. Workshop, PATMOS 2012. Springer-Verlag, 2013.
  • Kleijn J, Yakovlev A, ed. Petri nets and Other Models of Concurrency – ICATPN 2007. Berlin: Springer-Verlag, 2007.
  • Cortadella J, Yakovlev A, Rozenberg G, ed. Concurrency and Hardware Design (Advances in Petri Nets). Berlin and New York: Springer-Verlag, 2002.
  • Yakovlev A, Nouta R, ed. Proceedings AINT'2000: Asynchronous Interfaces: tools, techniques, and implementations, TU Delft, The Netherlands, 19-20th July 2000. Newcastle-upon-tyne: University of Newcastle upon Tyne, Department of Economics, 2000.
  • Yakovlev A, Gomes L, Lavagno L, ed. Hardware Design and Petri Nets. United Kingdom: Springer, 2000.
  • Yakovlev A, Lavagno L, ed. International Conferences on Applications and Theory of Petri Nets (ICATPN) '99 Workshop on Hardware Design and Petri Nets (HWPN'99), Williamstown, VA, USA. Kluwer Academic, 1999.

• Exhibition

  • Burns F, Sokolov D, Yakovlev A. Analysis and Verification of Communication Fabrics. 2016. ICC, Dresden: Design, Automation and Test in Europe (DATE'16).

• Letter

  • Dai L, Shang D, Xia F, Yakovlev A. Monitoring circuit based on threshold for fault-tolerant NoC. Electronics Letters 2010, 46(14), 984-985.

• Patents

  • Khomenko V, Sokolov D, Yakovlev A. Tools and Methods for Selection of Relative Timing Constraints in Asynchronous Circuits, and Asynchronous Circuits Made Thereby. USA, patent US10839126 (B1), 2020.
  • Sokolov D, Khomenko V, Yakovlev A. Asynchronous Circuit. USA, patent US10581435 (B1), 2020.
  • Yakovlev A, Ramezani R, Mak T. Apparatus and method for voltage sensing. U.S. Patent Application 13/638,330, filed February 28, 2011.

• Reports

  • Gensh R, Romanovsky A, Garcia A. Experience Report: Evaluation of Holistic Fault Tolerance. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2017. School of Computing Science Technical Report Series 1507.
  • Al-Hayanni M, Rafiev A, Shafik RA, Xia F, Yakovlev A. Extended Power and Energy Normalized Performance Models for Many-Core Systems. Newcastle upon Tyne: School of Electrical and Electronic Engineering, Newcastle University, 2016. ASYNC Technical Report Series NCL-EEE-MICRO-TR-2016-198 198.
  • Gensh R, Rafiev a, Romanovsky A, Garcia A, Xia F, Yakovlev A. Architecting Holistic Fault Tolerance. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2016. School of Computing Science Technical Report Series 1505.
  • Li B, Koutny M. Unfolding CSPT-nets. University of Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1463.
  • Li B, Randell B. SONCraft user manual. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1448.
  • Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Power-proportional modelling fidelity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1443.
  • Mokhov A, Khomenko V, Sokolov D, Yakovlev A. Opportunistic Merge Element. Newcastle upon Tyne, UK: Newcastle University, 2015. NCL-EEE-MICRO-TR-2015-196.
  • Gensh R, Aalsaud A, Rafiev A, Xia F, Iliasov A, Romanovsky A, Yakovlev A. Experiments with Odroid-XU3 board. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1471.
  • Iliasov A, Rafiev A, Xia F, Gensh R, Romanovsky A, Yakovlev A. A formal specification and prototyping language for multi-core system management. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1445.
  • Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1408.
  • Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. Resource-driven Modelling of Complex Digital Systems with Uncertainty. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1413.
  • Janicki R, Kleijn J, Koutny M, Mikulski L. Generalising Traces. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1436.
  • Fernandes J, Koutny M, Mikulski L, Pietkiewicz-Kounty M, Sokolov D, Yakovlev A. Persistent and Nonviolent Steps and the Design of GALS Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1400.
  • Mikulski L, Piatkowski M, Smyczynski S. Lexicographical Generations of Combined Traces. Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1365.
  • Fitzgerald J, Mak T, Romanovsky A, Yakovlev A. Workshop Proceedings: Trustworthy Cyber-Physical Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1347.
  • Fernandes J, Koutny M, Pietkiewicz-Koutny M, Sokolov D, Yakovlev A. Step Persistence in the Design of GALS Systems. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1349.
  • Mikulski L, Koutny M. Folded Hasse Diagrams of Combined Traces. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1357.
  • Mikulski L, Koutny M. Hasse Diagrams of Combined Traces. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1301.
  • Mokhov A, Khomenko V, Alekseyev A, Yakovlev A. Algebra of Parametrised Graphs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1307.
  • Mokhov A, Khomenko V, Sokolov D, Yakovlev A. On Dual-Rail Control Logic for Enhanced Circuit Robustness. Newcastle upon Tyne: School of Electrical, Electronic & Computer Engineering, Newcastle University, 2010. School of Electrical, Electronic & Computer Engineering Technical Report Series NCL-EECE-MSD-TR-2010-162.
  • Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Synthesis of Nets with Step Firing Policies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1080.
  • Madalinski A, Khomenko V, Yakovlev A. Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 944.
  • Zhou Y, Sokolov D, Yakovlev A. Cost-aware synthesis of asynchronous datapath based on partial acknowledgement. Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 113.
  • Khomenko V, Madalinski A, Yakovlev A. Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 858.
  • Khomenko V, Koutny M, Yakovlev A. Logic Synthesis Avoiding State Space Explosion. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 813.
  • Madalinski A, Bystrov A, Yakovlev A. Visualisation of Coding Conflicts in Asynchronous Circuit Design. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 768.
  • Madalinski A, Bystrov A, Yakovlev A. ICU: A tool for Identifying State Coding Conflicts using STG unfoldings. University of Newcastle upon Tyne: School of Computing Science, 2002. CS-TR-773.
  • Madalinski A, Bystrov A, Yakovlev A. ICU: A tool for Identifying State Coding Conflicts using STG unfoldings. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 773.
  • Khomenko V, Koutny M, Yakovlev A. Detecting State Coding Conflicts in STG Unfoldings Using SAT. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 778.
  • Yakovlev A. Design, Analysis and Implementation of a Self-Timed Duplex Communication System. University of Newcastle upon Tyne: School of Computing Science, 2002. CS-TR-761.
  • Yakovlev A, Furber SB, Krenz R. Design, Analysis and Implementation of a Self-Timed Duplex Communication System. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 761.
  • Bystrov A, Koutny M, Yakovlev A. Visualisation of Partial Order Models in VLSI Design Flow. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 744.
  • Bystrov A, Yakovlev A. Synthesis of Asynchronous Circuits with Predictable Latency. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 754.
  • Kinniment DJ, Maevsky OV, Bystrov A, Russell G, Yakovlev A. On-Chip structures for Timing Measurement and Test. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 750.
  • Khomenko V, Koutny M, Yakovlev A. Detecting State Coding Conflicts in STGs Using Integer Programming. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 736.
  • Bystrov A, Yakovlev A. Asynchronous Circuit Synthesis by Direct Mapping: Interfacing to Environment. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 743.
  • Maevsky O, Kinniment DJ, Yakovlev A, Bystrov A. Analysis of the Oscillation Problem in Tri-Flops. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 747.
  • Burns A, Wellings AJ, Burns F, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 700.
  • Yakovlev A, Xia F, Shang D. Synthesis of a Signal-type Asynchronous Data Communication Mechanism and its Hardware Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 720.
  • Madalinski A, Bystrov A, Yakovlev A. Statistical Fairness of Ordered Arbiters. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 703.
  • Madalinski A, Xia F, Yakovlev A. Relative Data Freshness of Asynchronous Communication Mechanisms. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 709.
  • Bystrov A, Kinniment DJ, Yakovlev A. Priority Arbiters. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 687.
  • Yakovlev A, Kinniment DJ, Xia F. FIFO Buffer with Real-Time Interface. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 649.
  • Xia F, Yakovlev A, Bystrov A, Koelmans AM, Kinniment DJ, Shang D. An Asynchronous Communication Mechanism Using Self-timed Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 686.
  • Yakovlev A. Unfolding and Finite Prefix for Nets with Read Arcs. University of Newcastle upon Tyne: School of Computing Science, 1998. Technical Report Series CS-TR-634.
  • Vogler W, Semenov A, Yakovlev A. Unfolding and Finite Prefix for Nets with Read Arcs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 634.
  • Xia F, Clark IG, Yakovlev A, Davies AC. Petri Net Models of Metastable Operations in Latch Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 627.
  • Xia F, Yakovlev A. Overview of Modelling and Analysis Techniques for Arbiters and Related Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 626.
  • Lloyd L, Yakovlev A, Pastor E, Koelmans AM. Estimations of Power Consumption in Asynchronous Logic as Derived from Graph Based Circuit Representations. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 643.
  • Mitrani I, Yakovlev A. Tree Arbiter With Nearest-Neighbour Scheduling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 563.
  • Kinniment DJ, Gao B, Yakovlev A, Xia F. Towards Asynchronous A-D Conversion. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 615.
  • Semenov A, Yakovlev A, Pastor E, Pena MA, Cortadella J. Synthesis of Speed Independent Circuits from STG-unfolding Segment. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 565.
  • Semenov A, Yakovlev A, Pastor E, Pena MA, Cortadella J, Lavagno L. Partial Order Based Approach to Synthesis of Speed-Independent Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 566.
  • Kinniment DJ, Yakovlev A, Gao B. MetaStable Behaviour in Arbiter Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 604.
  • Kondratyev A, Cortadella J, Kishinevsky M, Lavagno L, Taubin A, Yakovlev A. Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 614.
  • Carrion C, Yakovlev A. Design and Evaluation of Two Asynchronous Token Ring Adapters. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 562.
  • Semenov A, Yakovlev A. Contextual Net Unfolding and Asynchronous System Verification. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 572.
  • Lloyd L, Heron K, Koelmans AM, Yakovlev A. Asynchronous Microprocessors: From High Level Model to FPGA Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 610.
  • Lloyd L, Yakovlev A, Koelmans AM. A 2-Phase Asynchronous Event Driven Buffer with Completion Detection Signalling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 573.
  • Starodoubstev NA, Yakovlev A, Petrov SY. Use of VHDL Enviroment for Interactive Synthesis of Asynchronous Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 540.
  • Low KS, Yakovlev A. Token Ring Arbiters: An Exercise in Asynchronous Logic Design with Petri-Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 537.
  • Semenov A, Yakovlev A, Anisimov N. Specification and Verification of a Self-Timed Token Ring Protocol. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 516.
  • Koelmans AM, Yakovlev A, Kinniment DJ, Xu Y. PNIF: An Interchange Format for System Specification with Coloured Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 538.
  • Pietkiewicz-Koutny M, Yakovlev A. Non-Pure Nets and Their Transition Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 528.
  • Yakovlev A, Koelmans AM, Semenov A, Kinniment DJ. Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 514.
  • Yakovlev A. Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 522.
  • Semenov A, Koelmans AM, Lloyd L, Yakovlev A. Designing an Asynchronous Processor Using Petri-Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 539.
  • Semenov A, Yakovlev A. Combining Partial Orders and Symbolic Traversal for Efficient Verification of Asynchronous Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 501.
  • Semenov A, Yakovlev A. Event-based Framework for Verifying High-level Models of Asynchronous Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 487.
  • Yakovlev A, Kishinevsky M, Kondratyev A, Lavagno L. On the Models for Asynchronous Circuit Behaviour with OR Causality. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 463.
  • Yakovlev A, Petrov AI, Lavagno L. High Speed Asynchronous Arbiter. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 427.
  • Yakovlev A, Koelmans AM, Lavagno L. High Level Modelling and Design of Asynchronous Interface Logic. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 460.
  • Koelmans AM, Yakovlev A, Kinniment DJ. System-level Design Based on Transformational Synthesis: Problems and Options. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 371.
  • Yakovlev A. Synthesis of Hazard-Free Asynchronous Circuits from Generalised Signal-Transition Graphs. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 377.
  • Yakovlev A, Petrov AI. Symbolic Signal Transition Graphs and Asynchronous Circuit Design. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 395.
  • Yakovlev A. On Limitations and Extensions of Signal Transition Graph Model for Designing Asynchronous Control Circuits. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 374.
  • Yakovlev A. A Structural Technique for Fault-Protection in Asynchronous Interfaces. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 362.
  • Yakovlev A. Concurrency Models for Designing Interface Logic in Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 285.
  • Yakovlev A. A Relation-based Approach to Analysing Semantics of Asynchronous Hardware Specifications. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 286.