EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1M. 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 ]

    https://hal.inria.fr/hal-01081876
  • 2G. 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
  • 3G. Castagna, H. Im, K. Nguyễn, V. Benzaken.

    A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches, September 2014, working paper or preprint.

    https://hal.inria.fr/hal-01104872
  • 4F. 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
  • 5M. 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
  • 6M. 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
  • 7S. 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 ]

    https://hal.inria.fr/hal-01102349
  • 8S. J. Gay, N. Gesbert, A. Ravara, V. T. Vasconcelos.

    Modular Session Types for Objects, May 2011.

    http://hal.archives-ouvertes.fr/hal-00700635
  • 9S. 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
  • 10P. 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
  • 11P. 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
  • 12P. 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
  • 13N. 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

Articles in International Peer-Reviewed Journals

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

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

    https://hal.archives-ouvertes.fr/hal-00700635
  • 16P. 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
  • 17N. Gesbert, P. Genevès, N. Layaïda.

    A Logical Approach To Deciding Semantic Subtyping, in: ACM Trans. On Programming Languages and Systems (TOPLAS), 2015, vol. 38, no 1, 31 p. [ DOI : 10.1145/2812805 ]

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

International Conferences with Proceedings

  • 18M. 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
  • 19J. A. Ferreira dos Santos, C. Braga, D. C. Muchaluat-Saade, C. Roisin, N. Layaïda.

    Spatio-temporal Validation of Multimedia Documents, in: DocEng'15, Lausanne, Switzerland, Document Engineering 2015, ACM, September 2015. [ DOI : 10.1145/2682571.2797060 ]

    http://hal.univ-grenoble-alpes.fr/hal-01211807
  • 20P. 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
  • 21P. 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
  • 22N. Guido, P. Genevès, N. Layaïda, C. Roisin.

    On Query-Update Independence for SPARQL, in: CIKM'15, Melbourne, Australia, ACM (editor), ACM, October 2015, pp. 1675-1678. [ DOI : 10.1145/2806416.2806586 ]

    http://hal.univ-grenoble-alpes.fr/hal-01211811
  • 23T. 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

Conferences without Proceedings

Other Publications

  • 25L. Jachiet, P. Genevès, N. Layaïda.

    An Efficient Translation from a Two-Way µ-Calculus of Finite Trees into Tree Automata, February 2015, working paper or preprint.

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


previous Previous | up Home