Logic-based XPath optimization. - Pierre Genevès; Jean-Yves Vion-Dury (ACM Symposium on Document Engineering, 2004)

Improving Efficiency of XPath-Based XML Querying. - Pierre Genevès (IFIP Student Forum, 2004)

Compiling XPath for streaming access policy. - Pierre Genevès; Kristoffer Høgsbro Rose (ACM Symposium on Document Engineering, 2005)

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

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

Logics for XML. (Logiques pour XML). - Pierre Genevès (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)

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

Logics for XML - Pierre Genevès (CoRR, 2008)

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)

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)

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)

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)

Static Analysis for Data-Centric Web Programming. - Pierre Genevès (2014)

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)

XQuery and static typing: tackling the problem of backward axes. - Pierre Genevès; Nils Gesbert (ICFP, 2015)

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

Expressive Logical Combinators for Free. - Pierre Genevès; Alan Schmitt (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 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)

Privacy-preserving and bandwidth-efficient federated learning: an application to in-hospital mortality prediction. - Raouf Kerkouche; Gergely Ács; Claude Castelluccia; Pierre Genevès (CHIL, 2021)

Compression Boosts Differentially Private Federated Learning. - Raouf Kerkouche; Gergely Ács; Claude Castelluccia; Pierre Genevès (EuroS&P, 2021)

Constrained differentially private federated learning for low-bandwidth devices. - Raouf Kerkouche; Gergely Ács; Claude Castelluccia; Pierre Genevès (UAI, 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)

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

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)