Pierre Le Roux

Statistics

Publications

Citations

208

H-Index

Active since

1998

Affiliations

Office National d'Études et de Recherches Aérospatiales(Current)

Sorbonne Université

Centre National de la Recherche Scientifique

Biologie Computationnelle, Quantitative et Synthétique

Georgia Institute of Technology

Pierre Le Roux is an author at Office National d'Études et de Recherches Aérospatiales specializing in engineering, computer engineering, and formal verification.

ORCID

Top concepts

EngineeringComputer EngineeringFinancePovertyBusinessEconomicsEducationFormal MethodsEconomic GrowthProcess Control

Publications per year

1998–2021

Publications

A generic ellipsoid abstract domain for linear time invariant systems

Pierre Le Roux, Romain Jobredeaux, Pierre-Loïc Garoche et al. · 2012 · 51 citations

Quadratic Invariants, Linear Systems, Engineering +12

Validating numerical semidefinite programming solvers for polynomial invariants

Pierre Le Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan · Formal Methods in System Design · 2017 · 28 citations

Mathematical Programming, Numerical Analysis, Polynomial Invariants +5

To Be or Not to Be...: The Cultural Identity of the Jawi (Thailand)

Pierre Le Roux · Asian Folklore Studies · 1998 · 26 citations

South Asian Culture, Culture, Cultural Identity +15

Global-in-time solutions and qualitative properties for the NNLIF neuron model with synaptic delay

María J. Cáceres, Pierre Le Roux, Delphine Salort et al. · Communications in Partial Differential Equations · 2019 · 19 citations

The Impact of Economic Freedom on Economic Growth in the SADC: An Individual Component Analysis

V.I. Gorlach, Pierre Le Roux · Studies in Economics and Econometrics · 2015 · 14 citations

Development Theory, Socioeconomics, Development Economics +23

1–5 of 11