Pierre Roux

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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
Towards a further understanding of the dynamics in the excitatory NNLIF neuron model: blow-up and global existence	2022-01-03	Paper
A hyperbolic-elliptic-parabolic PDE model describing chemotactic \textit{E. coli} colonies	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
Closed loop analysis of control command software	2017-05-19	Paper
Formal Analysis of Robustness at Model and Code Level	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pierre Roux