The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pieter W. M. Koopman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pieter W. M. Koopman, Rinus Plasmeijer
    Automatic Testing of Higher Order Functions. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:148-164 [Conf]
  2. Pieter W. M. Koopman
    Testing with Functions as Specifications. [Citation Graph (0, 0)][DBLP]
    Perspectives of Model-Based Testing, 2004, pp:- [Conf]
  3. Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
    Model-Based Testing of Thin-Client Web Applications. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:115-132 [Conf]
  4. Pieter W. M. Koopman, Vincent Zweije
    Functional Programming in a Basic Database Course. [Citation Graph (0, 0)][DBLP]
    FPLE, 1995, pp:215-229 [Conf]
  5. Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer
    Gast: Generic Automated Software Testing. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:84-100 [Conf]
  6. Pieter W. M. Koopman, Marinus J. Plasmeijer
    Efficient Combinator Parsers. [Citation Graph (0, 0)][DBLP]
    IFL, 1998, pp:120-136 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:158-175 [Conf]
  8. Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans
    On-the-Fly Formal Testing of a Smart Card Applet. [Citation Graph (0, 0)][DBLP]
    SEC, 2005, pp:565-576 [Conf]
  9. Pieter W. M. Koopman, Rinus Plasmeijer
    Fully Automatic Testing with Functions as Specifications. [Citation Graph (0, 0)][DBLP]
    CEFP, 2005, pp:35-61 [Conf]
  10. Pieter W. M. Koopman
    Interactive Programs in a Functional Language: A Functional Implementation of an Editor. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1987, v:17, n:9, pp:609-622 [Journal]
  11. Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
    Operational Machine Specification in a Functional Programming Language. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:5, pp:463-499 [Journal]
  12. Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman
    iTasks: executable specifications of interactive work flow systems for the web. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:141-152 [Conf]
  13. Pieter W. M. Koopman, Rinus Plasmeijer
    Testing reactive systems with GAST. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2003, pp:111-129 [Conf]
  14. Pieter W. M. Koopman, Rinus Plasmeijer
    Generic generation of the elements of data types. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:163-178 [Conf]
  15. Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer
    Efficient interpretation by transforming data types and patterns to functions. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:73-90 [Conf]
  16. Pieter W. M. Koopman, Rinus Plasmeijer
    Systematic synthesis of functions. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:35-54 [Conf]

  17. An iTask Case Study: A Conference Management System. [Citation Graph (, )][DBLP]


  18. Model-Based Testing of Thin-Client Web Applications and Navigation Input. [Citation Graph (, )][DBLP]


  19. Declarative Ajax and client side evaluation of workflows using iTasks. [Citation Graph (, )][DBLP]


  20. Validating Specifications for Model-Based Testing. [Citation Graph (, )][DBLP]


  21. An Introduction to iTasks: Defining Interactive Work Flows for the Web. [Citation Graph (, )][DBLP]


  22. From Interpretation to Compilation. [Citation Graph (, )][DBLP]


  23. Synthesis of Functions Using Generic Programming. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002