Skip to Main content Skip to Navigation


...
hal-01643346v1  Journal articles
Zhengyuan ZhouPanayotis MertikopoulosNicholas BambosStephen BoydPeter W. Glynn. On the convergence of mirror descent beyond stochastic convex programming
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2020, 30 (1), pp.687-716. ⟨10.1137/17M1134925⟩
hal-00761537v1  Conference papers
Tomofumi YukiPaul FeautrierSanjay RajopadhyeVijay Saraswat. Array Dataflow Analysis for Polyhedral X10 Programs
18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'13), Feb 2013, Shenzhen, China
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⟩
...
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
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-01421835v1  Directions of work or proceedings
Pavel ShvaikoJérôme EuzenatErnesto Jiménez-RuizMichelle CheathamOktie Hassanzadeh et al.  Proceedings of the 11th International Workshop on Ontology Matching (OM-2016)
Ontology matching workshop, Kobe, Japan. No commercial editor., pp.1-252, 2016
...
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-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-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-02984947v1  Directions of work or proceedings
Pavel ShvaikoJérôme EuzenatErnesto Jiménez-RuizOktie HassanzadehCassia Trojahn. Proceedings of the 14th ISWC workshop on Ontology Matching (OM)
14th ISWC workshop on ontology matching (OM), Oct 2019, Auckland, New Zealand. No commercial editor., pp.1-210, 2020
...
hal-03112717v1  Directions of work or proceedings
Pavel ShvaikoJérôme EuzenatErnesto Jiménez-RuizOktie HassanzadehCassia Trojahn. Proceedings of the 15th ISWC workshop on Ontology Matching (OM 2020)
Pavel Shvaiko; Trentino Digitale; Italy; Jérôme Euzenat; INRIA & University Grenoble Alpes; France; Ernesto Jiménez-Ruiz; City; Univeristy of London; UK & SIRIUS; Univeristy of Oslo; Norway; Oktie Hassanzadeh; IBM Research; USA; Cássia Trojahn; IRIT; France. OM 2020 - 15th ISWC workshop on ontology matching, Nov 2020, Athens (virtual), Greece. 2788, CEUR.org, pp.1-253, 2020, OM 2020, ISSN 1613-0073
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-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⟩
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-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-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
...
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
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-02376987v1  Conference papers
Stephen PasterisFabio VitaleKevin ChanShiqiang WangMark Herbster. MaxHedge: Maximising a Maximum Online
International Conference on Artificial Intelligence and Statistics, Apr 2019, Naha, Okinawa, Japan
...
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⟩
hal-00756941v1  Journal articles
Antonio MucherinoCarlile LavorLee JonJohn Lee S.Leo Liberti et al.  Discretization Orders for Distance Geometry Problems
Optimization Letters, Springer Verlag, 2012, 6 (4), pp.783-796
...
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
...
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
...
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⟩