hal-01342030v2  Communication dans un congrès
Damien Graux, Pierre Genevè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 Genevès, Nabil Layaïda. Counting Trees Along Multidirectional Regular Paths
PLAN-X 2009, Jan 2009, Savannah, United States. 2009

tel-00872752v1  HDR
Nabil Layaïda. Representation and Analyses of Web Content and Processing
Web. Université de Grenoble, 2013

hal-01149248v1  Communication dans un congrès
Martí Bosch, Pierre Genevès, Nabil Layaïda. Reasoning with Style
International Joint Conference On Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina

hal-00548857v1  Communication dans un congrès
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Adaptation spatio-temporelle et hypermédia de documents multimédia
Atelier Représentation et Raisonnement sur le Temps et l'Espace (RTE), Jun 2008, France. pp.1-13, 2008

hal-01102797v2  Article dans une revue
Mathieu Razafimahazo, Nabil Layaïda, Pierre Genevè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 Genevè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 Genevè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>

inria-00305302v3  Rapport
Pierre Genevè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 Genevè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 Genevè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 Genevè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 Genevè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-01517087v1  Pré-publication, Document de travail
Pierre Genevès, Thomas Calmant, Nabil Layaïda, Marion Lepelley, Svetlana Artemova et al.  On the Prediction of At-Risk Patients with Big Data
2017

hal-01523496v1  Pré-publication, Document de travail
Damien Graux, Pierre Genevès, Nabil Layaïda. SPARUB: SPARQL UPDATE Benchmark
2017

hal-01436850v1  Pré-publication, Document de travail
Damien Graux, Pierre Genevès, Nabil Layaïda. HAP: Building Pipelines with Heterogeneous Data and Hive
2017

hal-01497857v1  Pré-publication, Document de travail
Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda. Backward Type Inference for XML Queries
2017

hal-01524387v1  Pré-publication, Document de travail
Louis Jachiet, Pierre Genevès, Nabil Layaïda. Optimizing sparql query evaluation with a worst-case cardinality estimation based on statistics on the data
2017

hal-01376745v2  Communication dans un congrès
Thibaud Michel, Pierre Genevè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 Genevè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 Genevè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 Genevè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 Genevè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 Genevè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-01211807v1  Communication dans un congrès
Joel Ferreira dos Santos, Christiano Braga, Débora Muchaluat-Saade, Cécile Roisin, Nabil Layaïda. Spatio-temporal Validation of Multimedia Documents
DocEng'15, Sep 2015, Lausanne, Switzerland. 2015, Document Engineering 2015. <10.1145/2682571.2797060>

hal-01211811v1  Communication dans un congrès
Nicola Guido, Pierre Genevè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 Genevè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 Genevè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 Genevès, Cécile Roisin, Nabil Layaïda. SPARQL Query Containment with ShEx Constraints
Submitted. 2016