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.
- 30 Similar Profiles
Algebra
Engineering & Materials Science
Information systems
Engineering & Materials Science
Specification languages
Engineering & Materials Science
Industry
Engineering & Materials Science
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
Algebra
Information systems
Industry
Specifications
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
Algebra
Specification languages
Mathematical operators
Information systems
Chemical analysis
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
curriculum
science
role change
learning
project group
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
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
File
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
File
Traces : two approaches
Author: van Vianen, H., 31 Dec 1988Supervisor: Rem, M. (Supervisor 1) & van der Woude, J. (Supervisor 2)
Student thesis: Master