Skip to Main content Skip to Navigation


...
inria-00070159v1  Reports
Pierre GenevèsNabil Layaïda. A Decision Procedure for XPath Containment
[Research Report] RR-5867, INRIA. 2006, pp.41
...
inria-00423067v1  Journal articles
Nabil LayaïdaTayeb LemloumaVincent 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 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-00423422v1  Conference papers
Tayeb LemloumaNabil 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 LemloumaNabil 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è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-00423312v1  Conference papers
Tayeb LemloumaNabil 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 LemloumaNabil 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 LemloumaNabil 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-00825944v1  Conference papers
Sébastien LaborieJérôme EuzenatNabil 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-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-00548857v1  Conference papers
Sébastien LaborieJérôme EuzenatNabil 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 LaborieJérôme EuzenatNabil 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-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-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-00873214v1  Book sections
Nabil LayaïdaCé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è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⟩