Pierre Roux

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Well-posedness and stability of a stochastic neural field in the form of a partial differential equation	2024-12-12	Paper
Enabling floating-point arithmetic in the Coq proof assistant	2023-10-24	Paper
Well-posedness and stability of a stochastic neural field in the form of a partial differential equation	2023-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q6099657	2023-06-20	Paper
Noise-driven bifurcations in a nonlinear Fokker-Planck system describing stochastic neural fields	2023-06-13	Paper
Primitive Floats in Coq	2023-02-03	Paper
Adaptation to DNA damage, an asymptotic approach for a cooperative non-local system	2022-07-15	Paper
A hyperbolic-elliptic-parabolic PDE model describing chemotactic \textit{E. coli} colonies	2022-01-03	Paper
Towards a further understanding of the dynamics in the excitatory NNLIF neuron model: blow-up and global existence	2022-01-03	Paper
Global-in-time solutions and qualitative properties for the NNLIF neuron model with synaptic delay	2019-10-21	Paper
Innocuous Double Rounding of Basic Arithmetic Operations	2019-09-18	Paper
A non-linear arithmetic procedure for control-command software verification	2019-09-16	Paper
Validating numerical semidefinite programming solvers for polynomial invariants	2018-10-04	Paper
Validating numerical semidefinite programming solvers for polynomial invariants	2018-08-27	Paper
Formal proofs of rounding error bounds. With application to an automatic positive definiteness check	2017-08-17	Paper
Formal Analysis of Robustness at Model and Code Level	2017-05-19	Paper
Closed loop analysis of control command software	2017-05-19	Paper
A generic ellipsoid abstract domain for linear time invariant systems	2017-05-16	Paper
Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case	2015-10-30	Paper
Integrating Policy Iterations in Abstract Interpreters	2014-07-08	Paper
Classical solutions of a mean field system for pulse-coupled oscillators: long time asymptotics versus blowup	N/A	Paper

Research outcomes over time

This page was built for person: Pierre Roux