Newcastle University

Roles and Responsibilities

Head of Microelectronics System Design 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

Memberships

Senior Member of IEEE, Member of IET

Languages

English and Russian

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
CAD Systems for VLSI, Fault Tolerance and Reliability in VLSI, System Timing

My blog on energy-modulated computing:

https://blogs.ncl.ac.uk/alexyakovlev/category/energetic-computing/

Projects

• ACiD-WG
  Project Leader(s): Prof. Alex Yakovlev
• Aysynchronous Communication Mechanisms For Real-Time Systems (COMFORT)
  Project Leader(s): Prof. Alex Yakovlev
• Behavioural Synthesis of Systems with Heterogeneous Timing (BESST)
  Project Leader(s): Prof. Alex Yakovlev
• Computational Heterogeneously Timed Networks (COHERENT)
  Project Leader(s): Prof. Alex Yakovlev
• Electronic Design Automation – Prototype Development
  Project Leader(s): Prof Alex Yakovlev
• Energy-Modulated Computing (Dream Fellowship)
  Project Leader(s): Prof. A. Yakovlev
• Globally Asynchronous Elastic Logic Synthesis (GAELS)
  Project Leader(s): Prof. A. Yakovlev
• Hazard Free Arbiter Design (HADES)
  Project Leader(s): Prof. Alex Yakovlev
• High-performance computing systems for analysis of massive networks
  Project Leader(s): Prof. Alex.Yakovlev
• Model Visualisation for Asynchronous Circuit Design (MOVIE)
  Project Leader(s): Prof. Alex Yakovlev
• Next Generation Energy-Harvesting Electronics - holistic approach
  Project Leader(s): Prof Alex Yakovlev
• Next Generation of interconnection technology for multiprocessor SoC (NEGUS)
  Project Leader(s): Prof. Alex Yakovlev
• Platform Grant: Strained Si/SiGe: Materials, Technology and Design
  Project Leader(s): Prof. Anthony O'Neill, Prof. Alex Yakovlev, Dr Sarah Olsen
• Platform: Trustworthy Ambient Systems: Resource Constrained Ambience (TrAmS)
  Project Leader(s): Prof. A. Romanovsky
• PowerProp: Hardware/Software Mechanisms for Cross-Layer Power Proportionality (part of eFuturesXD - crossing the boundaries)
  Project Leader(s): Prof. Alex Yakovlev
• PRiME: Power-efficient, Reliable, Many-core Embedded systems
  Project Leader(s): Prof. B. Al-Hashimi (University of Southampton)
• Reliable cell design methods for variable processes (RelCel)
  Project Leader(s): Prof Alex Yakovlev
• Secure Circuit Design (SCREEN)
  Project Leader(s): Prof. Alex Yakovlev
• Secure Design Flow (SURE)
  Project Leader(s): Prof. Alex Yakovlev
• SElf-timed DATapath synthEsis (SEDATE)
  Project Leader(s): Prof. Alex Yakovlev
• Self-Timed Event Processor (STEP)
  Project Leader(s): Prof. Alex Yakovlev
• Side-channel Resistant Cryptographic IP for Smartcards
  Project Leader(s): Prof Alex Yakovlev
• Staying alive in variable, intermittent, low-power environments (SAVVIE)
  Project Leader(s): Prof Alex Yakovlev
• Support for the 14th International Symposium on Asynchronous Circuits and Systems (ASYNC) and 2nd International Symposium on Networks on Chip (NOCS)
  Project Leader(s): Prof. A.V. Yakovlev
• Synchronizer Reliability in the Next Generation of SoC with Multiple Clocks (SYRINGE)
  Project Leader(s): Prof. Alex Yakovlev
• Synthesis and TEsting of Low-Latency Asynchronous circuits (STELLA)
  Project Leader(s): Prof. Alex Yakovlev
• UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER)
  Project Leader(s): Prof M. Koutny
• VARMA - Variability Modelling and Analysis Tool
  Project Leader(s): Dr G. Russell
• VERification-Driven Asynchronous Design (VERDAD)
  Project Leader(s): Dr V Khomenko

Advanced VLSI Systems Design for MSc

Low Power and Asynchronous Systems for MSc

MEng, MSc Project supervision

