Gonzague Yernaux

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 11

Top Topics

Proof Theoretic

Constraint Logic Programming

Anti Unification

Logic Programming

Top Venues

Publications

Gonzague Yernaux, Wim Vanhoof
Predicate Anti-unification in (Constraint) Logic Programming. LOPSTR (2023)
Felix Barzin, Gonzague Yernaux, Wim Vanhoof
Scrimmo: A Real-Time Web Scraper Monitoring the Belgian Real Estate Market. WI/IAT (2023)
Rudy Kabimbi Ngoy, Gonzague Yernaux, Wim Vanhoof
EvscApp: Evaluating the Pedagogical Relevance of Educational Escape Games for Computer Science. CSEDU (2) (2023)
Gonzague Yernaux, Wim Vanhoof
A Dataflow Analysis for Comparing and Reordering Predicate Arguments. CoRR (2023)
Gonzague Yernaux, Wim Vanhoof
On Detecting Semantic Clones in Constraint Logic Programs. IWSC (2022)
Gonzague Yernaux, Wim Vanhoof
Anti-Unification of Unordered Goals. CSL (2022)
Gonzague Yernaux, Wim Vanhoof
Technical Report: Anti-unification of Unordered Goals. CoRR (2021)
Gonzague Yernaux, Wim Vanhoof, Laurent Schumacher
Moulinog: A Generator of Random Student Assignments Written in Prolog. PPDP (2020)
Gonzague Yernaux, Wim Vanhoof
Anti-unification in Constraint Logic Programming. CoRR (2019)
Gonzague Yernaux, Wim Vanhoof
Anti-unification in Constraint Logic Programming. Theory Pract. Log. Program. 19 (5-6) (2019)
Wim Vanhoof, Gonzague Yernaux
Generalization-Driven Semantic Clone Detection in CLP. LOPSTR (2019)