Cornelis Pronk

Kees Pronk

	2009
15		Paul Taverne, Cornelis Pronk: RAFFS: Model Checking a Robust Abstract Flash File Store. ICFEM 2009: 226-245
	2005
14		Peter van der Spek, Nico Plat, Cornelis Pronk: Syntax error repair for a Java-based parser generator. SIGPLAN Notices 40(4): 47-50 (2005)
	2003
13		Cornelis Pronk, Martin Schönhacker: Formal definition of programming language standards. SIGPLAN Notices 38(8): 20-21 (2003)
	2000
12		Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij: Specification of Real-Time Systems in UML. Electr. Notes Theor. Comput. Sci. 39(3): (2000)
	1997
11		Peter G. Kluit, Cornelis Pronk, Rob Verver: Static Type Checking and Method Lookup in Plop!. JMLC 1997: 155-169
10		Cornelis Pronk, Richard J. Sutcliffe: Scalable Modules in Generic Modula-2. JMLC 1997: 310-320
9		Cornelis Pronk, Martin Schönhacker, Richard J. Sutcliffe, A. Wiedemann: Standardized Extensions to Modula-2. SIGPLAN Notices 32(11): 34-48 (1997)
	1996
8		B. Noorduin, Jan van Katwijk, Cornelis Pronk: Gnass: a Gnat-based allocation and scheduling system. RTCSA 1996: 278-285
7		Cornelis Pronk, Martin Schönhacker: ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects. SIGPLAN Notices 31(8): 74-83 (1996)
6		Martin Schönhacker, Cornelis Pronk: ISO/IEC 10514-1, the Standard for Molula-2: Changes, Clarifications and Additions. SIGPLAN Notices 31(8): 84-95 (1996)
	1995
5		Frans Ververs, Cornelis Pronk: On the Interaction between Metrics and Patterns. OOIS 1995: 303-314
	1992
4		Cornelis Pronk: Stress Testing of Compilers for Modula-2. Softw., Pract. Exper. 22(10): 885-897 (1992)
	1991
3		Nico Plat, Kees Pronk, Marcel Verhoef: The Delft VDM-SL Front-End. VDM Europe (1) 1991: 677-680
2		Nico Plat, Jan van Katwijk, Kees Pronk: A Case for Structured Analysis/Formal Design. VDM Europe (1) 1991: 81-105
	1990
1		Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel: Type Checking BSI/VDM-SL. VDM Europe 1990: 399-425

Coauthor Index

1	Ronald Huijsman	[1]
2	Jan van Katwijk	[1] [2] [8] [12]
3	Peter G. Kluit	[11]
4	B. Noorduin	[8]
5	Gertjan van Oosten	[1]
6	Nico Plat	[1] [2] [3] [14]
7	Ruud C. M. de Rooij	[12]
8	Ella E. Roubtsova	[12]
9	Martin Schönhacker	[6] [7] [9] [13]
10	Peter van der Spek	[14]
11	Richard J. Sutcliffe	[9] [10]
12	Paul Taverne	[15]
13	Hans Toetenel (W. J. Toetenel)	[1] [12]
14	Marcel Verhoef	[3]
15	Rob Verver	[11]
16	Frans Ververs	[5]
17	A. Wiedemann	[9]

Colors in the list of coauthors