Pierre Genevès

Statistics

Publications

Citations

561

H-Index

Active since

2004

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre National de la Recherche Scientifique

Centre Inria de l'Université Grenoble Alpes

Université Grenoble Alpes

Laboratoire d'Informatique de Grenoble

Pierre Genevès is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSoftware AnalysisSemantic WebManagementData ScienceProgram AnalysisFormal Verification

Publications per year

2004–2021

Publications

Efficient static analysis of XML paths and types

Pierre Genevès, Nabil Layaïda, Alan Schmitt · 2007 · 71 citations · Full text

Engineering, Software Engineering, Computational Complexity +20

A comparative analysis of attitude estimation for pedestrian navigation with smartphones

Thibaud Michel, Hassen Fourati, Pierre Genevès et al. · 2015 · 52 citations · Full text

Location Tracking, Engineering, Location Estimation +20

A system for the static analysis of XPath

Pierre Genevès, Nabil Layaïda · ACM Transactions on Information Systems · 2006 · 44 citations

Engineering, Software Engineering, Xpath Decision Problems +20

Privacy-preserving and bandwidth-efficient federated learning

Raouf Kerkouche, Gergely Ács, Claude Castelluccia et al. · 2021 · 42 citations · Full text

Artificial Intelligence, Privacy Protection, Engineering +17

On the analysis of cascading style sheets

Pierre Genevès, Nabil Layaïda, Vincent Quint · 2012 · 39 citations · Full text

Engineering, Css Style Sheets, Verification +22

1–5 of 22