Major publications by the team in recent years
  • 1G. Castagna, N. Gesbert, L. Padovani.

    A theory of contracts for Web services, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2009, vol. 31, no 5, pp. 1-61. [ DOI : 10.1145/1538917.1538920 ]

  • 2F. Cazenave, V. Quint, C. Roisin.

    Timesheets.js: When SMIL Meets HTML5 and CSS3, in: DocEng 2011: Proceedings of the Eleventh ACM Symposium on Document Engineering, Mountain View, États-Unis, September 2011, 10 p.

  • 3M. W. Chekol, J. Euzenat, P. Genevès, N. Layaïda.

    SPARQL Query Containment under RDFS Entailment Regime, in: 6th International Joint Conference on Automated Reasoning (IJCAR), Manchester, United Kingdom, B. Gramlich, D. Miller, U. Sattler (editors), Springer, June 2012, pp. 134-148.

  • 4M. W. Chekol, J. Euzenat, P. Genevès, N. Layaïda.

    SPARQL Query Containment Under SHI Axioms, in: 26th AAAI Conference on Artificial Intelligence, Toronto, Canada, AAAI Press, July 2012, pp. 10-16.

  • 5S. J. Gay, N. Gesbert, A. Ravara, V. T. Vasconcelos.

    Modular Session Types for Objects, May 2011.

  • 6S. J. Gay, V. T. Vasconcelos, A. Ravara, N. Gesbert, A. Z. Caldeira.

    Modular Session Types for Distributed Object-oriented Programming, in: Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, NY, USA, POPL '10, ACM, 2010, pp. 299–312.

  • 7P. Genevès, N. Layaïda, V. Quint.

    Impact of XML Schema Evolution, in: ACM Transactions on Internet Technology, July 2011, vol. 11, no 1. [ DOI : 10.1145/1993083.1993087 ]

  • 8P. Genevès, N. Layaïda, V. Quint.

    On the Analysis of Cascading Style Sheets, in: WWW '12 - 21st international conference on World Wide Web - 2012, Lyon, France, April 2012, pp. 809-818. [ DOI : 10.1145/2187836.2187946 ]

  • 9P. Genevès, N. Layaïda, A. Schmitt.

    Efficient Static Analysis of XML Paths and Types, in: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, San Diego, États-Unis, 2007, pp. 342–351. [ DOI : 10.1145/1250734.1250773 ]

  • 10N. Gesbert, P. Genevès, N. Layaïda.

    Parametric Polymorphism and Semantic Subtyping: the Logical Connection, in: International conference on functional programming, Tokyo, Japon, ACM SIGPLAN, September 2011, pp. 107-116. [ DOI : 10.1145/2034773.2034789 ]

Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 11P. Genevès.

    Static Analysis for Data-Centric Web Programming, Université Grenoble Alpes, November 2014, Habilitation à diriger des recherches.


Articles in International Peer-Reviewed Journals

  • 12P. Genevès, N. Layaïda.

    Equipping IDEs with XML-Path Reasoning Capabilities, in: ACM Transactions on Internet Technology, July 2014, vol. 13, no 4, 20 p. [ DOI : 10.1145/2602573 ]


International Conferences with Proceedings

  • 13M. Bosch, P. Genevès, N. Layaïda.

    Automated Refactoring for Size Reduction of CSS Style Sheets, in: Proceedings of the 2014 ACM symposium on Document engineering, Fort Collins, Denver, United States, September 2014. [ DOI : 10.1145/2644866.2644885 ]

  • 14P. Chippendale, V. Tomaselli, V. D'Alto, G. Urlini, C. Maria Modena, S. Messelodi, S. Mauro Strano, G. Alce, K. Hermodsson, M. Razafimahazo, T. Michel, M. F. Giovanni.

    Personal Shopping Assistance and Navigator System for Visually Impaired People, in: ACVR2014: Second Workshop on Assistive Computer Vision and Robotics, Zurich, Switzerland, September 2014.

  • 15S. J. Gay, N. Gesbert, A. Ravara.

    Session Types as Generic Process Types, in: Proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics (EXPRESS/SOS), Rome, Italy, Electronic Proceedings in Theoretical Computer Science, September 2014, vol. 160, pp. 94 - 110. [ DOI : 10.4204/EPTCS.160.9 ]


Scientific Popularization

  • 16M. Razafimahazo, N. Layaïda, P. Genevès, T. Michel.

    Mobile Augmented Reality Applications for Smart Cities, in: ERCIM News, 2014, 2 p.


Other Publications