MADEUS: An Authoring Environment for Interactive Multimedia Documents. - Muriel Jourdan; Nabil Layaïda; Loay Sabry-Ismaïl (ICMCS, 1997)

Madeus : système d'édition et de présentation de documents structurés multimédia. (Madeus: an authoring and presentation system for structured multimedia documents). - Nabil Layaïda (1997)

Madeus, and Authoring Environment for Interactive Multimedia Documents. - Muriel Jourdan; Nabil Layaïda; Cécile Roisin; Loay Sabry-Ismaïl; Laurent Tardif (ACM Multimedia, 1998)

An XML-Based Multimedia Document Processing Model for Content Adaptation. - Lionel Villard; Cécile Roisin; Nabil Layaïda (DDEP/PODDP, 2000)

An incremental XSLT transformation processor for XML document manipulation. - Lionel Villard; Nabil Layaïda (WWW, 2002)

Dealing with Uncertain Durations in Synchronized Multimedia Presentations. - Nabil Layaïda; Loay Sabry-Ismaïl; Cécile Roisin (Multim. Tools Appl., 2002)

Adaptation d'une application multimédia par un code mobile. - Daniel Hagimont; Nabil Layaïda (Tech. Sci. Informatiques, 2002)

Media Resources Adaptation for Limited Devices. - Tayeb Lemlouma; Nabil Layaïda (ELPUB, 2003)

Containment of XPath expressions: an inference and rewriting based approach. - Jean-Yves Vion-Dury; Nabil Layaïda (Extreme Markup Languages®, 2003)

Encoding multimedia presentations for user preferences and limited environments. - Tayeb Lemlouma; Nabil Layaïda (ICME, 2003)

A semantic framework for multimedia document adaptation. - Jérôme Euzenat; Nabil Layaïda; Victor Dias (IJCAI, 2003)

Adapted Content Delivery for Different Contexts. - Tayeb Lemlouma; Nabil Layaïda (SAINT, 2003)

Context-Aware Adaptation for Mobile Devices. - Tayeb Lemlouma; Nabil Layaïda (Mobile Data Management, 2004)

Content interaction and formatting for mobile devices. - Tayeb Lemlouma; Nabil Layaïda (ACM Symposium on Document Engineering, 2005)

NAC, une architecture pour l'adaptation multimédia sur le web. - Nabil Layaïda; Tayeb Lemlouma; Vincent Quint (Tech. Sci. Informatiques, 2005)

Comparing XML path expressions. - Pierre Genevès; Nabil Layaïda (ACM Symposium on Document Engineering, 2006)

A Spatial Algebra for Multimedia Document Adaptation. - Sébastien Laborie; Jérôme Euzenat; Nabil Layaïda (SAMT (Posters and Demos), 2006)

A system for the static analysis of XPath. - Pierre Genevès; Nabil Layaïda (ACM Trans. Inf. Syst., 2006)

XPath Typing Using a Modal Logic with Converse for Finite Trees. - Pierre Genevès; Nabil Layaïda; Alan Schmitt (PLAN-X, 2007)

Efficient static analysis of XML paths and types. - Pierre Genevès; Nabil Layaïda; Alan Schmitt (PLDI, 2007)

Multimedia document summarization based on a semantic adaptation framework. - Sébastien Laborie; Jérôme Euzenat; Nabil Layaïda (SADPI, 2007)

Deciding XPath containment with MSO. - Pierre Genevès; Nabil Layaïda (Data Knowl. Eng., 2007)

Ensuring Query Compatibility with Evolving XML Schemas - Pierre Genevès; Nabil Layaïda; Vincent Quint (CoRR, 2008)

XML Static Analyzer User Manual - Pierre Genevès; Nabil Layaïda (CoRR, 2008)

Static Analysis of XML Programs. - Pierre Genevès; Nabil Layaïda (ERCIM News, 2008)

On the analysis of queries with counting constraints. - Everardo Bárcenas; Pierre Genevès; Nabil Layaïda (ACM Symposium on Document Engineering, 2009)

Identifying query incompatibilities with evolving XML schemas. - Pierre Genevès; Nabil Layaïda; Vincent Quint (ICFP, 2009)

Semantic Multimedia Document Adaptation with Functional Annotations. - Sébastien Laborie; Jérôme Euzenat; Nabil Layaïda (SMAP, 2009)

XML reasoning made practical. - Pierre Genevès; Nabil Layaïda (ICDE, 2010)

