Albert Koelmans
Albert Koelmans
Lecturer in Computer Engineering, Newcastle University
Verified email at - Homepage
Cited by
Cited by
Petri nets and digital hardware design
AV Yakovlev, AM Koelmans
Advanced Course on Petri Nets, 154-236, 1996
Effectiveness of computer-aided learning as a direct replacement for lecturing in degree-level electronics
JN Coleman, DJ Kinniment, FP Burns, TJ Butler, AM Koelmans
IEEE Transactions on Education 41 (3), 177-184, 1998
High-level modeling and design of asynchronous interface logic
AV Yakovlev, AM Koelmans, L Lavagno
IEEE Design & Test of Computers 12 (1), 32-40, 1995
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
AV Yakovlev, AM Koelmans, A Semenov, DJ Kinniment
Integration 21 (3), 143-170, 1996
High-security asynchronous circuit implementation of AES
D Shang, F Burns, A Bystrov, A Koelmans, D Sokolov, A Yakovlev
IEE Proceedings-Computers and Digital Techniques, 2006
Wcet analysis of superscalar processors using simulation with coloured petri nets
F Burns, A Koelmans, A Yakovlev
Real-Time Systems 18, 275-288, 2000
Asynchronous communication mechanisms using self-timed circuits
F Xia, A Yakovlev, D Shang, A Bystrov, A Koelmans, DJ Kinniment
Proceedings Sixth International Symposium on Advanced Research in …, 2000
Asynchronous system synthesis based on direct mapping using VHDL and Petri nets
D Shang, F Burns, A Koelmans, A Yakovlev, F Xia
IEE Proceedings-Computers and Digital Techniques 151 (3), 209-220, 2004
Designing an asynchronous processor using Petri nets
A Semenov, AM Koelmans, L Lloyd, A Yakovlev
IEEE Micro 17 (2), 54-64, 1997
Balancing power signature in secure systems
A Bystrov, D Sokolov, A Yakovlev, A Koelmans
Proc. 14th UK Asynchronous Forum 2003, 2003
Design and security evaluation of balanced 1-of-n circuits
F Burns, A Bystrov, A Koelmans, A Yakovlev
IET computers & digital techniques 6 (2), 125-135, 2012
Mixed radix reed-muller expansions
A Rafiev, A Mokhov, F Burns, J Murphy, A Koelmans, A Yakovlev
IEEE Transactions on Computers 61 (8), 1189-1202, 2011
A flexible hardware implementation of SHA-1 and SHA-2 Hash Functions
J Docherty, A Koelmans
2011 IEEE International Symposium of Circuits and Systems (ISCAS), 1932-1935, 2011
Analysing superscalar processor architectures with coloured Petri nets
FP Burns, AM Koelmans, AV Yakovlev
International Journal on Software Tools for Technology Transfer 2 (2), 182-191, 1998
STRICT: a design language for strongly typed recursive integrated circuits
RH Campbell, AM Koelmans, MR McLauchlan
IEE Proceedings I Communications, Speech and Vision [see also IEE …, 1985
Efficient advanced encryption standard implementation using lookup and normal basis
F Burns, J Murphy, A Koelmans, A Yakovlev
IET computers & digital techniques 3 (3), 270-280, 2009
Applying Petri nets to systems biology using XML technologies
O Shaw, A Koelmans, J Steggles, A Wipat
School of Computing Science Technical Report Series, 2004
An asynchronous synthesis toolset using Verilog
F Burns, D Shang, A Koelmans, A Yakovlev
Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2004
Towards modelling and verification of concurrent ada programs using petri nets
A Burns, AJ Wellings, F Burns, AM Koelmans, M Koutny, A Romanovsky, ...
DAIMI PB: Workshop Proceedings Software Engineering and Petri Nets, 115-134, 2000
A fifo buffer with non-blocking interface
A Yakovlev, DJ Kinniment, F Xia, AM Koelmans
TCVLSI Technical Bulletin, 11-14, 1998
The system can't perform the operation now. Try again later.
Articles 1–20