Correct interactive transformational synthesis of DSP hardware. - Frank P. Burns; D. J. Kinniment; Albert Koelmans (EURO-DAC, 1991)

Modelling and Verification of Timing Conditions with the Boyer Moore Prover. - D. J. Kinniment; Albert Koelmans (TPCD, 1992)

High-Level Modeling and Design of Asynchronous Interface Logic. - Alexandre Yakovlev; Albert Koelmans; Luciano Lavagno (IEEE Des. Test Comput., 1995)

A self-taught computer engineering course. - J. N. Coleman; Frank P. Burns; D. J. Kinniment; T. J. Butler; Albert Koelmans (ACSE, 1996)

Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. - Alexandre Yakovlev; Albert Koelmans; Alexei L. Semenov; D. J. Kinniment (Integr., 1996)

Designing an asynchronous processor using Petri nets. - Alexei L. Semenov; Albert Koelmans; Lee Lloyd; Alexandre Yakovlev (IEEE Micro, 1997)

Analysing Superscalar Processor Architectures with Coloured Petri Nets. - Frank P. Burns; Albert Koelmans; Alexandre Yakovlev (Int. J. Softw. Tools Technol. Transf., 1998)

Asynchronous microprocessors: From high level model to FPGA implementation. - Lee Lloyd; Keith Heron; Albert Koelmans; Alexandre Yakovlev (J. Syst. Archit., 1999)

Asynchronous Communication Mechanisms Using Self-Timed Circuits. - Fei Xia 001; Alexandre Yakovlev; Delong Shang; Alexandre V. Bystrov; Albert Koelmans; D. J. Kinniment (ASYNC, 2000)

On developing and verifying design abstractions for reliable concurrent programming in Ada. - Alan Burns 001; Andy J. Wellings; Albert Koelmans; Maciej Koutny; Alexander B. Romanovsky; Alexandre Yakovlev (IRTAW, 2000)

WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets. - Frank P. Burns; Albert Koelmans; Alexandre Yakovlev (Real Time Syst., 2000)

Modelling and verification of an atomic action protocol implemented in Ada. - Alan Burns 001; Andy J. Wellings; Frank P. Burns; Albert Koelmans; Maciej Koutny; Alexander B. Romanovsky; Alexandre Yakovlev (Comput. Syst. Sci. Eng., 2001)

An Asynchronous Synthesis Toolset Using Verilog. - Frank P. Burns; Delong Shang; Albert Koelmans; Alexandre Yakovlev (DATE, 2004)

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

Asynchronous Functional Coupling for Low Power Sensor Network Processors. - Delong Shang; Chi-Hoon Shin; Ping Wang; Fei Xia 001; Albert Koelmans; Myeong-Hoon Oh; Seongwoon Kim; Alexandre Yakovlev (PATMOS, 2007)

Dynamic global security-aware synthesis using SystemC. - Frank P. Burns; Julian P. Murphy; Delong Shang; Albert Koelmans; A. Yakorlev (IET Comput. Digit. Tech., 2007)

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

Efficient advanced encryption standard implementation using lookup and normal basis. - Frank P. Burns; Julian P. Murphy; Albert Koelmans; Alexandre Yakovlev (IET Comput. Digit. Tech., 2009)

A flexible hardware implementation of SHA-1 and SHA-2 Hash Functions. - James Docherty; Albert Koelmans (ISCAS, 2011)

Security Evaluation of Balanced 1-of- n Circuits. - Frank P. Burns; Alexandre V. Bystrov; Albert Koelmans; Alexandre Yakovlev (IEEE Trans. Very Large Scale Integr. Syst., 2011)

Design and security evaluation of balanced 1-of-n circuits. - Frank P. Burns; Alexandre V. Bystrov; Albert Koelmans; Alex Yakovlev (IET Comput. Digit. Tech., 2012)

Mixed Radix Reed-Muller Expansions. - Ashur Rafiev; Andrey Mokhov; Frank P. Burns; Julian P. Murphy; Albert Koelmans; Alex Yakovlev (IEEE Trans. Computers, 2012)

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