Skip to Main content Skip to Navigation

hal-01320646v1  Journal articles
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Detection of firewall configuration errors with updatable tree
International Journal of Information Security, Springer Verlag, 2016, 15 (3), pp.301-317. ⟨10.1007/s10207-015-0290-0⟩
inria-00405356v1  Journal articles
Humberto AbdelnurTigran AvanesovMichaël RusinowitchRadu State. Abusing SIP authentication
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2009, Special Issue on Access Control and Protcols, 4 (4), pp.311-318
hal-02378889v1  Journal articles
Mohammed Riyadh AbdmeziemFrançois Charoy. Securing IoT-based Groups: Efficient, Scalable and Fault-tolerant Key Management Protocol
Ad Hoc & Sensor Wireless Networks, PKP Publishing ServicesNetwork 2019
hal-02378897v1  Journal articles
Mohammed Riyadh Abdmeziem. Securing IoT-based collaborative applications using a new compressed and distributed MIKEY mode
International Journal of Information and Computer Security, Inderscience, 2019
hal-01613530v2  Journal articles
Simon AbelardPierrick GaudryPierre-Jean Spaenlehauer. Improved Complexity Bounds for Counting Points on Hyperelliptic Curves
Foundations of Computational Mathematics, Springer Verlag, 2019, 19 (3), pp.591-621. ⟨10.1007/s10208-018-9392-1⟩
hal-00726146v2  Journal articles
Kamil AdiloğluEmmanuel Vincent. Variational Bayesian Inference for Source Separation and Robust Feature Extraction
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2583794⟩
hal-01982426v1  Journal articles
David AdrianKarthikeyan BhargavanZakir DurumericPierrick GaudryMatthew Green et al.  Imperfect forward secrecy: How Diffie-Hellman fails in practice
Communications of the ACM, Association for Computing Machinery, 2018, 62 (1), pp.106-114. ⟨10.1145/3292035⟩
hal-01261869v1  Journal articles
Mehdi Ahmed-NacerPascal UrsoFrançois Charoy. Merging By Decentralized Eventual Consistency Algorithms
EAI Endorsed Transactions on Collaborative Computing, European Alliance for Innovation, 2015, 1 (6), ⟨10.4108/eai.21-12-2015.150817⟩
hal-00202638v1  Journal articles
Pierre AilliotEmmanuel FrénodValérie Monbet. Modeling the Coastal Ocean over a Time Period of Several Weeks
Journal of Differential Equations, Elsevier, 2010, 246 (4), pp.639 - 659. ⟨10.1016/j.jde.2009.11.004⟩
hal-01673439v1  Journal articles
Mehwish AlamAleksey BuzmakovAmedeo Napoli. Exploratory Knowledge Discovery over Web of Data
Discrete Applied Mathematics, Elsevier, 2018, 249, pp.2-17. ⟨10.1016/j.dam.2018.03.041⟩
hal-01660773v1  Journal articles
Marc AlexaKristian HildebrandSylvain Lefebvre. Optimal discrete slicing
ACM Transactions on Graphics, Association for Computing Machinery, 2017, 36 (1), pp.1 - 16. ⟨10.1145/2999536⟩
hal-00688474v1  Journal articles
Jérémie AllardJean-Denis LesageBruno Raffin. Modularity for Large Virtual Reality Applications
Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2010, 19 (2), pp.142-161. ⟨10.1162/pres.19.2.142⟩
inria-00502446v2  Journal articles
Jérémie AllardFrançois FaureHadrien CourtecuisseFlorent FalipouChristian Duriez et al.  Volume Contact Constraints at Arbitrary Resolution
ACM Transactions on Graphics, Association for Computing Machinery, 2010, Proceedings of SIGGRAPH 2010, 29 (3), pp.Article No. 82. ⟨10.1145/1778765.1778819⟩
hal-00926106v1  Journal articles
Laurent AlonsoEdward M. Reingold. Analysis of Boyer and Moore's MJRTY algorithm
Information Processing Letters, Elsevier, 2013, 113, pp.495-497. ⟨10.1016/j.ipl.2013.04.005⟩
hal-01414145v1  Journal articles
Maxime Amblard. Pour un TAL responsable
Traitement Automatique des Langues, ATALA, 2016, 57 (2), pp.21 - 45
hal-01071642v1  Journal articles
Maxime AmblardChristian Retoré. Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2014, 1 (1), pp.53-94
hal-01188669v1  Journal articles
Maxime Amblard. La non-commutativité comme argument linguistique : modéliser la notion de phase dans un cadre logique
Traitement Automatique des Langues, ATALA, 2015, 56 (1), pp.91 - 115
hal-01188677v2  Journal articles
Maxime AmblardKarën FortCaroline DemilyNicolas FranckMichel Musiol. Analyse lexicale outillée de la parole transcrite de patients schizophrènes
Traitement Automatique des Langues, ATALA, 2015, Natural Language Processing and Cognition, 55 (3), pp.91 - 115
hal-00854841v3  Journal articles
Siva AnantharamanChristopher BouchardPaliath NarendranMichaël Rusinowitch. Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (1:5), pp. 1--26. ⟨10.2168/LMCS-10(1:5)2014⟩
hal-01196042v2  Journal articles
Mihai AndriesOlivier SimoninFrançois Charpillet. Localisation of humans, objects and robots interacting on load-sensing floors
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2016, 16 (4), pp.1026-1037. ⟨10.1109/JSEN.2015.2493122⟩
hal-00997207v1  Journal articles
Patrizio AngeliniDavid EppsteinFabrizio FratiMichael KaufmannSylvain Lazard et al.  Universal Point Sets for Planar Graph Drawing with Circular Arcs
Journal of Graph Algorithms and Applications, Brown University, 2014, 18 (3), pp.313-324. ⟨10.7155/jgaa.00324⟩