Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
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]
D. Graux.
On the Efficient Distributed Evaluation of SPARQL Queries, Université Grenoble Alpes, December 2016.
https://hal.inria.fr/tel-01405319

Articles in International Peer-Reviewed Journals

[9]
D. Ancona, V. Bono, M. Bravetti, J. Campos, G. Castagna, P.-M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, E. B. Johnsen, F. Martins, V. Mascardi, F. Montesi, R. Neykova, N. Ng, L. Padovani, V. T. Vasconcelos, N. Yoshida.
Behavioral Types in Programming Languages, in: Foundations and Trends in Programming Languages, July 2016, vol. 3, no 2-3, pp. 95-230. [ DOI : 10.1561/2500000031 ]
https://hal.inria.fr/hal-01348054

International Conferences with Proceedings

[10]
D. Graux, P. Genevès, N. Layaïda.
Smart Trip Alternatives for the Curious, in: 15th International Semantic Web Conference (ISWC 2016 demo paper), Kobe, Japan, October 2016.
https://hal.inria.fr/hal-01342030
[11]
D. Graux, L. Jachiet, P. Genevès, N. Layaïda.
SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark, in: 15th International Semantic Web Conference (ISWC 2016 demo paper), Kobe, Japan, October 2016.
https://hal.inria.fr/hal-01358125
[12]
D. Graux, L. Jachiet, P. Genevès, N. Layaïda.
SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache Spark, in: The 15th International Semantic Web Conference, Kobe, Japan, October 2016. [ DOI : 10.1007/978-3-319-46547-0_9 ]
https://hal.inria.fr/hal-01344915

National Conferences with Proceedings

[13]
D. Graux, L. Jachiet, P. Genevès, N. Layaïda.
SPARQLGX : Une Solution Distribuée pour RDF Traduisant SPARQL vers Spark, in: BDA 2016 - 32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications, Poitiers, France, November 2016.
https://hal.inria.fr/hal-01412035

Other Publications

[14]
A. Abbas, P. Genevès, C. Roisin, N. Layaïda.
SPARQL Query Containment with ShEx Constraints, October 2016, Submitted.
https://hal.inria.fr/hal-01414509
[15]
D. Graux, L. Jachiet, P. Genevès, N. Layaïda.
A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators, October 2016, Submitted.
https://hal.inria.fr/hal-01381781
[16]
L. Jachiet, P. Genevès, N. Layaïda.
An efficient translation from a modal μ-calculus with converse to tree automata, September 2016, Submitted.
https://hal.inria.fr/hal-01117830
[17]
T. Michel, P. Genevès, H. Fourati, N. Layaïda.
On Attitude Estimation with Smartphones, September 2016, Accepted for the International Conference on Pervasive Computing and Communications (PerCom 2017), Mar 2017, Kona, United States.
https://hal.inria.fr/hal-01376745