Search - Archive ouverte HAL Access content directly

Filter your results

103 Results
Image document

Containment of XPath expressions: an Inference and Rewriting based approach

Jean-Yves Vion-Dury , Nabil Layaïda
Extreme Markup Languages, Aug 2003, Montréal, Canada
Conference papers inria-00423413v1
Image document

A Decision Procedure for XPath Containment

Pierre Genevès , Nabil Layaïda
[Research Report] RR-5867, INRIA. 2006, pp.41
Reports inria-00070159v1
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⟩
Conference papers hal-01081876v2
Image document

Backward Type Inference for XML Queries

Hyeonseung Im , Pierre Genevès , Nils Gesbert , Nabil Layaïda
Theoretical Computer Science, 2020, Theoretical Computer Science, 823, pp.69 - 99. ⟨10.1016/j.tcs.2020.03.020⟩
Journal articles hal-01497857v3
Image document

SPARQL Query Containment under RDFS Entailment Regime

Melisachew Wudagae Chekol , Jérôme Euzenat , Pierre Genevès , Nabil Layaïda
[Research Report] RR-7942, Inria - Sophia Antipolis. 2012, pp.25
Reports hal-00691610v1
Image document

Deciding XPath Containment with MSO

Pierre Genevès , Nabil Layaïda
Data and Knowledge Engineering, 2007, 63 (1), p. 108-136
Journal articles hal-00189134v1
Image document


Damien Graux , Pierre Genevès , Nabil Layaïda
Preprints, Working Papers, ... hal-01523496v1
Image document

XML Query-Update Independence Analysis Revisited

Muhammad Junedi , Pierre Genevès , Nabil Layaïda
DocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361375⟩
Conference papers hal-00734668v1
Image document

Equipping IDEs with XML-Path Reasoning Capabilities

Pierre Genevès , Nabil Layaïda
ACM Transactions on Internet Technology, 2014, 13 (4), pp.20. ⟨10.1145/2602573⟩
Journal articles hal-00868723v2
Image document

Impact of XML Schema Evolution

Pierre Genevès , Nabil Layaïda , Vincent Quint
ACM Transactions on Internet Technology, 2011, 11 (1), pp.4:1-4:27. ⟨10.1145/1993083.1993087⟩
Journal articles inria-00619225v1
Image document

Parametric Polymorphism and Semantic Subtyping: the Logical Connection

Nils Gesbert , Pierre Genevès , Nabil Layaïda
International conference on functional programming, ACM SIGPLAN, Sep 2011, Tokyo, Japan. pp.107-116, ⟨10.1145/2034773.2034789⟩
Conference papers inria-00585686v2
Image document

Debugging Standard Document Formats

Nabil Layaïda , Pierre Genevès
19th International Conference on World Wide Web (WWW 2010), Apr 2010, Raleigh, NC, United States. pp. 1269-1272, ⟨10.1145/1772690.1772899⟩
Conference papers hal-00494245v1
Image document

Adapter temporellement un document SMIL

Sébastien Laborie , Jérôme Euzenat , Nabil Layaïda
Actes atelier plate-forme AFIA 2005 sur Connaissance et document temporel, May 2005, Nice, France. pp.47-58
Conference papers hal-00922286v1
Image document

Evaluation of Query Transformations without Data

Jérôme David , Jérôme Euzenat , Pierre Genevès , Nabil Layaïda
WWW 2018 - Companion of The Web Conference, Apr 2018, Lyon, France. pp.1599-1602, ⟨10.1145/3184558.3191617⟩
Conference papers hal-01891182v1
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
Conference papers hal-01890838v1
Image document

Exploring Labeled Graphs with Recursive Path Patterns

Amela Fejza , Pierre Genevès , Nabil Layaïda
Preprints, Working Papers, ... hal-03517826v3
Image document

On the Replicability of Knowledge Enhanced Neural Networks in a Graph Neural Network Framework

Luisa Werner , Nabil Layaïda , Pierre Genèves
Preprints, Working Papers, ... hal-03692362v1
Image document

XML Reasoning Made Practical

Pierre Genevès , Nabil Layaïda
26th IEEE International Conference on Data Engineering, ICDE 2010, Mar 2010, Long Beach, CA, United States. pp. 1169-1172, ⟨10.1109/ICDE.2010.5447786⟩
Conference papers hal-00494261v1
Image document

Eliminating Dead-Code from XQuery Programs

Pierre Genevès , Nabil Layaïda
32nd ACM/IEEE International Conference on Software Engineering, May 2010, Cape Town, South Africa. pp.305-306, ⟨10.1145/1810295.1810363⟩
Conference papers hal-00494233v1
Image document

Adapted Content Delivery for Different Contexts

Tayeb Lemlouma , Nabil Layaïda
Proc. International Symposium on Applications and the Internet (SAINT 2003), Jan 2003, Orlando, FL, United States. pp.190-197
Conference papers inria-00423426v1
Image document

Ensuring Query Compatibility with Evolving XML Schemas

Pierre Genevès , Nabil Layaïda , Vincent Quint
[Research Report] RR-6711, INRIA. 2008
Reports inria-00336360v1
Image document

Mobile Augmented Reality Applications for Smart Cities

Mathieu Razafimahazo , Nabil Layaïda , Pierre Genevès , Thibaud Michel
ERCIM News, 2014, ERCIM News 98, 98, pp.45-46
Journal articles hal-01102797v2
Image document

Toward Automated Schema-directed Code Revision

Raquel Oliveira , Pierre Genevès , Nabil Layaïda
DocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361377⟩
Conference papers hal-00734678v1
Image document

XPath Typing Using a Modal Logic with Converse for Finite Trees

Pierre Genevès , Nabil Layaïda , Alan Schmitt
Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1
Conference papers hal-00189131v1
Image document

Identifying Query Incompatibilities with Evolving XML Schemas

Pierre Genevès , Nabil Layaïda , Vincent Quint
ICFP'09, Aug 2009, Edinburgh, United Kingdom. pp.221-230, ⟨10.1145/1596550.1596583⟩
Conference papers inria-00423058v1
Image document

Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission

Pierre Genevès , Thomas Calmant , Nabil Layaïda , Marion Lepelley , Svetlana Artemova , et al.
Big Data Research, 2018, 12, pp.23-34. ⟨10.1016/j.bdr.2018.02.004⟩
Journal articles hal-01517087v6

A Spatial Algebra for Multimedia Document Adaptation

Sébastien Laborie , Jérôme Euzenat , Nabil Layaïda
The 1st International Conference on Semantic and Digital Media Technologies (SAMT), Dec 2006, Athènes, Greece. pp.7-8
Conference papers hal-00167160v1
Image document

Adaptation spatiale efficace de documents SMIL

Sébastien Laborie , Jérôme Euzenat , Nabil Layaïda
2006, pp.127
Conference papers hal-00023822v1
Image document

Efficient Static Analysis of XML Paths and Types

Pierre Genevès , Nabil Layaïda , Alan Schmitt
[Research Report] RR-6590, INRIA. 2008
Reports inria-00305302v3
Image document

Madeus : système d'édition et de présentation de documents structurés multimédia

Nabil Layaïda
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français. ⟨NNT : ⟩
Theses tel-00004952v1