Albert Koelmans

	2007
13		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: 53-63
12		Delong Shang, Alexandre Yakovlev, Albert Koelmans, Danil Sokolov, Alexandre V. Bystrov: Registers for Phase Difference Based Logic. IEEE Trans. VLSI Syst. 15(6): 720-724 (2007)
	2004
11		Frank P. Burns, Delong Shang, Albert Koelmans, Alexandre Yakovlev: An Asynchronous Synthesis Toolset Using Verilog. DATE 2004: 724-725
10		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: 471-480
	2001
9		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): 173-182 (2001)
	2000
8		Fei Xia, Alexandre Yakovlev, Delong Shang, Alexandre V. Bystrov, Albert Koelmans, D. J. Kinniment: Asynchronous Communication Mechanisms Using Self-Timed Circuits. ASYNC 2000: 150-
7		Frank P. Burns, Albert Koelmans, Alexandre Yakovlev: WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets. Real-Time Systems 18(2/3): 275-288 (2000)
	1999
6		L. Lloyd, Keith Heron, Albert Koelmans, Alexandre Yakovlev: Asynchronous microprocessors: From high level model to FPGA implementation. Journal of Systems Architecture 45(12-13): 975-1000 (1999)
	1998
5		Frank P. Burns, Albert Koelmans, Alexandre Yakovlev: Analysing Superscalar Processor Architectures with Coloured Petri Nets. STTT 2(2): 182-191 (1998)
	1996
4		J. N. Coleman, Frank P. Burns, D. J. Kinniment, T. J. Butler, Albert Koelmans: A self-taught computer engineering course. ACSE 1996: 7-12
3		Alexandre Yakovlev, Albert Koelmans, Alexei L. Semenov, D. J. Kinniment: Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integration 21(3): 143-170 (1996)
	1995
2		Alexandre Yakovlev, Albert Koelmans, Luciano Lavagno: High-Level Modeling and Design of Asynchronous Interface Logic. IEEE Design & Test of Computers 12(1): 32-40 (1995)
	1992
1		D. J. Kinniment, Albert Koelmans: Modelling and Verification of Timing Conditions with the Boyer Moore Prover. TPCD 1992: 111-127

Coauthor Index

1	Alan Burns	[9]
2	Frank P. Burns	[4] [5] [7] [9] [10] [11]
3	T. J. Butler	[4]
4	Alexandre V. Bystrov	[8] [10] [12]
5	J. N. Coleman	[4]
6	Keith Heron	[6]
7	Seongwoon Kim	[13]
8	David Kinniment (D. J. Kinniment)	[1] [3] [4] [8]
9	Maciej Koutny	[9]
10	Luciano Lavagno	[2]
11	L. Lloyd	[6]
12	Myeong-Hoon Oh	[13]
13	Alexander Romanovsky (Alexander B. Romanovsky)	[9]
14	Alexei L. Semenov	[3]
15	Delong Shang	[8] [10] [11] [12] [13]
16	Chi-Hoon Shin	[13]
17	Danil Sokolov	[10] [12]
18	Ping Wang	[13]
19	Andy J. Wellings	[9]
20	Fei Xia	[8] [13]
21	Alexandre Yakovlev	[2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13]