ask others

Pierre Genevès

> Home > Persons

Person information

affiliation: CNRS, France
affiliation (former): University Grenoble Alpes, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/bdr/GenevesCLLAB18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/bdr/GenevesCLLAB18
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)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/percom/MichelGFL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/percom/MichelGFL18
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)
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icwe/AbbasGRL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icwe/AbbasGRL18
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/www/DavidEGL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/www/DavidEGL18
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adbis/AbbasGRL17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adbis/AbbasGRL17
Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda:
SPARQL Query Containment with ShEx Constraints. ADBIS 2017: 343-356
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/percom/MichelGFL17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/percom/MichelGFL17
Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda:
On attitude estimation with smartphones. PerCom 2017: 267-275
2016
[c31]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/semweb/GrauxGL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/semweb/GrauxGL16
Damien Graux, Pierre Genevès, Nabil Layaïda:
Smart Trip Alternatives for the Curious. International Semantic Web Conference (Posters & Demos) 2016
[c30]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/semweb/GrauxJGL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/semweb/GrauxJGL16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/semweb/GrauxJGL16a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/semweb/GrauxJGL16a
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tocl/GenevesLSG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tocl/GenevesLSG15
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/toplas/GesbertGL15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/GesbertGL15
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/cikm/GuidoGLR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cikm/GuidoGLR15
Nicola Guido, Pierre Genevès, Nabil Layaïda, Cécile Roisin:
On Query-Update Independence for SPARQL. CIKM 2015: 1675-1678
[c27]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icfp/GenevesG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/GenevesG15
Pierre Genevès, Nils Gesbert:
XQuery and static typing: tackling the problem of backward axes. ICFP 2015: 88-100
[c26]
- view
  - electronic edition @ ijcai.org
- export record
  dblp key:
  - conf/ijcai/GenevesS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/GenevesS15
Pierre Genevès, Alan Schmitt:
Expressive Logical Combinators for Free. IJCAI 2015: 311-317
[c25]
- view
  - electronic edition @ ijcai.org
- export record
  dblp key:
  - conf/ijcai/BoschGL15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/BoschGL15
Martí Bosch, Pierre Genevès, Nabil Layaïda:
Reasoning with Style. IJCAI 2015: 2227-2233
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ipin/MichelFGL15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ipin/MichelFGL15
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]
- view
  - table of contents in dblp
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/doceng/2015
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/doceng/2015
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]
- view
  - electronic edition @ archives-ouvertes.fr
- export record
  dblp key:
  - books/hal/Geneves14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/hal/Geneves14
Pierre Genevès:
Static Analysis for Data-Centric Web Programming. Grenoble Alpes University, France 2014
[j4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/toit/GenevesL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toit/GenevesL14
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/doceng/BoschGL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/doceng/BoschGL14
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]
- view
  - electronic edition @ ercim.eu
- export record
  dblp key:
  - journals/ercim/RazafimahazoLGM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ercim/RazafimahazoLGM14
Mathieu Razafimahazo, Nabil Layaïda, Pierre Genevès, Thibaud Michel:
Mobile Augmented Reality Applications for Smart Cities. ERCIM News 2014(98) (2014)
2013
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/semweb/ChekolEGL13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/semweb/ChekolEGL13
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/www/GenevesL13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/www/GenevesL13
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]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/ChekolEGL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/ChekolEGL12
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
SPARQL Query Containment Under SHI Axioms. AAAI 2012
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/ChekolEGL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/ChekolEGL12
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/doceng/JunediGL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/doceng/JunediGL12
Muhammad Junedi, Pierre Genevès, Nabil Layaïda:
XML query-update independence analysis revisited. ACM Symposium on Document Engineering 2012: 95-98
[c17]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/doceng/OliveiraGL12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/doceng/OliveiraGL12
Raquel Oliveira, Pierre Genevès, Nabil Layaïda:
Toward automated schema-directed code revision. ACM Symposium on Document Engineering 2012: 103-106
[c16]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/www/GenevesLQ12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/www/GenevesLQ12
Pierre Genevès, Nabil Layaïda, Vincent Quint:
On the analysis of cascading style sheets. WWW 2012: 809-818
2011
[j3]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/toit/GenevesLQ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toit/GenevesLQ11
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]
- view
  - electronic edition @ cornell.edu
