EN FR
EN FR


previous Previous | up Home


Bibliography

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 ]

    http://hal.archives-ouvertes.fr/hal-00434459
  • 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.

    http://hal.archives-ouvertes.fr/hal-00619382
  • 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.

    http://hal.inria.fr/hal-00749087
  • 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.

    http://hal.inria.fr/hal-00749080
  • 5S. 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.

    http://doi.acm.org/10.1145/1706299.1706335
  • 6J. Gay, N. Gesbert, A. Ravara, T. Vasconcelos.

    Modular Session Types for Objects, May 2011.

    http://hal.archives-ouvertes.fr/hal-00700635
  • 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 ]

    http://hal.inria.fr/inria-00619225
  • 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 ]

    http://hal.inria.fr/hal-00690899
  • 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 ]

    http://hal.archives-ouvertes.fr/hal-00189123
  • 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 ]

    http://hal.inria.fr/inria-00585686
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 11N. Layaïda.

    Représentation et analyses de contenu et de programmes Web, Université de Grenoble, April 2013, Habilitation à Diriger des Recherches.

    http://hal.inria.fr/tel-00872752

Articles in International Peer-Reviewed Journals

  • 12M. Caillet, C. Roisin, J. Carrive.

    Multimedia applications for playing with digitized theater performances, in: Multimedia Tools and Applications, August 2013. [ DOI : 10.1007/s11042-013-1651-1  ]

    http://hal.inria.fr/hal-00855102
  • 13P. Genevès, N. Layaïda.

    Equipping IDEs with XML Path Reasoning Capabilities, in: ACM Transactions on Internet Technology, December 2013.

    http://hal.inria.fr/hal-00868723

International Conferences with Proceedings

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

    Evaluating and benchmarking SPARQL query containment solvers, in: Proc. 12th International semantic web conference (ISWC), Sydney, Australia, H. Alani, L. Kagal, A. Fokoue, P. Groth, C. Biemann, J. X. Parreira, L. Aroyo, N. Noy, C. Welty, K. Janowicz (editors), Lecture notes in computer science, Springer Verlag, 2013, vol. 8219, pp. 408-423. [ DOI : 10.1007/978-3-642-41338-4_26 ]

    http://hal.inria.fr/hal-00917911
  • 15P. Genevès, N. Layaïda.

    XML Validation: Looking Backward – Strongly Typed and Flexible XML Processing are not Incompatible, in: 22nd International World Wide Web Conference (WWW'13), Rio de Janeiro, Brazil, May 2013.

    http://hal.inria.fr/hal-00837765

Conferences without Proceedings

  • 16J. Lemordant, T. Michel, M. Razafinahazo.

    Mixed Reality Browsers and Pedestrian Navigation in Augmented Cities, in: The Graphical Web Conference, San Francisco, United States, October 2013.

    http://hal.inria.fr/hal-00872721

Scientific Books (or Scientific Book chapters)

  • 17N. Layaïda, C. Roisin.

    Le temps dans les documents – Langage SMIL, in: Représentation et traitement des documents numériques, TIB312DUO, Les Techniques de l'Ingénieur, May 2013, vol. H7228.

    http://hal.inria.fr/hal-00873214

Other Publications



previous Previous | up Home