• 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.
• 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 2013, (epub ahead of print).
• 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 of Emerging and Selected Topics in Circuits and Systems (JETCAS) 2013, 3(1), 35-44.
• 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.
• 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, Copenhagen, Denmark: IEEE.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Alahmadi ANM, Russell G, Yakovlev A. Time difference amplifier design with improved performance parameters. Electronics Letters 2012, 48(10), 562-563.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Mak T, Al-Dujaily R, Zhou K, Meng Y, Yakovlev A, Poon CS. Dynamic Programming Networks for Large-Scale 3D Chip Integration. IEEE Circuits and Systems Magazine 2011, 11(3), 51.
• 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.
• Mokhov A, Khomenko V, Yakovlev A. Flat Arbiters. Fundamenta Informaticae 2011, 108(1-2), 63-90.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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-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.
• Burns F, Bystrov A, Koelmans A, Yakovlev A. Security Evaluation of Balanced 1-of- Circuits. IEEE Transactions on VLSI Systems 2011, 19(11), 2135-2139.
• 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.
• Halak B, Yakovlev A. Statistical analysis of crosstalk-induced errors for on-chip interconnects. IET Computers and Digital Techniques 2011, 5(2), 104-112.
• Zhou J, Ashouei M, Kinniment D, Huisken J, Russell G, Yakovlev A. Sub-threshold Synchronizer. Microelectronics Journal 2011, 42(6), 840-850.
• 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.
• 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.
• 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.
• Alshaikh M, Kinniment D, Yakovlev A. A Synchronizer Design Based on Wagging. In: International Conference on Microelectronics (ICM). 2010, Cairo, Egypt: 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.
• 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.
• 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.
• Mokhov A, Alekseyev A, Yakovlev A. Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. In: Tenth International Conference on Application of Concurrency to System Design (ACSD). 2010, Braga, Portugal: IEEE Computer Society.
• Mokhov A, Yakovlev A. Conditional Partial Order Graphs: Model, Synthesis, and Application. IEEE Transactions on Computers 2010, 59(11), 1480-1493.
• 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.
• 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.
• Dai L, Shang D, Xia F, Yakovlev A. Monitoring circuit based on threshold for fault-tolerant NoC. Electronics Letters 2010, 46(14), 984-985.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Halak B, Yakovlev A. Throughput optimization for area-constrained links with crosstalk avoidance methods. IEEE Transactions on VLSI Systems 2010, 18(6), 1016-1019.
• Emery R, Yakovlev A, Chester G. Connection-Centric Network for Spiking Neural Networks. In: 3rd ACM/IEEE International Symposium on Networks-on-Chip. 2009, La Jolla, CA, USA: IEEE.
• Dasgupta S, Yakovlev A. Desynchronisation Technique Using Petri Nets. Electronic Notes in Theoretical Computer Science 2009, 245, 51-67.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Sokolov D, Poliakov I, Yakovlev A. Analysis of Static Data Flow Structures. Fundamenta Informaticae 2008, 88(4), 581-610.
• Ogg S, Al-Hashimi B, Yakovlev A. Asynchronous Transient Resilient Links for NoC. In: CODES & ISSS’08. 2008, Atlanta, Georgia, USA: ACM Press.
• 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.
• 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: -.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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, 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.
• D'Alessandro C, Bystrov A, Yakovlev A. Implementation of a phase-encoding signalling prototype chip. In: Proceedings of the 34th European Solid-State Circuits Conference (ESSCIRC). 2008, Edinburgh, UK: IEEE.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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 Berlin.
• 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.
• Dasgupta S, Yakovlev A. Comparative analysis of GALS clocking schemes. IET Computers and Digital Techniques 2007, 1(2), 59-69.
• 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, Berkeley, California: IEEE.
• 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.
• 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.
• 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.
• 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, Bystrov A, Yakovlev A. Improved phase-encoding signalling. Electronics Letters 2007, 43(4), 216-217.
• 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, 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.
• Kleijn J, Yakovlev A, ed. Petri nets and Other Models of Concurrency – ICATPN 2007. Berlin: Springer-Verlag, 2007.
• 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.
• 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.
• 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.
• 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 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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, 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.
• Dasgupta S, Yakovlev A. Modeling and performance analysis of GALS architectures. In: 2006 International Symposium on System-on-Chip, SOC. 2006, Tampere, Finland: IEEE.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Sokolov D, Yakovlev A. Clockless circuits and system synthesis. IEE Proceedings: Computers and Digital Techniques 2005, 152(3), 298-316.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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. Self-Checking Circuits for Security Applications. In: 11th Annual International Mixed-Signals Testing Workshop (IMSTW’05). 2005, Cannes, 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: 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: 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. 2004, Santorini, Greece: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG.
• 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, 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.
• 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.
• 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.
• Khomenko V, Koutny M, Yakovlev A. Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundamenta Informaticae 2004, 62(2), 221-241.
• 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.
• 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 2004. Berlin: Springer, 2004, pp.282-297.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Bystrov A, Sokolov D, Yakovlev A, Koelmans A. Balancing power signature in secure systems. In: 14th UK Asynchronous Forum. 2003, Newcastle upon Tyne, UK.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Cortadella J, Yakovlev A, Rozenberg G, ed. Concurrency and Hardware Design (Advances in Petri Nets). Berlin and New York: Springer-Verlag, 2002.
• Xia F, Yakovlev AV, Clark IG, Shang D. Data communication in systems with heterogeneous timing. IEEE Micro 2002, 22(6), 58-69.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. Logic Synthesis for Asynchronous Controllers and Interfaces. Berlin: Springer, 2002.
• Bystrov A, Sokolov D, Yakovlev A. Low-latency control structures with slack. In: 13th UK Asynchronous Forum. 2002, Cambridge.
• 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.
• Kinniment DJ, Bystrov A, Yakovlev A. Synchronization circuit performance. IEEE Journal of Solid-State Circuits 2002, 37(2), 202-209.
• 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.
• Abas MA, Bystrov A, Kinniment DJ, Maevsky OV, Russell G, Yakovlev AV. Time difference amplifier. Electronics Letters 2002, 38(23), 1437-1438.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Yakovlev A, Gomes L, Lavagno L, ed. Hardware Design and Petri Nets. United Kingdom: Springer, 2000.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Kinniment DJ, Yakovlev AV. Low power, low noise micropipelined flash A-D converter. IEE Proceedings: Circuits, Devices and Systems 1999, 146(5), 263-267.
• Bystrov A, Yakovlev A. Ordered arbiters. Electronics Letters 1999, 35(11), 877-879.
• 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.
• 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.
• Yakovlev A, Cortadella J, Kishinevsky M, Lavagno L. Deriving Petri Nets from Finite Transition Systems. IEEE Transactions on Computers, 1.96388888888889, 859-882 1998.
• 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.
• Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A. Deriving Petri Nets from finite transition systems. IEEE Transactions on Computers 1998, 47(8), 859-882.
• Yakovlev A. Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. Formal Methods in System Design 1998, 12(1), 39-71.
• 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.
• 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.
• 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.
• 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.
• Clark IG, Xia F, Yakovlev A, Davies AC. Petri net models of latch metastability. Electronics Letters 1998, 34(7), 635-636.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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, Koelmans AM, Lloyd L, Yakovlev A. Designing an asynchronous processor using petri nets. IEEE Micro 1997, 17(2), 54-63.
• 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.
• 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.
• 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.
• 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. 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.
• 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.
• 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.
• 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.
• 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 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, 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 A, Semenov A, Koelmans AM, Kinniment DJ. Petri nets and asynchronous circuit design. IEE Colloquium (Digest) 1996, (40), 8/1-8/6.
• 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.
• 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.
• 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.
• 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.
• Semenov A, Yakovlev A. Combining Partial Orders and Symbolic Traversal for Eficient 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.
• 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, 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.
• 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.
• 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, 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.
• 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.
• 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.
• 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.
• 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.
• Low KS, Yakovlev A. Token Ring Arbiters: An Excercise 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.
• 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.
• 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, 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.
• 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. 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, 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.
• 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.
• 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, 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. Structural Technique for Fault-masking in Asynchronous Interfaces. IEE Proceedings E - Computers and Digital Techniques 1993, 140(2), 81-91.
• 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).
• 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, 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. 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. 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, 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. 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.
• 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. 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, 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. 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.
• 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.
• 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.