Interactive Programs in a Functional Language: A Functional Implementation of an Editor. - Pieter W. M. Koopman (Softw. Pract. Exp., 1987)

Functional Programming in a Basic Database Course. - Pieter W. M. Koopman; Vincent Zweije (FPLE, 1995)

Operational Machine Specification in a Functional Programming Language. - Pieter W. M. Koopman; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (Softw. Pract. Exp., 1995)

Efficient Combinator Parsers. - Pieter W. M. Koopman; Marinus J. Plasmeijer (IFL, 1998)

Polygonizing Implicit Surfaces in a Purely Functional Way. - Thorsten H.-G. Zörner; Pieter W. M. Koopman; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (IFL, 2000)

Gast: Generic Automated Software Testing. - Pieter W. M. Koopman; Artem Alimarine; Jan Tretmans; Marinus J. Plasmeijer (IFL, 2002)

Testing reactive systems with GAST. - Pieter W. M. Koopman; Rinus Plasmeijer (Trends in Functional Programming, 2003)

Testing with Functions as Specifications. - Pieter W. M. Koopman (Perspectives of Model-Based Testing, 2004)

Fully Automatic Testing with Functions as Specifications. - Pieter W. M. Koopman; Rinus Plasmeijer (CEFP, 2005)

On-the-Fly Formal Testing of a Smart Card Applet. - Arjen van Weelden; Martijn Oostdijk; Lars Frantzen; Pieter W. M. Koopman; Jan Tretmans (SEC, 2005)

Generic generation of the elements of data types. - Pieter W. M. Koopman; Rinus Plasmeijer (Trends in Functional Programming, 2005)

Automatic Testing of Higher Order Functions. - Pieter W. M. Koopman; Rinus Plasmeijer (APLAS, 2006)

Model-Based Testing of Thin-Client Web Applications. - Pieter W. M. Koopman; Rinus Plasmeijer; Peter Achten (FATES/RV, 2006)

Efficient interpretation by transforming data types and patterns to functions. - Jan Martin Jansen; Pieter W. M. Koopman; Rinus Plasmeijer (Trends in Functional Programming, 2006)

Systematic synthesis of functions. - Pieter W. M. Koopman; Rinus Plasmeijer (Trends in Functional Programming, 2006)

From Interpretation to Compilation. - Jan Martin Jansen; Pieter W. M. Koopman; Rinus Plasmeijer (CEFP, 2007)

An Introduction to iTasks: Defining Interactive Work Flows for the Web. - Rinus Plasmeijer; Peter Achten; Pieter W. M. Koopman (CEFP, 2007)

iTasks: executable specifications of interactive work flow systems for the web. - Rinus Plasmeijer; Peter Achten; Pieter W. M. Koopman (ICFP, 2007)

An iTask Case Study: A Conference Management System. - Rinus Plasmeijer; Peter Achten; Pieter W. M. Koopman; Bas Lijnse; Thomas van Noort (Advanced Functional Programming, 2008)

Testing and Validating the Quality of Specifications. - Pieter W. M. Koopman; Peter Achten; Rinus Plasmeijer (ICST Workshops, 2008)

iEditors: Extending iTask with Interactive Plug-ins. - Jan Martin Jansen; Rinus Plasmeijer; Pieter W. M. Koopman (IFL, 2008)

An Executable and Testable Semantics for iTasks. - Pieter W. M. Koopman; Rinus Plasmeijer; Peter Achten (IFL, 2008)

Model-Based Testing of Thin-Client Web Applications and Navigation Input. - Pieter W. M. Koopman; Peter Achten; Rinus Plasmeijer (PADL, 2008)

Declarative Ajax and client side evaluation of workflows using iTasks. - Rinus Plasmeijer; Jan Martin Jansen; Pieter W. M. Koopman; Peter Achten (PPDP, 2008)

Validating Specifications for Model-Based Testing. - Pieter W. M. Koopman; Peter Achten; Rinus Plasmeijer (Software Engineering Research and Practice, 2008)

Synthesis of Functions Using Generic Programming. - Pieter W. M. Koopman; Rinus Plasmeijer (AAIP, 2009)

An Effective Methodology for Defining Consistent Semantics of Complex Systems. - Pieter W. M. Koopman; Rinus Plasmeijer; Peter Achten (CEFP, 2009)

Applying Bayesian networks for intelligent adaptable printing systems. - Arjen Hommersom; Peter J. F. Lucas; René Waarsing; Pieter W. M. Koopman (WISES, 2009)

Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. - John H. G. van Groningen; Thomas van Noort; Peter Achten; Pieter W. M. Koopman; Rinus Plasmeijer (Haskell, 2010)

