Pierre Genevès

Orcid: 0000-0001-7676-2755

Affiliations:
  • CNRS, France
  • EPFL, Lausanne, Switzerland (former)
  • IBM T.J. Watson Research Center, NY, USA (former)
  • University Grenoble Alpes, France (former)


According to our database1, Pierre Genevès authored at least 70 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers.
Proc. VLDB Endow., July, 2024

Schema-Based Query Optimisation for Graph Databases.
CoRR, 2024

A Fast Plan Enumerator for Recursive Queries.
Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

Reproduce, Replicate, Reevaluate. The Long but Safe Way to Extend Machine Learning Methods.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Efficient Iterative Programs with Distributed Data Collections.
CoRR, 2023

Knowledge Enhanced Graph Neural Networks.
Proceedings of the 10th IEEE International Conference on Data Science and Advanced Analytics, 2023

The µ-RA System for Recursive Path Queries over Graphs.
Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

2021
Distributed Evaluation of Graph Queries using Recursive Relational Algebra.
CoRR, 2021

Constrained differentially private federated learning for low-bandwidth devices.
Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Compression Boosts Differentially Private Federated Learning.
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.
Proceedings of the ACM CHIL '21: ACM Conference on Health, 2021

2020
Backward type inference for XML queries.
Theor. Comput. Sci., 2020

On the Optimization of Recursive Relational Queries: Application to Graph Queries.
Proceedings of the 2020 International Conference on Management of Data, 2020

A Cost Estimation Technique for Recursive Relational Algebra.
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.
Pervasive Mob. Comput., 2018

SPARQL Query Containment Under Schema.
J. Data Semant., 2018

Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission.
Big Data Res., 2018

Evaluation of Query Transformations without Data: Short paper.
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.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality, 2018

Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions.
Proceedings of the Web Engineering - 18th International Conference, 2018

Scalable and Interpretable Predictive Models for Electronic Health Records.
Proceedings of the 5th IEEE International Conference on Data Science and Advanced Analytics, 2018

A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017
On attitude estimation with smartphones.
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications, 2017

SPARQL Query Containment with ShEx Constraints.
Proceedings of the Advances in Databases and Information Systems, 2017

2016
SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark.
Proceedings of the Semantic Web - ISWC 2016, 2016

SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark.
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.
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.
ACM Trans. Program. Lang. Syst., 2015

Efficiently Deciding μ-Calculus with Converse over Finite Trees.
ACM Trans. Comput. Log., 2015

A comparative analysis of attitude estimation for pedestrian navigation with smartphones.
Proceedings of the 2015 International Conference on Indoor Positioning and Indoor Navigation, 2015

Expressive Logical Combinators for Free.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reasoning with Style.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

XQuery and static typing: tackling the problem of backward axes.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

On Query-Update Independence for SPARQL.
Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

2014
Equipping IDEs with XML-Path Reasoning Capabilities.
ACM Trans. Internet Techn., 2014

Mobile Augmented Reality Applications for Smart Cities.
ERCIM News, 2014

Automated refactoring for size reduction of CSS style sheets.
Proceedings of the ACM Symposium on Document Engineering 2014, 2014

Static Analysis for Data-Centric Web Programming.
, 2014

2013
XML validation: looking backward - strongly typed and flexible XML processing are not incompatible.
Proceedings of the 22nd International World Wide Web Conference, 2013

Evaluating and Benchmarking SPARQL Query Containment Solvers.
Proceedings of the Semantic Web - ISWC 2013, 2013

2012
On the analysis of cascading style sheets.
Proceedings of the 21st World Wide Web Conference 2012, 2012

Toward automated schema-directed code revision.
Proceedings of the ACM Symposium on Document Engineering, 2012

XML query-update independence analysis revisited.
Proceedings of the ACM Symposium on Document Engineering, 2012

SPARQL Query Containment under RDFS Entailment Regime.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

SPARQL Query Containment Under SHI Axioms.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Impact of XML Schema Evolution.
ACM Trans. Internet Techn., 2011

Query Reasoning on Trees with Types, Interleaving, and Counting.
Proceedings of the IJCAI 2011, 2011

Inconsistent path detection for XML IDEs.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Parametric polymorphism and semantic subtyping: the logical connection.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

PSPARQL Query Containment.
Proceedings of the Database Programming Languages, 2011

2010
On the Count of Trees
CoRR, 2010

A Tree Logic with Graded Paths and Nominals
CoRR, 2010

Debugging standard document formats.
Proceedings of the 19th International Conference on World Wide Web, 2010

Eliminating dead-code from XQuery programs.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

XML reasoning made practical.
Proceedings of the 26th International Conference on Data Engineering, 2010

2009
Identifying query incompatibilities with evolving XML schemas.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

On the analysis of queries with counting constraints.
Proceedings of the 2009 ACM Symposium on Document Engineering, 2009

2008
Static Analysis of XML Programs.
ERCIM News, 2008

XML Static Analyzer User Manual
CoRR, 2008

Ensuring Query Compatibility with Evolving XML Schemas
CoRR, 2008

Logics for XML
CoRR, 2008

2007
Deciding XPath containment with MSO.
Data Knowl. Eng., 2007

Efficient static analysis of XML paths and types.
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.
Proceedings of the PLAN-X 2007, 2007

2006
Logics for XML. (Logiques pour XML).
PhD thesis, 2006

A system for the static analysis of XPath.
ACM Trans. Inf. Syst., 2006

Comparing XML path expressions.
Proceedings of the 2006 ACM Symposium on Document Engineering, 2006

2005
Compiling XPath for streaming access policy.
Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

2004
Improving Efficiency of XPath-Based XML Querying.
Proceedings of the Student Forum, 2004

Logic-based XPath optimization.
Proceedings of the 2004 ACM Symposium on Document Engineering, 2004


  Loading...