Nabil Layaïda

According to our database, Nabil Layaïda authored at least 80 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Schema-Based Query Optimisation for Graph Databases.

Chandan Sharma, Pierre Genevès, Nils Gesbert, Nabil Layaïda

CoRR, 2024

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

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers.

Amela Fejza, Pierre Genevès, Nabil Layaïda

CoRR, 2023

Efficient Iterative Programs with Distributed Data Collections.

Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda

CoRR, 2023

Knowledge Enhanced Graph Neural Networks.

Luisa Werner, Nabil Layaïda, Pierre Genevès, Sarah Chlyah

Proceedings of the 10th IEEE International Conference on Data Science and Advanced Analytics, 2023

The µ-RA System for Recursive Path Queries over Graphs.

Amela Fejza, Pierre Genevès, Nabil Layaïda, Sarah Chlyah

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

2021

Distributed Evaluation of Graph Queries using Recursive Relational Algebra.

Sarah Chlyah, Pierre Genevès, Nabil Layaïda

CoRR, 2021

2020

Backward type inference for XML queries.

Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda

Theor. Comput. Sci., 2020

On the Optimization of Recursive Relational Queries: Application to Graph Queries.

Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda

Proceedings of the 2020 International Conference on Management of Data, 2020

A Cost Estimation Technique for Recursive Relational Algebra.

Muideen Lawal, Pierre Genevès, Nabil Layaïda

Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

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

Attitude estimation for indoor navigation and augmented reality with smartphones.

Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda

Pervasive Mob. Comput., 2018

SPARQL Query Containment Under Schema.

Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda

J. Data Semant., 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

Evaluation of Query Transformations without Data: Short paper.

Jérôme David, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

A Method to Quantitatively Evaluate Geo Augmented Reality Applications.

Thibaud Michel, Pierre Genevès, Nabil Layaïda

Proceedings of the IEEE International Symposium on Mixed and Augmented Reality, 2018

Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions.

Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda

Proceedings of the Web Engineering - 18th International Conference, 2018

Scalable and Interpretable Predictive Models for Electronic Health Records.

Amela Fejza, Pierre Genevès, Nabil Layaïda, Jean-Luc Bosson

Proceedings of the 5th IEEE International Conference on Data Science and Advanced Analytics, 2018

A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators.

Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017

On attitude estimation with smartphones.

Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda

Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications, 2017

SPARQL Query Containment with ShEx Constraints.

Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda

Proceedings of the Advances in Databases and Information Systems, 2017

2016

SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark.

Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda

Proceedings of the Semantic Web - ISWC 2016, 2016

SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark.

Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Smart Trip Alternatives for the Curious.

Damien Graux, Pierre Genevès, Nabil Layaïda

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

2015

A Logical Approach to Deciding Semantic Subtyping.

Nils Gesbert, Pierre Genevès, Nabil Layaïda

ACM Trans. Program. Lang. Syst., 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 comparative analysis of attitude estimation for pedestrian navigation with smartphones.

Thibaud Michel, Hassen Fourati, Pierre Genevès, Nabil Layaïda

Proceedings of the 2015 International Conference on Indoor Positioning and Indoor Navigation, 2015

Reasoning with Style.

Martí Bosch, Pierre Genevès, Nabil Layaïda

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 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

Proceedings of the 2015 ACM Symposium on Document Engineering, 2015

On Query-Update Independence for SPARQL.

Nicola Guido, Pierre Genevès, Nabil Layaïda, Cécile Roisin

Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

2014

Equipping IDEs with XML-Path Reasoning Capabilities.

Pierre Genevès, Nabil Layaïda

ACM Trans. Internet Techn., 2014

Mobile Augmented Reality Applications for Smart Cities.

Mathieu Razafimahazo, Nabil Layaïda, Pierre Genevès, Thibaud Michel

ERCIM News, 2014

Automated refactoring for size reduction of CSS style sheets.

Martí Bosch, Pierre Genevès, Nabil Layaïda

Proceedings of the ACM Symposium on Document Engineering 2014, 2014

2013

XML validation: looking backward - strongly typed and flexible XML processing are not incompatible.

Pierre Genevès, Nabil Layaïda

Proceedings of the 22nd International World Wide Web Conference, 2013

Evaluating and Benchmarking SPARQL Query Containment Solvers.

Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda

Proceedings of the Semantic Web - ISWC 2013, 2013

Representation and Analyses of Web Content and Processing. (Représentation et analyses de contenu et de programmes Web).

Nabil Layaïda

, 2013

2012

On the analysis of cascading style sheets.

Pierre Genevès, Nabil Layaïda, Vincent Quint

Proceedings of the 21st World Wide Web Conference 2012, 2012

Toward automated schema-directed code revision.

Raquel Araújo de Oliveira, Pierre Genevès, Nabil Layaïda

Proceedings of the ACM Symposium on Document Engineering, 2012

XML query-update independence analysis revisited.

Muhammad Junedi, Pierre Genevès, Nabil Layaïda

Proceedings of the ACM Symposium on Document Engineering, 2012

SPARQL Query Containment under RDFS Entailment Regime.

Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

SPARQL Query Containment Under SHI Axioms.

Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Impact of XML Schema Evolution.

Pierre Genevès, Nabil Layaïda, Vincent Quint

ACM Trans. Internet Techn., 2011

Semantic adaptation of multimedia documents.

Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda

Multim. Tools Appl., 2011

Query Reasoning on Trees with Types, Interleaving, and Counting.

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt

Proceedings of the IJCAI 2011, 2011

