• 99 Citations
1978 …2011
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.

  • 43 Similar Profiles
Algebra Engineering & Materials Science
Information systems Engineering & Materials Science
Specification languages Engineering & Materials Science
Industry Engineering & Materials Science

Research Output 1978 2011

16 Citations (Scopus)
3 Downloads (Pure)

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 proceedingConference contributionAcademicpeer-review

Algebra
Information systems
Industry
Specifications
3 Citations (Scopus)

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 proceedingConference contributionAcademicpeer-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/ReportReportAcademic

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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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