Xavier Généreux

According to our database, Xavier Généreux authored at least 2 papers between 2022 and 2026.

Collaborative distances:

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

2026

Incremental Forward Reasoning for White-Box Proof Search.

Xavier Généreux, Jannis Limperg

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2022

On the Northcott property of zeta functions over function fields.

Xavier Généreux, Matilde Lalín, Wanlin Li

Finite Fields Their Appl., 2022