Embedding a web-based workflow management system in a functional language. - Jan Martin Jansen; Rinus Plasmeijer; Pieter W. M. Koopman; Peter Achten (LDTA, 2010)

Testing with Functional Reference Implementations. - Pieter W. M. Koopman; Rinus Plasmeijer (Trends in Functional Programming, 2010)

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. - Peter Achten; Marko C. J. D. van Eekelen; Pieter W. M. Koopman; Marco T. Morazán (High. Order Symb. Comput., 2010)

Model Based Testing with Logical Properties versus State Machines. - Pieter W. M. Koopman; Peter Achten; Rinus Plasmeijer (IFL, 2011)

iTasks for a change: type-safe run-time change in dynamically evolving workflows. - Rinus Plasmeijer; Peter Achten; Pieter W. M. Koopman; Bas Lijnse; Thomas van Noort; John H. G. van Groningen (PEPM, 2011)

Generic Executable Semantics for D-Clean. - Viktória Zsók; Pieter W. M. Koopman; Rinus Plasmeijer (WGT@ETAPS, 2011)

Applying Bayesian Networks for Intelligent Adaptable Printing Systems. - Arjen Hommersom; Peter J. F. Lucas; René Waarsing; Pieter W. M. Koopman (Solutions on Embedded Systems, 2011)

Task-oriented programming in a pure functional language. - Rinus Plasmeijer; Bas Lijnse; Steffen Michels; Peter Achten; Pieter W. M. Koopman (PPDP, 2012)

Functional Semantics. - Pieter W. M. Koopman (The Beauty of Functional Code, 2013)

An Introduction to Task Oriented Programming. - Peter Achten; Pieter W. M. Koopman; Rinus Plasmeijer (CEFP, 2013)

Inference for a New Probabilistic Constraint Logic. - Steffen Michels; Arjen Hommersom; Peter J. F. Lucas; Marina Velikova; Pieter W. M. Koopman (IJCAI, 2013)

Model-Based Shrinking for State-Based Testing. - Pieter W. M. Koopman; Peter Achten; Rinus Plasmeijer (Trends in Functional Programming, 2013)

Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. - Pieter W. M. Koopman; Rinus Plasmeijer; Jan Martin Jansen (IFL, 2014)

Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors. - Pieter W. M. Koopman; Rinus Plasmeijer (CEFP, 2015)

A Shallow Embedded Type Safe Extendable DSL for the Arduino. - Pieter W. M. Koopman; Rinus Plasmeijer (TFP, 2015)

A Task-Based DSL for Microcomputers. - Pieter W. M. Koopman; Mart Lubbers; Rinus Plasmeijer (RWDSL@CGO, 2018)

Task Oriented Programming and the Internet of Things. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (IFL, 2018)

Writing Internet of Things Applications with Task Oriented Programming. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (CEFP, 2019)

A new view on parser combinators. - Pieter W. M. Koopman; Rinus Plasmeijer (IFL, 2019)

Interpreting task oriented programs on tiny computers. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (IFL, 2019)

Multitasking on Microcontrollers using Task Oriented Programming. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (MIPRO, 2019)

Tiered versus tierless IoT stacks: comparing smart campus software architectures. - Mart Lubbers; Pieter W. M. Koopman; Adrian Ramsingh; Jeremy Singer; Phil Trinder (IOT, 2020)

Personal Prof: Automatic Code Review for Java Assignments. - Markus Klinik; Pieter W. M. Koopman; Rick van der Wal (CSERC, 2021)

Dynamic Editors for Well-Typed Expressions. - Pieter W. M. Koopman; Steffen Michels; Rinus Plasmeijer (TFP, 2021)

First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (IFL, 2022)

Reducing the Power Consumption of IoT with Task-Oriented Programming. - Sjoerd Crooijmans; Mart Lubbers; Pieter W. M. Koopman (TFP, 2022)

SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes. - Pieter W. M. Koopman; Mart Lubbers; João Paulo Fernandes (CoRR, 2022)

Writing Internet of Things Applicatations with Task-Oriented Programming. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (CoRR, 2022)

Strongly-Typed Multi-View Stack-Based Computations. - Pieter W. M. Koopman; Mart Lubbers (PPDP, 2023)

Could Tierless Languages Reduce IoT Development Grief? - Mart Lubbers; Pieter W. M. Koopman; Adrian Ramsingh; Jeremy Singer; Phil Trinder (ACM Trans. Internet Things, 2023)

Compositional Views in Compositional Images - Category: Research -. - Peter Achten; Pieter W. M. Koopman (TFP, 2024)