Louis Rustenholz

According to our database, Louis Rustenholz authored at least 5 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Abstractions of sequences, functions and operators.

Louis Rustenholz, Pedro López-García, Manuel V. Hermenegildo

Int. J. Softw. Tools Technol. Transf., June, 2026

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, José F. Morales, Manuel V. Hermenegildo

Dataset, July, 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

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, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Static Analysis - 31st International Symposium, 2024

2021

Static Analysis of ReLU Neural Networks with Tropical Polyhedra.

Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan

Proceedings of the Static Analysis - 28th International Symposium, 2021