Inconsistent path detection for XML IDEs.

Pierre Genevès, Nabil Layaïda

Proceedings of the 33rd International Conference on Software Engineering, 2011

Parametric polymorphism and semantic subtyping: the logical connection.

Nils Gesbert, Pierre Genevès, Nabil Layaïda

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

PSPARQL Query Containment.

Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda

Proceedings of the Database Programming Languages, 2011

2010

On the Count of Trees

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt

CoRR, 2010

A Tree Logic with Graded Paths and Nominals

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt

CoRR, 2010

Debugging standard document formats.

Nabil Layaïda, Pierre Genevès

Proceedings of the 19th International Conference on World Wide Web, 2010

Eliminating dead-code from XQuery programs.

Pierre Genevès, Nabil Layaïda

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

XML reasoning made practical.

Pierre Genevès, Nabil Layaïda

Proceedings of the 26th International Conference on Data Engineering, 2010

2009

Semantic Multimedia Document Adaptation with Functional Annotations.

Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda

Proceedings of the 4th International Workshop on Semantic Media Adaptation and Personalization, 2009

Identifying query incompatibilities with evolving XML schemas.

Pierre Genevès, Nabil Layaïda, Vincent Quint

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

On the analysis of queries with counting constraints.

Everardo Bárcenas, Pierre Genevès, Nabil Layaïda

Proceedings of the 2009 ACM Symposium on Document Engineering, 2009

2008

Static Analysis of XML Programs.

Pierre Genevès, Nabil Layaïda

ERCIM News, 2008

XML Static Analyzer User Manual

Pierre Genevès, Nabil Layaïda

CoRR, 2008

Ensuring Query Compatibility with Evolving XML Schemas

Pierre Genevès, Nabil Layaïda, Vincent Quint

CoRR, 2008

2007

Deciding XPath containment with MSO.

Pierre Genevès, Nabil Layaïda

Data Knowl. Eng., 2007

Multimedia document summarization based on a semantic adaptation framework.

Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda

Proceedings of the International Workshop On Semantically Aware Document Processing And Indexing, 2007

Efficient static analysis of XML paths and types.

Pierre Genevès, Nabil Layaïda, Alan Schmitt

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

XPath Typing Using a Modal Logic with Converse for Finite Trees.

Pierre Genevès, Nabil Layaïda, Alan Schmitt

Proceedings of the PLAN-X 2007, 2007

2006

A system for the static analysis of XPath.

Pierre Genevès, Nabil Layaïda

ACM Trans. Inf. Syst., 2006

A Spatial Algebra for Multimedia Document Adaptation.

Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda

Proceedings of the Poster and Demo Proceedings of the 1st International Conference on Semantic and Digital Media Technologies, 2006

Comparing XML path expressions.

Pierre Genevès, Nabil Layaïda

Proceedings of the 2006 ACM Symposium on Document Engineering, 2006

2005

NAC, une architecture pour l'adaptation multimédia sur le web.

Nabil Layaïda, Tayeb Lemlouma, Vincent Quint

Tech. Sci. Informatiques, 2005

Content interaction and formatting for mobile devices.

Tayeb Lemlouma, Nabil Layaïda

Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

2004

Context-Aware Adaptation for Mobile Devices.

Tayeb Lemlouma, Nabil Layaïda

Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

2003

Adapted Content Delivery for Different Contexts.

Tayeb Lemlouma, Nabil Layaïda

Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003

A semantic framework for multimedia document adaptation.

Jérôme Euzenat, Nabil Layaïda, Victor Dias

Proceedings of the IJCAI-03, 2003

Encoding multimedia presentations for user preferences and limited environments.

Tayeb Lemlouma, Nabil Layaïda

Proceedings of the 2003 IEEE International Conference on Multimedia and Expo, 2003

Containment of XPath expressions: an inference and rewriting based approach.

Jean-Yves Vion-Dury, Nabil Layaïda

Proceedings of the Extreme Markup Languages® 2003 Conference, 2003

Media Resources Adaptation for Limited Devices.

Tayeb Lemlouma, Nabil Layaïda

Proceedings of the From information to knowledge: 7th ICCC/IFIP International Conference on Electronic Publishing held at the Universidade do Minho, 2003

2002

Adaptation d'une application multimédia par un code mobile.

Daniel Hagimont, Nabil Layaïda

Tech. Sci. Informatiques, 2002

Dealing with Uncertain Durations in Synchronized Multimedia Presentations.

Nabil Layaïda, Loay Sabry-Ismaïl, Cécile Roisin

Multim. Tools Appl., 2002

An incremental XSLT transformation processor for XML document manipulation.

Lionel Villard, Nabil Layaïda

Proceedings of the Eleventh International World Wide Web Conference, 2002

2000

An XML-Based Multimedia Document Processing Model for Content Adaptation.

Lionel Villard, Cécile Roisin, Nabil Layaïda

Proceedings of the Digital Documents: Systems and Principles, 2000

1998

Madeus, and Authoring Environment for Interactive Multimedia Documents.

Muriel Jourdan, Nabil Layaïda, Cécile Roisin, Loay Sabry-Ismaïl, Laurent Tardif

Proceedings of the 6th ACM International Conference on Multimedia '98, 1998

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

PhD thesis, 1997

MADEUS: An Authoring Environment for Interactive Multimedia Documents.

Muriel Jourdan, Nabil Layaïda, Loay Sabry-Ismaïl

Proceedings of the International Conference on Multimedia Computing and Systems, 1997