Skip to Main content Skip to Navigation

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-01181321v3  Journal articles
Fabrice BenhamoudaMarc JoyeBenoît Libert. A New Framework for Privacy-Preserving Aggregation of Time-Series Data
ACM Transactions on Information and System Security, Association for Computing Machinery, 2016, 18 (3), pp.21. ⟨10.1145/2873069⟩
hal-01425564v1  Journal articles
Somashekaracharya BhaskaracharyaUday BondhugulaAlbert Cohen. Automatic Storage Optimization for Arrays
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2016, 38, pp.1 - 23. ⟨10.1145/2845078⟩
hal-01215566v1  Journal articles
Bartlomiej BlaszczyszynMohamed Karray. Spatial distribution of the SINR in Poisson cellular networks with sector antennas
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2016, 15 (1), pp.581 - 593. ⟨10.1109/TWC.2015.2476465⟩
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⟩
hal-01258397v1  Journal articles
Andrea BondesanStéphane DellacherieHélène HivertJonathan JungVanessa Lleras et al.  Study of a depressurisation process at low Mach number in a nuclear reactor core
ESAIM: Proceedings and Surveys, EDP Sciences, 2016, CEMRACS 2015: Coupling multi-physics models involving fluids, 55, pp.41-60. ⟨10.1051/proc/201655041⟩
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-01377998v1  Journal articles
Sébastien CanardDavid PointchevalOlivier SandersJacques Traoré. Divisible e-cash made practical
IET Information Security, Institution of Engineering and Technology, 2016, ⟨10.1049/iet-ifs.2015.0485⟩
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-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-00992389v1  Journal articles
Jean-Charles FaugèreAyoub OtmaniLudovic PerretFrédéric de PortzamparcJean-Pierre Tillich. Folding Alternant and Goppa Codes with Non-Trivial Automorphism Groups
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2016, 62 (1), pp.184-198. ⟨10.1109/TIT.2015.2493539⟩
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-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-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-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-01331897v1  Journal articles
Holger Paul KeelerNathan RossAihua XiaBartłomiej Błaszczyszyn. Stronger wireless signals appear more Poisson
IEEE wireless communications letters, IEEE comsoc, 2016, 5 (6), pp.572 - 575. ⟨10.1109/LWC.2016.2601913⟩
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-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⟩