Pieter W. M. Koopman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2005–2025
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PPDP | Shallowly Embedded Functions. | Benedikt M. Rips, Niek Janssen, Mart Lubbers, Pieter W. M. Koopman |
| 2023 | PPDP | Strongly-Typed Multi-View Stack-Based Computations. | Pieter W. M. Koopman, Mart Lubbers |
| 2018 | CGO | A Task-Based DSL for Microcomputers. | Pieter W. M. Koopman, Mart Lubbers, Rinus Plasmeijer |
| 2013 | IJCAI | Inference for a New Probabilistic Constraint Logic. | Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman |
| 2012 | PPDP | Task-oriented programming in a pure functional language. | Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman |
| 2011 | PEPM | 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 |
| 2010 | HASKELL | 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 |
| 2008 | ICST | Testing and Validating the Quality of Specifications. | Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer |
| 2008 | PADL | Model-Based Testing of Thin-Client Web Applications and Navigation Input. | Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer |
| 2008 | PPDP | Declarative Ajax and client side evaluation of workflows using iTasks. | Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten |
| 2007 | ICFP | iTasks: executable specifications of interactive work flow systems for the web. | Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman |
| 2006 | APLAS | Automatic Testing of Higher Order Functions. | Pieter W. M. Koopman, Rinus Plasmeijer |
| 2005 | SEC | On-the-Fly Formal Testing of a Smart Card Applet. | Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans |