Skip to Main content Skip to Navigation

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-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-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⟩
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-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-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-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-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-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-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-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-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⟩