Eliminating dead-code from XQuery programs. - Pierre Genevès; Nabil Layaïda (ICSE (2), 2010)

Debugging standard document formats. - Nabil Layaïda; Pierre Genevès (WWW, 2010)

A Tree Logic with Graded Paths and Nominals - Everardo Bárcenas; Pierre Genevès; Nabil Layaïda; Alan Schmitt (CoRR, 2010)

On the Count of Trees - Everardo Bárcenas; Pierre Genevès; Nabil Layaïda; Alan Schmitt (CoRR, 2010)

PSPARQL Query Containment. - Melisachew Wudage Chekol; Jérôme Euzenat; Pierre Genevès; Nabil Layaïda (DBPL, 2011)

Parametric polymorphism and semantic subtyping: the logical connection. - Nils Gesbert; Pierre Genevès; Nabil Layaïda (ICFP, 2011)

Inconsistent path detection for XML IDEs. - Pierre Genevès; Nabil Layaïda (ICSE, 2011)

Query Reasoning on Trees with Types, Interleaving, and Counting. - Everardo Bárcenas; Pierre Genevès; Nabil Layaïda; Alan Schmitt (IJCAI, 2011)

Semantic adaptation of multimedia documents. - Sébastien Laborie; Jérôme Euzenat; Nabil Layaïda (Multim. Tools Appl., 2011)

Impact of XML Schema Evolution. - Pierre Genevès; Nabil Layaïda; Vincent Quint (ACM Trans. Internet Techn., 2011)

SPARQL Query Containment Under SHI Axioms. - Melisachew Wudage Chekol; Jérôme Euzenat; Pierre Genevès; Nabil Layaïda (AAAI, 2012)

SPARQL Query Containment under RDFS Entailment Regime. - Melisachew Wudage Chekol; Jérôme Euzenat; Pierre Genevès; Nabil Layaïda (IJCAR, 2012)

XML query-update independence analysis revisited. - Muhammad Junedi; Pierre Genevès; Nabil Layaïda (ACM Symposium on Document Engineering, 2012)

Toward automated schema-directed code revision. - Raquel Araújo de Oliveira; Pierre Genevès; Nabil Layaïda (ACM Symposium on Document Engineering, 2012)

On the analysis of cascading style sheets. - Pierre Genevès; Nabil Layaïda; Vincent Quint (WWW, 2012)

Representation and Analyses of Web Content and Processing. (Représentation et analyses de contenu et de programmes Web). - Nabil Layaïda (2013)

Evaluating and Benchmarking SPARQL Query Containment Solvers. - Melisachew Wudage Chekol; Jérôme Euzenat; Pierre Genevès; Nabil Layaïda (ISWC (2), 2013)

XML validation: looking backward - strongly typed and flexible XML processing are not incompatible. - Pierre Genevès; Nabil Layaïda (WWW (Companion Volume), 2013)

Automated refactoring for size reduction of CSS style sheets. - Martí Bosch; Pierre Genevès; Nabil Layaïda (ACM Symposium on Document Engineering, 2014)

Mobile Augmented Reality Applications for Smart Cities. - Mathieu Razafimahazo; Nabil Layaïda; Pierre Genevès; Thibaud Michel (ERCIM News, 2014)

Equipping IDEs with XML-Path Reasoning Capabilities. - Pierre Genevès; Nabil Layaïda (ACM Trans. Internet Techn., 2014)

On Query-Update Independence for SPARQL. - Nicola Guido; Pierre Genevès; Nabil Layaïda; Cécile Roisin (CIKM, 2015)

Spatio-temporal Validation of Multimedia Documents. - Joel André Ferreira dos Santos; Christiano Braga; Débora C. Muchaluat-Saade; Cécile Roisin; Nabil Layaïda (DocEng, 2015)

Reasoning with Style. - Martí Bosch; Pierre Genevès; Nabil Layaïda (IJCAI, 2015)

A comparative analysis of attitude estimation for pedestrian navigation with smartphones. - Thibaud Michel; Hassen Fourati; Pierre Genevès; Nabil Layaïda (IPIN, 2015)

Efficiently Deciding μ-Calculus with Converse over Finite Trees. - Pierre Genevès; Nabil Layaïda; Alan Schmitt; Nils Gesbert (ACM Trans. Comput. Log., 2015)

A Logical Approach to Deciding Semantic Subtyping. - Nils Gesbert; Pierre Genevès; Nabil Layaïda (ACM Trans. Program. Lang. Syst., 2015)

