Albert Koelmans

Publication Activity (10 Years)

Years Active: 1991-2013
Publications (10 Years): 0

Top Topics

Relational Databases

Top Venues

Publications

Maxim Rykunov, Andrey Mokhov, Danil Sokolov, Alex Yakovlev, Albert Koelmans
Design-for-adaptivity of microarchitectures. ASAP (2013)
Ashur Rafiev, Andrey Mokhov, Frank P. Burns, Julian P. Murphy, Albert Koelmans, Alex Yakovlev
Mixed Radix Reed-Muller Expansions. IEEE Trans. Computers 61 (8) (2012)
Frank P. Burns, Alexandre V. Bystrov, Albert Koelmans, Alex Yakovlev
Design and security evaluation of balanced 1-of-n circuits. IET Comput. Digit. Tech. 6 (2) (2012)
Frank P. Burns, Alexandre V. Bystrov, Albert Koelmans, Alexandre Yakovlev
Security Evaluation of Balanced 1-of- n Circuits. IEEE Trans. Very Large Scale Integr. Syst. 19 (11) (2011)
James Docherty, Albert Koelmans
A flexible hardware implementation of SHA-1 and SHA-2 Hash Functions. ISCAS (2011)
Frank P. Burns, Julian P. Murphy, Albert Koelmans, Alexandre Yakovlev
Efficient advanced encryption standard implementation using lookup and normal basis. IET Comput. Digit. Tech. 3 (3) (2009)
Delong Shang, Chi-Hoon Shin, Ping Wang, Fei Xia, Albert Koelmans, Myeong-Hoon Oh, Seongwoon Kim, Alexandre Yakovlev
Asynchronous Functional Coupling for Low Power Sensor Network Processors. PATMOS (2007)
Delong Shang, Alexandre Yakovlev, Albert Koelmans, Danil Sokolov, Alexandre V. Bystrov
Registers for Phase Difference Based Logic. IEEE Trans. Very Large Scale Integr. Syst. 15 (6) (2007)
Frank P. Burns, Julian P. Murphy, Delong Shang, Albert Koelmans, A. Yakorlev
Dynamic global security-aware synthesis using SystemC. IET Comput. Digit. Tech. 1 (4) (2007)
Frank P. Burns, Delong Shang, Albert Koelmans, Alexandre Yakovlev
An Asynchronous Synthesis Toolset Using Verilog. DATE (2004)
Delong Shang, Frank P. Burns, Alexandre V. Bystrov, Albert Koelmans, Danil Sokolov, Alexandre Yakovlev
A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits. PATMOS (2004)
Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. 16 (3) (2001)
Frank P. Burns, Albert Koelmans, Alexandre Yakovlev
WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets. Real Time Syst. 18 (2/3) (2000)
Fei Xia, Alexandre Yakovlev, Delong Shang, Alexandre V. Bystrov, Albert Koelmans, D. J. Kinniment
Asynchronous Communication Mechanisms Using Self-Timed Circuits. ASYNC (2000)
Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
On developing and verifying design abstractions for reliable concurrent programming in Ada. IRTAW (2000)
Lee Lloyd, Keith Heron, Albert Koelmans, Alexandre Yakovlev
Asynchronous microprocessors: From high level model to FPGA implementation. J. Syst. Archit. 45 (12-13) (1999)
Frank P. Burns, Albert Koelmans, Alexandre Yakovlev
Analysing Superscalar Processor Architectures with Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2 (2) (1998)
Alexei L. Semenov, Albert Koelmans, Lee Lloyd, Alexandre Yakovlev
Designing an asynchronous processor using Petri nets. IEEE Micro 17 (2) (1997)
Alexandre Yakovlev, Albert Koelmans, Alexei L. Semenov, D. J. Kinniment
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integr. 21 (3) (1996)
J. N. Coleman, Frank P. Burns, D. J. Kinniment, T. J. Butler, Albert Koelmans
A self-taught computer engineering course. ACSE (1996)
Alexandre Yakovlev, Albert Koelmans, Luciano Lavagno
High-Level Modeling and Design of Asynchronous Interface Logic. IEEE Des. Test Comput. 12 (1) (1995)
D. J. Kinniment, Albert Koelmans
Modelling and Verification of Timing Conditions with the Boyer Moore Prover. TPCD (1992)
Frank P. Burns, D. J. Kinniment, Albert Koelmans
Correct interactive transformational synthesis of DSP hardware. EURO-DAC (1991)