Pierre Genevès
Person information
- affiliation: CNRS, France
- affiliation (former): University Grenoble Alpes, France
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j9]Pierre Genevès, Thomas Calmant, Nabil Layaïda, Marion Lepelley, Svetlana Artemova, Jean-Luc Bosson:
Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital Admission. Big Data Research 12: 23-34 (2018) - [j8]Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
SPARQL Query Containment Under Schema. J. Data Semantics 7(3): 133-154 (2018) - [j7]Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda:
Attitude estimation for indoor navigation and augmented reality with smartphones. Pervasive and Mobile Computing 46: 96-121 (2018) - [c37]Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda:
A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators. BigData 2018: 693-702 - [c36]Amela Fejza, Pierre Genevès, Nabil Layaïda, Jean-Luc Bosson:
Scalable and Interpretable Predictive Models for Electronic Health Records. DSAA 2018: 341-350 - [c35]Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda:
Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions. ICWE 2018: 195-209 - [c34]Jérôme David, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
Evaluation of Query Transformations without Data: Short paper. WWW (Companion Volume) 2018: 1599-1602 - 2017
- [c33]Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda:
SPARQL Query Containment with ShEx Constraints. ADBIS 2017: 343-356 - [c32]Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda:
On attitude estimation with smartphones. PerCom 2017: 267-275 - 2016
- [c31]Damien Graux, Pierre Genevès, Nabil Layaïda:
Smart Trip Alternatives for the Curious. International Semantic Web Conference (Posters & Demos) 2016 - [c30]Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda:
SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark. International Semantic Web Conference (Posters & Demos) 2016 - [c29]Damien Graux, Louis Jachiet, Pierre Genevès, Nabil Layaïda:
SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark. International Semantic Web Conference (2) 2016: 80-87 - 2015
- [j6]Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert:
Efficiently Deciding μ-Calculus with Converse over Finite Trees. ACM Trans. Comput. Log. 16(2): 16:1-16:41 (2015) - [j5]Nils Gesbert, Pierre Genevès, Nabil Layaïda:
A Logical Approach to Deciding Semantic Subtyping. ACM Trans. Program. Lang. Syst. 38(1): 3:1-3:31 (2015) - [c28]Nicola Guido, Pierre Genevès, Nabil Layaïda, Cécile Roisin:
On Query-Update Independence for SPARQL. CIKM 2015: 1675-1678 - [c27]Pierre Genevès, Nils Gesbert:
XQuery and static typing: tackling the problem of backward axes. ICFP 2015: 88-100 - [c26]
- [c25]
- [c24]Thibaud Michel, Hassen Fourati, Pierre Genevès, Nabil Layaïda:
A comparative analysis of attitude estimation for pedestrian navigation with smartphones. IPIN 2015: 1-10 - [e1]Christine Vanoirbeek, Pierre Genevès:
Proceedings of the 2015 ACM Symposium on Document Engineering, DocEng 2015, Lausanne, Switzerland, September 8-11, 2015. ACM 2015, ISBN 978-1-4503-3307-8 [contents] - 2014
- [b2]Pierre Genevès:
Static Analysis for Data-Centric Web Programming. Grenoble Alpes University, France 2014 - [j4]Pierre Genevès, Nabil Layaïda:
Equipping IDEs with XML-Path Reasoning Capabilities. ACM Trans. Internet Techn. 13(4): 13:1-13:20 (2014) - [c23]Martí Bosch, Pierre Genevès, Nabil Layaïda:
Automated refactoring for size reduction of CSS style sheets. ACM Symposium on Document Engineering 2014: 13-16 - [i7]Mathieu Razafimahazo, Nabil Layaïda, Pierre Genevès, Thibaud Michel:
Mobile Augmented Reality Applications for Smart Cities. ERCIM News 2014(98) (2014) - 2013
- [c22]Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
Evaluating and Benchmarking SPARQL Query Containment Solvers. International Semantic Web Conference (2) 2013: 408-423 - [c21]Pierre Genevès, Nabil Layaïda:
XML validation: looking backward - strongly typed and flexible XML processing are not incompatible. WWW (Companion Volume) 2013: 219-220 - 2012
- [c20]Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
SPARQL Query Containment Under SHI Axioms. AAAI 2012 - [c19]Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
SPARQL Query Containment under RDFS Entailment Regime. IJCAR 2012: 134-148 - [c18]Muhammad Junedi, Pierre Genevès, Nabil Layaïda:
XML query-update independence analysis revisited. ACM Symposium on Document Engineering 2012: 95-98 - [c17]Raquel Oliveira, Pierre Genevès, Nabil Layaïda:
Toward automated schema-directed code revision. ACM Symposium on Document Engineering 2012: 103-106 - [c16]Pierre Genevès, Nabil Layaïda, Vincent Quint:
On the analysis of cascading style sheets. WWW 2012: 809-818 - 2011
- [j3]Pierre Genevès, Nabil Layaïda, Vincent Quint:
Impact of XML Schema Evolution. ACM Trans. Internet Techn. 11(1): 4:1-4:27 (2011) - [c15]Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
PSPARQL Query Containment. DBPL 2011 - [c14]Nils Gesbert, Pierre Genevès, Nabil Layaïda:
Parametric polymorphism and semantic subtyping: the logical connection. ICFP 2011: 107-116 - [c13]
- [c12]Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt:
Query Reasoning on Trees with Types, Interleaving, and Counting. IJCAI 2011: 718-723 - 2010
- [c11]
- [c10]
- [c9]
- [i6]Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt:
A Tree Logic with Graded Paths and Nominals. CoRR abs/1005.5623 (2010) - [i5]Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt:
On the Count of Trees. CoRR abs/1008.5073 (2010)
2000 – 2009
- 2009
- [c8]Everardo Bárcenas, Pierre Genevès, Nabil Layaïda:
On the analysis of queries with counting constraints. ACM Symposium on Document Engineering 2009: 21-24 - [c7]Pierre Genevès, Nabil Layaïda, Vincent Quint:
Identifying query incompatibilities with evolving XML schemas. ICFP 2009: 221-230 - 2008
- [i4]
- [i3]Pierre Genevès, Nabil Layaïda, Vincent Quint:
Ensuring Query Compatibility with Evolving XML Schemas. CoRR abs/0811.4324 (2008) - [i2]
- [i1]
- 2007
- [j2]Pierre Genevès, Nabil Layaïda:
Deciding XPath containment with MSO. Data Knowl. Eng. 63(1): 108-136 (2007) - [c6]Pierre Genevès, Nabil Layaïda, Alan Schmitt:
XPath Typing Using a Modal Logic with Converse for Finite Trees. PLAN-X 2007: 61-72 - [c5]Pierre Genevès, Nabil Layaïda, Alan Schmitt:
Efficient static analysis of XML paths and types. PLDI 2007: 342-351 - 2006
- [b1]Pierre Genevès:
Logics for XML. (Logiques pour XML). Grenoble Institute of Technology, France 2006 - [j1]Pierre Genevès, Nabil Layaïda:
A system for the static analysis of XPath. ACM Trans. Inf. Syst. 24(4): 475-502 (2006) - [c4]Pierre Genevès, Nabil Layaïda:
Comparing XML path expressions. ACM Symposium on Document Engineering 2006: 65-74 - 2005
- [c3]Pierre Genevès, Kristoffer Høgsbro Rose:
Compiling XPath for streaming access policy. ACM Symposium on Document Engineering 2005: 52-54 - 2004
- [c2]Pierre Genevès, Jean-Yves Vion-Dury:
Logic-based XPath optimization. ACM Symposium on Document Engineering 2004: 211-219 - [c1]
Coauthor Index
last updated on 2019-02-06 22:16 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint