Pieter Koopman

Applying Bayesian Networks for Intelligent Adaptable Printing Systems

Peter J. F. Lucas, Arjen Hommersom, Rene Waarsing, 2011, Solutions on Embedded Systems.

Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors

Marinus J. Plasmeijer, Pieter Koopman, M. J. Plasmeijer, 2015, CEFP.

On-the-Fly Formal Testing of a Smart Card Applet

Jan Tretmans, Arjen van Weelden, Pieter Koopman, 2004 .

Multitasking on Microcontrollers using Task Oriented Programming

Marinus J. Plasmeijer, Pieter Koopman, Mart Lubbers, 2019, 2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO).

Implementation of Functional Languages

J. van Leeuwen, Jan van Leeuwen, Pieter Koopman, 1999, Lecture Notes in Computer Science.

Inference for a New Probabilistic Constraint Logic

Peter J. F. Lucas, Arjen Hommersom, Steffen Michels, 2013, IJCAI.