Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	inria-00070158v1 Reports Pierre Genevès, Nabil Layaïda. Mu-Calculus Based Resolution of XPath Decision Problems [Research Report] RR-5868, INRIA. 2006, pp.30
	inria-00073715v1 Reports Muriel Jourdan, Nabil Layaïda, Loay Sabry-Ismail. Presentation Services in MADEUS: an Authoring Environment for Multimedia Documents [Research Report] RR-2983, INRIA. 1996
	inria-00070159v1 Reports Pierre Genevès, Nabil Layaïda. A Decision Procedure for XPath Containment [Research Report] RR-5867, INRIA. 2006, pp.41
	inria-00423067v1 Journal articles Nabil Layaïda, Tayeb Lemlouma, Vincent Quint. NAC, une architecture pour l'adaptation multimédia sur le web Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, 24 (7), pp.789-813
	hal-01497857v3 Journal articles Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil 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-00423413v1 Conference papers Jean-Yves Vion-Dury, Nabil Layaïda. Containment of XPath expressions: an Inference and Rewriting based approach Extreme Markup Languages, Aug 2003, Montréal, Canada
	inria-00423422v1 Conference papers Tayeb Lemlouma, Nabil Layaïda. Encoding Multimedia Presentation for User Preferences and Limited Environments Proceedings of IEEE International Conference on Multimedia and Expo (ICME), Jul 2003, Baltimore, MD, United States. pp.165-168
	inria-00423426v1 Conference papers Tayeb Lemlouma, Nabil Layaïda. Adapted Content Delivery for Different Contexts Proc. International Symposium on Applications and the Internet (SAINT 2003), Jan 2003, Orlando, FL, United States. pp.190-197
	inria-00423062v1 Conference papers Pierre Genevès, Nabil 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-00423312v1 Conference papers Tayeb Lemlouma, Nabil Layaïda. Content Interaction and Formatting for Mobile Devices Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. pp.98-100, ⟨10.1145/1096601.1096627⟩
	inria-00423390v1 Conference papers Tayeb Lemlouma, Nabil Layaïda. Context-Aware Adaptation for Mobile Devices MDM2004, International Conference on Mobile Data Management, Jan 2004, Berkeley, CA, United States. pp.106-111
	inria-00423425v1 Conference papers Tayeb Lemlouma, Nabil Layaïda. Media Resources Adaptation for Limited Devices Proceedings of the 7th ICCC/IFIP International Conference on Electronic Publishing, ELPUB 2003, Jun 2003, Minho, Portugal. pp.209-218
	hal-00734678v1 Conference papers Raquel Oliveira, Pierre Genevès, Nabil Layaïda. Toward Automated Schema-directed Code Revision DocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361377⟩
	hal-00825944v1 Conference papers Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Adaptation sémantique de documents SMIL Actes journées de travail interdisciplinaire sur autour des documents structurés, Oct 2006, Giens, France. pp.1-5
	hal-00691610v1 Reports Melisachew Wudagae Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. SPARQL Query Containment under RDFS Entailment Regime [Research Report] RR-7942, Inria - Sophia Antipolis. 2012, pp.25
	hal-00691638v1 Reports Melisachew Wudagae Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. SPARQL Query Containment under SHI Axioms [Research Report] RR-7943, Inria - Sophia Antipolis. 2012
	hal-00749286v2 Reports 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
	hal-00749087v1 Conference papers Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil 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-00548857v1 Conference papers 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
	hal-00794919v1 Conference papers Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Semantic multimedia document adaptation with functional annotations Proc. 4th international workshop on Semantic Media Adaptation and Personalization (SMAP2009), Dec 2009, San Sebastián, Spain. pp.44-49, ⟨10.1109/SMAP.2009.19⟩
	hal-01021332v1 Preprints, Working Papers, ... Marti Bosch, Pierre Genevès, Nabil Layaïda. Automated Refactoring for Size Reduction of CSS Style Sheets 2014
	hal-01149248v1 Conference papers 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-01211807v1 Conference papers Joel Ferreira dos Santos, Christiano Braga, Débora Muchaluat-Saade, Cécile Roisin, Nabil Layaïda. Spatio-temporal Validation of Multimedia Documents DocEng'15, ACM, Sep 2015, Lausanne, Switzerland. ⟨10.1145/2682571.2797060⟩
	hal-00917911v1 Conference papers Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil 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-00868722v5 Journal articles Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils 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-00873214v1 Book sections Nabil Layaïda, Cécile Roisin. Le temps dans les documents -- Langage SMIL Les Techniques de l'Ingénieur. Représentation et traitement des documents numériques, H7228, Les Techniques de l'Ingénieur, 2013, TIB312DUO
	tel-00872752v1 Habilitation à diriger des recherches Nabil Layaïda. Representation and Analyses of Web Content and Processing Web. Université de Grenoble, 2013
	hal-00837765v1 Conference papers Pierre Genevès, Nabil 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 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. ⟨10.1145/2812805⟩
	hal-00868723v2 Journal articles Pierre Genevès, Nabil 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⟩
	1 2 3 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

