Research output per year
Research output per year
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.
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
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 AccessFile158 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