!!Projects per year
Profil personnel
Qualification académique
Maîtrise d'informatique, Master en sciences informatiques, Faculte d'informatique
sept. 2015 → juin 2017
Date d'octroi: 27 juin 2017
Empreinte digitale
Passez en revue plus en détail les thèmes de recherche où Gonzague Yernaux est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Projets
- 1 Terminé
-
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Yernaux, G. (Responsable du Projet) & Vanhoof, W. (Promoteur)
1/10/18 → 4/09/25
Projet: Projet de thèse
-
Formalizing Escape Game Mechanics: A Graph-Theoretical Framework for Modeling and Analyzing Puzzle-Based Environments
Yernaux, G., VERJANS, M. & Vanhoof, W., 2 janv. 2026, Games and Learning Alliance : 14th International Conference, GALA 2025, Utrecht, The Netherlands, November 19–21, 2025, Proceedings. Bakkes, S., Bellotti, F., Dondio, P., Niaus, M., Wannick, V. & Bucchiarone, A. (eds.). Springer, p. 269-279 11 p. (Lecture notes in Computer Science; Vol 16307).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile25 Téléchargements (Pure) -
Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation
Berg, L., Yernaux, G., Vandeloise, M. & Vanhoof, W., janv. 2025, Proceedings of the 17th International Conference on Computer Supported Education, CSEDU 2025: CSEDU. du Boulay, B., Di Mascio, T., Tovar, E. & Meinel, C. (eds.). SciTePress, Vol 1. p. 604-611 8 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; Vol 1).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile74 Téléchargements (Pure) -
Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic
Yernaux, G., Vandeloise, M., Barkallah, M., Vanhoof, W. & Jacquet, J.-M., avr. 2025, Proceedings of the 3rd International Conference on Advances in Computing Research, ACR 2025: Proceedings of the Third International Conference on Advances in Computing Research (ACR’25). Daimi, K. & Al Sadoon, A. (eds.). Springer, Cham, Vol 1346. p. 51-62 12 p. (Lecture Notes in Networks and Systems; Vol 1346 LNNS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile51 Téléchargements (Pure) -
Rethinking Paradigmatic Collaboration: A New Metric for Inter-paradigm Synergy in Software Engineering
Vandeloise, M., Yernaux, G. & Vanhoof, W., mars 2025, Proceedings of the 23nd Belgium-Netherlands Software Evolution Workshop. Perrouin, G., Vanderose, B. & Devroey, X. (eds.). CEUR Workshop Proceedings, Vol 3941. p. 15-22Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile44 Téléchargements (Pure) -
Towards a Graph-Theoretical Framework for Modeling and Analyzing Escape Game Mechanics
Yernaux, G., Verjans, M. & Vanhoof, W., 2025, 26th International Conference on Intelligent Games and Simulation, GAME-ON 2025. Geril, P. (Ed.). EUROSIS, p. 5-9 5 p. (26th International Conference on Intelligent Games and Simulation, GAME-ON 2025).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile5 Téléchargements (Pure)
Prix
-
Jean Fichefet Price 2017
Yernaux, G. (Bénéficiaire), 17 nov. 2017
Prix: Prix (y compris les médailles et récompenses)
-
Student Encouragement Award
Yernaux, G. (Bénéficiaire), 2 oct. 2022
Prix: Prix (y compris les médailles et récompenses)
Activités
-
Games and Learning Alliance Conference 2025
Yernaux, G. (Participant)
19 nov. 2025 → 21 nov. 2025Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Formalizing Escape Game Mechanics: A Graph-Theoretical Framework for Modeling and Analyzing Puzzle-Based Environments
Yernaux, G. (Orateur)
20 nov. 2025Activité: Discours ou présentation › Présentation orale
-
Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic
Yernaux, G. (Orateur)
22 oct. 2025 → 24 oct. 2025Activité: Discours ou présentation › Présentation orale
-
Towards a Graph-Theoretical Framework for Modeling and Analyzing Escape Game Mechanics
Yernaux, G. (Orateur)
23 oct. 2025Activité: Discours ou présentation › Présentation orale
-
The 2025 International Conference on Advances in Computing Research
Yernaux, G. (Participant)
7 juil. 2025 → 9 juil. 2025Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
Thèse
-
An anti-unification-based framework for semantic clone detection in Constrained Horn Clauses
Yernaux, G. (Auteur), Vanhoof, W. (Promoteur), Beuls, K. (Président), Jacquet, J.-M. (Jury), Van Eecke, P. (Jury), Mesnard, F. (Jury) & Kutsia, T. (Jury), 4 sept. 2025Student thesis: Doc types › Docteur en Sciences
Fichier -
Equivalence algorithmique par transformations de programmes logiques avec contraintes
Yernaux, G. (Auteur), Cleve, A. (Président), Vanhoof, W. (Promoteur) & Schobbens, P.-Y. (Jury), 23 juin 2017Student thesis: Master types › Master en sciences informatiques
Fichier