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.

  • 6 Similar Profiles
Testing Engineering & Materials Science
Logic programming Engineering & Materials Science
Evolutionary algorithms Engineering & Materials Science
Emitter coupled logic circuits Engineering & Materials Science
Semantics Engineering & Materials Science
Message passing Engineering & Materials Science
Microarrays Engineering & Materials Science
Surface mount technology Engineering & Materials Science

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

Projects 2009 2014

Research Output 1997 2019

Analysis of Students' Preconceptions of Concurrency

Libert, C. & Vanhoof, W., 2019, Proceedings of the 1st ACM SIGSOFT International Workshop on Education Through Advanced Software Engineering and Artificial Intelligence. New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

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

Teaching
Students
3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 Sep 2019, In : Theory and Practice of Logic Programming. 16 p.

Research output: Contribution to journalArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials

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

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

Research output: Contribution to conferencePaper

File

La programmation par passage de messages pour aider à développer la pensée informatique

Libert, C. & Vanhoof, W., 2017, L'informatique et le numérique dans la classe: Qui, quoi, comment?. Namur, Belgique: Presses universitaires de Namur, p. 123 12 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

16 Downloads (Pure)

Survey of software visualization systems to teach message-passing concurrency in secondary school

Libert, C. & Vanhoof, W., Jun 2017, Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Proceedings. Lopes, F., Bajo, J., Novais, P., Hallenborg, K., Del Val, E., Julian, V., Vale, Z., Pawlewski, P., Duque Mendez, N. D., Holmgren, J., Rocha, A. P. & Mathieu, P. (eds.). Springer, p. 386 - 397 12 p. (Communications in Computer and Information Science; vol. 722).

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

Open Access
File
Software Visualization
Message passing
Message Passing
Concurrency
Visualization

Prizes

IBM Belgium Prijs informatica

Wim Vanhoof (Recipient), 1996

Prize: National/international honour

Activities 1997 2019

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

Generalization-driven semantic clone detection in CLP

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

Activity: Talk or presentation typesOral presentation

Databases en het drie lagen model

Wim Vanhoof (Speaker)
13 Dec 2016

Activity: Talk or presentation typesOral presentation

Informatiesystemen

Wim Vanhoof (Speaker)
14 Dec 2016

Activity: Talk or presentation typesOral presentation

Université de la Réunion

Wim Vanhoof (Visiting researcher)
20 Nov 201625 Nov 2016

Activity: Visiting an external institution typesVisiting an external academic institution

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