• 129 Citations
  • 8 h-Index
19972020

Research output per year

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

Personal profile

Education/Academic qualification

Doctor of Science, Katholieke Universiteit Leuven (KUL)

Fingerprint Dive into the research topics where Wim VANHOOF is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles

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

Projects

Research Output

An SMT-Based Concolic Testing Tool for Logic Programs

Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 Jan 2020, (Accepted/In press).

Research output: Contribution to conferencePoster

Introduire la concurrence en début de secondaire

Libert, C. & Vanhoof, W., 2020. 12 p.

Research output: Contribution to conferencePaper

Open Access

Analysis of Students' Preconceptions of Concurrency

Libert, C. & Vanhoof, W., 26 Aug 2019, EASEAI 2019 - Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, co-located with ESEC/FSE 2019. Vanderose, B., Frenay, B., Henry, J. & Devroey, X. (eds.). New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

  • Anti-unification in Constraint Logic Programming

    Yernaux, G. & Vanhoof, W., 20 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

    Research output: Contribution to journalArticle

  • 3 Downloads (Pure)

    Un dispositif d'évaluation continue en introduction à la programmation

    Libert, C. & Vanhoof, W., 2019, (Unpublished).

    Research output: Contribution to conferencePaper

    File

    Prizes

    IBM Belgium Prijs informatica

    Wim Vanhoof (Recipient), 1996

    Prize: National/international honour

    Activities

    FOCUS Research Seminar

    Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee), Christian Colot (Member of Organizing Committee)
    6 Dec 2019

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

    Generalization-driven semantic clone detection in CLP

    Gonzague Yernaux (Speaker), Wim Vanhoof (Speaker)
    9 Oct 2019

    Activity: Talk or presentation typesOral presentation

    29th International Symposium on Logic-Based Program Synthesis and Transformation

    Wim Vanhoof (Contributor)
    7 Oct 20199 Oct 2019

    Activity: Participating in or organising an event typesParticipation in conference

    On an old (and possibly still unsolved?) problem in program specialization

    Wim Vanhoof (Speaker)
    8 Oct 2019

    Activity: Talk or presentation typesInvited talk

    29th International Symposium on Logic-Based Program Synthesis and Transformation

    Gonzague Yernaux (Participant), Wim Vanhoof (Participant)
    8 Oct 201910 Oct 2019

    Activity: Participating in or organising an event typesParticipation in conference

    Thesis

    A declarative approach to Java Virtual Machine modelisation and Bytecode execution

    Author: Laffineur, G., 23 Jun 2017

    Supervisor: Cleve, A. (President) & Vanhoof, W. (Supervisor)

    Student thesis: Master typesMaster in Computer science

    File

    A distributed collaborative model editing framework for domain specific modeling languages

    Author: Koshima, A., 12 Jan 2016

    Supervisor: Englebert, V. (Supervisor), Thiran, P. (Co-Supervisor), Vanhoof, W. (President), Cleve, A. (Jury), Mens, T. (External person) (Jury) & Van Gorp, P. (External person) (Jury)

    Student thesis: Doc typesDoctor of Sciences

    File

    Aide à la distribution et exploitation électrique : simulation et optimisation

    Author: Braun, C., 29 Aug 2017

    Supervisor: Vanhoof, W. (President) & Jacquet, J. (Supervisor)

    Student thesis: Master typesMaster in Computer science

    File

    A multi-objective genetic algorithm for biclustering of gene expression data with probabilistic encoding and overlapping control

    Author: Marcozzi, M., 29 Sep 2010

    Supervisor: Vanhoof, W. (Supervisor)

    Student thesis: Master typesMaster in Computer science

    File

    Analyse d'exécutables x86 par transformation sous forme de clauses de Horn

    Author: Devos, A., 26 Jun 2017

    Supervisor: Cleve, A. (President) & Vanhoof, W. (Supervisor)

    Student thesis: Master typesMaster in Computer science

    File

    Press / Media