Pierre Genevès

CoRR, 2023

Efficient Iterative Programs with Distributed Data Collections.

[BibT_eX]

[DOI]

CoRR, 2023

Knowledge Enhanced Graph Neural Networks.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2021

Distributed Evaluation of Graph Queries using Recursive Relational Algebra.

[BibT_eX]

[DOI]

Sarah Chlyah

CoRR, 2021

Constrained differentially private federated learning for low-bandwidth devices.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Compression Boosts Differentially Private Federated Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

Privacy-preserving and bandwidth-efficient federated learning: an application to in-hospital mortality prediction.

[BibT_eX]

[DOI]

Proceedings of the ACM CHIL '21: ACM Conference on Health, 2021

2020

Backward type inference for XML queries.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

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

[BibT_eX]

[DOI]

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

A Cost Estimation Technique for Recursive Relational Algebra.

[BibT_eX]

[DOI]

Muideen Lawal

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

2018

Attitude estimation for indoor navigation and augmented reality with smartphones.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2018

SPARQL Query Containment Under Schema.

[BibT_eX]

[DOI]

J. Data Semant., 2018

Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission.

[BibT_eX]

[DOI]

Big Data Res., 2018

Evaluation of Query Transformations without Data: Short paper.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Thibaud Michel

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

Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions.

[BibT_eX]

[DOI]

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

Scalable and Interpretable Predictive Models for Electronic Health Records.

[BibT_eX]

[DOI]

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

A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators.

[BibT_eX]

[DOI]

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

2017

On attitude estimation with smartphones.

[BibT_eX]

[DOI]

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

SPARQL Query Containment with ShEx Constraints.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2017

2016

SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Damien Graux

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.

[BibT_eX]

[DOI]

Nils Gesbert

ACM Trans. Program. Lang. Syst., 2015

Efficiently Deciding μ-Calculus with Converse over Finite Trees.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2015

A comparative analysis of attitude estimation for pedestrian navigation with smartphones.

[BibT_eX]

[DOI]

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

Expressive Logical Combinators for Free.

[BibT_eX]

[DOI]

Alan Schmitt

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reasoning with Style.

[BibT_eX]

[DOI]

Martí Bosch

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

XQuery and static typing: tackling the problem of backward axes.

[BibT_eX]

[DOI]

Nils Gesbert

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

On Query-Update Independence for SPARQL.

[BibT_eX]

[DOI]

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

2014

Equipping IDEs with XML-Path Reasoning Capabilities.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2014

Mobile Augmented Reality Applications for Smart Cities.

[BibT_eX]

[DOI]

ERCIM News, 2014

Automated refactoring for size reduction of CSS style sheets.

[BibT_eX]

[DOI]

Martí Bosch

Proceedings of the ACM Symposium on Document Engineering 2014, 2014

Static Analysis for Data-Centric Web Programming.

[BibT_eX]

[DOI]

, 2014

2013

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

[BibT_eX]

[DOI]

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

Evaluating and Benchmarking SPARQL Query Containment Solvers.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

2012

On the analysis of cascading style sheets.

[BibT_eX]

[DOI]

Raquel Araújo de Oliveira

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

Toward automated schema-directed code revision.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Document Engineering, 2012

XML query-update independence analysis revisited.

[BibT_eX]

[DOI]

Muhammad Junedi

Proceedings of the ACM Symposium on Document Engineering, 2012

SPARQL Query Containment under RDFS Entailment Regime.

[BibT_eX]

[DOI]

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

SPARQL Query Containment Under SHI Axioms.

[BibT_eX]

[DOI]

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

2011

Impact of XML Schema Evolution.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2011

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

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Inconsistent path detection for XML IDEs.

[BibT_eX]

[DOI]

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

Parametric polymorphism and semantic subtyping: the logical connection.

[BibT_eX]

[DOI]

Nils Gesbert

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

PSPARQL Query Containment.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 2011

2010

On the Count of Trees

[BibT_eX]

[DOI]

CoRR, 2010

A Tree Logic with Graded Paths and Nominals

[BibT_eX]

[DOI]

CoRR, 2010

Debugging standard document formats.

[BibT_eX]

[DOI]

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

Eliminating dead-code from XQuery programs.

[BibT_eX]

[DOI]

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

XML reasoning made practical.

[BibT_eX]

[DOI]

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

2009

Identifying query incompatibilities with evolving XML schemas.

[BibT_eX]

[DOI]

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

On the analysis of queries with counting constraints.

[BibT_eX]

[DOI]

Everardo Bárcenas

Proceedings of the 2009 ACM Symposium on Document Engineering, 2009

2008

Static Analysis of XML Programs.

[BibT_eX]

[DOI]

ERCIM News, 2008

XML Static Analyzer User Manual

[BibT_eX]

[DOI]

CoRR, 2008

Ensuring Query Compatibility with Evolving XML Schemas

[BibT_eX]

[DOI]

CoRR, 2008

Logics for XML

[BibT_eX]

[DOI]

CoRR, 2008

2007

Deciding XPath containment with MSO.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2007

Efficient static analysis of XML paths and types.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alan Schmitt

Proceedings of the PLAN-X 2007, 2007

2006

Logics for XML. (Logiques pour XML).

[BibT_eX]

[DOI]

PhD thesis, 2006

A system for the static analysis of XPath.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst., 2006

Comparing XML path expressions.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Document Engineering, 2006

2005

Compiling XPath for streaming access policy.

[BibT_eX]

[DOI]

Kristoffer Høgsbro Rose

Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

2004

Improving Efficiency of XPath-Based XML Querying.

[BibT_eX]

Proceedings of the Student Forum, 2004

Logic-based XPath optimization.

[BibT_eX]

[DOI]