Nabil Layaïda

88 papers A* 15A 7B 11C 3Journal 30Unranked 20
YearRankTypeTitle / Venue / Authors
2025 C conf
A Comparative Analysis of Neurosymbolic Methods for Link Prediction.
NeSy
Guillaume Delplanque, Luisa Werner, Nabil Layaïda, Pierre Genevès
2025 A* conf
Distributed Evaluation of Graph Queries Using Recursive Relational Algebra.
ICDE
Sarah Chlyah, Pierre Genevès, Nabil Layaïda
2025 J jnl
Efficient iterative programs with distributed data collections.
J. Log. Algebraic Methods Program.
Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda
2025 J jnl
On Scaling Neurosymbolic Programming through Guided Logical Inference.
CoRR
Thomas Jean-Michel Valentin, Luisa Sophie Werner, Pierre Genevès, Nabil Layaïda
2025 J jnl
Schema-Based Query Optimisation for Graph Databases.
Proc. ACM Manag. Data
Chandan Sharma, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2024 A* conf
A Fast Plan Enumerator for Recursive Queries.
ICDE
Amela Fejza, Pierre Genevès, Nabil Layaïda
2024 J jnl
Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers.
Proc. VLDB Endow.
Amela Fejza, Pierre Genevès, Nabil Layaïda
2024 A* conf
Reproduce, Replicate, Reevaluate. The Long but Safe Way to Extend Machine Learning Methods.
AAAI
Luisa Werner, Nabil Layaïda, Pierre Genevès, Jérôme Euzenat, Damien Graux
2024 J jnl
Schema-Based Query Optimisation for Graph Databases.
CoRR
Chandan Sharma, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2023 J jnl
Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers.
CoRR
Amela Fejza, Pierre Genevès, Nabil Layaïda
2023 J jnl
Efficient Iterative Programs with Distributed Data Collections.
CoRR
Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda
2023 B conf
Knowledge Enhanced Graph Neural Networks.
DSAA
Luisa Werner, Nabil Layaïda, Pierre Genevès, Sarah Chlyah
2023 J jnl
Knowledge Enhanced Graph Neural Networks.
CoRR
Luisa Werner, Nabil Layaïda, Pierre Genevès, Sarah Chlyah
2023 A conf
The µ-RA System for Recursive Path Queries over Graphs.
CIKM
Amela Fejza, Pierre Genevès, Nabil Layaïda, Sarah Chlyah
2021 J jnl
Distributed Evaluation of Graph Queries using Recursive Relational Algebra.
CoRR
Sarah Chlyah, Pierre Genevès, Nabil Layaïda
2020 A conf
A Cost Estimation Technique for Recursive Relational Algebra.
CIKM
Muideen Lawal, Pierre Genevès, Nabil Layaïda
2020 J jnl
Backward type inference for XML queries.
Theor. Comput. Sci.
Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2020 — conf
On the Optimization of Recursive Relational Queries: Application to Graph Queries.
SIGMOD Conference
Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2018 J jnl
A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents.
ACM Trans. Multim. Comput. Commun. Appl.
Joel A. F. dos Santos, Débora C. Muchaluat-Saade, Cécile Roisin, Nabil Layaïda
2018 — conf
A Method to Quantitatively Evaluate Geo Augmented Reality Applications.
ISMAR Adjunct
Thibaud Michel, Pierre Genevès, Nabil Layaïda
2018 — conf
A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators.
IEEE BigData
Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
2018 J jnl
Attitude estimation for indoor navigation and augmented reality with smartphones.
Pervasive Mob. Comput.
Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
2018 — conf
Evaluation of Query Transformations without Data: Short paper.
WWW (Companion Volume)
Jérôme David, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2018 J jnl
SPARQL Query Containment Under Schema.
J. Data Semant.
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2018 J jnl
Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission.
Big Data Res.
Pierre Genevès, Thomas Calmant, Nabil Layaïda, Marion Lepelley, Svetlana Artemova, Jean-Luc Bosson
2018 B conf
Scalable and Interpretable Predictive Models for Electronic Health Records.
DSAA
Amela Fejza, Pierre Genevès, Nabil Layaïda, Jean-Luc Bosson
2018 B conf
Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions.
ICWE
Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
2017 A* conf
On attitude estimation with smartphones.
PerCom
Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
2017 C conf
SPARQL Query Containment with ShEx Constraints.
ADBIS
Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda
2016 — conf
SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark.
ISWC (Posters & Demos)
Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
2016 — conf
SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark.
ISWC (2)
Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda
2016 — conf
Smart Trip Alternatives for the Curious.
ISWC (Posters & Demos)
Damien Graux, Pierre Genevès, Nabil Layaïda
2015 J jnl
A Logical Approach to Deciding Semantic Subtyping.
ACM Trans. Program. Lang. Syst.
Nils Gesbert, Pierre Genevès, Nabil Layaïda
2015 C conf
A comparative analysis of attitude estimation for pedestrian navigation with smartphones.
IPIN
Thibaud Michel, Hassen Fourati, Pierre Genevès, Nabil Layaïda
2015 J jnl
Efficiently Deciding μ-Calculus with Converse over Finite Trees.
ACM Trans. Comput. Log.
Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert
2015 A conf
On Query-Update Independence for SPARQL.
CIKM
Nicola Guido, Pierre Genevès, Nabil Layaïda, Cécile Roisin
2015 A* conf
Reasoning with Style.
IJCAI
Martí Bosch, Pierre Genevès, Nabil Layaïda
2015 B conf
Spatio-temporal Validation of Multimedia Documents.
DocEng
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade, Cécile Roisin, Nabil Layaïda
2014 B conf
Automated refactoring for size reduction of CSS style sheets.
ACM Symposium on Document Engineering
Martí Bosch, Pierre Genevès, Nabil Layaïda
2014 J jnl
Equipping IDEs with XML-Path Reasoning Capabilities.
ACM Trans. Internet Techn.
Pierre Genevès, Nabil Layaïda
2014 J jnl
Mobile Augmented Reality Applications for Smart Cities.
ERCIM News
Mathieu Razafimahazo, Nabil Layaïda, Pierre Genevès, Thibaud Michel
2013 — conf
Evaluating and Benchmarking SPARQL Query Containment Solvers.
ISWC (2)
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2013 — book
Representation and Analyses of Web Content and Processing. (Représentation et analyses de contenu et de programmes Web).
Nabil Layaïda
2013 — conf
XML validation: looking backward - strongly typed and flexible XML processing are not incompatible.
WWW (Companion Volume)
Pierre Genevès, Nabil Layaïda
2012 A* conf
On the analysis of cascading style sheets.
WWW
Pierre Genevès, Nabil Layaïda, Vincent Quint
2012 A* conf
SPARQL Query Containment Under SHI Axioms.
AAAI
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2012 A conf
SPARQL Query Containment under RDFS Entailment Regime.
IJCAR
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2012 B conf
Toward automated schema-directed code revision.
ACM Symposium on Document Engineering
Raquel Araújo de Oliveira, Pierre Genevès, Nabil Layaïda
2012 B conf
XML query-update independence analysis revisited.
ACM Symposium on Document Engineering
Muhammad Junedi, Pierre Genevès, Nabil Layaïda
2011 J jnl
Impact of XML Schema Evolution.
ACM Trans. Internet Techn.
Pierre Genevès, Nabil Layaïda, Vincent Quint
2011 A* conf
Inconsistent path detection for XML IDEs.
ICSE
Pierre Genevès, Nabil Layaïda
2011 — conf
PSPARQL Query Containment.
DBPL
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
2011 A conf
Parametric polymorphism and semantic subtyping: the logical connection.
ICFP
Nils Gesbert, Pierre Genevès, Nabil Layaïda
2011 A* conf
Query Reasoning on Trees with Types, Interleaving, and Counting.
IJCAI
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2011 J jnl
Semantic adaptation of multimedia documents.
Multim. Tools Appl.
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
2010 J jnl
A Tree Logic with Graded Paths and Nominals
CoRR
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2010 A* conf
Debugging standard document formats.
WWW
Nabil Layaïda, Pierre Genevès
2010 — conf
Eliminating dead-code from XQuery programs.
ICSE (2)
Pierre Genevès, Nabil Layaïda
2010 J jnl
On the Count of Trees
CoRR
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
2010 A* conf
XML reasoning made practical.
ICDE
Pierre Genevès, Nabil Layaïda
2009 A conf
Identifying query incompatibilities with evolving XML schemas.
ICFP
Pierre Genevès, Nabil Layaïda, Vincent Quint
2009 B conf
On the analysis of queries with counting constraints.
ACM Symposium on Document Engineering
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda
2009 — conf
Semantic Multimedia Document Adaptation with Functional Annotations.
SMAP
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
2008 J jnl
Ensuring Query Compatibility with Evolving XML Schemas
CoRR
Pierre Genevès, Nabil Layaïda, Vincent Quint
2008 J jnl
Static Analysis of XML Programs.
ERCIM News
Pierre Genevès, Nabil Layaïda
2008 J jnl
XML Static Analyzer User Manual
CoRR
Pierre Genevès, Nabil Layaïda
2007 J jnl
Deciding XPath containment with MSO.
Data Knowl. Eng.
Pierre Genevès, Nabil Layaïda
2007 A* conf
Efficient static analysis of XML paths and types.
PLDI
Pierre Genevès, Nabil Layaïda, Alan Schmitt
2007 — conf
Multimedia document summarization based on a semantic adaptation framework.
SADPI
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
2007 — conf
XPath Typing Using a Modal Logic with Converse for Finite Trees.
PLAN-X
Pierre Genevès, Nabil Layaïda, Alan Schmitt
2006 — conf
A Spatial Algebra for Multimedia Document Adaptation.
SAMT (Posters and Demos)
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda
2006 J jnl
A system for the static analysis of XPath.
ACM Trans. Inf. Syst.
Pierre Genevès, Nabil Layaïda
2006 B conf
Comparing XML path expressions.
ACM Symposium on Document Engineering
Pierre Genevès, Nabil Layaïda
2005 B conf
Content interaction and formatting for mobile devices.
ACM Symposium on Document Engineering
Tayeb Lemlouma, Nabil Layaïda
2005 J jnl
NAC, une architecture pour l'adaptation multimédia sur le web.
Tech. Sci. Informatiques
Nabil Layaïda, Tayeb Lemlouma, Vincent Quint
2004 B conf
Context-Aware Adaptation for Mobile Devices.
Mobile Data Management
Tayeb Lemlouma, Nabil Layaïda
2003 A* conf
A semantic framework for multimedia document adaptation.
IJCAI
Jérôme Euzenat, Nabil Layaïda, Victor Dias
2003 — conf
Adapted Content Delivery for Different Contexts.
SAINT
Tayeb Lemlouma, Nabil Layaïda
2003 — conf
Containment of XPath expressions: an inference and rewriting based approach.
Extreme Markup Languages®
Jean-Yves Vion-Dury, Nabil Layaïda
2003 A conf
Encoding multimedia presentations for user preferences and limited environments.
ICME
Tayeb Lemlouma, Nabil Layaïda
2003 — conf
Media Resources Adaptation for Limited Devices.
ELPUB
Tayeb Lemlouma, Nabil Layaïda
2002 J jnl
Adaptation d'une application multimédia par un code mobile.
Tech. Sci. Informatiques
Daniel Hagimont, Nabil Layaïda
2002 A* conf
An incremental XSLT transformation processor for XML document manipulation.
WWW
Lionel Villard, Nabil Layaïda
2002 J jnl
Dealing with Uncertain Durations in Synchronized Multimedia Presentations.
Multim. Tools Appl.
Nabil Layaïda, Loay Sabry-Ismaïl, Cécile Roisin
2000 — conf
An XML-Based Multimedia Document Processing Model for Content Adaptation.
DDEP/PODDP
Lionel Villard, Cécile Roisin, Nabil Layaïda
1998 A* conf
Madeus, and Authoring Environment for Interactive Multimedia Documents.
ACM Multimedia
Muriel Jourdan, Nabil Layaïda, Cécile Roisin, Loay Sabry-Ismaïl, Laurent Tardif
1997 — conf
MADEUS: An Authoring Environment for Interactive Multimedia Documents.
ICMCS
Muriel Jourdan, Nabil Layaïda, Loay Sabry-Ismaïl
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