Pierre Geneves

Q: What Schools Are Affiliated With Pierre Geneves

Pierre Geneves is affiliated with the following schools: Grenoble Alpes University, Paris-Saclay University, Grenoble Institute of Technology

Pierre Geneves's AcademicInfluence.com Rankings

Pierre Geneves

Computer Science

#3945

World Rank

#4147

Historical Rank

Information Technology

#96

World Rank

#97

Historical Rank

Algorithms

#521

World Rank

#528

Historical Rank

Database

#9896

World Rank

#10488

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Pierre Geneves's Degrees

PhD Computer Science Paris-Saclay University
Masters Computer Science Paris-Saclay University
Bachelors Computer Science Paris-Saclay University

Similar Degrees You Can Earn

Why Is Pierre Geneves Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Pierre Genevès is a French computer scientist born in 1980. He is a research scientist at CNRS and recipient of the 2013 CNRS Bronze medal. Biography Born in Cahors in 1980, Pierre Genevès founded in 2001 a software company developing a graphic software, later marketed under the name of AceDesign Pro by the Canadian software company Visicom Media.

(See a Problem?)

Pierre Geneves's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Efficient static analysis of XML paths and types (2007) (103)
A system for the static analysis of XPath (2006) (55)
SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark (2016) (55)
SPARQL Query Containment under RDFS Entailment Regime (2012) (46)
A comparative analysis of attitude estimation for pedestrian navigation with smartphones (2015) (45)
SPARQL Query Containment Under SHI Axioms (2012) (42)
On the analysis of cascading style sheets (2012) (38)
On attitude estimation with smartphones (2017) (29)
Attitude estimation for indoor navigation and augmented reality with smartphones (2018) (28)
Query Reasoning on Trees with Types, Interleaving, and Counting (2011) (25)
Logics for XML (2008) (24)
Logic-based XPath optimization (2004) (23)
Deciding XPath containment with MSO (2007) (23)
PSPARQL Query Containment (2011) (22)
Impact of XML Schema Evolution (2011) (21)
Identifying query incompatibilities with evolving XML schemas (2009) (21)
Efficiently Deciding μ-Calculus with Converse over Finite Trees (2015) (20)
Parametric polymorphism and semantic subtyping: the logical connection (2011) (20)
Evaluating and Benchmarking SPARQL Query Containment Solvers (2013) (19)
Privacy-preserving and bandwidth-efficient federated learning: an application to in-hospital mortality prediction (2021) (15)
Automated refactoring for size reduction of CSS style sheets (2014) (14)
On the Optimization of Recursive Relational Queries: Application to Graph Queries (2020) (14)
XML reasoning made practical (2010) (14)
XPath Formal Semantics and Beyond: a Coq based approach (2004) (13)
Eliminating dead-code from XQuery programs (2010) (12)
XML query-update independence analysis revisited (2012) (11)
Compression Boosts Differentially Private Federated Learning (2020) (11)
A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators (2018) (10)
Compiling XPath for streaming access policy (2005) (9)
Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission (2018) (8)
SPARQL Query Containment Under Schema (2018) (8)
Reasoning with Style (2015) (7)
Scalable and Interpretable Predictive Models for Electronic Health Records (2018) (7)
A Decision Procedure for XPath Containment (2006) (7)
Toward automated schema-directed code revision (2012) (7)
A Logical Approach to Deciding Semantic Subtyping (2015) (6)
Editing SMIL with Timelines (2003) (6)
Inconsistent path detection for XML IDEs (2011) (5)
Optimising SPARQL Query Evaluation in the Presence of ShEx Constraints (2017) (5)
Debugging standard document formats (2010) (5)
XML Reasoning Solver User Manual (2011) (5)
SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark (2016) (5)
Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions (2018) (4)
XQuery and static typing: tackling the problem of backward axes (2015) (4)
Mobile Augmented Reality Applications for Smart Cities (2014) (4)
Expressive Logical Combinators for Free (2015) (3)
An Algebra with a Fixpoint Operator for Distributed Data Collections (2020) (3)
Constrained Differentially Private Federated Learning for Low-bandwidth Devices (2021) (3)
A Cost Estimation Technique for Recursive Relational Algebra (2020) (3)
Evaluation of Query Transformations without Data: Short paper (2018) (3)
SPARQL Query Containment with ShEx Constraints (2017) (2)
Counting in Trees along Multidirectional Regular Paths (2009) (2)
A Method to Quantitatively Evaluate Geo Augmented Reality Applications (2018) (2)
Automated and Semantics-Preserving CSS Refactoring (2014) (2)
On Query-Update Independence for SPARQL (2015) (2)
XPath Typing Using a Modal Logic with Converse for Finite Trees (2007) (2)
Compiling XPath into a State-less Forward-only Subset (2004) (2)
Comparing XML path expressions (2006) (2)
On the Count of Trees (2010) (1)
Logical Combinators for Rich Type Systems (2012) (1)
Distributed Evaluation of Graph Queries using Recursive Relational Algebra (2021) (1)
XQTC: A Static Type-Checker for XQuery Using Backward Type Inference (2012) (1)
Ensuring Query Compatibility with Evolving XML Schemas (2008) (1)
Predicting At-Risk Patient Profiles from Big Prescription Data (2017) (1)
On the Optimization of Iterative Programming with Distributed Data Collections (2020) (1)
The SPARQLGX System for Distributed Evaluation of SPARQL Queries (2017) (1)
Smart Trip Alternatives for the Curious (2016) (1)
Equipping IDEs with XML-Path Reasoning Capabilities (2014) (1)
Optimizing sparql query evaluation with a worst-case cardinality estimation based on statistics on the data (2017) (1)
Mu-Calculus Based Resolution of XPath Decision Problems (2006) (1)
Proceedings of the 2015 ACM Symposium on Document Engineering (2015) (1)
On the analysis of queries with counting constraints (2009) (1)
A Benchmark for Semantic Web Query Containment, Equivalence and Satisfiability (2012) (1)
Improving Efficiency of XPath-Based XML Querying (2004) (1)
Backward type inference for XML queries (2020) (0)
New Results - Ontology networks (2011) (0)
00 A Logical Approach To Deciding Semantic Subtyping (2016) (0)
New Software and Platforms - Senslogs – Sensors recorder for Android application (2015) (0)
Static Analysis for Data-Centric Web Programming (2014) (0)
A Tree Logic with Graded Paths and Nominals (2010) (0)
SPARQL Query Containment Under Schema (2018) (0)
A Logical Approach To Deciding Semantic Subtyping - Supporting function, intersection, negation, and polymorphic types (2013) (0)
Logic as a ground for effective and reliable web applications (2013) (0)
New Results - Sensor networks: estimation and data fusion (2014) (0)
New Results - Multisensor data fusion for navigation (2018) (0)
Evaluation of Query Transformations without Data (2018) (0)
HAP: Building Pipelines with Heterogeneous Data (2019) (0)
XML validation: looking backward - strongly typed and flexible XML processing are not incompatible (2013) (0)
Static Analysis of XML Programs (2008) (0)
HAP: Building Pipelines with Heterogeneous Data and Hive (2017) (0)
Scientific Foundations - XML Processing (2011) (0)
Foundations of XML Types: Tree Automata (2010) (0)
Deciding XPath Containment with MSO Pierre Genevès and (2019) (0)
Session details: Keynote Talk I (2015) (0)
New Software and Platforms - Wifi Scan Interval for Android application (2016) (0)
An efficient translation from a modal μ-calculus over finite trees with converse to tree automata (2016) (0)
XML Static Analyzer User Manual (2008) (0)
Knowledge Enhanced Graph Neural Networks (2023) (0)

This paper list is powered by the following services:

Other Resources About Pierre Geneves

What Schools Are Affiliated With Pierre Geneves?

Pierre Geneves is affiliated with the following schools:

Pierre Geneves's Academic­Influence.com Rankings

Pierre Geneves's Degrees

Similar Degrees You Can Earn

Why Is Pierre Geneves Influential?

Pierre Geneves's Published Works

Published Works

Other Resources About Pierre Geneves

What Schools Are Affiliated With Pierre Geneves?

Pierre Geneves's AcademicInfluence.com Rankings