Photo of Jaap C.S.P. Woude van der
  

View Scopus Profile

Jaap C.S.P. van der Woude

dr.

  • 100 Citations
1978 …2011

Research output per year

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.

  • 37 Similar Profiles

Research Output

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

    • 16 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

    • 3 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

    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

    Student theses

    (Data) refinement calculus met stack voorbeelden

    Author: Andree, H., 31 Oct 1990

    Supervisor: Kaldewaij, A. (Supervisor 1) & van der Woude, J. (Supervisor 2)

    Student thesis: Master

    Cylindrische componenten calculus

    Author: van Gool, L., 30 Apr 2000

    Supervisor: van der Woude, J. (Supervisor 1)

    Student thesis: Master

    File

    ExSpecT op het spoor

    Author: Verhagen, G., 31 Jul 1997

    Supervisor: Somers, L. (Supervisor 1) & van der Woude, J. (Supervisor 2)

    Student thesis: Master

    Quality-oriented exploration techniques for component-based architectures

    Author: Zhang, J., 10 Sep 2007

    Supervisor: Chaudron, M. (Supervisor 1), Voorhoeve, M. (Supervisor 2), Klomp, A. (External person) (Supervisor 2) & van der Woude, J. (Supervisor 2)

    Student thesis: Master

    File

    Traces : two approaches

    Author: van Vianen, H., 31 Dec 1988

    Supervisor: Rem, M. (Supervisor 1) & van der Woude, J. (Supervisor 2)

    Student thesis: Master