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

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

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

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)

Low-Cost Online Testing of Asynchronous Handshakes. - Delong Shang; Alexandre Yakovlev; Frank P. Burns; Fei Xia 001; Alexandre V. Bystrov (ETS, 2006)

Dynamic global security-aware synthesis using SystemC. - Frank P. Burns; Julian P. Murphy; Delong Shang; Albert Koelmans; A. Yakorlev (IET Comput. Digit. Tech., 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)

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)

VARMA - VARiability modelling and analysis tool. - Gordon Russell 002; Frank P. Burns; Alex Yakovlev (DDECS, 2012)

Self-Timed Physically Unclonable Functions. - Julian P. Murphy; Máire O'Neill; Frank P. Burns; Alexandre V. Bystrov; Alexandre Yakovlev; Basel Halak (NTMS, 2012)

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)

Variability analysis of self-timed SRAM robustness. - Frank P. Burns; Abdullah Baz; Delong Shang; Alex Yakovlev (PATMOS, 2013)

GALS synthesis and verification for xMAS models. - Frank P. Burns; Danil Sokolov; Alexandre Yakovlev (DATE, 2015)

A Structured Visual Approach to GALS Modeling and Verification of Communication Circuits. - Frank P. Burns; Danil Sokolov; Alex Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)