Personal profile
Education/Academic qualification
Master of Computing, Master's degree in Computer Science, Faculty of Computer Science
Sept 2015 → Jun 2017
Award Date: 27 Jun 2017
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Finished
-
An anti-unification-based framework for semantic clone detection in Constrained Horn Clauses.
Yernaux, G. (PI) & Vanhoof, W. (Supervisor)
1/10/18 → 4/09/25
Project: PHD
-
Formalizing Escape Game Mechanics: A Graph-Theoretical Framework for Modeling and Analyzing Puzzle-Based Environments
Yernaux, G., VERJANS, M. & Vanhoof, W., 2 Jan 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile8 Downloads (Pure) -
Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation
Berg, L., Yernaux, G., Vandeloise, M. & Vanhoof, W., Jan 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile55 Downloads (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., Apr 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile22 Downloads (Pure) -
Rethinking Paradigmatic Collaboration: A New Metric for Inter-paradigm Synergy in Software Engineering
Vandeloise, M., Yernaux, G. & Vanhoof, W., Mar 2025, Proceedings of the 23nd Belgium-Netherlands Software Evolution Workshop. Perrouin, G., Vanderose, B. & Devroey, X. (eds.). CEUR Workshop Proceedings, Vol. 3941. p. 15-22Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile25 Downloads (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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile2 Downloads (Pure)
Prizes
-
Jean Fichefet Price 2017
Yernaux, G. (Recipient), 17 Nov 2017
Prize: Prize (including medals and awards)
-
Student Encouragement Award
Yernaux, G. (Recipient), 2 Oct 2022
Prize: Prize (including medals and awards)
Activities
-
Games and Learning Alliance Conference 2025
Yernaux, G. (Participant)
19 Nov 2025 → 21 Nov 2025Activity: Participating in or organising an event types › Participation in conference
-
Formalizing Escape Game Mechanics: A Graph-Theoretical Framework for Modeling and Analyzing Puzzle-Based Environments
Yernaux, G. (Speaker)
20 Nov 2025Activity: Talk or presentation types › Oral presentation
-
Towards a Graph-Theoretical Framework for Modeling and Analyzing Escape Game Mechanics
Yernaux, G. (Speaker)
23 Oct 2025Activity: Talk or presentation types › Oral presentation
-
Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic
Yernaux, G. (Speaker)
22 Oct 2025 → 24 Oct 2025Activity: Talk or presentation types › Oral presentation
-
The 2025 International Conference on Advances in Computing Research
Yernaux, G. (Participant)
7 Jul 2025 → 9 Jul 2025Activity: Participating in or organising an event types › Participation in conference
Thesis
-
An anti-unification-based framework for semantic clone detection in Constrained Horn Clauses
Yernaux, G. (Author), Vanhoof, W. (Supervisor), Beuls, K. (President), Jacquet, J.-M. (Jury), Van Eecke, P. (Jury), Mesnard, F. (Jury) & Kutsia, T. (Jury), 4 Sept 2025Student thesis: Doc types › Doctor of Sciences
File -
Equivalence algorithmique par transformations de programmes logiques avec contraintes
Yernaux, G. (Author), Cleve, A. (President), Vanhoof, W. (Supervisor) & Schobbens, P.-Y. (Jury), 23 Jun 2017Student thesis: Master types › Master in Computer science
File