Albert Koelmans

According to our database, Albert Koelmans authored at least 23 papers between 1991 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Design-for-adaptivity of microarchitectures.

Maxim Rykunov, Andrey Mokhov, Danil Sokolov, Alex Yakovlev, Albert Koelmans

Proceedings of the 24th International Conference on Application-Specific Systems, 2013

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 and security evaluation of balanced 1-of-n circuits.

Frank P. Burns, Alexandre V. Bystrov, Albert Koelmans, Alex Yakovlev

IET Comput. Digit. Tech., 2012

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

A flexible hardware implementation of SHA-1 and SHA-2 Hash Functions.

James Docherty, Albert Koelmans

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

2009

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

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

Dynamic global security-aware synthesis using SystemC.

Frank P. Burns, Julian P. Murphy, Delong Shang, Albert Koelmans, A. Yakorlev

IET Comput. Digit. Tech., 2007

Asynchronous Functional Coupling for Low Power Sensor Network Processors.

Delong Shang, Chi-Hoon Shin, Ping Wang, Fei Xia, Albert Koelmans, Myeong-Hoon Oh, Seongwoon Kim, Alexandre Yakovlev

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2007

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

Proceedings of the Integrated Circuit and System Design, 2004

An Asynchronous Synthesis Toolset Using Verilog.

Frank P. Burns, Delong Shang, Albert Koelmans, Alexandre Yakovlev

Proceedings of the 2004 Design, 2004

2001

Modelling and verification of an atomic action protocol implemented in Ada.

Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev

Comput. Syst. Sci. Eng., 2001

2000

WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets.

Frank P. Burns, Albert Koelmans, Alexandre Yakovlev

Real Time Syst., 2000

On developing and verifying design abstractions for reliable concurrent programming in Ada.

Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Asynchronous Communication Mechanisms Using Self-Timed Circuits.

Fei Xia, Alexandre Yakovlev, Delong Shang, Alexandre V. Bystrov, Albert Koelmans, D. J. Kinniment

Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000

1999

Asynchronous microprocessors: From high level model to FPGA implementation.

Lee Lloyd, Keith Heron, Albert Koelmans, Alexandre Yakovlev

J. Syst. Archit., 1999

1998

Analysing Superscalar Processor Architectures with Coloured Petri Nets.

Frank P. Burns, Albert Koelmans, Alexandre Yakovlev

Int. J. Softw. Tools Technol. Transf., 1998

1997

Designing an asynchronous processor using Petri nets.

Alexei L. Semenov, Albert Koelmans, Lee Lloyd, Alexandre Yakovlev

IEEE Micro, 1997

1996

Modelling, analysis and synthesis of asynchronous control circuits using Petri nets.

Alexandre Yakovlev, Albert Koelmans, Alexei L. Semenov, D. J. Kinniment

Integr., 1996

A self-taught computer engineering course.

J. N. Coleman, Frank P. Burns, D. J. Kinniment, T. J. Butler, Albert Koelmans

Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1995

High-Level Modeling and Design of Asynchronous Interface Logic.

Alexandre Yakovlev, Albert Koelmans, Luciano Lavagno

IEEE Des. Test Comput., 1995

1992

Modelling and Verification of Timing Conditions with the Boyer Moore Prover.

D. J. Kinniment, Albert Koelmans

Proceedings of the Theorem Provers in Circuit Design, 1992

1991

Correct interactive transformational synthesis of DSP hardware.

Frank P. Burns, D. J. Kinniment, Albert Koelmans

Proceedings of the conference on European design automation, 1991