Publications
Home > Spotlight > Publications
Modelling and proving the monotonicity of processor pipelines in Coq
22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, Oct 2024, Raleigh, United States. pp.12-21, ⟨10.1109/MEMOCODE63347.2024.00007⟩

Gruin Alban, Bonenfant Armelle, Carle Thomas, Rochange Christine

On the Complexity of Proving Polyhedral Reductions
Fundamenta Informaticae, 2024, 192 (3-4), pp.363-394. ⟨10.3233/FI-242197⟩

Amat Nicolas, Dal Zilio Silvano, Le Botlan Didier

Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩

Augier Nicolas, Henrion Didier, Korda Milan, Magron Victor

Variational properties of space-periodic standing waves of nonlinear Schrödinger equations with general nonlinearities
ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30 (79), pp.1-31. ⟨10.1051/cocv/2024065⟩

Kfoury Perla, Le Coz Stefan

The local limit theorem for complex valued sequences: the parabolic case
Comptes Rendus. Mathématique, 2024, 362, pp.1801-1818. ⟨10.5802/crmath.685⟩

Coulombel Jean-François, Faye Grégory

Examples of harmonic foliated currents and singular Levi-flats on the projective plane
Advances in Mathematics, 2024, 452, pp.109792. ⟨10.1016/j.aim.2024.109792⟩

Alkateeb Mohamad, Rebelo Julio

Learning Hybrid Interpretable Models: Theory, Taxonomy, and Methods
Transactions on Machine Learning Research Journal, 2024

Ferry Julien, Laberge Gabriel, Aïvodji Ulrich

Spectral decomposition of H1(μ) and Poincaré inequality on a compact interval - Application to kernel quadrature
Journal of Approximation Theory, 2024, 301, pp.106041. ⟨10.1016/j.jat.2024.106041⟩

Roustant Olivier, Lüthen Nora, Gamboa Fabrice

Relative systoles in hyperelliptic translation surfaces
Algebraic and Geometric Topology, 2024, 24 (4), pp.1903-1912. ⟨10.2140/agt.2024.24.1903⟩

Boissy Corentin, Geninska Slavyana

Surpassing light inhomogeneities in structured‐illumination microscopy with FlexSIM
Journal of Microscopy, 2024, 296 (1), pp.94--106. ⟨10.1111/jmi.13344⟩

Soubies Emmanuel, Nogueron Alejandro, Pelletier Florence, Mangeat Thomas, Leterrier Christophe, Unser Michael, Sage Daniel