Skip to Main content Skip to Navigation

tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
hal-01676355v1  Book sections
David GonzálezJoshué PérezVicente MilanésFawzi NashashibiMarga Saez Tort et al.  Arbitration and Sharing Control Strategies in the Driving Process
Guillermo Payá-Vayá; Holger Blume. Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems The DESERVE Approach, River Publishers , pp.24, 2017, 9788793519145
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
inria-00543185v1  Journal articles
Irène KorsakissokVivien Mallet. Development and application of a reactive plume-in-grid model: evaluation over Greater Paris
Atmospheric Chemistry and Physics, European Geosciences Union, 2010, 10 (18), pp.8917--8931. ⟨10.5194/acp-10-8917-2010⟩
hal-02392487v1  Journal articles
Francisco NavasVicente Milanés. Mixing V2V- and non-V2V-equipped vehicles in car following
Transportation research. Part C, Emerging technologies, Elsevier, 2019, 108, pp.167-181. ⟨10.1016/j.trc.2019.08.021⟩
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-01672734v1  Journal articles
Danel Ahman. Handling Fibred Algebraic Effects
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-29. ⟨10.1145/3158095⟩
hal-01672735v1  Journal articles
William J. BowmanYouyou CongNick RiouxAmal Ahmed. Type‐Preserving CPS Translation of Σ and Π Types is Not Not Possible
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-33. ⟨10.1145/3158110⟩
hal-00826581v1  Journal articles
Anne TilloyVivien MalletDavid PouletCéline PesinFabien Brocheton. BLUE-based NO2 data assimilation at urban scale
Journal of Geophysical Research, American Geophysical Union, 2013, 118 (4), pp.2031-2040. ⟨10.1002/jgrd.50233⟩
inria-00547903v1  Journal articles
Vivien Mallet. Ensemble forecast of analyses: Coupling data assimilation and sequential aggregation
Journal of Geophysical Research, American Geophysical Union, 2010, 115 (D24303), ⟨10.1029/2010JD014259⟩
inria-00497177v2  Journal articles
Vincent SilesHugo Herbelin. Pure Type System conversion is always typable
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
hal-00650980v1  Journal articles
Vivien MalletBruno Sportisse. Ensemble-based air quality forecasts: A multimodel approach applied to ozone
Journal of Geophysical Research, American Geophysical Union, 2006, 111 (D18302), ⟨10.1029/2005JD006675⟩
inria-00179732v1  Conference papers
Aline NevesMaria MirandaMamadou Mboup. Algebraic Parameter Estimation of Damped Exponentials
EUSIPCO, Sep 2007, Poznan, Poland. pp.965--969
hal-00650802v1  Conference papers
Abdouramane Moussa AliCédric JoinFrédéric Hamelin. A robust algebraic approach to fault diagnosis of uncertain linear systems
50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, Dec 2011, Orlando, Florida, United States. pp.CDROM
hal-01332481v3  Journal articles
Jan BlechtaJosef MálekMartin Vohralík. Localization of the $W^{-1,q}$ norm for local a posteriori efficiency
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2020, 40 (2), pp.914-950. ⟨10.1093/imanum/drz002⟩
hal-01956180v3  Journal articles
Iain SmearsMartin Vohralík. Simple and robust equilibrated flux a posteriori estimates for singularly perturbed reaction-diffusion problems
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2020, 54 (6), pp.1951-1973. ⟨10.1051/m2an/2020034⟩
hal-00675594v1  Journal articles
Eric CancèsSalma LahbabiMathieu Lewin. Mean-field models for disordered crystals
Journal de Mathématiques Pures et Appliquées, Elsevier, 2013, 100 (2), pp.241-274
tel-00873213v1  Theses
Salma Lahbabi. Mathematical study of quantum and classical models for random materials in the atomic scale
Mathematical Physics [math-ph]. Université de Cergy Pontoise, 2013. English
hal-00527022v1  Book sections
Eric CancèsMathieu LewinGabriel Stoltz. The Microscopic Origin of the Macroscopic Dielectric Permittivity of Crystals: A Mathematical Viewpoint
Björn Engquist, Olof Runborg and Yen-Hsi R. Tsai. Numerical Analysis of Multiscale Computations. Proceedings of a Winter Workshop at the Banff International Research Station 2009, Springer, pp.87--125, 2011, Lecture Notes in Computational Science and Engineering, ⟨10.1007/978-3-642-21943-6⟩
inria-00001264v1  Conference papers
Alin BostanFrédéric ChyzakFrançois OllivierBruno SalvyÉric Schost et al.  Fast computation of power series solutions of systems of differential equations
2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021
hal-01708137v2  Conference papers
Mohamed KhemakhemAxel HeroldLaurent Romary. Enhancing Usability for Automatically Structuring Digitised Dictionaries
GLOBALEX workshop at LREC 2018, May 2018, Miyazaki, Japan
inria-00413486v1  Conference papers
Omar KermiaYves Sorel. A Rapid Heuristic for Scheduling Non-Preemptive Dependent Periodic Tasks onto Multiprocessor
Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07, 2007, Las Vegas, Nevada, United States