Skip to Main content Skip to Navigation


...
hal-02513038v2  Journal articles
Oumayma BounouTom MonnierIlaria PastrolinXi ShenChristine Benevent et al.  A Web Application for Watermark Recognition
Journal of Data Mining and Digital Humanities, Episciences.org, 2020, 24 (45), pp.33
...
hal-01426852v1  Conference papers
Kelsey CairnsHarry HalpinGraham Steel. Security Analysis of the W3C Web Cryptography API
Proceedings of Security Standardisation Research (SSR), Dec 2017, Gaithersberg, United States. pp.112 - 140, ⟨10.1007/978-3-319-49100-4_5⟩
...
hal-01161759v4  Journal articles
K. S. Sesh KumarFrancis Bach. Active-set Methods for Submodular Minimization Problems
Journal of Machine Learning Research, Microtome Publishing, 2017, pp.1-31
...
hal-01278214v1  Journal articles
Pierre-Louis CurienJovana Obradovic. A formal language for cyclic operads
Higher Structures, Macquarie University 2017
...
hal-01171481v1  Journal articles
Nicolas FournierBenjamin Jourdain. Stochastic particle approximation of the Keller-Segel equation and two-dimensional generalization of Bessel processes
Annals of Applied Probability, Institute of Mathematical Statistics (IMS), 2017, 27 (5), pp.2807-2861. ⟨10.1214/16-AAP1267⟩
...
hal-01666797v1  Conference papers
Adilla SusungiNorman A. RinkJeronimo CastrillonImmo HuismannAlbert Cohen et al.  Towards Compositional and Generative Tensor Optimizations
GPCE 2017 - 16th International Conference on Generative Programming: Concepts & Experience, Oct 2017, Vancouver, Canada. pp.Pages 169-175
...
hal-01192862v1  Journal articles
Roland AssarafBenjamin JourdainTony LelièvreRaphaël Roux. Computation of sensitivities for the invariant measure of a parameter dependent diffusion
Stochastics and Partial Differential Equations: Analysis and Computations, Springer US, 2017, June 2018, 6 (2), pp.125-183. ⟨10.1007/s40072-017-0105-6⟩
hal-01241735v1  Journal articles
Adrien Le CoentFlorian de VuystChristian ReyLudovic ChamoinLaurent Fribourg. Control of mechanical systems using set based methods
International Journal of Dynamics and Control, Springer Berlin Heidelberg, 2017, 5 (3), pp.496-512. ⟨10.1007/s40435-016-0245-y⟩
hal-01416002v1  Journal articles
Jonathan RubinJustyna Signerska-RynkowskaJonathan TouboulAlexandre Vidal. Wild oscillations in a nonlinear neuron model with resets: (I) Bursting, spike adding and chaos
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2017, 22, pp.3967-4002. ⟨10.3934/dcdsb.2017204⟩
hal-01540785v1  Conference papers
Ludovic Le FriouxSouheib BaarirJulien SopenaFabrice Kordon. PaInleSS: a Framework for Parallel SAT Solving.
The 20th International Conference on Theory and Applications of Satisfiability Testing, Aug 2017, Melbourne, Australia. pp.233-250, ⟨10.1007/978-3-319-66263-3_15⟩
hal-01613773v1  Conference papers
Sonia BelaidFabrice BenhamoudaAlain PasselègueEmmanuel ProuffAdrian Thillard et al.  Private Multiplication over Finite Fields
Advances in Cryptology - CRYPTO 2017, Aug 2017, Santa Barbara, United States. pp.397-426, ⟨10.1007/978-3-319-63697-9_14⟩
hal-01968436v1  Journal articles
George BosilcaAurelien BouteillerAmina GuermoucheThomas HeraultYves Robert et al.  A failure detector for HPC platforms
International Journal of High Performance Computing Applications, SAGE Publications, 2017, 32 (1), pp.139-158. ⟨10.1177/1094342017711505⟩
hal-01056124v1  Journal articles
Nicolas BroutinMinmin Wang. Reversing the cut tree of the Brownian continuum random tree
Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2017, 22 (80), pp.1-23
hal-01591550v1  Conference papers
Patrick LaugHouman Borouchaki. Geometric Meshing of Discrete Surfaces
14th U.S. National Congress on Computational Mechanics (USNCCM) - Symposium on Trends in Unstructured Mesh Generation (STUMG), Jul 2017, Montreal, QC, Canada
...
hal-01555711v1  Conference papers
Julia LawallGilles Muller. JMake: Dependable Compilation for Kernel Janitors
The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, IEEE/IFIP, Jun 2017, Denver,Colorado, United States. ⟨10.1109/DSN.2017.62⟩
insu-01451363v2  Conference papers
Patrick LaugGéraldine PichotJean-Raynald de Dreuzy. Realistic geometric modeling of fracture networks
8th International Conference on Adaptive Modeling and Simulation (ADMOS 2017) - Symposium "Mesh generation and mesh adaptativity: methods and applications", Jun 2017, Verbania, Italy
...
hal-01519132v1  Conference papers
Benjamin BilletValerie IssarnyGéraldine Texier. Composing Continuous Services in a CoAP-based IoT
AIMS - 6th IEEE International Conference on AI & Mobile Services, Jun 2017, Honolulu, United States
...
hal-01511559v1  Conference papers
Denis JeanneauThibault RieutordLuciana ArantesPierre Sens. Détecteur de fautes pour le k-accord dans les systèmes inconnus et dynamiques
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
hal-01672707v1  Conference papers
Karthikeyan BhargavanBarry BondAntoine Delignat‐lavaudCédric FournetChris Hawblitzel et al.  Everest: Towards a Verified, Drop‐in Replacement of HTTPS
2nd Summit on Advances in Programming Languages (SNAPL), May 2017, Asilomar, CA, United States. ⟨10.4230/LIPIcs.SNAPL.2017.1⟩
...
hal-01511360v1  Conference papers
Jonathan LejeuneFrederico AlvaresThomas Ledoux. Towards a generic autonomic model to manage Cloud Services
The 7th International Conference on Cloud Computing and Services Science (CLOSER 2017), Apr 2017, Porto, Portugal. pp.175-186, ⟨10.5220/0006302801750186⟩
...
hal-01515359v1  Conference papers
Gauthier VoronGaël ThomasVivien QuemaPierre Sens. An interface to implement NUMA policies in the Xen hypervisor
Twelfth European Conference on Computer Systems, EuroSys 2017, Apr 2017, Belgrade, Serbia. pp.15
...
hal-01408657v2  Conference papers
Arthur CharguéraudFrançois Pottier. Temporary Read-Only Permissions for Separation Logic
Proceedings of the 26th European Symposium on Programming (ESOP 2017), Apr 2017, Uppsala, Sweden
hal-02357978v1  Conference papers
Thomas EhrhardPierre BoutillierJean Krivine. Incremental Update for Graph Rewriting
European Symposium on Programming (ESOP), Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_8⟩