• 98 Citations
1978 …2011
If you made any changes in Pure these will be visible here soon.

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
Algebra Engineering & Materials Science
Information systems Engineering & Materials Science
Specification languages Engineering & Materials Science
Industry Engineering & Materials Science

Research Output 1978 2011

15 Citations (Scopus)

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), DAIMI PB-553. Moldt, D. (ed.). Aarhus, Denmark: University of Aarhus, p. 121-132

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Courses

Declarative Programming

1/09/18 → …

Course

Declarative Programming

1/09/16 → …

Course

Discrete structures

1/09/1331/08/19

Course

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