Static Analysis of ReLU Neural Networks with Tropical Polyhedra. - Eric Goubault; Sébastien Palumby; Sylvie Putot; Louis Rustenholz; Sriram Sankaranarayanan 001 (SAS, 2021)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. - Louis Rustenholz; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (SAS, 2024)

A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs. - Louis Rustenholz; Maximiliano Klemen; Miguel Á. Carreira-Perpiñán; Pedro López-García 001 (Theory Pract. Log. Program., 2024)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. - Louis Rustenholz; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (Zenodo, 2024)

Abstractions of Sequences, Functions and Operators. - Louis Rustenholz; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2025)