 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00787126v2
Communication dans un congrès
Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur. Reasoning About Higher-Order Relational Specifications Tom Schrijvers. International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. ACM, 2013, <10.1145/2505879.2505889> |
||
|
inria-00600255v1
Rapport
Lin Lu, Bruno Lévy, Wenping Wang. Centroidal Voronoi Tesselation of Line Segments and Graphs [Research Report] 2009 |
||
|
hal-00600528v1
Communication dans un congrès
Christophe Cerisara, Pavel Kral, Claire Gardent. Commas recovery with syntactic features in French and in Czech 12thAnnual Conference of the International Speech Communication Association - Interspeech 2011, Aug 2011, Florence, Italy. pp.4, 2011 |
||
|
hal-00800554v1
Communication dans un congrès
Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel. Specifying Imperative ML-Like Programs Using Dynamic Logic Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Jun 2010, Paris, France. Springer, 6528, pp.122-137, 2010, Lecture Notes in Computer Science |
||
|
hal-01000423v1
Communication dans un congrès
Max Wilson, Wendy E. Mackay, Ed Chi, Michael Bernstein, Dan Russell et al. RepliCHI - CHI should be replicating and validating results more: discuss ACM. CHI EA '11: Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems, May 2011, Vancouver, Canada. pp.463--466, 2011, <10.1145/1979742.1979491> |
||
|
ensl-00150406v1
Pré-publication, Document de travail
Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller. Computing Integer Powers in Floating-Point Arithmetic Rapport de recherche LIP n°2007-23. Laboratoire LIP : CNRS/ENS Lyon/INRIA/Université Lyon 1. 2007 |
||
|
hal-00650341v1
Communication dans un congrès
Matthias Puech, Yann Régis-Gianas. Safe Incremental Type Checking TLDI 2012 - Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, Jan 2012, Philadelphia, United States |
||
|
hal-00400407v1
Autre publication
Bilel Derbel, Cyril Gavoille, David Peleg, Laurent Viennot. On the Locality of Distributed Sparse Spanner Construction RR-1441-08. Rapport de recherche. 2008 |
||
|
tel-01400369v1
Thèse
Marco Solieri. Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English |
||
|
inria-00350019v1
Communication dans un congrès
Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller. A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations 26th IEEE International Symposium on Reliable Distributed Systems, 2007, beijing, China. 2007 |
||
|
hal-00650597v1
Chapitre d'ouvrage
Nancy Ide, Laurent Romary. Towards International Standards for Language Resources Laila Dybkjær and Holmer Hemsen and Wolfgang Minker. Evaluation of Text and Speech Systems, Kluwer Academic Publishers, pp.263-284, 2007 |
||
|
inria-00100450v1
Chapitre d'ouvrage
Denys Duchier, Claire Gardent. Tree Descriptions, Constraints and Incrementality H. Bunt, R. Muskens and E. Thijsse (eds). Computing Meaning, Kluwer Academic Publishers, 23 p, 2001, Studies in Linguistics and Philosophy Series |
||
|
hal-00150978v1
Communication dans un congrès
Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon. A very modal model of a modern, major, general type system Annual Symposium on Principles of Programming Languages, 2007, Nice, France. ACM Press, pp.109-122, 2007, <10.1145/1190216.1190235> |
||
|
inria-00100446v1
Article dans une revue
Rakesh Verma, Michael Rusinowitch, Denis Lugiez. Algorithms and Reductions for Rewriting Problems Fundamenta Informatica, 2001, 46 (3), pp.257-276 |
||
|
inria-00201065v1
Communication dans un congrès
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs Verónica Dahl and Ilkka Niemelä. 23rd International Conference in Logic Programming (ICLP'07), Sep 2007, Porto, Portugal. Springer, 4670, pp.271--285, 2007, <10.1007/978-3-540-74610-2_19> |
||
|
hal-00906644v1
Communication dans un congrès
Loredana Laera, Valentina Tamma, Jérôme Euzenat, Trevor Bench-Capon, Terry Payne. Arguing over ontology alignments Proc. 1st ISWC 2006 international workshop on ontology matching (OM), Nov 2006, Athens, United States. No commercial editor., pp.49-60, 2006, Proc. 1st ISWC 2006 international workshop on ontology matching (OM) |
||
|
hal-00505795v1
Communication dans un congrès
Luca De Feo, Éric Schost. Fast Arithmetics in Artin-Schreier Towers over Finite Fields International Conference on Symbolic and Algebraic Computation, Jul 2009, South Korea. pp.127-134, 2009, <10.1145/1576702.1576722> |
||
|
hal-00505809v1
Article dans une revue
Luca De Feo, Éric Schost. transalpyne: a language for automatic transposition ACM SIGSAM Bulletin, 2010, 44 (1/2), pp.59-71. <10.1145/1838599.1838624> |
||
|
hal-01104556v1
Communication dans un congrès
Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, Jagannathan Ramanujam, Ponnuswamy Sadayappan. On Characterizing the Data Access Complexity of Programs 42nd Annual Symposium on Principles of Programming Languages, 2015, Jan 2015, Mumbai, India. ACM, pp.567-580, 2014 |
||
|
inria-00144496v3
Rapport
Nathalie Henry, Jean-Daniel Fekete, Michael Mcguffin. NodeTrix: Hybrid Representation for Analyzing Social Networks [Research Report] RR-6183, INRIA. 2007 |
||
|
hal-00906618v1
Chapitre d'ouvrage
Jérôme Euzenat, Heiner Stuckenschmidt. The 'family of languages' approach to semantic interoperability Borys Omelayenko, Michel Klein. Knowledge transformation for the semantic web, IOS press, pp.49-63, 2003, 1-58603-325-5 |
||
|
hal-00906636v1
Rapport
Paolo Bouquet, Jérôme Euzenat, Enrico Franconi, Luciano Serafini, Giorgos Stamou et al. Specification of a common framework for characterizing alignment [Contract] 2004, pp.21 |
||
|
hal-00906643v1
Communication dans un congrès
Jérôme Euzenat, Malgorzata Mochol, Pavel Shvaiko, Heiner Stuckenschmidt, Ondrej Sváb et al. Results of the Ontology Alignment Evaluation Initiative 2006 Proc. 1st ISWC 2006 international workshop on ontology matching (OM), Nov 2006, Athens, United States. No commercial editor., pp.73-95, 2006, Proc. 1st ISWC 2006 international workshop on ontology matching (OM) |
||
|
hal-01255083v1
Chapitre d'ouvrage
Derek G. Corneil, Michel Habib. Unified View of Graph Searching and LDFS-Based Certifying Algorithms Encyclopedia of Algorithms, Springer-verlag, 2016, <10.1007/978-3-642-27848-8_685-1> |
||
|
hal-00955113v1
Communication dans un congrès
Paul Hudak, David Janin. Tiled Polymorphic Temporal Media 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design (FARM), Sep 2014, Gothenburg, Sweden. pp.49-60, 2014, <10.1145/2633638.2633649> |
||
|
hal-01104765v1
Article dans une revue
Venmugil Elango, Naser Sedaghati, Fabrice Rastello, Louis-Noël Pouchet, Jagannathan Ramanujam et al. On Using the Roofline Model with Lower Bounds on Data Movement ACM Transactions on Architecture and Code Optimization (TACO) , ACM, 2015, 11 (4), pp.67:1--67:23 |
||
|
hal-00923325v1
Communication dans un congrès
Jean-Daniel Boissonnat, Tamal K. Dey, Clément Maria. The Compressed Annotation Matrix : an Efficient Data Structure for Computing Persistent Cohomology Hans L. Bodlaender and Giuseppe F. Italiano. ESA - European Symposium on Algorithms - 2013, Sep 2013, Sophia Antipolis, France. Springer, 8125, pp.695-706, 2013, Lecture Notes in Computer Science; Algorithms - ESA 2013. <10.1007/978-3-642-40450-4_59> |
||
|
hal-00923328v1
Communication dans un congrès
Giovanni Neglia, Xiaolan Zhang, Jim Kurose, Don Towsley, Haixiang Wang. On Optimal Packet Routing in Deterministic DTNs IEEE VTC - 77th Vehicular Technology Conference, Jun 2013, Dresden, Germany. pp.1-5, 2013, <10.1109/VTCSpring.2013.6692662> |
||
|
inria-00525250v1
Communication dans un congrès
Nancy Ide, Patrice Bonhomme, Laurent Romary. CES/XML : An XML-based Standard for Linguistic Corpora LREC Conference, May 2000, Athens, Greece. 2000 |
||
|
inria-00525271v1
Communication dans un congrès
Laurent Romary, Nancy Ide. Outline of the International Standard Linguistic Annotation Framework Workshop Linguistic annotation : Getting the model right. ACL 2003, Jul 2003, Sapporo, Japan. 2003 |
||
|
|
||