Skip to Main content Skip to Navigation
  1. Search


...
hal-01409069v1  Journal articles
Umut Acar, Arthur Charguéraud, Mike Rainey. Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages
Journal of Functional Programming, Cambridge University Press (CUP), 2016, 26, ⟨10.1017/S0956796816000101⟩
hal-01424797v1  Journal articles
Arthur Azevedo de Amorim, Nathan Collins, André Dehon, Delphine Demange, Că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 Benhamouda, Marc Joye, Benoî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 Bhaskaracharya, Uday Bondhugula, Albert 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 Blaszczyszyn, Mohamed 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 Bonakdarpour, Stéphane Devismes, Franck 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 Bondesan, Stéphane Dellacherie, Hélène Hivert, Jonathan Jung, Vanessa 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 Broutin, Olivier Devillers, Ross Hemsley. Efficiently navigating a random Delaunay triangulation
Random Structures and Algorithms, Wiley, 2016, 49 (1), pp.95--136. ⟨10.1002/rsa.20630⟩
...
hal-01414386v1  Journal articles
Alfonso Caiazzo, Romain Guibert, Irene Vignon-Clementel. A reduced-order modeling for efficient design study of artificial valve in enlarged ventricular outflow tracts
Computer Methods in Biomechanics and Biomedical Engineering, Taylor & Francis, 2016, 19 (12), pp.1314 - 1318. ⟨10.1080/10255842.2015.1133811⟩
hal-01377998v1  Journal articles
Sébastien Canard, David Pointcheval, Olivier Sanders, Jacques 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 Caron, Ajoy Datta, Franck Petit, Cé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-01976359v1  Journal articles
Matteo Cavaliere, Guoli Yang, Vincent Danos, Vasilis Dakos. Detecting the Collapse of Cooperation in Evolving Networks
Scientific Reports, Nature Publishing Group, 2016, 6 (1), ⟨10.1038/srep30845⟩
...
hal-01292988v1  Journal articles
Alain Cournier, Ajoy K. Datta, Stéphane Devismes, Franck Petit, Vincent Villain. The expressive power of snap-stabilization
Theoretical Computer Science, Elsevier, 2016, 626, pp.40-66. ⟨10.1016/j.tcs.2016.01.036⟩
hal-01377880v1  Journal articles
Anne Desbois, Olga Addimanda, Anne Bertrand, Alban Deroux, Laurent Pérard et al.  Efficacy of Anti-TNFα in Severe and Refractory Neuro-Behcet Disease
Medicine, Lippincott, Williams & Wilkins, 2016, 95 (23)
...
hal-01080361v3  Journal articles
Marie Doumic, Miguel Escobedo. Time Asymptotics for a Critical Case in Fragmentation and Growth-Fragmentation Equations
Kinetic and Related Models , AIMS, 2016, 9 (2), pp.47. ⟨10.3934/krm.2016.9.251⟩
...
hal-00992389v1  Journal articles
Jean-Charles Faugère, Ayoub Otmani, Ludovic Perret, Frédéric de Portzamparc, Jean-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 Fricker, Fabrice Guillemin, Philippe Robert, Guilherme 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 Han, Fabien 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ţcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo Amorim, Maxime 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 Jeanneau, Thibault Rieutord, Luciana Arantes, Pierre 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 Keeler, Nathan Ross, Aihua Xia, Bartł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-00952720v1  Journal articles
Pedro Machado Manhães de Castro, Quentin Merigot, Boris Thibert. Far-field reflector problem and intersection of paraboloids
Numerische Mathematik, Springer Verlag, 2016, 134 (2), pp.389-411. ⟨10.1007/s00211-015-0780-z⟩
...
hal-01152168v2  Journal articles
Quentin Merigot, Jean-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-01976304v1  Journal articles
Goksel Misirli, Matteo Cavaliere, William Waites, Matthew Pocock, Curtis Madsen et al.  Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization
Bioinformatics, Oxford University Press (OUP), 2016, 32 (6), pp.908-917. ⟨10.1093/bioinformatics/btv660⟩
...
hal-01196436v1  Journal articles
Lorraine Perronnet, Maria Eugenia Vilarchao, Guillaume Hucher, Daniel Shulz, Gabriel Peyré et al.  An automated workflow for the anatomo-functional mapping of the barrel cortex
Journal of Neuroscience Methods, Elsevier, 2016, pp.11. ⟨10.1016/j.jneumeth.2015.09.008⟩
hal-01254275v1  Journal articles
Hermes Senger, Veronica Gil-Costa, Luciana Arantes, Cesar A.C. Marcondes, Mauricio 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-01064637v1  Journal articles
Jian Sun, Jean Ponce. Learning Dictionary of Discriminative Part Detectors for Image Categorization and Cosegmentation
International Journal of Computer Vision, Springer Verlag, 2016, ⟨10.1007/s11263-016-0899-0⟩
...
hal-01378465v1  Journal articles
Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry. Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation
Bioinformatics, Oxford University Press (OUP), 2016, 32 (17), pp.i772-i780. ⟨10.1093/bioinformatics/btw457⟩