If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Master of Computing, Faculty of Computer Science

Sep 2015Jun 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.

Logic programming Engineering & Materials Science
Constraint Logic Programming Mathematics
Unification Mathematics
Computational complexity Engineering & Materials Science
Polynomials Engineering & Materials Science
Atoms Engineering & Materials Science
Unordered Mathematics
Computing Mathematics

Research Output 2019 2019

3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Research output: Contribution to journalArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials

Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming

Yernaux, G., 22 Nov 2019, (Unpublished). 7 p.

Research output: Contribution to conferencePaper

Logic programming

Prizes

Jean Fichefet Price 2017

Gonzague Yernaux (Recipient), 17 Nov 2017

Prize: Prize (including medals and awards)

honors and awards

Activities 2019 2019

  • 3 Participation in conference
  • 3 Oral presentation
  • 1 Participation in workshop, seminar, course

FOCUS Research Seminar

Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee), Christian Colot (Member of Organizing Committee)
6 Dec 2019

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Generalizing Generalization: towards a framework for anti-unification in Logic Programming

Gonzague Yernaux (Speaker)
22 Nov 2019

Activity: Talk or presentation typesOral presentation

Grascomp Doctoral Day

Gonzague Yernaux (Participant)
22 Nov 2019

Activity: Participating in or organising an event typesParticipation in conference

Generalization-driven semantic clone detection in CLP

Gonzague Yernaux (Speaker), Wim Vanhoof (Speaker)
9 Oct 2019

Activity: Talk or presentation typesOral presentation

29th International Symposium on Logic-Based Program Synthesis and Transformation

Gonzague Yernaux (Participant), Wim Vanhoof (Participant)
8 Oct 201910 Oct 2019

Activity: Participating in or organising an event typesParticipation in conference