Research output per year
Research output 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
-
Anti-unification of Unordered Goals
Yernaux, G. & VANHOOF, W., 27 Jan 2022. 17 p.Research output: Contribution to conference › Paper › peer-review
Open Access11 Downloads (Pure) -
On Detecting Semantic Clones in Constraint Logic Programs
Yernaux, G. & Vanhoof, W., 14 Dec 2022, Proceedings - 2022 IEEE 16th International Workshop on Software Clones, IWSC 2022: Proceedings. IEEE Computer society, p. 32 - 38 7 p. (Proceedings - 2022 IEEE 16th International Workshop on Software Clones, IWSC 2022).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
Generalization-Driven Semantic Clone Detection in CLP
Vanhoof, W. & Yernaux, G., 21 Apr 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File24 Downloads (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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile33 Downloads (Pure) -
Anti-unification in Constraint Logic Programming
Yernaux, G. & Vanhoof, W., 20 Sept 2019, In: Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.Research output: Contribution to journal › Article › peer-review
3 Downloads (Pure)
Prizes
-
Jean Fichefet Price 2017
Yernaux, Gonzague (Recipient), 17 Nov 2017
Prize: Prize (including medals and awards)
-
Student Encouragement Award
Yernaux, Gonzague (Recipient), 2 Oct 2022
Prize: Prize (including medals and awards)
Activities
-
On Detecting Semantic Clones in Constraint Logic Programs
Gonzague Yernaux (Speaker)
2 Oct 2022Activity: Talk or presentation types › Oral presentation
-
2022 IEEE 16th International Workshop on Software Clones
Gonzague Yernaux (Participant)
2 Oct 2022Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Anti-unification of Unordered Goals
Gonzague Yernaux (Speaker)
18 Feb 2022Activity: Talk or presentation types › Oral presentation
-
Computer Science Logic 2022
Gonzague Yernaux (Participant) & Wim VANHOOF (Participant)
14 Feb 2022 → 19 Feb 2022Activity: Participating in or organising an event types › Participation in conference
-
2021 36th Annual Symposium on Logic in Computer Science
Gonzague Yernaux (Participant)
29 Jun 2021 → 2 Jul 2021Activity: Participating in or organising an event types › Participation in conference
Thesis
-
Equivalence algorithmique par transformations de programmes logiques avec contraintes
Author: Yernaux, G., 23 Jun 2017Supervisor: Cleve, A. (President), Vanhoof, W. (Supervisor) & Schobbens, P. (Jury)
Student thesis: Master types › Master in Computer science
File