• 103 Citaties
1978 …2011

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

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. (redactie). Berlin: Springer, blz. 280-293 (Lecture Notes in Computer Science; vol. 6663).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

17 Citaten (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. (redactie). Berlin: Springer, blz. 347-361 (Lecture Notes in Computer Science; vol. 6663).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (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 blz. (Computer science reports; vol. 0442)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
92 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). blz. ...-...

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Aarhus, Denmark: University of Aarhus, blz. 121-132 (DAIMI PB; vol. 553).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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 blz. (Computing science reports; vol. 9913)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
34 Downloads (Pure)
Open Access
Bestand
38 Downloads (Pure)
1998

Tallis, besturingsprogramma voor treinbaan

Verbeek, H. M. W., Woude, van der, J. C. S. P., Somers, L. J. A. M. & De Bra, P. M. E., 1998

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

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, blz. 103-135

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
40 Citaten (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. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 329-334

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

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. (redactie). Berlin: Springer, blz. 159-179 (Lecture Notes in Computer Science; vol. 953).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

25 Citaten (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, blz. 131-136

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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, blz. 417-433

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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. (redactie). Berlin: Springer, blz. 303-326 (Workshops in Computing).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
35 Downloads (Pure)

Demonic operators and monotype factors

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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, blz. 10-15

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Open Access
Bestand
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. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 110-115

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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, blz. 48-53

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Open Access
Bestand
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. (redactie). Schoonhoven: Academic Service, blz. 229-237

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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 blz. (Computing science notes; vol. 9111)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
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. (redactie). Berlin: Springer, blz. 435-441 (Texts and monographs in computer science).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

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. (redactie). Berlin: Springer, blz. 112-118 (Texts and monographs in computer science).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1989

Optimal segmentations

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
25 Downloads (Pure)

Playing with patterns, searching for strings

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
3 Citaten (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. (redactie). Berlin: Springer, blz. 409-420 12 blz. (Lecture Notes in Computer Science (LNCS); vol. 375).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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, blz. 127-148 22 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Playing with patterns, searching for strings

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
41 Downloads (Pure)
1986

Topological dynamix

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

Onderzoeksoutput: Boek/rapportBoekAcademic

1985

Characterizations of (H)PI extensions

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (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. (redactie). blz. 242-253

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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 blz. (CWI Report; vol. PM-R8403)

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz. (CWI Report; vol. PM-R8404)

Onderzoeksoutput: Boek/rapportRapportAcademic

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, blz. 291-306

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer 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, blz. 323-351

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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, blz. 389-412

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (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. (redactie). Amsterdam: Stichting Mathematisch Centrum, blz. 363-382 (Mathematical Centre Tracts; vol. 116).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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, blz. 85-103

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

1 Downloads (Pure)