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]
G. 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
[2]
F. 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
[3]
M. 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
[4]
M. 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
[5]
S. J. Gay, N. Gesbert, A. Ravara, V. T. Vasconcelos.
Modular Session Types for Objects, May 2011.
http://hal.archives-ouvertes.fr/hal-00700635
[6]
S. 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
[7]
P. 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
[8]
P. 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
[9]
P. 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
[10]
N. 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

[11]
P. Genevès.
Static Analysis for Data-Centric Web Programming, Université Grenoble Alpes, November 2014, Habilitation à diriger des recherches.
https://hal.inria.fr/tel-01102401

Articles in International Peer-Reviewed Journals

[12]
P. 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 ]
https://hal.inria.fr/hal-00868723

International Conferences with Proceedings

[13]
M. 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
[14]
P. 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.
https://hal.inria.fr/hal-01102707
[15]
S. 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

Scientific Popularization

[16]
M. Razafimahazo, N. Layaïda, P. Genevès, T. Michel.
Mobile Augmented Reality Applications for Smart Cities, in: ERCIM News, 2014, 2 p.
https://hal.inria.fr/hal-01102797

Other Publications

[17]
M. Bosch, P. Genevès, N. Layaïda.
Automated Refactoring for Size Reduction of CSS Style Sheets, July 2014.
https://hal.inria.fr/hal-01021332
[18]
G. Castagna, H. Im, K. Nguyễn, V. Benzaken.
A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches, September 2014.
https://hal.inria.fr/hal-01104872
[19]
S. J. Gay, N. Gesbert, A. Ravara, V. T. Vasconcelos.
Modular session types for objects, January 2015.
https://hal.archives-ouvertes.fr/hal-00700635
[20]
P. Genevès, N. Gesbert, N. Layaïda.
XQuery and Static Typing: Tackling the Problem of Backward Axes, November 2014.
https://hal.inria.fr/hal-01082635
[21]
P. Genevès, N. Layaïda, A. Schmitt, N. Gesbert.
Efficiently Deciding µ-calculus with Converse over Finite Trees, January 2015.
https://hal.inria.fr/hal-00868722