 |
 |
 |
|
|
||
|---|---|---|
| inria-00070158v1
Reports
Mu-Calculus Based Resolution of XPath Decision Problems [Research Report] RR-5868, INRIA. 2006, pp.30 |
||
| tel-00133591v3
Theses
Logics for XML Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English |
||
| inria-00070159v1
Reports
A Decision Procedure for XPath Containment [Research Report] RR-5867, INRIA. 2006, pp.41 |
||
| hal-01497857v3
Journal articles
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
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
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
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
Improving Efficiency of XPath-Based XML Querying IFIP 18th World Computer Congress, Aug 2004, Toulouse, France. pp.143-153 |
||
| inria-00423355v1
Conference papers
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
Logic-Based XPath Optimization First International Workshop on High Performance XML Processing, May 2004, New York, United States |
||
| inria-00423382v1
Conference papers
Compiling XPath into a State-less Forward-only Subset First International Workshop on High Performance XML Processing, May 2004, New York, United States |
||
| hal-00734678v1
Conference papers
Toward Automated Schema-directed Code Revision DocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361377⟩ |
||
| hal-00691610v1
Reports
SPARQL Query Containment under RDFS Entailment Regime [Research Report] RR-7942, Inria - Sophia Antipolis. 2012, pp.25 |
||
| hal-00691638v1
Reports
SPARQL Query Containment under SHI Axioms [Research Report] RR-7943, Inria - Sophia Antipolis. 2012 |
||
| hal-00749286v2
Reports
A Benchmark for Semantic Web Query Containment, Equivalence and Satisfiability [Research Report] RR-8128, INRIA. 2012, pp.10 |
||
| hal-00749087v1
Conference papers
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-01021332v1
Preprints, Working Papers, ...
Automated Refactoring for Size Reduction of CSS Style Sheets 2014 |
||
| hal-01149248v1
Conference papers
Reasoning with Style International Joint Conference On Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina |
||
| hal-00917911v1
Conference papers
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
Expressive Logical Combinators for Free International Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina |
||
| hal-00868722v5
Journal articles
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
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
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
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
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
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
PSPARQL Query Containment DBPL 2011 The 13th International Symposium on Database Programming Languages, Aug 2011, Seattle, United States. 8 p |
||
| hal-00749080v1
Conference papers
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
Static Analysis for Data-Centric Web Programming Computer Science [cs]. Université Grenoble Alpes, 2014 |
||
|
|
||