inria-00070158v1 Reports
Pierre Genevès, Nabil Layaïda. Mu-Calculus Based Resolution of XPath Decision Problems
[Research Report] RR-5868, INRIA. 2006, pp.30

inria-00073715v1 Reports
Muriel Jourdan, Nabil Layaïda, Loay Sabry-Ismail. Presentation Services in MADEUS: an Authoring Environment for Multimedia Documents
[Research Report] RR-2983, INRIA. 1996

inria-00070159v1 Reports
Pierre Genevès, Nabil Layaïda. A Decision Procedure for XPath Containment
[Research Report] RR-5867, INRIA. 2006, pp.41

inria-00423067v1 Journal articles
Nabil Layaïda, Tayeb Lemlouma, Vincent Quint. NAC, une architecture pour l'adaptation multimédia sur le web
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, 24 (7), pp.789-813

hal-01497857v3 Journal articles
Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil 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-00423413v1 Conference papers
Jean-Yves Vion-Dury, Nabil Layaïda. Containment of XPath expressions: an Inference and Rewriting based approach
Extreme Markup Languages, Aug 2003, Montréal, Canada

inria-00423422v1 Conference papers
Tayeb Lemlouma, Nabil Layaïda. Encoding Multimedia Presentation for User Preferences and Limited Environments
Proceedings of IEEE International Conference on Multimedia and Expo (ICME), Jul 2003, Baltimore, MD, United States. pp.165-168

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

inria-00423062v1 Conference papers
Pierre Genevès, Nabil 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-00423312v1 Conference papers
Tayeb Lemlouma, Nabil Layaïda. Content Interaction and Formatting for Mobile Devices
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. pp.98-100, ⟨10.1145/1096601.1096627⟩

inria-00423390v1 Conference papers
Tayeb Lemlouma, Nabil Layaïda. Context-Aware Adaptation for Mobile Devices
MDM2004, International Conference on Mobile Data Management, Jan 2004, Berkeley, CA, United States. pp.106-111

inria-00423425v1 Conference papers
Tayeb Lemlouma, Nabil Layaïda. Media Resources Adaptation for Limited Devices
Proceedings of the 7th ICCC/IFIP International Conference on Electronic Publishing, ELPUB 2003, Jun 2003, Minho, Portugal. pp.209-218

hal-00734678v1 Conference papers
Raquel Oliveira, Pierre Genevès, Nabil Layaïda. Toward Automated Schema-directed Code Revision
DocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361377⟩

hal-00825944v1 Conference papers
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Adaptation sémantique de documents SMIL
Actes journées de travail interdisciplinaire sur autour des documents structurés, Oct 2006, Giens, France. pp.1-5

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

hal-00691638v1 Reports
Melisachew Wudagae Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. SPARQL Query Containment under SHI Axioms
[Research Report] RR-7943, Inria - Sophia Antipolis. 2012

hal-00749286v2 Reports
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

hal-00749087v1 Conference papers
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil 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-00548857v1 Conference papers
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

hal-00794919v1 Conference papers
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda. Semantic multimedia document adaptation with functional annotations
Proc. 4th international workshop on Semantic Media Adaptation and Personalization (SMAP2009), Dec 2009, San Sebastián, Spain. pp.44-49, ⟨10.1109/SMAP.2009.19⟩

hal-01021332v1 Preprints, Working Papers, ...
Marti Bosch, Pierre Genevès, Nabil Layaïda. Automated Refactoring for Size Reduction of CSS Style Sheets
2014

hal-01149248v1 Conference papers
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-01211807v1 Conference papers
Joel Ferreira dos Santos, Christiano Braga, Débora Muchaluat-Saade, Cécile Roisin, Nabil Layaïda. Spatio-temporal Validation of Multimedia Documents
DocEng'15, ACM, Sep 2015, Lausanne, Switzerland. ⟨10.1145/2682571.2797060⟩

hal-00917911v1 Conference papers
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil 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-00868722v5 Journal articles
Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils 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-00873214v1 Book sections
Nabil Layaïda, Cécile Roisin. Le temps dans les documents -- Langage SMIL
Les Techniques de l'Ingénieur. Représentation et traitement des documents numériques, H7228, Les Techniques de l'Ingénieur, 2013, TIB312DUO

tel-00872752v1 Habilitation à diriger des recherches
Nabil Layaïda. Representation and Analyses of Web Content and Processing
Web. Université de Grenoble, 2013

hal-00837765v1 Conference papers
Pierre Genevès, Nabil 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 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. ⟨10.1145/2812805⟩

hal-00868723v2 Journal articles
Pierre Genevès, Nabil 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⟩

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize