Fingerprint Dive into the research topics where VF Programmes is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    Tool support for correctness-by-construction

    Runge, T., Schaefer, I., Cleophas, L., Thüm, T., Kourie, D. & Watson, B. W., 1 Jan 2019, Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 25-42 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11424 LNCS).

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

    Open Access
    File
  • 1 Citation (Scopus)
    20 Downloads (Pure)

    Geheugenmodel met bewustzijn : biologische basis van een associatief geheugen

    Bruijn, de, N. G., 1997, In : Spiegeloog. 24, 234, p. 10-13

    Research output: Contribution to journalArticlePopular

    Open Access
    File

    Modelling polymer melt flow instabilities

    Molenaar, J. & Koopmans, R. J., 1996, Progress in Industrial Mathematics at ECMI 94 (Proceedings 8th ECMI Conference, Kaiserslautern, Germany, September 6-10, 1994). Neunzert, H. (ed.). Chichester/Stuttgart: Wiley-Teubner, p. 224-232 (European Consortium for Mathematics in Industry; vol. 13).

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

    Activities

    • 1 Editorial activity

    International Journal of Robust and Nonlinear Control (Journal)

    Anton Stoorvogel (Editorial board member)
    1994

    Activity: Publication peer-review and editorial work typesEditorial activityScientific