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
...
tel-00357309v1  Theses
Taous-Meriem Laleg. Analyse de signaux par quantification semi-classique. Application à l'analyse des signaux de pression artérielle
Mathématiques [math]. Université de Versailles-Saint Quentin en Yvelines, 2008. Français
...
tel-02438652v1  Theses
Arthur Loussert. Understanding and Guiding the Computing Resource Management in a Runtime Stacking Context
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2019. English
...
tel-00339402v2  Theses
Mouhamad Ibrahim. Routing and performance evaluation of disruption tolerant networks
Modeling and Simulation. Université Nice Sophia Antipolis, 2008. English
...
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
...
tel-00832725v1  Theses
Aude Liefooghe. Matrices score-position, algorithmes et propriétés
Bio-informatique [q-bio.QM]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français
...
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-01949209v1  Journal articles
Max NewAmal Ahmed. Graduality from embedding-projection pairs
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1-30. ⟨10.1145/3236768⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
...
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⟩
...
tel-00340864v1  Theses
Nicolas Palix. Langages dédiés au développement de services de communications
Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français
hal-01986848v1  Journal articles
Frédéric LegollTony LelièvreGabriel Stoltz. Some remarks on sampling methods in molecular dynamics
ESAIM: Proceedings and Surveys, EDP Sciences, 2008, 22, pp.217-233. ⟨10.1051/proc:072226⟩
...
hal-02174938v2  Journal articles
Florentin DelaineBérengère LebentalHervé Rivano. In Situ Calibration Algorithms for Environmental Sensor Networks: a Review
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2019, 19 (15), pp 5968 - 5978. ⟨10.1109/JSEN.2019.2910317⟩
...
inria-00333637v1  Conference papers
Julien MercadalNicolas PalixCharles ConselJulia Lawall. Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services
Seventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp.149-160
hal-01624049v1  Journal articles
Claude Le BrisFrédéric LegollFrançois Madiot. Multiscale Finite Element methods for advection-dominated problems in perforated domains
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2019, 17 (2), pp.773-825. ⟨10.1137/17M1152048⟩
...
inria-00333609v1  Conference papers
Wilfried JouveNicolas PalixCharles ConselPatrice Kadionik. A SIP-based Programming Framework for Advanced Telephony Applications
2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany
...
inria-00333602v1  Conference papers
Wilfried JouveJulien LanciaNicolas PalixCharles ConselJulia Lawall. High-level Programming Support for Robust Pervasive Computing Applications
6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China
...
inria-00132118v4  Journal articles
Antoine Gloria. An analytical framework for numerical homogenization - Part II: windowing and oversampling
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2008, 7 (1), pp.274-293. ⟨10.1137/070683143⟩
...
hal-02371659v1  Journal articles
Anthony StrockXavier HinautNicolas P. Rougier. A Robust Model of Gated Working Memory
Neural Computation, Massachusetts Institute of Technology Press (MIT Press), 2019, pp.1-29. ⟨10.1162/neco_a_01249⟩