Rechercher

	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 55 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01342030v2 Communication dans un congrès Damien Graux, Pierre Genevès, Nabil Layaïda. Smart Trip Alternatives for the Curious 15th International Semantic Web Conference (ISWC 2016 demo paper), Oct 2016, Kobe, Japan. 15th International Semantic Web Conference
	inria-00358797v1 Communication dans un congrès Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda. Counting Trees Along Multidirectional Regular Paths PLAN-X 2009, Jan 2009, Savannah, United States. 2009
	hal-01149248v1 Communication dans un congrès Martí Bosch, Pierre Genevès, Nabil Layaïda. Reasoning with Style International Joint Conference On Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
	hal-01102797v2 Article dans une revue Mathieu Razafimahazo, Nabil Layaïda, Pierre Genevès, Thibaud Michel. Mobile Augmented Reality Applications for Smart Cities ERCIM News 98, 2014, ERCIM News 98, pp.45-46
	hal-00189123v1 Communication dans un congrès Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, San Diego, United States. pp.342--351, 2007, <10.1145/1250734.1250773>
	hal-01081876v2 Communication dans un congrès Martí Bosch, Pierre Genevès, Nabil Layaïda. Automated Refactoring for Size Reduction of CSS Style Sheets Proceedings of the 2014 ACM symposium on Document engineering, Sep 2014, Fort Collins, Denver, United States. <http://www.doceng2014.org/>. <10.1145/2644866.2644885>
	tel-01102401v1 HDR Pierre Genevès. Static Analysis for Data-Centric Web Programming Computer Science [cs]. Université Grenoble Alpes, 2014
	inria-00305302v3 Rapport Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types [Research Report] RR-6590, INRIA. 2008
	hal-00848023v2 Article dans une revue Nils Gesbert, Pierre Genevès, Nabil Layaïda. A Logical Approach To Deciding Semantic Subtyping ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2015, 38 (1), pp.31. <http://toplas.acm.org/>. <10.1145/2812805>
	hal-00749286v2 Rapport Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. A Benchmark for Semantic Web Query Containment, Equivalence and Satisfiability [Research Report] RR-8128, INRIA. 2012, pp.10
	inria-00502789v1 Communication dans un congrès Pierre Genevès, Nabil Layaïda, Alan Schmitt. Efficient Static Analysis of XML Paths and Types 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. ACM Press, pp.342--351, 2007, PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation. <10.1145/1250734.1250773>
	hal-01344915v1 Communication dans un congrès Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda. SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark The 15th International Semantic Web Conference, Oct 2016, Kobe, Japan. The 15th International Semantic Web Conference, <10.1007/978-3-319-46547-0_9>
	hal-01436850v1 Pré-publication, Document de travail Damien Graux, Pierre Genevès, Nabil Layaïda. HAP: Building Pipelines with Heterogeneous Data and Hive 2017
	hal-01497857v1 Pré-publication, Document de travail Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda. Backward Type Inference for XML Queries 2017
	hal-01376745v2 Communication dans un congrès Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda. On Attitude Estimation with Smartphones IEEE International Conference on Pervasive Computing and Communications, Mar 2017, Kona, United States
	inria-00473160v2 Rapport Everardo Barcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt. On the Count of Trees [Research Report] RR-7251, INRIA. 2010
	inria-00609513v1 Communication dans un congrès Pierre Genevès, Nabil Layaïda. Inconsistent Path Detection for XML IDEs 33rd International Conference on Software Engineering, ICSE 2011, May 2011, Honolulu, United States. ACM, pp.983-985, 2011, <10.1145/1985793.1985967>
	inria-00609556v1 Communication dans un congrès Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda, Alan Schmitt. Query Reasoning on Trees with Types, Interleaving, and Counting 22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain. 2011
	hal-01117830v2 Pré-publication, Document de travail Louis Jachiet, Pierre Genevès, Nabil Layaïda. An efficient translation from a modal μ-calculus over finite tress with converse to tree automata 2016
	hal-01412035v1 Communication dans un congrès Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda. SPARQLGX : Une Solution Distribuée pour RDF Traduisant SPARQL vers Spark BDA 2016 - 32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications, Nov 2016, Poitiers, France. BDA2016
	hal-01211811v1 Communication dans un congrès Nicola Guido, Pierre Genevès, Nabil Layaïda, Cécile Roisin. On Query-Update Independence for SPARQL ACM. CIKM'15, Oct 2015, Melbourne, Australia. CIKM'15, pp.1675-1678, <10.1145/2806416.2806586>
	hal-00917911v1 Communication dans un congrès Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. Evaluating and benchmarking SPARQL query containment solvers Harith Alani and Lalana Kagal and Achile Fokoue and Paul Groth and Chris Biemann and Parreira, Josiane Xavier and Lora Aroyo and Natalya Noy and Christopher Welty and Krzysztof Janowicz. Proc. 12th International semantic web conference (ISWC), Oct 2013, Sydney, Australia. Springer Verlag, 8219, pp.408-423, 2013, Lecture notes in computer science; The semantic web. <10.1007/978-3-642-41338-4_26>
	inria-00339184v2 Rapport Pierre Genevès, Nabil Layaïda, Vojtech Knyttl. XML Reasoning Solver User Manual [Research Report] RR-6726, INRIA. 2011
	hal-01414509v1 Pré-publication, Document de travail Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda. SPARQL Query Containment with ShEx Constraints Submitted. 2016
	hal-01194811v1 Communication dans un congrès Thibaud Michel, Hassen Fourati, Pierre Genevès, Nabil Layaïda. A Comparative Analysis of Attitude Estimation for Pedestrian Navigation with Smartphones Indoor Positioning and Indoor Navigation, Oct 2015, Banff, Canada. pp.10, 2015, 2015 International Conference on Indoor Positioning and Indoor Navigation. <http://www.ucalgary.ca/ipin2015/>. <10.1109/IPIN.2015.7346767>
	hal-00189131v1 Communication dans un congrès Pierre Genevès, Nabil Layaïda, Alan Schmitt. XPath Typing Using a Modal Logic with Converse for Finite Trees Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1, 2007
	inria-00423058v1 Communication dans un congrès Pierre Genevès, Nabil Layaïda, Vincent Quint. Identifying Query Incompatibilities with Evolving XML Schemas ICFP'09, Aug 2009, Edinburgh, United Kingdom. ACM, pp.221-230, 2009, <10.1145/1596550.1596583>
	inria-00585686v2 Communication dans un congrès Nils Gesbert, Pierre Genevès, Nabil Layaïda. Parametric Polymorphism and Semantic Subtyping: the Logical Connection International conference on functional programming, Sep 2011, Tokyo, Japan. pp.107-116, 2011, Proceeding of the 16th ACM SIGPLAN international conference on Functional programming. <10.1145/2034773.2034789>
	hal-01082635v3 Communication dans un congrès Pierre Genevès, Nils Gesbert. XQuery and Static Typing: Tackling the Problem of Backward Axes ICFP (International Conference on Functional Programming), Aug 2015, Vancouver, Canada. ACM SIGPLAN International Conference on Functional Programming, <http://icfpconference.org/icfp2015/>. <10.1145/2784731.2784746>
	inria-00422964v1 Communication dans un congrès Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda. On the Analysis of Queries with Counting Constraints DocEng'09: Proceedings of the 2009 ACM Symposium on Document Engineering, Sep 2009, Munich, Germany. ACM, pp.21-24, 2009, <10.1145/1600193.1600199>
	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 55 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Domaine

Laboratoire

Langue

Type de dépôt

Année