• 100 Citaties
1978 …2011

Research output per year

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

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Jaap C.S.P. van der Woude actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 37 Soortgelijke profielen

Onderzoeksoutput

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

  • 16 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

  • 3 Citaten (Scopus)

    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

    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

  • 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

    Scriptie

    (Data) refinement calculus met stack voorbeelden

    Auteur: Andree, H., 31 okt 1990

    Begeleider: Kaldewaij, A. (Afstudeerdocent 1) & van der Woude, J. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Cylindrische componenten calculus

    Auteur: van Gool, L., 30 apr 2000

    Begeleider: van der Woude, J. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    ExSpecT op het spoor

    Auteur: Verhagen, G., 31 jul 1997

    Begeleider: Somers, L. (Afstudeerdocent 1) & van der Woude, J. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Quality-oriented exploration techniques for component-based architectures

    Auteur: Zhang, J., 10 sep 2007

    Begeleider: Chaudron, M. (Afstudeerdocent 1), Voorhoeve, M. (Afstudeerdocent 2), Klomp, A. (Externe persoon) (Afstudeerdocent 2) & van der Woude, J. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Bestand

    Traces : two approaches

    Auteur: van Vianen, H., 31 dec 1988

    Begeleider: Rem, M. (Afstudeerdocent 1) & van der Woude, J. (Afstudeerdocent 2)

    Scriptie/masterproef: Master