Pieter W. M. Koopman

	2011
35		Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen: iTasks for a change: type-safe run-time change in dynamically evolving workflows. PEPM 2011: 151-160
34		Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer: Generic Executable Semantics for D-Clean. Electr. Notes Theor. Comput. Sci. 279(3): 85-95 (2011)
	2010
33		John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer: Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. Haskell 2010: 49-60
32		Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten: Embedding a web-based workflow management system in a functional language. LDTA 2010: 7
31		Pieter W. M. Koopman, Rinus Plasmeijer: Testing with Functional Reference Implementations. Trends in Functional Programming 2010: 134-149
30		Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán: Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. Higher-Order and Symbolic Computation 23(4): 465-487 (2010)
	2009
29		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
28		Pieter W. M. Koopman, Rinus Plasmeijer: Synthesis of Functions Using Generic Programming. AAIP 2009: 25-49
27		Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP 2009: 224-267
	2008
26		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
25		Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman: iEditors: Extending iTask with Interactive Plug-ins. IFL 2008: 192-211
24		Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Executable and Testable Semantics for iTasks. IFL 2008: 212-232
23		Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315
22		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		Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40
19		Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: From Interpretation to Compilation. CEFP 2007: 286-301
18		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		Pieter W. M. Koopman, Rinus Plasmeijer: Automatic Testing of Higher Order Functions. APLAS 2006: 148-164
16		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		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		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		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		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		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] [26] [27] [30] [32] [33] [35]
2	Artem Alimarine	[8]
3	Chris Clack	[6]
4	Marko C. J. D. van Eekelen	[2] [5] [30]
5	Lars Frantzen	[12]
6	John H. G. van Groningen	[33] [35]
7	Jan Martin Jansen	[14] [19] [22] [25] [32]
8	Bas Lijnse	[26] [35]
9	Markus Mohnen	[7]
10	Marco T. Morazán	[30]
11	Thomas van Noort	[26] [33] [35]
12	Martijn Oostdijk	[12]
13	Marinus J. Plasmeijer (Rinus Plasmeijer)	[2] [4] [5] [8] [9] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [33] [34] [35]
14	S. Doaitse Swierstra	[29]
15	Jan Tretmans	[8] [12]
16	Arjen van Weelden	[12]
17	Thorsten H.-G. Zörner	[5]
18	Viktória Zsók	[34]
19	Vincent Zweije	[3]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page