Projects per year
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
Constraint-based test data generation for database-driven applications
Marcozzi, M., Vanhoof, W. & Hainaut, J.
1/10/10 → 30/09/14
Project: PHD
Génération de données de test basée sur les contraintes pour des programmes orientés base de données.
1/10/10 → 30/09/14
Project: Research
Génération de données de test basée à base de contraintes pour des applications orientées base de données
1/10/10 → 30/09/12
Project: PHD
Declarative Approach to Dynamic Workflow Management
Schwanen, G., Linden, I. & Vanhoof, W.
28/06/10 → 30/09/13
Project: PHD
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 proceeding › Conference contribution
Teaching
Students
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 journal › Article
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 conference › Paper
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 proceeding › Chapter (peer-reviewed)
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 proceeding › Conference contribution
Open Access
File
Software Visualization
Message passing
Message Passing
Concurrency
Visualization
Prizes
Activities 1997 2019
29th International Symposium on Logic-Based Program Synthesis and Transformation
Wim Vanhoof (Contributor)7 Oct 2019 → 9 Oct 2019
Activity: Participating in or organising an event types › Participation in conference
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Speaker)8 Oct 2019
Activity: Talk or presentation types › Invited talk
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant), Wim Vanhoof (Participant)8 Oct 2019 → 10 Oct 2019
Activity: Participating in or organising an event types › Participation in conference
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Speaker), Wim Vanhoof (Speaker)9 Oct 2019
Activity: Talk or presentation types › Oral presentation
Informatiesystemen
Wim Vanhoof (Speaker)14 Dec 2016
Activity: Talk or presentation types › Oral presentation
Thesis
A declarative approach to Java Virtual Machine modelisation and Bytecode execution
Author: Laffineur, G., 23 Jun 2017Supervisor: Cleve, A. (President) & Vanhoof, W. (Supervisor)
Student thesis: Master types › Master in Computer science
File
A distributed collaborative model editing framework for domain specific modeling languages
Author: Koshima, A., 12 Jan 2016Supervisor: 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 types › Doctor of Sciences
File
Aide à la distribution et exploitation électrique : simulation et optimisation
Author: Braun, C., 29 Aug 2017Supervisor: Vanhoof, W. (President) & Jacquet, J. (Supervisor)
Student thesis: Master types › Master 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 2010Supervisor: Vanhoof, W. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Analyse d'exécutables x86 par transformation sous forme de clauses de Horn
Author: Devos, A., 26 Jun 2017Supervisor: Cleve, A. (President) & Vanhoof, W. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Press / Media
24th international symposium on logic-based program synthesis and transformation (LOPSTR 2014)
19/03/14
1 item of Media coverage
Press/Media: Expert Comment