• 103 Citations
1978 …2011

Research output per year

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

Research Output

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

17 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

4 Citations (Scopus)
2004

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
97 Downloads (Pure)
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

1999

A framework for component based software architectures

Hee, van, K. M., Toorn, van der, R. A., Woude, van der, J. C. S. P. & Verkoulen, P. A. C., 1999, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computing science reports; vol. 9913)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)
Open Access
File
38 Downloads (Pure)
1998
1997

A calculational approach to mathematical induction

Doornbos, H., Backhouse, R. C. & Woude, van der, J. C. S. P., 1997, In : Theoretical Computer Science. 179, 1-2, p. 103-135

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
40 Citations (Scopus)
4 Downloads (Pure)
1995

A wheel ! (but relationally)

Woude, van der, J. C. S. P., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 329-334

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

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)

Fixed-point calculus

Aarts, C., Backhouse, R. C., Boiten, E. A., Doornbos, H., Gasteren, van, A. J. M., Geldrop - van Eijk, van, H. P. J., Hoogendijk, P. F., Voermans, T. S. & Woude, van der, J. C. S. P., 1995, In : Information Processing Letters. 53, 3, p. 131-136

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
3 Downloads (Pure)
1993

Demonic operators and monotype factors

Backhouse, R. C. & Woude, van der, J. C. S. P., 1993, In : Mathematical Structures in Computer Science. 3, 4, p. 417-433

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

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

1992

A relational theory of datatypes

Aarts, C. J., Backhouse, R. C., Hoogendijk, P. F., Voermans, T. S. & van der Woude, J., Dec 1992, Eindhoven: Technische Universiteit Eindhoven. 387 p.

Research output: Book/ReportReportAcademic

Open Access
File
35 Downloads (Pure)

Demonic operators and monotype factors

Backhouse, R. C. & Woude, van der, J. C. S. P., 1992, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9211)

Research output: Book/ReportReportAcademic

Open Access
File
163 Downloads (Pure)
1991

A tribute to attributes

Woude, van der, J. C. S. P. & Meertens, L. G. L. T., 1991, In : The Squiggolist. 2, 1, p. 10-15

Research output: Contribution to journalArticleProfessional

Open Access
File
25 Downloads (Pure)

Free style spec wrestling : demonic composition and choice

Woude, van der, J. C. S. P., 1991, Lambert Meertens et CWI : Liber Amicorum 1966-1991. Jeuring, J. (ed.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 110-115

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Downloads (Pure)

Free style spec wrestling II : preorders

Woude, van der, J. C. S. P. & Meertens, L. G. L. T., 1991, In : The Squiggolist. 2, 2, p. 48-53

Research output: Contribution to journalArticleProfessional

Open Access
File
40 Downloads (Pure)

Plat-etudes for Carel ende Elegance

Woude, van der, J. C. S. P., 1991, C.S. Scholten dedicata : van oude machines en nieuwe denkwijzen. Feijen, W. H. J. & Gasteren, van, A. J. M. (eds.). Schoonhoven: Academic Service, p. 229-237

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Relational catamorphisms

Backhouse, R. C., Bruin, de, P. J., Malcolm, G. R., Voermans, T. S. & Woude, van der, J. C. S. P., 1991, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computing science notes; vol. 9111)

Research output: Book/ReportReportAcademic

Open Access
File
139 Downloads (Pure)
1990

Calculations with relations, an example

Woude, van der, J. C. S. P., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (eds.). Berlin: Springer, p. 435-441 (Texts and monographs in computer science).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

The problem of the majority network

Bijlsma, A., Bulterman, R. W., Feijen, W. H. J., Scholten, C. S. & Woude, van der, J. C. S. P., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (eds.). Berlin: Springer, p. 112-118 (Texts and monographs in computer science).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1989

Optimal segmentations

Woude, van der, J. C. S. P., 1989, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computing science notes; vol. 8915)

Research output: Book/ReportReportAcademic

Open Access
File
25 Downloads (Pure)

Playing with patterns, searching for strings

Woude, van der, J. C. S. P., 1989, In : Science of Computer Programming. 12, 3, p. 177-190

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
3 Citations (Scopus)

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

1987

Connectedness related to almost periodicity of compositions of flow homomorphisms

McMahon, D. C., Woude, van der, J. C. S. P. & Wu, T. S., 1987, In : Pacific Journal of Mathematics. 128, 1, p. 127-148 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Playing with patterns, searching for strings

Woude, van der, J. C. S. P., 1987, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science notes; vol. 8713)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)
1986

Topological dynamix

Woude, van der, J. C. S. P., 1986, Amsterdam: Centrum voor Wiskunde en Informatica. 298 p. (CWI tracts; vol. 22)

Research output: Book/ReportBookAcademic

1985

Characterizations of (H)PI extensions

Woude, van der, J. C. S. P., 1985, In : Pacific Journal of Mathematics. 120, 2, p. 453-467 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
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

Invariant measures and the equicontinuous structure relation. I

Vries, de, J. & Woude, van der, J. C. S. P., 1984, Amsterdam: Centrum voor Wiskunde en Informatica. 12 p. (CWI Report; vol. PM-R8403)

Research output: Book/ReportReportAcademic

Invariant measures and the equicontinuous structure relation. II: the relative case

Vries, de, J. & Woude, van der, J. C. S. P., 1984, Amsterdam: Centrum voor Wiskunde en Informatica. 15 p. (CWI Report; vol. PM-R8404)

Research output: Book/ReportReportAcademic

Invariant measures and the equicontinuous structure relation. II: the relative case

Vries, de, J. & Woude, van der, J. C. S. P., 1984, In : Rendiconti del Circolo Matemàtico di Palermo, Serie II. Suppl., 6, p. 291-306

Research output: Contribution to journalArticleAcademicpeer-review

Weak disjointness and the equicontinuous structure relation

Auslander, J., McMahon, D. C. & Woude, van der, J. C. S. P., 1984, In : Ergodic Theory and Dynamical Systems. 4, p. 323-351

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
1981

Maximally highly proximal generators of minimal flows

Auslander, J. & Woude, van der, J. C. S. P., 1981, In : Ergodic Theory and Dynamical Systems. 1, p. 389-412

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
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)