Bibliography

Major publications by the team in recent years

1M. 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
2S. J. Gay, N. Gesbert, A. Ravara, V. T. Vasconcelos.

Modular session types for objects, in: Logical Methods in Computer Science, December 2015, vol. 4, n^o 12, 76 p. [ DOI : 10.2168/LMCS-11(4:12)2015 ]

https://hal.archives-ouvertes.fr/hal-00700635
3P. 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
4P. 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, n^o 2, 41 p. [ DOI : 10.1145/2724712 ]

https://hal.inria.fr/hal-00868722
5P. 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
6N. 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, n^o 1, 31 p. [ DOI : 10.1145/2812805 ]

https://hal.inria.fr/hal-00848023
7T. 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

8D. 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

9D. 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, n^o 2-3, pp. 95-230. [ DOI : 10.1561/2500000031 ]

https://hal.inria.fr/hal-01348054

International Conferences with Proceedings

10D. 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
11D. 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
12D. 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

13D. 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

14A. Abbas, P. Genevès, C. Roisin, N. Layaïda.

SPARQL Query Containment with ShEx Constraints, October 2016, Submitted.

https://hal.inria.fr/hal-01414509
15D. Graux, L. Jachiet, P. Genevès, N. Layaïda.

A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators, October 2016, Submitted.

https://hal.inria.fr/hal-01381781
16L. 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
17T. Michel, P. Genevè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

Previous |

Home