Smart Trip Alternatives for the Curious. - Damien Graux; Pierre Genevès; Nabil Layaïda (ISWC (Posters & Demos), 2016)

SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark. - Damien Graux; Louis Jachiet; Pierre Genevès; Nabil Layaïda (ISWC (Posters & Demos), 2016)

SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark. - Damien Graux; Louis Jachiet; Pierre Genevès; Nabil Layaïda (ISWC (2), 2016)

SPARQL Query Containment with ShEx Constraints. - Abdullah Abbas; Pierre Genevès; Cécile Roisin; Nabil Layaïda (ADBIS, 2017)

On attitude estimation with smartphones. - Thibaud Michel; Pierre Genevès; Hassen Fourati; Nabil Layaïda (PerCom, 2017)

A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators. - Damien Graux; Louis Jachiet; Pierre Genevès; Nabil Layaïda (IEEE BigData, 2018)

Scalable and Interpretable Predictive Models for Electronic Health Records. - Amela Fejza; Pierre Genevès; Nabil Layaïda; Jean-Luc Bosson (DSAA, 2018)

Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions. - Abdullah Abbas; Pierre Genevès; Cécile Roisin; Nabil Layaïda (ICWE, 2018)

A Method to Quantitatively Evaluate Geo Augmented Reality Applications. - Thibaud Michel; Pierre Genevès; Nabil Layaïda (ISMAR Adjunct, 2018)

Evaluation of Query Transformations without Data: Short paper. - Jérôme David; Jérôme Euzenat; Pierre Genevès; Nabil Layaïda (WWW (Companion Volume), 2018)

Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission. - Pierre Genevès; Thomas Calmant; Nabil Layaïda; Marion Lepelley; Svetlana Artemova; Jean-Luc Bosson (Big Data Res., 2018)

SPARQL Query Containment Under Schema. - Melisachew Wudage Chekol; Jérôme Euzenat; Pierre Genevès; Nabil Layaïda (J. Data Semant., 2018)

Attitude estimation for indoor navigation and augmented reality with smartphones. - Thibaud Michel; Pierre Genevès; Hassen Fourati; Nabil Layaïda (Pervasive Mob. Comput., 2018)

A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents. - Joel A. F. dos Santos; Débora C. Muchaluat-Saade; Cécile Roisin; Nabil Layaïda (ACM Trans. Multim. Comput. Commun. Appl., 2018)

A Cost Estimation Technique for Recursive Relational Algebra. - Muideen Lawal; Pierre Genevès; Nabil Layaïda (CIKM, 2020)

On the Optimization of Recursive Relational Queries: Application to Graph Queries. - Louis Jachiet; Pierre Genevès; Nils Gesbert; Nabil Layaïda (SIGMOD Conference, 2020)

Backward type inference for XML queries. - Hyeonseung Im; Pierre Genevès; Nils Gesbert; Nabil Layaïda (Theor. Comput. Sci., 2020)

Distributed Evaluation of Graph Queries using Recursive Relational Algebra. - Sarah Chlyah; Pierre Genevès; Nabil Layaïda (CoRR, 2021)

The µ-RA System for Recursive Path Queries over Graphs. - Amela Fejza; Pierre Genevès; Nabil Layaïda; Sarah Chlyah (CIKM, 2023)

Knowledge Enhanced Graph Neural Networks. - Luisa Werner; Nabil Layaïda; Pierre Genevès; Sarah Chlyah (DSAA, 2023)

Reproduce, Replicate, Reevaluate. The Long but Safe Way to Extend Machine Learning Methods. - Luisa Werner; Nabil Layaïda; Pierre Genevès; Jérôme Euzenat; Damien Graux (AAAI, 2024)

A Fast Plan Enumerator for Recursive Queries. - Amela Fejza; Pierre Genevès; Nabil Layaïda (ICDE, 2024)

Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers. - Amela Fejza; Pierre Genevès; Nabil Layaïda (Proc. VLDB Endow., 2024)

Efficient iterative programs with distributed data collections. - Sarah Chlyah; Nils Gesbert; Pierre Genevès; Nabil Layaïda (J. Log. Algebraic Methods Program., 2025)

On Scaling Neurosymbolic Programming through Guided Logical Inference. - Thomas Jean-Michel Valentin; Luisa Sophie Werner; Pierre Genevès; Nabil Layaïda (CoRR, 2025)

Schema-Based Query Optimisation for Graph Databases. - Chandan Sharma; Pierre Genevès; Nils Gesbert; Nabil Layaïda (Proc. ACM Manag. Data, 2025)