Thierry Marianne

According to our database, Thierry Marianne authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Automated Certification of Logic Program Groundness Analysis.

Thierry Marianne, Fred Mesnard, Étienne Payet

Proceedings of the Logic-Based Program Synthesis and Transformation, 2025

2024

Automated Theorem Proving for Prolog Verification.

Fred Mesnard, Thierry Marianne, Étienne Payet

Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024