Skip to Main content Skip to Navigation


...
inria-00201096v1  Conference papers
Catuscia PalamidessiVijay SaraswatFrank ValenciaBjorn Victor. On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus
Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), Aug 2006, Seattle, United States. pp.59-68, ⟨10.1109/LICS.2006.39⟩
lirmm-00324589v1  Conference papers
David BremnerJonathan LenchnerGiuseppe LiottaChristophe PaulMarc Pouget et al.  A Note on α-Drawable k-Trees
CCCG'08: Canadian Conference on Computational Geometry, Canada. pp.23-27
hal-00371393v1  Journal articles
Tamar EilamCyril GavoilleDavid Peleg. Average Stretch Analysis of Compact Routing Schemes
Discrete Applied Mathematics, Elsevier, 2007, 155, pp.598-610. ⟨10.1016/j.dam.2006.09.010⟩
...
inria-00423319v1  Conference papers
Pierre GenevèsKristoffer Rose. Compiling XPath for Streaming Access Policy
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. pp.52-54
...
inria-00423382v1  Conference papers
Pierre GenevèsKristoffer Rose. Compiling XPath into a State-less Forward-only Subset
First International Workshop on High Performance XML Processing, May 2004, New York, United States
...
inria-00435092v1  Journal articles
Christine MorinAnne-Marie KermarrecMichel BanâtreAlain Gefflaut. An Efficient and Scalable Approach for Implementing Fault-Tolerant DSM Architectures
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2000, IEEE Transactions on Computers, 49 (5), pp.414-430
...
inria-00551077v1  Conference papers
Louis-Noël PouchetUday BondhugulaCédric BastoulAlbert CohenJagannathan Ramanujam et al.  Loop Transformations: Convexity, Pruning and Optimization
38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'11), Jan 2011, Austin, TX, United States
...
inria-00551516v1  Conference papers
Konrad TrifunovicAlbert CohenDavid EdelsohnFeng LiTobias Grosser et al.  GRAPHITE Two Years After: First Lessons Learned From Real-World Polyhedral Compilation
GCC Research Opportunities Workshop (GROW'10), Jan 2010, Pisa, Italy
inria-00590150v1  Conference papers
Rémi RonfardFausto BernardiniIoanna Boier-Martin. Variational Surface Design with Multiresolution Constraints
SIAM Conference on Geometric Design and Computing, Nov 2001, Sacramento, United States
...
inria-00544623v1  Journal articles
Ioana MartinRémi RonfardFausto Bernardini. Detail-preserving variational surface design with multiresolution constraints
Journal of Computing and Information Science in Engineering, American Society of Mechanical Engineers, 2005, 5 (2), pp.104-110. ⟨10.1115/1.1891824⟩
inria-00606736v1  Journal articles
Thomas FunkhouserNicolas TsingosIngrid CarlbomGary ElkoMohan Sondhi et al.  A Beam Tracing Method for Interactive Architectural Acoustics
Journal of the Acoustical Society of America, Acoustical Society of America, 2003, 115 (2), pp.739-756
...
inria-00615068v1  Journal articles
André GuéziecXavier PennecNicholas Ayache. Medical Image Registration using Geometric Hashing
IEEE Computational Science and Engineering, Institute of Electrical and Electronics Engineers (IEEE), 1997, 4 (4), pp.29-41. ⟨10.1109/99.641607⟩
inria-00638950v1  Conference papers
Moinuddin QureshiAndré SeznecLastras LuisMichele Franceschini. Practical and secure PCM systems by online detection of malicious write streams
2011 IEEE 17th International Symposium on High Performance Computer Architecture, IEEE, Feb 2011, San Antonio, United States. ⟨10.1109/HPCA.2011.5749753⟩
hal-00763399v1  Journal articles
Kristoffer H. RoseRoel BlooFrederic Lang. On Explicit Substitution with Names
Journal of Automated Reasoning, Springer Verlag, 2012, Special Issue: Theory and Applications of Abstraction, Substitution and Naming, 49 (2), pp.275-300. ⟨10.1007/s10817-011-9222-5⟩
hal-00768518v1  Directions of work or proceedings
Pavel ShvaikoJérôme EuzenatAnastasios KementsietsidisMing MaoNatalya Noy et al.  Proc. 7th ISWC workshop on ontology matching (OM)
Pavel Shvaiko, Jérôme Euzenat, Anastasios Kementsietsidis, Ming Mao, Natalya Noy, Heiner Stuckenschmidt. No commercial editor., pp.1-253, 2012
hal-00798046v1  Conference papers
Vijay SaraswatDavid CunninghamLiana HadareanLouis MandelAvraham Shinnar et al.  Constrained Types - Future Directions
CP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada
hal-00918492v1  Directions of work or proceedings
Pavel ShvaikoJérôme EuzenatKavitha SrinivasMing MaoErnesto Jiménez-Ruiz. Proc. 8th ISWC workshop on ontology matching (OM)
Pavel Shvaiko and Jérôme Euzenat and Kavitha Srinivas and Ming Mao and Ernesto Jiménez-Ruiz. No commercial editor., pp.1-249, 2013
hal-00930096v1  Conference papers
Omer TrippMarco PistoiaPatrick CousotRadhia CousotSalvatore Guarnieri. Andromeda: Accurate and Scalable Security Analysis of Web Applications
FASE 2013 - International Conference Fundamental Approaches to Software Engineering, Vittorio Cortellessa and Dániel Varró, Mar 2013, Rome, Italy. pp.210-225, ⟨10.1007/978-3-642-37057-1_15⟩
hal-00932480v1  Directions of work or proceedings
George BrebisRichard BoyleDarko KoracinBharam ParvinBaoxin Li et al.  Advances in Visual Computing : 9th International Symposium, ISVC 2013, Proceedings, Part I.
Lecture Notes in Computer Science, Springer 2013, pp.586, 2013
hal-00945072v1  Conference papers
Sushil K. PrasadAlmadena Yu. ChtchelkanovaSajal K. DasFrank DehneMohamed Gouda et al.  NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates
SIGCSE''11, the 42nd ACM Tech. Symp. on Computer Science Education, 2011, Unknown, Afghanistan. pp.617-618
hal-01061837v1  Journal articles
Fatih PorikliFrancois BremondShiloh DockstaderJames FerrymanAnthony Hoogs et al.  Video Surveillance: Past, Present, and Now the Future [DSP Forum]
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2013, 30 (3), pp.190--198. ⟨10.1109/MSP.2013.2241312⟩
hal-01110379v1  Conference papers
Dario CatalanoMario Di RaimondoDario FioreRosario GennaroOrazio Puglisi. Fully Non-interactive Onion Routing with Forward-Secrecy
ACNS 2011 - 9th International Conference Applied Cryptography and Network Security, Jun 2011, Nerja, Spain. pp.255-273, ⟨10.1007/978-3-642-21554-4_15⟩
...
hal-01152576v1  Conference papers
Daniel J. DoughertyFrederic LangPierre LescanneLuigi LiquoriKristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems
Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25
hal-01238092v1  Directions of work or proceedings
Rémi BadonnelXiao JinAta ShingoFilip TurckGroza Voicu et al.  Integrated Management in the Age of Big Data, Proceedings of the 14th IFIP/IEEE Symposium on Integrated Network and Service Management (IM 2015).
Remi Badonnel and Jin Xiao and Shingo Ata and Filip de Turck and Voicu Groza and Carlos dos Santos. May 2015, Ottawa, Canada. 2015
hal-01257234v1  Directions of work or proceedings
Albert CohenDavid Grove. Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)
Albert Cohen and David Grove. Burlingame, California, United States. ACM, 2015, 978-1-4503-3205-7
hal-01299241v1  Conference papers
Dinesh KumarEitan AltmanTamer Basar. Exploring Wiener Filter Estimation of Node Population in a Sensor Network with Generally Distributed Node Lifetimes
WONS 2012 - 9th Annual Conference on Wireless On-demand Network Systems and Services, Jan 2012, Courmayeur, Italy. pp.67-70, ⟨10.1109/WONS.2012.6152240⟩
...
hal-01329772v1  Conference papers
Zhiyun LuDong GuoAlireza Bagheri GarakaniKuan LiuAvner May et al.  A Comparison Between Deep Neural Nets and Kernel Acoustic Models for Speech Recognition
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2016), Mar 2016, Shanghai, China
hal-01378195v1  Conference papers
Hugo KrawczykHoeteck Wee. The OPTLS Protocol and TLS 1.3
EuroS&P 2016 - IEEE European Symposium on Security and Privacy, Mar 2016, Saarbrücken, Germany. ⟨10.1109/EuroSP.2016.18⟩
...
hal-01503070v1  Conference papers
Guillaume BaudartLouis MandelOlivier TardieuMandana Vaziri. CloudLens, un langage de script pour l'analyse de données semi-structurées
JFLA 2017 - 28ième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. pp.1-16
...
hal-01508179v1  Conference papers
Louis MandelCédric PasteurMarc Pouzet. ReactiveML, ten years later
17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), Jul 2015, Siena, Italy. pp.6 - 17, ⟨10.1145/2790449.2790509⟩
hal-01613773v1  Conference papers
Sonia BelaidFabrice BenhamoudaAlain PasselègueEmmanuel ProuffAdrian 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-01613546v1  Conference papers
Fabrice BenhamoudaFlorian BourseHelger Lipmaa. CCA-Secure Inner-Product Functional Encryption from Projective Hash Functions
PKC 2017 - IACR International Workshop on Public Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.36-66, ⟨10.1007/978-3-662-54388-7_2⟩
hal-01667150v1  Reports
Michel AbdallaFabrice BenhamoudaDavid Pointcheval. On the Tightness of Forward-Secure Signature Reductions
[Research Report] Report 2017/746, IACR Cryptology ePrint Archive. 2017
...
hal-01674668v1  Directions of work or proceedings
Pavel ShvaikoJérôme EuzenatErnesto Jiménez-RuizMichelle CheathamOktie Hassanzadeh. OM-2017: Proceedings of the Twelfth International Workshop on Ontology Matching
OM 2017 - 12th International Workshop on Ontology Matching, Oct 2017, Wien, Austria. No commercial editor., pp.1-233, 2017
...
hal-01964687v1  Directions of work or proceedings
Pavel ShvaikoJérôme EuzenatErnesto Jiménez-RuizMichelle CheathamOktie Hassanzadeh. Ontology Matching: OM-2018: Proceedings of the ISWC Workshop
OM 2018 - 13th ISWC workshop on ontology matching, Oct 2018, Monterey, United States. No commercial editor., pp.1-227, 2018
...
hal-02166422v1  Journal articles
Avner MayAlireza Bagheri GarakaniZhiyun LuDong GuoKuan Liu et al.  Kernel Approximation Methods for Speech Recognition
Journal of Machine Learning Research, Microtome Publishing, 2019, 20, pp.1 - 36