• 134 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)

Award Date: 30 Jun 2001

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.

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

Generalization-Driven Semantic Clone Detection in CLP

Yernaux, G. & Vanhoof, W., 21 Apr 2020, In : Lecture Notes in Computer Science. 12042, p. 228-242 15 p.

Research output: Contribution to journalArticle

Open Access
File
  • 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)

    Prizes

    IBM Belgium Prijs informatica

    VANHOOF, Wim (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

    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

    Generalization-driven semantic clone detection in CLP

    Gonzague Yernaux (Speaker), & Wim Vanhoof (Speaker)

    9 Oct 2019

    Activity: Talk or presentation typesOral presentation

    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

    Press / Media