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

	1 2 3 4 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-02268822v1 Journal articles Lucca Hirschi, Ralf Sasse, Jannik Dreier. Security Issues in the 5G Standard and How Formal Methods Come to the Rescue ERCIM News, ERCIM, 2019
	hal-00818482v1 Conference papers Ludovic Henrio, Fabrice Huet, Zsolt István. Multi-threaded Active Objects COORDINATION 2013, Jun 2013, Firenze, Italy
	hal-00720012v2 Reports Ludovic Henrio, Fabrice Huet, Zsolt István. A Language for Multi-threaded Active Objects [Research Report] RR-8021, INRIA. 2012
	inria-00334353v1 Journal articles Roy Friedman, Daniela Gavidia, Luis Rodrigues, Aline Carneiro Viana, Spyros Voulgaris. Gossiping on MANETs: the Beauty and the Beast Operating Systems Review, Association for Computing Machinery, 2007, 41 (5), pp.67-74
	inria-00359288v1 Reports Jane Tournois, Camille Wormser, Pierre Alliez, Mathieu Desbrun. Interleaving Delaunay Refinement and Optimization for Practical Isotropic Tetrahedron Mesh Generation [Research Report] RR-6826, INRIA. 2009, pp.27
	hal-01317464v1 Conference papers Anwar Hithnawi, Su Li, Hossein Shafagh, James Gross, Simon Duquennoy. CrossZig: Combating Cross-Technology Interference in Low-Power Wireless Networks International Conference on Information Processing in Sensor Networks (ACM/IEEE IPSN 2016), Apr 2016, Vienna, Austria. ⟨10.1109/IPSN.2016.7460663⟩
	hal-00947748v1 Conference papers Andrei Asinowski, Jean Cardinal, Nathann Cohen, Sébastien Collette, Thomas Hackl et al. Coloring Hypergraphs Induced by Dynamic Point Sets and Bottomless Rectangles WADS 2013, Aug 2013, Canada. pp.73-84
	hal-00789525v1 Conference papers Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre et al. The COST IC0701 Verification Competition 2011 Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2011, 2011, Torino, Italy
	hal-02358878v1 Journal articles Jannik Dreier, Lucca Hirschi, Saša Radomirović, Ralf Sasse. Verification of Stateful Cryptographic Protocols with Exclusive OR Journal of Computer Security, IOS Press, 2020, 28 (1), pp.1--34. ⟨10.3233/JCS-191358⟩
	hal-02368842v1 Book sections David Basin, Lucca Hirschi, Ralf Sasse. Symbolic Analysis of Identity-Based Protocols Springer. Foundations of Security, Protocols, and Equational Reasoning, Springer (11565), pp.112-134, 2019, LNCS, ⟨10.1007/978-3-030-19052-1_9⟩
	inria-00542309v1 Journal articles Amir Krifa, Chadi Barakat, Thrasyvoulos Spyropoulos. Message Drop and Scheduling in DTNs: Theory and Practice IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2012, 11 (9), pp.14. ⟨10.1109/TMC.2011.163⟩
	hal-01780603v1 Conference papers Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse. Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR CSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00033⟩
	hal-01814651v1 Journal articles Christos Pelekis, Jan Ramon, Yuyi Wang. On the Bernstein-Hoeffding method Bulletin of the Hellenic Mathematical Society, Hellenic Mathematical Society, 2018, 62, pp.31-43
	hal-01380278v1 Journal articles Gergely Neu, Bartók Gábor. Importance Weighting Without Importance Weights: An Efficient Algorithm for Combinatorial Semi-Bandits Journal of Machine Learning Research, Microtome Publishing, 2016, 17 (154), pp.1 - 21
	hal-01780544v1 Reports Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse. Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR (Extended Version) [Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; ETH Zurich, Switzerland; University of Dundee. 2018
	hal-02438461v1 Conference papers Mihai Dusmanu, Ignacio Rocco, Tomas Pajdla, Marc Pollefeys, Josef Sivic et al. D2-Net: A Trainable CNN for Joint Detection and Description of Local Features CVPR 2019 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2019, Long Beach, United States
	hal-02448029v1 Journal articles Akihiko Torii, Hajime Taira, Josef Sivic, Marc Pollefeys, Masatoshi Okutomi et al. Are Large-Scale 3D Models Really Necessary for Accurate Visual Localization? IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2019, XX, ⟨10.1109/TPAMI.2019.2941876⟩
	hal-01513083v1 Conference papers Torsten Sattler, Akihiko Torii, Josef Sivic, Marc Pollefeys, Hajime Taira et al. Are Large-Scale 3D Models Really Necessary for Accurate Visual Localization? CVPR 2017 - IEEE Conference on Computer Vision and Pattern Recognition, Jul 2017, Honolulu, United States. pp.10
	hal-01859660v1 Conference papers Torsten Sattler, Will Maddern, Carl Toft, Akihiko Torii, Lars Hammarstrand et al. Benchmarking 6DOF Outdoor Visual Localization in Changing Conditions IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2018), Jun 2018, Salt Lake City, UT, United States
	hal-01859637v1 Conference papers Hajime Taira, Masatoshi Okutomi, Torsten Sattler, Mircea Cimpoi, Marc Pollefeys et al. InLoc: Indoor Visual Localization with Dense Matching and View Synthesis CVPR 2018 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2018, Salt Lake City, United States
	hal-02438468v1 Conference papers Hajime Taira, Ignacio Rocco, Jiri Sedlar, Masatoshi Okutomi, Josef Sivic et al. Is This The Right Place? Geometric-Semantic Pose Verification for Indoor Visual Localization ICCV 2019 - International Conference on Computer Vision, Oct 2019, Seoul, South Korea
	hal-01995218v1 Journal articles Frederic Dupuis, Omar Fawzi, Stephanie Wehner. Entanglement Sampling and Applications IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2015, 61 (2), pp.1093-1112
	hal-01622110v1 Journal articles David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. Symbolically Analyzing Security Protocols using Tamarin ACM SIGLOG News, ACM, 2017, ⟨10.1145/3157831.3157835⟩
	hal-02368832v1 Journal articles Lucca Hirschi, David Baelde, Stéphanie Delaune. A method for unbounded verification of privacy-type properties Journal of Computer Security, IOS Press, 2019, 27 (3), pp.277-342. ⟨10.3233/JCS-171070⟩
	hal-03140805v1 Journal articles Carl Toft, Will Maddern, Akihiko Torii, Lars Hammarstrand, Erik Stenborg et al. Long-Term Visual Localization Revisited IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2020, pp.14. ⟨10.1109/TPAMI.2020.3032010⟩
	hal-01927721v1 Journal articles Emmanuel Agullo, Peter Arbenz, Luc Giraud, Olaf Schenk. Guest editorial: Special issue on parallel matrix algorithms and applications (PMAA’16) Parallel Computing, Elsevier, 2018, 74, pp.1 - 2. ⟨10.1016/j.parco.2018.01.003⟩
	lirmm-00269661v1 Directions of work or proceedings Zohra Bellahsene, Ela Hunt, Michael Rys, Rainer Unland. Database and XML Technologies France. Springer, pp.281, 2009, Lecture Notes in Computer Science, 3-540-20055-X. ⟨10.1007/978-3-642-03555-5⟩
	hal-00907793v1 Journal articles Gaurav Chaurasia, Sylvain Duchene, Olga Sorkine-Hornung, George Drettakis. Depth Synthesis and Local Warps for Plausible Image-based Navigation ACM Transactions on Graphics, Association for Computing Machinery, 2013, 32 (3), ⟨10.1145/2487228.2487238⟩
	hal-01668857v1 Poster communications Hossein Shafagh, Anwar Hithnawi, Simon Duquennoy. Towards Blockchain-based Auditable Storage and Sharing of IoT Data NSDI 2017 - 14th USENIX Symposium on Networked Systems Design and Implementation, Mar 2017, Boston, United States. pp.1-2
	hal-01415064v1 Conference papers Pawel Gawrychowski, Adrian Kosowski, Przemyslaw Uznanski. Sublinear-Space Distance Labeling Using Hubs DISC 2016 - 30th International Symposium on DIStributed Computing, Sep 2016, Paris, France. pp.230-242, ⟨10.1007/978-3-662-53426-7_17⟩
	1 2 3 4 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

Type of deposit Minimize

Year Minimize