Skip to Main content Skip to Navigation


...
hal-00818482v1  Conference papers
Ludovic HenrioFabrice HuetZsolt István. Multi-threaded Active Objects
COORDINATION 2013, Jun 2013, Firenze, Italy
inria-00334353v1  Journal articles
Roy FriedmanDaniela GavidiaLuis RodriguesAline Carneiro VianaSpyros Voulgaris. Gossiping on MANETs: the Beauty and the Beast
Operating Systems Review, Association for Computing Machinery, 2007, 41 (5), pp.67-74
...
hal-01317464v1  Conference papers
Anwar HithnawiSu LiHossein ShafaghJames GrossSimon 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-00789525v1  Conference papers
Thorsten BormerMarc BrockschmidtDino DistefanoGidon ErnstJean-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-02368842v1  Book sections
David BasinLucca HirschiRalf 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 KrifaChadi BarakatThrasyvoulos 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 DreierLucca HirschiSasa RadomirovicRalf 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 PelekisJan RamonYuyi 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 NeuBartó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 DreierLucca HirschiSasa RadomirovicRalf 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 DusmanuIgnacio RoccoTomas PajdlaMarc PollefeysJosef 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 ToriiHajime TairaJosef SivicMarc PollefeysMasatoshi 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 SattlerAkihiko ToriiJosef SivicMarc PollefeysHajime 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 SattlerWill MaddernCarl ToftAkihiko ToriiLars 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 TairaMasatoshi OkutomiTorsten SattlerMircea CimpoiMarc 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 TairaIgnacio RoccoJiri SedlarMasatoshi OkutomiJosef 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 DupuisOmar FawziStephanie Wehner. Entanglement Sampling and Applications
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2015, 61 (2), pp.1093-1112
...
hal-02368832v1  Journal articles
Lucca HirschiDavid BaeldeSté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 ToftWill MaddernAkihiko ToriiLars HammarstrandErik 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⟩
lirmm-00269661v1  Directions of work or proceedings
Zohra BellahseneEla HuntMichael RysRainer 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-01668857v1  Poster communications
Hossein ShafaghAnwar HithnawiSimon 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 GawrychowskiAdrian KosowskiPrzemyslaw 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⟩