- export record
  dblp key:
  - conf/dbpl/ChekolEGL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dbpl/ChekolEGL11
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda:
PSPARQL Query Containment. DBPL 2011
[c14]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icfp/GesbertGL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/GesbertGL11
Nils Gesbert, Pierre Genevès, Nabil Layaïda:
Parametric polymorphism and semantic subtyping: the logical connection. ICFP 2011: 107-116
[c13]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/GenevesL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/GenevesL11
Pierre Genevès, Nabil Layaïda:
Inconsistent path detection for XML IDEs. ICSE 2011: 983-985
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ijcai/BarcenasGLS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/BarcenasGLS11
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icde/GenevesL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icde/GenevesL10
Pierre Genevès, Nabil Layaïda:
XML reasoning made practical. ICDE 2010: 1169-1172
[c10]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icse/GenevesL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/GenevesL10
Pierre Genevès, Nabil Layaïda:
Eliminating dead-code from XQuery programs. ICSE (2) 2010: 305-306
[c9]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/www/LayaidaG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/www/LayaidaG10
Nabil Layaïda, Pierre Genevès:
Debugging standard document formats. WWW 2010: 1269-1272
[i6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1005-5623
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1005-5623
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1008-5073
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1008-5073
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt:
On the Count of Trees. CoRR abs/1008.5073 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c8]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/doceng/BarcenasGL09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/doceng/BarcenasGL09
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icfp/GenevesLQ09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/GenevesLQ09
Pierre Genevès, Nabil Layaïda, Vincent Quint:
Identifying query incompatibilities with evolving XML schemas. ICFP 2009: 221-230
2008
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0810-4460
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-0810-4460
Pierre Genevès:
Logics for XML. CoRR abs/0810.4460 (2008)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0811-4324
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-0811-4324
Pierre Genevès, Nabil Layaïda, Vincent Quint:
Ensuring Query Compatibility with Evolving XML Schemas. CoRR abs/0811.4324 (2008)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0812-3550
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-0812-3550
Pierre Genevès, Nabil Layaïda:
XML Static Analyzer User Manual. CoRR abs/0812.3550 (2008)
[i1]
- view
  - electronic edition @ ercim.eu
- export record
  dblp key:
  - journals/ercim/GenevesL08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ercim/GenevesL08
Pierre Genevès, Nabil Layaïda:
Static Analysis of XML Programs. ERCIM News 2008(72) (2008)
2007
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/dke/GenevesL07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dke/GenevesL07
Pierre Genevès, Nabil Layaïda:
Deciding XPath containment with MSO. Data Knowl. Eng. 63(1): 108-136 (2007)
[c6]
- view
  - electronic edition @ plan-x-2007.org
- export record
  dblp key:
  - conf/planX/GenevesLS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/planX/GenevesLS07
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pldi/GenevesLS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/GenevesLS07
Pierre Genevès, Nabil Layaïda, Alan Schmitt:
Efficient static analysis of XML paths and types. PLDI 2007: 342-351
2006
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
- export record
  dblp key:
  - phd/hal/Geneves06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/hal/Geneves06
Pierre Genevès:
Logics for XML. (Logiques pour XML). Grenoble Institute of Technology, France 2006
[j1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tois/GenevesL06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tois/GenevesL06
Pierre Genevès, Nabil Layaïda:
A system for the static analysis of XPath. ACM Trans. Inf. Syst. 24(4): 475-502 (2006)
[c4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/doceng/GenevesL06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/doceng/GenevesL06
Pierre Genevès, Nabil Layaïda:
Comparing XML path expressions. ACM Symposium on Document Engineering 2006: 65-74
2005
[c3]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/doceng/GenevesR05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/doceng/GenevesR05
Pierre Genevès, Kristoffer Høgsbro Rose:
Compiling XPath for streaming access policy. ACM Symposium on Document Engineering 2005: 52-54
2004
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/doceng/GenevesV04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/doceng/GenevesV04
Pierre Genevès, Jean-Yves Vion-Dury:
Logic-based XPath optimization. ACM Symposium on Document Engineering 2004: 211-219
[c1]
- no documents available
- export record
  dblp key:
  - conf/ifip/Geneves04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifip/Geneves04
Pierre Genevès:
Improving Efficiency of XPath-Based XML Querying. IFIP Student Forum 2004: 143-154

Coauthor Index

see FAQ

maintained by

at