Résultat de recherche par an
Résultat de recherche par an
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
-
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Yernaux, G. (Responsable du Projet) & Vanhoof, W. (Promoteur)
Projet: Projet de thèse
-
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 ouvertFile20 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 ouvertFile1 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 ouvertFile7 Téléchargements (Pure) -
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).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 ouvertFile42 Téléchargements (Pure) -
EvscApp: Evaluating the Pedagogical Relevance of Educational Escape Games for Computer Science
Kabimbi Ngoy, R., Yernaux, G. & Vanhoof, W., 2023, Proceedings of the 15th International Conference on Computer Supported Education - Volume 2, CSEDU 2023. Jovanovic, J., Chounta, I.-A., Uhomoibhi, J. & McLaren, B. (eds.). Vol 2. p. 241-251 11 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; Vol 2).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 ouvertFile57 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
-
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
-
Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic
Yernaux, G. (Orateur)
juil. 2025Activité: Discours ou présentation › Présentation orale
-
The 23rd Belgium-Netherlands Software Evolution Workshop
Yernaux, G. (Participant) & Vandeloise, M. (Participant)
21 nov. 2024 → 22 nov. 2024Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Women and Girls in Science 2024
Yernaux, G. (Participant)
8 févr. 2024Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Predicate Anti-unification in (Constraint) Logic Programming
Yernaux, G. (Orateur)
oct. 2023Activité: Discours ou présentation › Présentation orale
Thèse
-
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