| Petri nets and digital hardware design AV Yakovlev, AM Koelmans Advanced Course on Petri Nets, 154-236, 1996 | 82 | 1996 |
| 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 | 79 | 1995 |
| 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 | 77 | 1998 |
| 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 | 72 | 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 | 40 | 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 | 39 | 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 | 30 | 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 | 29 | 2004 |
| Designing an asynchronous processor using Petri nets A Semenov, AM Koelmans, L Lloyd, A Yakovlev IEEE Micro 17 (2), 54-64, 1997 | 29 | 1997 |
| Balancing power signature in secure systems A Bystrov, D Sokolov, A Yakovlev, A Koelmans Proc. 14th UK Asynchronous Forum 2003, 2003 | 22 | 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 | 17 | 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 | 17 | 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 | 17 | 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 | 16 | 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 | 16 | 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 | 14 | 2009 |
| Applying Petri nets to systems biology using XML technologies O Shaw, A Koelmans, J Steggles, A Wipat TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE, 2004 | 13 | 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 | 12 | 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 | 12 | 2000 |
| A fifo buffer with non-blocking interface A Yakovlev, DJ Kinniment, F Xia, AM Koelmans TCVLSI Technical Bulletin, 11-14, 1998 | 10 | 1998 |
