Personnel
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
M. Bosch, P. Genevès, N. Layaïda.
Reasoning with Style, in: International Joint Conference On Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 2015.
https://hal.inria.fr/hal-01149248
[2]
S. J. Gay, N. Gesbert, A. Ravara, V. T. Vasconcelos.
Modular session types for objects, in: Logical Methods in Computer Science, December 2015, vol. 4, no 12, 76 p. [ DOI : 10.2168/LMCS-11(4:12)2015 ]
https://hal.archives-ouvertes.fr/hal-00700635
[3]
P. Genevès, N. Gesbert.
XQuery and Static Typing: Tackling the Problem of Backward Axes, in: ICFP (International Conference on Functional Programming), Vancouver, Canada, ACM SIGPLAN, August 2015. [ DOI : 10.1145/2784731.2784746 ]
https://hal.inria.fr/hal-01082635
[4]
P. Genevès, N. Layaïda, A. Schmitt, N. Gesbert.
Efficiently Deciding μ-calculus with Converse over Finite Trees, in: ACM Transactions on Computational Logic, March 2015, vol. 16, no 2, 41 p. [ DOI : 10.1145/2724712 ]
https://hal.inria.fr/hal-00868722
[5]
P. Genevès, A. Schmitt.
Expressive Logical Combinators for Free, in: International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 2015.
https://hal.inria.fr/hal-00868724
[6]
N. Gesbert, P. Genevès, N. Layaïda.
A Logical Approach To Deciding Semantic Subtyping, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2015, vol. 38, no 1, 31 p. [ DOI : 10.1145/2812805 ]
https://hal.inria.fr/hal-00848023
[7]
T. Michel, H. Fourati, P. Genevès, N. Layaïda.
A Comparative Analysis of Attitude Estimation for Pedestrian Navigation with Smartphones, in: Indoor Positioning and Indoor Navigation, Banff, Canada, October 2015, vol. 2015 International Conference on Indoor Positioning and Indoor Navigation, 10 p.
https://hal.inria.fr/hal-01194811
Publications of the year

Doctoral Dissertations and Habilitation Theses

[8]
A. Abbas.
Static Analysis of Semantic Web Queries with ShEx Schema Constraints, Université Grenoble - Alpes, November 2017.
https://hal.inria.fr/tel-01673074
[9]
T. Michel.
On Mobile Augmented Reality Applications based on Geolocation, Université Grenoble Alpes, November 2017.
https://hal.inria.fr/tel-01651589

International Conferences with Proceedings

[10]
A. Abbas, P. Genevès, C. Roisin, N. Layaïda.
SPARQL Query Containment with ShEx Constraints, in: ADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems, Nicosia, Cyprus, M. Kirikova, K. Nørvåg, G. A. Papadopoulos (editors), LNCS - Lecture Notes in Computer Science, Springer, September 2017, vol. 10509, Submitted.
https://hal.inria.fr/hal-01414509
[11]
A. Abbas, P. Genevès, C. Roisin, N. Layaïda.
Optimising SPARQL Query Evaluation in the Presence of ShEx Constraints, in: BDA 2017 - 33ème conférence sur la « Gestion de Données — Principes, Technologies et Applications », Nancy, France, November 2017, pp. 1-12.
https://hal.inria.fr/hal-01673067
[12]
A. Amarilli, P. Bourhis, L. Jachiet, S. Mengel.
A Circuit-Based Approach to Efficient Enumeration , in: ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Varsovie, Poland, I. Chatzigiannakis, P. Indyk, A. Muscholl (editors), July 2017, pp. 1-15. [ DOI : 10.4230/LIPIcs.ICALP.2017.111 ]
https://hal.inria.fr/hal-01639179
[13]
D. Graux, L. Jachiet, P. Genevès, N. Layaïda.
Une classification expérimentale multi-critère des évaluateurs SPARQL répartis, in: BDA 2017 - 33ème conférence sur la « Gestion de Données — Principes, Technologies et Applications », Nancy, France, November 2017, pp. 1-2.
https://hal.inria.fr/hal-01673114
[14]
T. Michel, P. Genevès, H. Fourati, N. Layaïda.
On Attitude Estimation with Smartphones, in: IEEE International Conference on Pervasive Computing and Communications, Kona, United States, March 2017, Accepted for the International Conference on Pervasive Computing and Communications (PerCom 2017), Mar 2017, Kona, United States.
https://hal.inria.fr/hal-01376745

Other Publications

[15]
A. Abbas, P. Genevès, C. Roisin, N. Layaïda.
Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions, December 2017, working paper or preprint.
https://hal.inria.fr/hal-01673013
[16]
P. Genevès, T. Calmant, N. Layaïda, M. Lepelley, S. Artemova, J.-L. Bosson.
Predicting At-Risk Patient Profiles from Big Prescription Data, December 2017, working paper or preprint.
https://hal.inria.fr/hal-01517087
[17]
D. Graux, P. Genevès, N. Layaïda.
HAP: Building Pipelines with Heterogeneous Data and Hive, January 2017, working paper or preprint.
https://hal.inria.fr/hal-01436850
[18]
D. Graux, P. Genevès, N. Layaïda.
SPARUB: SPARQL UPDATE Benchmark, May 2017, working paper or preprint.
https://hal.inria.fr/hal-01523496
[19]
D. Graux, L. Jachiet, P. Genevès, N. Layaïda.
The SPARQLGX System for Distributed Evaluation of SPARQL Queries, October 2017, working paper or preprint.
https://hal.inria.fr/hal-01621480
[20]
H. Im, P. Genevès, N. Gesbert, N. Layaïda.
Backward Type Inference for XML Queries, March 2017, working paper or preprint.
https://hal.inria.fr/hal-01497857
[21]
L. Jachiet, P. Genevès, N. Gesbert, N. Layaïda.
Extending the SPARQL Algebra for the optimization of Property Paths, December 2017, working paper or preprint.
https://hal.inria.fr/hal-01673025
[22]
L. Jachiet, P. Genevès, N. Layaïda, N. Gesbert.
Extending the SPARQL Algebra for the optimization of Property Paths, November 2017, pp. 1-2, BDA 2017 - 33ème conférence sur la « Gestion de Données , Poster.
https://hal.archives-ouvertes.fr/hal-01647638
[23]
L. Jachiet, P. Genevès, N. Layaïda.
Optimizing sparql query evaluation with a worst-case cardinality estimation based on statistics on the data, May 2017, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-01524387
[24]
T. Michel, P. Genevès, H. Fourati, N. Layaïda.
Attitude Estimation with Smartphones, November 2017, working paper or preprint.
https://hal.inria.fr/hal-01650142