Skip to Main content Skip to Navigation


...
tel-00133591v3  Theses
Pierre Genevès. Logics for XML
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English
...
inria-00070159v1  Reports
Pierre GenevèsNabil Layaïda. A Decision Procedure for XPath Containment
[Research Report] RR-5867, INRIA. 2006, pp.41
...
hal-01497857v3  Journal articles
Hyeonseung ImPierre GenevèsNils GesbertNabil Layaïda. Backward Type Inference for XML Queries
Theoretical Computer Science, Elsevier, 2020, Theoretical Computer Science, 823, pp.69 - 99. ⟨10.1016/j.tcs.2020.03.020⟩
...
inria-00423062v1  Conference papers
Pierre GenevèsNabil Layaïda. Comparing XML Path Expressions
Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, Oct 2006, Amsterdam, Netherlands. pp.65-74, ⟨10.1145/1166160.1166182⟩
...
inria-00423319v1  Conference papers
Pierre GenevèsKristoffer Rose. Compiling XPath for Streaming Access Policy
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. pp.52-54
...
inria-00423372v1  Conference papers
Pierre GenevèsJean-Yves Vion-Dury. XPath Formal Semantics and Beyond: a Coq based approach
Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logic: TPHOLs 2004, Aug 2004, Utah, United States. pp.181-198
...
inria-00423375v1  Conference papers
Pierre Genevès. Improving Efficiency of XPath-Based XML Querying
IFIP 18th World Computer Congress, Aug 2004, Toulouse, France. pp.143-153
...
inria-00423355v1  Conference papers
Pierre GenevèsJean-Yves Vion-Dury. Logic-Based XPath Optimization
Proceedings of the 2004 ACM symposium on Document Engineering, DocEng 2004, Oct 2004, MilWaukee, WI, United States. pp.211-219, ⟨10.1145/1030397.1030437⟩
...
inria-00423381v1  Conference papers
Pierre GenevèsJean-Yves Vion-Dury. Logic-Based XPath Optimization
First International Workshop on High Performance XML Processing, May 2004, New York, United States
...
inria-00423382v1  Conference papers
Pierre GenevèsKristoffer Rose. Compiling XPath into a State-less Forward-only Subset
First International Workshop on High Performance XML Processing, May 2004, New York, United States
...
hal-00749087v1  Conference papers
Melisachew Wudage ChekolJérôme EuzenatPierre GenevèsNabil Layaïda. SPARQL Query Containment under RDFS Entailment Regime
6th International Joint Conference on Automated Reasoning (IJCAR), Jun 2012, Manchester, United Kingdom. pp.134-148, ⟨10.1007/978-3-642-31365-3_13⟩
...
hal-01149248v1  Conference papers
Martí BoschPierre GenevèsNabil Layaïda. Reasoning with Style
International Joint Conference On Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
...
hal-00917911v1  Conference papers
Melisachew Wudage ChekolJérôme EuzenatPierre GenevèsNabil Layaïda. Evaluating and benchmarking SPARQL query containment solvers
Proc. 12th International semantic web conference (ISWC), Oct 2013, Sydney, Australia. pp.408-423, ⟨10.1007/978-3-642-41338-4_26⟩
...
hal-00868724v4  Conference papers
Pierre GenevèsAlan Schmitt. Expressive Logical Combinators for Free
International Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
...
hal-00868722v5  Journal articles
Pierre GenevèsNabil LayaïdaAlan SchmittNils Gesbert. Efficiently Deciding µ-calculus with Converse over Finite Trees
ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 16 (2), pp.41. ⟨10.1145/2724712⟩
...
hal-00837765v1  Conference papers
Pierre GenevèsNabil Layaïda. XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible
22nd International World Wide Web Conference (WWW'13), May 2013, Rio de Janeiro, Brazil
...
hal-00848023v2  Journal articles
Nils GesbertPierre GenevèsNabil Layaïda. A Logical Approach To Deciding Semantic Subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2015, 38 (1), pp.31. ⟨10.1145/2812805⟩
...
hal-00868723v2  Journal articles
Pierre GenevèsNabil Layaïda. Equipping IDEs with XML-Path Reasoning Capabilities
ACM Transactions on Internet Technology, Association for Computing Machinery, 2014, 13 (4), pp.20. ⟨10.1145/2602573⟩
...
hal-01081876v2  Conference papers
Martí BoschPierre GenevèsNabil 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. ⟨10.1145/2644866.2644885⟩
...
hal-01082635v3  Conference papers
Pierre GenevèsNils Gesbert. XQuery and Static Typing: Tackling the Problem of Backward Axes
ICFP (International Conference on Functional Programming), ACM SIGPLAN, Aug 2015, Vancouver, Canada. ⟨10.1145/2784731.2784746⟩
...
hal-00619342v1  Conference papers
Melisachew Wudage ChekolJérôme EuzenatPierre GenevèsNabil Layaïda. PSPARQL Query Containment
DBPL 2011 The 13th International Symposium on Database Programming Languages, Aug 2011, Seattle, United States. 8 p
...
hal-00749080v1  Conference papers
Melisachew Wudage ChekolJérôme EuzenatPierre GenevèsNabil Layaïda. SPARQL Query Containment Under SHI Axioms
26th AAAI Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.10-16
...
tel-01102401v1  Habilitation à diriger des recherches
Pierre Genevès. Static Analysis for Data-Centric Web Programming
Computer Science [cs]. Université Grenoble Alpes, 2014