Projects per year
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
Dive into the research topics where Gonzague Yernaux is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
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
-
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 AccessFile38 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 AccessFile8 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 AccessFile12 Downloads (Pure) -
Rethinking paradigmatic collaboration: new metrics for inter-language synergy in software engineering
Vandeloise, M., Yernaux, G. & Vanhoof, W., 2024, Proceedings of the 23nd Belgium-Netherlands Software Evolution Workshop, BENEVOL 2024. Vol. 3941. p. 15-22 8 p. (CEUR Workshop Proceedings).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
A Dataflow Analysis for Comparing and Reordering Predicate Arguments
Yernaux, G. & Vanhoof, W., 12 Sept 2023, Proceedings of the 39th International Conference on Logic Programming: Imperial College London, UK, 9th July 2023 - 15th July 2023. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., D'Avila Garcez, A., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (eds.). Open Publishing Association, Vol. 385. p. 41 - 54 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile51 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
-
Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic
Yernaux, G. (Speaker)
7 Jul 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
-
The 23rd Belgium-Netherlands Software Evolution Workshop
Yernaux, G. (Participant) & Vandeloise, M. (Participant)
21 Nov 2024 → 22 Nov 2024Activity: Participating in or organising an event types › Participation in conference
-
Women and Girls in Science 2024
Yernaux, G. (Participant)
8 Feb 2024Activity: Participating in or organising an event types › Participation in conference
-
Predicate Anti-unification in (Constraint) Logic Programming
Yernaux, G. (Speaker)
Oct 2023Activity: Talk or presentation types › Oral presentation
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