Étienne Payet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Non-termination in Term Rewriting and Logic Programming Journal of Automated Reasoning	2024-04-29	Paper
Guided unfoldings for finding loops in standard term rewriting Logic-Based Program Synthesis and Transformation	2023-11-09	Paper
An SMT-based concolic testing tool for logic programs (available as arXiv preprint)	2021-07-06	Paper
Selective Unification in (Constraint) Logic Programming* Fundamenta Informaticae	2021-05-20	Paper
Concolic testing in CLP Theory and Practice of Logic Programming	2020-12-13	Paper
Checking array bounds by abstract interpretation and symbolic expressions	2018-10-18	Paper
On the linear ranking problem for simple floating-point loops	2018-08-27	Paper
Concolic testing in logic programming Theory and Practice of Logic Programming	2017-11-09	Paper
On the completeness of selective unification in concolic testing of logic programs (available as arXiv preprint)	2017-10-13	Paper
The full quotient and its closure property for regular languages Information Processing Letters	2016-06-09	Paper
A second-order formulation of non-termination Information Processing Letters	2015-07-15	Paper
Magic-sets for localised analysis of Java bytecode Higher-Order and Symbolic Computation	2012-01-13	Paper
A non-termination criterion for binary constraint logic programs Theory and Practice of Logic Programming	2009-04-15	Paper
Loop detection in term rewriting using the eliminating unfoldings Theoretical Computer Science	2008-09-16	Paper
Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator Logic-Based Program Synthesis and Transformation	2007-09-10	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper
scientific article; zbMATH DE number 1948416 (Why is no real title available?)	2003-07-13	Paper
scientific article; zbMATH DE number 1556866 (Why is no real title available?)	2001-01-25	Paper
scientific article; zbMATH DE number 1390078 (Why is no real title available?)	2000-11-07	Paper

Research outcomes over time

This page was built for person: Étienne Payet