• 100 Citations
1978 …2011

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
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 proceedingConference contributionAcademicpeer-review

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

3 Citations (Scopus)
2003

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

2001

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

1995

Categorical fixed point calculus

Backhouse, R. C., Bijsterveld, M. L. L., Geldrop - van Eijk, van, H. P. J. & Woude, van der, J. C. S. P., 1995, Category Theory and Computer Science (Proceedings 6th International Conference, CTCS'96, Cambridge, UK, August 7-11, 1995). Pitt, D. H., Rydeheard, D. E. & Johnstone, P. (eds.). Berlin: Springer, p. 159-179 (Lecture Notes in Computer Science; vol. 953).

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

25 Citations (Scopus)
1 Downloads (Pure)
1993

Polynomial relators (extended abstract)

Backhouse, R. C., Bruin, de, P. J., Hoogendijk, P. F., Malcolm, G. R., Voermans, T. S. & Woude, van der, J. C. S. P., 1993, Algebraic Methodology and Software Technology (AMAST'91) :Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, May 22-25, 1991. Nivat, M., Rattray, C., Rus, T. & Scollo, G. (eds.). Berlin: Springer, p. 303-326 (Workshops in Computing).

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

1989

Rabbitcount := Rabbitcount - 1

Woude, van der, J. C. S. P., 1989, Mathematics of program construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings. van de Snepscheut, J. L. A. (ed.). Berlin: Springer, p. 409-420 12 p. (Lecture Notes in Computer Science (LNCS); vol. 375).

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

1984

Invariant measures and the equicontinuous structure relation. I

Vries, de, J. & Woude, van der, J. C. S. P., 1984, Topology and Measure IV (Proceedings 4th Conference, Trassenheide, GDR, October 15-23, 1983, Part 2, Wissenschaftliche Beiträge der Ernst-Moritz-Arndt-Universität Greifswald. Flachsmeyer, J. & et al., X. (eds.). p. 242-253

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

1979

Disjointness and quasifactors in topological dynamics

Woude, van der, J. C. S. P., 1979, Topological Structures II (Proceedings Symposium, Amsterdam, The Netherlands, October 31-November 2, 1978), Part 2. Baayen, P. C. & Mill, van, J. (eds.). Amsterdam: Stichting Mathematisch Centrum, p. 363-382 (Mathematical Centre Tracts; vol. 116).

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

1978

Toepassingen van meetkunde in differentiaalvergelijkingen

van der Woude, J. C. S. P., 1978, Meetkunde : van kunst tot kunde, vroeger en nu: vacantiecursus 1978 Stichting Mathematisch Centrum. Amsterdam: Stichting Mathematisch Centrum, p. 85-103

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

1 Downloads (Pure)