Pieter W. M. Koopman Vis

*	2009
25	EE	Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra: Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures Springer 2009
	2008
24	EE	Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort: An iTask Case Study: A Conference Management System. Advanced Functional Programming 2008: 306-329
23	EE	Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315
22	EE	Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten: Declarative Ajax and client side evaluation of workflows using iTasks. PPDP 2008: 56-66
21		Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Validating Specifications for Model-Based Testing. Software Engineering Research and Practice 2008: 225-231
	2007
20	EE	Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40
19	EE	Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: From Interpretation to Compilation. CEFP 2007: 286-301
18	EE	Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152
	2006
17	EE	Pieter W. M. Koopman, Rinus Plasmeijer: Automatic Testing of Higher Order Functions. APLAS 2006: 148-164
16	EE	Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132
15		Pieter W. M. Koopman, Rinus Plasmeijer: Systematic synthesis of functions. Trends in Functional Programming 2006: 35-54
14		Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: Efficient interpretation by transforming data types and patterns to functions. Trends in Functional Programming 2006: 73-90
	2005
13	EE	Pieter W. M. Koopman, Rinus Plasmeijer: Fully Automatic Testing with Functions as Specifications. CEFP 2005: 35-61
12		Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans: On-the-Fly Formal Testing of a Smart Card Applet. SEC 2005: 565-576
11		Pieter W. M. Koopman, Rinus Plasmeijer: Generic generation of the elements of data types. Trends in Functional Programming 2005: 163-178
	2004
10	EE	Pieter W. M. Koopman: Testing with Functions as Specifications. Perspectives of Model-Based Testing 2004
	2003
9		Pieter W. M. Koopman, Rinus Plasmeijer: Testing reactive systems with GAST. Trends in Functional Programming 2003: 111-129
	2002
8	EE	Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer: Gast: Generic Automated Software Testing. IFL 2002: 84-100
	2001
7		Markus Mohnen, Pieter W. M. Koopman: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers Springer 2001
	2000
6		Pieter W. M. Koopman, Chris Clack: Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers Springer 2000
5	EE	Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Polygonizing Implicit Surfaces in a Purely Functional Way. IFL 2000: 158-175
	1998
4	EE	Pieter W. M. Koopman, Marinus J. Plasmeijer: Efficient Combinator Parsers. IFL 1998: 120-136
	1995
3		Pieter W. M. Koopman, Vincent Zweije: Functional Programming in a Basic Database Course. FPLE 1995: 215-229
2		Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Operational Machine Specification in a Functional Programming Language. Softw., Pract. Exper. 25(5): 463-499 (1995)
	1987
1		Pieter W. M. Koopman: Interactive Programs in a Functional Language: A Functional Implementation of an Editor. Softw., Pract. Exper. 17(9): 609-622 (1987)

Coauthor Index

1	Peter Achten	[16] [18] [20] [21] [22] [23] [24]
2	Artem Alimarine	[8]
3	Chris Clack	[6]
4	Marko C. J. D. van Eekelen	[2] [5]
5	Lars Frantzen	[12]
6	Jan Martin Jansen	[14] [19] [22]
7	Bas Lijnse	[24]
8	Markus Mohnen	[7]
9	Thomas van Noort	[24]
10	Martijn Oostdijk	[12]
11	Marinus J. Plasmeijer (Rinus Plasmeijer)	[2] [4] [5] [8] [9] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]
12	S. Doaitse Swierstra	[25]
13	Jan Tretmans	[8] [12]
14	Arjen van Weelden	[12]
15	Thorsten H.-G. Zörner	[5]
16	Vincent Zweije	[3]

Colors in the list of coauthors