Résultat de recherche par an
Résultat de recherche par an
Profil personnel
Qualification académique
Maîtrise d'informatique, 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
Projets
Résultat de recherche
-
Anti-unification of Unordered Goals
Yernaux, G. & VANHOOF, W., 27 janv. 2022. 17 p.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs
Accès ouvert11 Téléchargements (Pure) -
Generalization-Driven Semantic Clone Detection in CLP
Vanhoof, W. & Yernaux, G., 21 avr. 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (Ed.). Springer, Vol 12042. p. 228-242 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12042 LNCS).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
File18 Téléchargements (Pure) -
Moulinog: A generator of random student assignments written in prolog
Yernaux, G., Vanhoof, W. & Schumacher, L., 8 sept. 2020, Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020. ACM Press, 5 p. 3414100. (PervasiveHealth: Pervasive Computing Technologies for Healthcare).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) -
Anti-unification in Constraint Logic Programming
Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans: Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
3 Téléchargements (Pure) -
Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming
Yernaux, G., 22 nov. 2019, (Non publié). 7 p.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article
Prix
-
Jean Fichefet Price 2017
Yernaux, Gonzague (Bénéficiaire), 17 nov. 2017
Prix: Prix (y compris les médailles et récompenses)
Activités
-
Anti-unification of Unordered Goals
Gonzague Yernaux (Orateur)
18 févr. 2022Activité: Types de discours ou de présentation › Présentation orale
-
Computer Science Logic 2022
Gonzague Yernaux (Participant) & Wim VANHOOF (Participant)
14 févr. 2022 → 19 févr. 2022Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
-
22nd International Symposium on Principles and Practice of Declarative Programming
GONZAGUE YERNAUX (Participant), LAURENT SCHUMACHER (Participant) & Wim VANHOOF (Participant)
8 sept. 2020 → 10 sept. 2020Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
-
Moulinog: A Generator of Random Student Assignments Written in Prolog
GONZAGUE YERNAUX (Orateur)
8 sept. 2020Activité: Types de discours ou de présentation › Présentation orale
-
FOCUS Research Seminar
Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation) & Christian Colot (Membre du Comité d'Organisation)
6 déc. 2019Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours