Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

97 résultats
Page :
triés par
Image document

Improving Efficiency of XPath-Based XML Querying

 Pierre Genevès
IFIP 18th World Computer Congress, Aug 2004, Toulouse, France. pp.143-153
Communication dans un congrès inria-00423375v1
Image document

XPath Formal Semantics and Beyond: a Coq based approach

 Pierre Genevès , Jean-Yves Vion-Dury
Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logic: TPHOLs 2004, Aug 2004, Utah, United States. pp.181-198
Communication dans un congrès inria-00423372v1
Image document

Logic-Based XPath Optimization

 Pierre Genevès , Jean-Yves Vion-Dury
Proceedings of the 2004 ACM symposium on Document Engineering, DocEng 2004, Oct 2004, MilWaukee, WI, United States. pp.211-219, ⟨10.1145/1030397.1030437⟩
Communication dans un congrès inria-00423355v1
Image document

A Decision Procedure for XPath Containment

 Pierre Genevès , Nabil Layaïda
[Research Report] RR-5867, INRIA. 2006, pp.41
Rapport inria-00070159v1
Image document

Compiling XPath for Streaming Access Policy

 Pierre Genevès , Kristoffer Rose
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. pp.52-54
Communication dans un congrès inria-00423319v1
Image document

Logics for XML

 Pierre Genevès
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English. ⟨NNT : ⟩
Thèse tel-00133591v3
Image document

Compiling XPath into a State-less Forward-only Subset

 Pierre Genevès , Kristoffer Rose
First International Workshop on High Performance XML Processing, May 2004, New York, United States
Communication dans un congrès inria-00423382v1
Image document

Logic-Based XPath Optimization

 Pierre Genevès , Jean-Yves Vion-Dury
First International Workshop on High Performance XML Processing, May 2004, New York, United States
Communication dans un congrès inria-00423381v1
Image document

A Decision Procedure for XPath Containment

 Pierre Genevès , Nabil Layaïda
ACM Transactions on Information Systems, 2005
Article dans une revue inria-00000391v1
Image document

A System for the Static Analysis of XPath

 Pierre Genevès , Nabil Layaïda
ACM Transactions on Information Systems, 2006, 24 (4), pp.475--502
Article dans une revue hal-00189137v1
Image document

Comparing XML Path Expressions

 Pierre Genevès , Nabil Layaïda
Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, Oct 2006, Amsterdam, Netherlands. pp.65-74, ⟨10.1145/1166160.1166182⟩
Communication dans un congrès inria-00423062v1
Image document

Mu-Calculus Based Resolution of XPath Decision Problems

 Pierre Genevès , Nabil Layaïda
[Research Report] RR-5868, INRIA. 2006, pp.30
Rapport inria-00070158v1
Image document

XQuery and Static Typing: Tackling the Problem of Backward Axes

 Pierre Genevès , Nils Gesbert
ICFP (International Conference on Functional Programming), ACM SIGPLAN, Aug 2015, Vancouver, Canada. ⟨10.1145/2784731.2784746⟩
Communication dans un congrès hal-01082635v3
Image document

An efficient translation from a modal μ-calculus over finite trees with converse to tree automata

 Louis Jachiet , Pierre Genevès , Nabil Layaïda
2016
Pré-publication, Document de travail hal-01117830v2
Image document

SPARQL Query Containment with ShEx Constraints

 Abdullah Abbas , Pierre Genevès , Cécile Roisin , Nabil Layaïda
ADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems , Sep 2017, Nicosia, Cyprus
Communication dans un congrès hal-01414509v2
Image document

Automated Refactoring for Size Reduction of CSS Style Sheets

 Martí Bosch , Pierre Genevès , Nabil Layaïda
Proceedings of the 2014 ACM symposium on Document engineering, Sep 2014, Fort Collins, Denver, United States. ⟨10.1145/2644866.2644885⟩
Communication dans un congrès hal-01081876v2
Image document

Static Analysis for Data-Centric Web Programming

 Pierre Genevès
Computer Science [cs]. Université Grenoble Alpes, 2014
HDR tel-01102401v1
Image document

A Method to Quantitatively Evaluate Geo Augmented Reality Applications

 Thibaud Michel , Pierre Genevès , Nabil Layaïda
ISMAR 2018 - International Symposium on Mixed and Augmented Reality, Oct 2018, Munich, Germany. pp.1-6
Communication dans un congrès hal-01890838v1
Image document

SPARUB: SPARQL UPDATE Benchmark

 Damien Graux , Pierre Genevès , Nabil Layaïda
2017
Pré-publication, Document de travail hal-01523496v1
Image document

Reasoning with Style

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

XML Reasoning Solver User Manual

 Pierre Genevès , Nabil Layaïda , Vojtech Knyttl
[Research Report] RR-6726, INRIA. 2011
Rapport inria-00339184v2
Image document

SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark

 Damien Graux , Louis Jachiet , Pierre Genevès , Nabil Layaïda
The 15th International Semantic Web Conference, Oct 2016, Kobe, Japan. ⟨10.1007/978-3-319-46547-0_9⟩
Communication dans un congrès hal-01344915v1
Image document

SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark

 Damien Graux , Louis Jachiet , Pierre Genevès , Nabil Layaïda
15th International Semantic Web Conference (ISWC 2016 demo paper), Oct 2016, Kobe, Japan
Communication dans un congrès hal-01358125v1
Image document

The SPARQLGX System for Distributed Evaluation of SPARQL Queries

 Damien Graux , Louis Jachiet , Pierre Genevès , Nabil Layaïda
2017
Pré-publication, Document de travail hal-01621480v1
Image document

Optimising SPARQL Query Evaluation in the Presence of ShEx Constraints

 Abdullah Abbas , Pierre Genevès , Cécile Roisin , Nabil Layaïda
BDA 2017 - 33ème conférence sur la « Gestion de Données — Principes, Technologies et Applications », Nov 2017, Nancy, France. pp.1-12
Communication dans un congrès hal-01673067v1
Image document

Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions

 Abdullah Abbas , Pierre Genevès , Cécile Roisin , Nabil Layaïda
ICWE'18 - 18th International Conference on Web Engineering, Jun 2018, Cáceres, Spain. pp.195-209, ⟨10.1007/978-3-319-91662-0_15⟩
Communication dans un congrès hal-01673013v1
Image document

Optimizing SPARQL query evaluation with a worst-case cardinality estimation based on statistics on the data

 Louis Jachiet , Pierre Genevès , Nabil Layaïda
2017
Pré-publication, Document de travail hal-01524387v1
Image document

Schema-Based Query Optimisation for Graph Databases

 Chandan Sharma , Pierre Genevès , Nils Gesbert , Nabil Layaïda
2024
Pré-publication, Document de travail hal-04485125v1
Image document

Distributed Evaluation of Graph Queries using Recursive Relational Algebra

 Sarah Chlyah , Pierre Genevès , Nabil Layaïda
2022
Pré-publication, Document de travail hal-03295445v3
Image document

A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators

 Damien Graux , Louis Jachiet , Pierre Genevès , Nabil Layaïda
Big Data 2018 - IEEE International Conference on Big Data, Dec 2018, Seattle, United States. pp.1-10
Communication dans un congrès hal-01381781v2
Page :