P. Roux
发表
Michael Dierkes,
Pierre Roux,
Pierre-Loïc Garoche,
2013,
FMICS.
Pierre Roux,
Pierre-Loïc Garoche,
Rémi Delmas,
2010,
Electron. Notes Theor. Comput. Sci..
Rachid Guerraoui,
Pierre Roux,
Agnes Lanusse,
1992
.
P. Roux,
Delphine Salort,
Mar'ia J. C'aceres,
2018,
Communications in Partial Differential Equations.
María J. Cáceres,
P. Roux,
Delphine Salort,
2018
.
R. Delmas,
P. Garoche,
P. Roux,
2010
.
Rachid Guerraoui,
Pierre Roux,
Agnes Lanusse,
1992,
TOOLS.
P. Roux,
M. Boyer,
L. Rakotomalala,
2019
.
D. Hilhorst,
P. Roux,
2020,
Discrete & Continuous Dynamical Systems - S.
J. Carrillo,
P. Roux,
Susanne Solem,
2022,
2205.11968.
P. Garoche,
P. Roux,
2015,
Formal Methods in System Design.
S. Sankaranarayanan,
P. Roux,
Yuen-Lam Voronin,
2017,
Formal Methods in System Design.
P. Roux,
K. Ikeda,
D. Smets,
2022,
Mathematical Neuroscience and Applications.
Pierre Roux,
Pierre-Loïc Garoche,
Xavier Thirioux,
2018,
2018 Forum on Specification & Design Languages (FDL).
P. Roux,
Delphine Salort,
Zhou Xu,
2021,
bioRxiv.
J. Carrillo,
P. Roux,
Susanne Solem,
2022,
Physica D: Nonlinear Phenomena.
Pierre Roux,
Alexis Leculier,
P. Roux,
2021,
Acta Applicandae Mathematicae.
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations
Pierre Roux,
Érik Martin-Dorel,
P. Roux,
2017,
CPP.
Sriram Sankaranarayanan,
Pierre Roux,
Yuen-Lam Voronin,
2016,
SAS.
Pierre Roux,
Pierre-Loïc Garoche,
Romain Jobredeaux,
2015,
HSCC.
Eric Feron,
Pierre Roux,
Pierre-Loïc Garoche,
2016,
HSCC.
Rachid Guerraoui,
Pierre Roux,
Agnes Lanusse,
1992,
ECOOP.
Sylvain Conchon,
Pierre Roux,
Mohamed Iguernlala,
2018,
TACAS.
Pierre Roux,
Danielle Hilhorst,
Masayasu Mimura,
2021
.
Pierre Roux,
P. Roux,
2014,
J. Formaliz. Reason..
Pierre Roux,
Delphine Salort,
P. Roux,
2021,
Kinetic & Related Models.
Pierre Roux,
Gautier Hattenberger,
Xavier Thirioux,
2021,
FMICS.
J. Carrillo,
P. Roux,
Susanne Solem,
2023,
2307.08077.
D. Hilhorst,
M. Mimura,
P. Roux,
2020,
2003.06010.
Pierre Roux,
Pierre-Loïc Garoche,
P. Garoche,
2013,
ATVA.
Pierre Roux,
Pierre-Loïc Garoche,
P. Garoche,
2015,
Formal Methods Syst. Des..
Marc Boyer,
Pierre Roux,
P. Roux,
2016,
2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).