Research Output per year
Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 30 Similar Profiles
Research Output 1978 2011
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
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
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
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), DAIMI PB-553. Moldt, D. (ed.). Aarhus, Denmark: University of Aarhus, p. 121-132Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Courses
Student theses
(Data) refinement calculus met stack voorbeelden
Author: Andree, H., 31 Oct 1990Supervisor: Kaldewaij, A. (Supervisor 1) & van der Woude, J. (Supervisor 2)
Student thesis: Master
Cylindrische componenten calculus
Author: van Gool, L., 30 Apr 2000Supervisor: van der Woude, J. (Supervisor 1)
Student thesis: Master
ExSpecT op het spoor
Author: Verhagen, G., 31 Jul 1997Supervisor: 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 2007Supervisor: Chaudron, M. (Supervisor 1), Voorhoeve, M. (Supervisor 2), Klomp, A. (External person) (Supervisor 2) & van der Woude, J. (Supervisor 2)
Student thesis: Master
Traces : two approaches
Author: van Vianen, H., 31 Dec 1988Supervisor: Rem, M. (Supervisor 1) & van der Woude, J. (Supervisor 2)
Student thesis: Master