Skip to Main content Skip to Navigation

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-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-01341972v1  Journal articles
Philippe Darche. Évolution des mémoires à semi-conducteurs à accès aléatoire
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2017
hal-01673714v1  Journal articles
Karthikeyan BhargavanBenjamin BeurdoucheAntoine Delignat-LavaudCédric FournetMarkulf Kohlweiss et al.  A messy state of the union: taming the composite state machines of TLS
Communications of the ACM, Association for Computing Machinery, 2017, 60 (2), pp.99 - 107. ⟨10.1145/3023357⟩
hal-01206377v1  Journal articles
Oana IovaFabrice TheoleyreThomas WatteyneThomas Noel. The Love-Hate Relationship between IEEE802.15.4 and RPL
IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2017, 55 (1), ⟨10.1109/MCOM.2016.1300687RP⟩
hal-01613782v1  Journal articles
Pooya FarshimLouiza KhatiDamien Vergnaud. Security of Even-Mansour Ciphers under Key-Dependent Messages
IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2017, 2017 (2), pp.84-104. ⟨10.13154/tosc.v2017.i2.84-104⟩
hal-01118276v2  Journal articles
Francis Bach. On the Equivalence between Kernel Quadrature Rules and Random Feature Expansions
Journal of Machine Learning Research, Microtome Publishing, 2017, 18 (21), pp.1-38
hal-01424797v1  Journal articles
Arthur Azevedo de AmorimNathan CollinsAndré DehonDelphine DemangeCătălin Hriţcu et al.  A Verified Information-Flow Architecture
Journal of Computer Security, IOS Press, 2016, 24 (6), pp.689--734. ⟨10.3233/JCS-15784⟩
hal-01152168v2  Journal articles
Quentin MerigotJean-Marie Mirebeau. Minimal geodesics along volume preserving maps, through semi-discrete optimal transport
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2016, 54 (6), pp.3465-3492. ⟨10.1137/15M1017235⟩
hal-01179206v1  Journal articles
Christine FrickerFabrice GuilleminPhilippe RobertGuilherme Thompson. Analysis of an offloading scheme for data centers in the framework of fog computing
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, ACM, 2016, 1 (4), pp.18. ⟨10.1145/2950047⟩
hal-01254275v1  Journal articles
Hermes SengerVeronica Gil-CostaLuciana ArantesCesar A.C. MarcondesMauricio Marin et al.  BSP Cost and Scalability Analysis for MapReduce Operations
Concurrency and Computation: Practice and Experience, Wiley, 2016, 28 (8), pp.2503-2527 ⟨10.1002/cpe.3628⟩
hal-01424796v1  Journal articles
Cătălin HriţcuLeonidas LampropoulosAntal Spector-ZabuskyArthur Azevedo AmorimMaxime Dénès et al.  Testing Noninterference, Quickly
Journal of Functional Programming, Cambridge University Press (CUP), 2016, 26, e4 (62 p.). ⟨10.1017/S0956796816000058⟩
hal-00940743v3  Journal articles
Nicolas BroutinOlivier DevillersRoss Hemsley. Efficiently navigating a random Delaunay triangulation
Random Structures and Algorithms, Wiley, 2016, 49 (1), pp.95--136. ⟨10.1002/rsa.20630⟩
hal-01085971v1  Journal articles
Yufei HanFabien Moutarde. Analysis of Large-Scale Traffic Dynamics in an Urban Transportation Network Using Non-Negative Tensor Factorization
International Journal of Intelligent Transportation Systems Research, Springer Verlag, 2016, 14 (1), pp.36-49. ⟨10.1007/s13177-014-0099-7⟩
hal-01377880v1  Journal articles
Anne DesboisOlga AddimandaAnne BertrandAlban DerouxLaurent Pérard et al.  Efficacy of Anti-TNFα in Severe and Refractory Neuro-Behcet Disease
Medicine, Lippincott, Williams & Wilkins, 2016, 95 (23)
hal-01347457v1  Journal articles
Eddy CaronAjoy DattaFranck PetitCédric Tedeschi. Self-Stabilizing Prefix Tree Based Overlay Networks
International Journal of Foundations of Computer Science, World Scientific Publishing, 2016, 27 (5), pp.607-630. ⟨10.1142/S0129054116500192⟩
hal-01354864v1  Journal articles
Denis JeanneauThibault RieutordLuciana ArantesPierre Sens. Solving k-Set Agreement Using Failure Detectors in Unknown Dynamic Networks
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2016
hal-01347461v1  Journal articles
Borzoo BonakdarpourStéphane DevismesFranck Petit. Snap-Stabilizing Committee Coordination
Journal of Parallel and Distributed Computing, Elsevier, 2016, 87, pp.26-42. ⟨10.1016/j.jpdc.2015.09.004⟩