Jaap C.S.P. Woude, van der

View Scopus Profile

Jaap C.S.P. van der Woude

dr.

  • 105
    Citations - based on content available in repository, source: Scopus
1978 …2011

Content available in repository

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Jaap C.S.P. van der Woude is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

  • Ampersand: Applying relation algebra in practice

    Michels, G., Joosten, S. J. C., Woude, van der, J. C. S. P. & Joosten, S. M. M., 2011, Relational and Algebraic Methods in Computer Science (12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30–June 3, 2011. Proceedings). Swart, de, H. (ed.). Berlin: Springer, p. 280-293 (Lecture Notes in Computer Science; vol. 6663).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    17 Citations (Scopus)
    3 Downloads (Pure)

  • Relational heterogeneity relaxed by subtyping

    Woude, van der, J. C. S. P. & Joosten, S. M. M., 2011, Relational and Algebraic Methods in Computer Science (12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30–June 3, 2011. Proceedings). Swart, de, H. (ed.). Berlin: Springer, p. 347-361 (Lecture Notes in Computer Science; vol. 6663).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)

  • Inductive sets, the algebraic way

    Geldrop - van Eijk, van, H. P. J. & Woude, van der, J. C. S. P., 2004, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0442)

    Research output: Book/Report › Report › Academic

    Open Access
    File
    342 Downloads (Pure)

  • Design based learning in the curriculum of computing science : a skilful struggle

    Perrenet, J. C., Aerts, A. T. M. & Woude, van der, J. C. S. P., 2003, Proceedings International Conference on Engineering Education (ICEE 2003, Valencia, Spain, July 22-26, 2003). p. ...-...

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • A calculus of Petri net components

    Sidorova, N., Voorhoeve, M. & Woude, van der, J. C. S. P., 2001, Modelling of Objects, Components, and Agents (Proceedings MOCA'01, Aarhus, Denmark, August 2001). Moldt, D. (ed.). Aarhus, Denmark: University of Aarhus, p. 121-132 (DAIMI PB; vol. 553).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

View all 38 research outputs