Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-02983166v1 Other publications Dominique Longin, Philippe Morignot. Bulletin de l'AFIA No. 100 (editors) 2018
	hal-01426852v1 Conference papers Kelsey Cairns, Harry Halpin, Graham 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 Kumar, Francis 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 Curien, Jovana Obradovic. A formal language for cyclic operads Higher Structures, Macquarie University 2017
	hal-01666797v1 Conference papers Adilla Susungi, Norman A. Rink, Jeronimo Castrillon, Immo Huismann, Albert 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-01613764v1 Conference papers Dahmun Goudarzi, Matthieu Rivain, Damien Vergnaud, Srinivas Vivek. Generalized Polynomial Decomposition for S-boxes with Application to Side-Channel Countermeasures Cryptographic Hardware and Embedded Systems - CHES 2017, Sep 2017, Taipei, Taiwan. pp.154-171, ⟨10.1007/978-3-319-66787-4_8⟩
	hal-01613794v1 Conference papers Marc Beunardeau, Aisling Connolly, Houda Ferradi, Rémi Géraud, David Naccache et al. Reusing Nonces in Schnorr Signatures Computer Security - ESORICS 2017, Sep 2017, Oslo, Norway. pp.224-241, ⟨10.1007/978-3-319-66402-6_14⟩
	hal-01578422v1 Conference papers Manon Ansart, Stéphane Epelbaum, Geoffroy Gagliardi, Olivier Colliot, Didier Dormont et al. Prediction of amyloidosis from neuropsychological and MRI data for cost effective inclusion of pre-symptomatic subjects in clinical trials Multimodal Learning for Clinical Decision Support, Sep 2017, Quebec City, Canada
	hal-01540785v1 Conference papers Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice 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 Belaid, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian 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 Bosilca, Aurelien Bouteiller, Amina Guermouche, Thomas Hérault, Yves 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-01555711v1 Conference papers Julia Lawall, Gilles 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⟩
	hal-01519132v1 Conference papers Benjamin Billet, Valerie Issarny, Gé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-01347471v1 Journal articles Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit. Self-Stabilizing Leader Election in Polynomial Steps Information and Computation, Elsevier, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
	hal-01511559v1 Conference papers Denis Jeanneau, Thibault Rieutord, Luciana Arantes, Pierre 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 Bhargavan, Barry Bond, Antoine Delignat‐lavaud, Cédric Fournet, Chris 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-01471901v1 Conference papers Geoffroy Couteau, Thomas Peters, David Pointcheval. Removing the Strong RSA Assumption from Arguments over the Integers EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2017, Paris, France. ⟨10.1007/978-3-319-56614-6_11⟩
	hal-01513750v1 Preprints, Working Papers, ... Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen. Having Fun With 31.521 Shell Scripts 2017
	hal-01511360v1 Conference papers Jonathan Lejeune, Frederico Alvares, Thomas 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 Voron, Gaël Thomas, Vivien Quema, Pierre 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-02357978v1 Conference papers Thomas Ehrhard, Pierre Boutillier, Jean Krivine. Incremental Update for Graph Rewriting European Symposium on Programming (ESOP), Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_8⟩
	hal-01408657v2 Conference papers Arthur Charguéraud, François Pottier. Temporary Read-Only Permissions for Separation Logic Proceedings of the 26th European Symposium on Programming (ESOP 2017), Apr 2017, Uppsala, Sweden
	hal-01471737v1 Conference papers David Pointcheval, Guilin Wang. VTBPEKE: Verifier-based Two-Basis Password Exponential Key Exchange ASIA CCS'17, Apr 2017, Abu Dhabi, United Arab Emirates. ⟨10.1145/3052973.3053026⟩
	hal-01471876v1 Conference papers David Pointcheval, Olivier Sanders, Jacques Traoré. Cut Down the Tree to Achieve Constant Complexity in Divisible E-Cash Public-Key Cryptography - PKC 2017 - 20th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.61-90, ⟨10.1007/978-3-662-54365-8_4⟩
	hal-01471896v1 Conference papers Michel Abdalla, Fabrice Benhamouda, David Pointcheval. Removing Erasures with Explainable Hash Proof Systems Public-Key Cryptography - PKC 2017 - 20th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.151-174, ⟨10.1007/978-3-662-54365-8_7⟩
	hal-01515369v1 Conference papers Janine Kniess, Luciana Arantes, Pierre Sens, Célio Albuquerque. Saving Resources in Discovery Protocol on Delay-Sensitive Rescue Mobile Networks The 31st IEEE International Conference on. Advanced Information Networking and Applications (AINA-2017), Mar 2017, Tapei, Taiwan
	hal-01441264v1 Conference papers Mohamed Hadded, Paul Muhlethaler, Anis Laouiti, Leila Azouz Saidane. TDMA-aware Routing Protocol for Multi-hop Communications in Vehicular Ad Hoc Networks WCNC 2017 - IEEE Wireless Communications and Networking Conference, Mar 2017, San Francisco, United States
	hal-01419907v1 Poster communications Tadanori Matsui, Georgios Papadopoulos, Pascal Thubert, Thomas Watteyne, Nicolas Montavont. Poster: 4th Industrial Revolution: Toward Deterministic Wireless Industrial Networks EWSN 2017 : International Conference on Embedded Wireless Systems and Networks, Feb 2017, Uppsala, Sweden. 2017
	hal-01399482v1 Conference papers Daniel Kästner, Xavier Leroy, Sandrine Blazy, Bernhard Schommer, Michael Schmidt et al. Closing the Gap – The Formally Verified Optimizing Compiler CompCert SSS'17: Safety-critical Systems Symposium 2017, Feb 2017, Bristol, United Kingdom. pp.163-180
	hal-01423612v1 Conference papers Robin Morisset, Francesco Zappa Nardelli. Partially Redundant Fence Elimination for x86, ARM and Power processors International Conference on Compiler Construction (CC), Feb 2017, Austin, United States
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize