Bibliography

Doctoral Dissertations and Habilitation Theses

• 1E. Barcenas-Patino.
  
  Automated reasoning on trees with cardinality constraints, Université de Grenoble, February 2011.
  
  http://hal.inria.fr/tel-00578972/en

Articles in International Peer-Reviewed Journal

• 2P. Genevès, N. Layaïda, V. Quint.
  
  Impact of XML Schema Evolution, in: ACM Transactions on Internet Technology, July 2011, vol. 11, n^o 1, p. 4:1-4:27. [ DOI : 10.1145/1993083.1993087 ]
  
  http://hal.inria.fr/inria-00619225/en
• 3S. Laborie, J. Euzenat, N. Layaïda.
  
  Semantic adaptation of multimedia documents, in: Multimedia Tools Appl., 2011, vol. 55, n^o 3, p. 379-398.
  
  http://dx.doi.org/10.1007/s11042-010-0552-9

International Conferences with Proceedings

• 4E. Barcenas-Patino, P. Genevès, N. Layaïda, A. Schmitt.
  
  Query Reasoning on Trees with Types, Interleaving, and Counting, in: 22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Barcelone, Spain, July 2011.
  
  http://hal.inria.fr/inria-00609556/en
• 5F. Cazenave, V. Quint, C. Roisin.
  
  Timesheets.js: Tools for Web Multimedia, in: ACM Multimedia 2011, Scottsdale, Arizona, United States, November 2011, 4 p.
  
  http://hal.inria.fr/hal-00619396/en
• 6F. Cazenave, V. Quint, C. Roisin.
  
  Timesheets.js: When SMIL Meets HTML5 and CSS3, in: DocEng 2011, 11th ACM Symposium on Document Engineering, Mountain View, United States, September 2011, 10 p.
  
  http://hal.inria.fr/hal-00619382/en
• 7M. W. Chekol, J. Euzenat, P. Genevès, N. Layaïda.
  
  PSPARQL Query Containment, in: DBPL 2011 The 13th International Symposium on Database Programming Languages, Seattle, United States, August 2011, 8 p.
  
  http://hal.inria.fr/hal-00619342/en
• 8P. Genevès, N. Layaïda.
  
  Inconsistent Path Detection for XML IDEs, in: 33rd International Conference on Software Engineering, ICSE 2011, Honolulu, United States, ACM, May 2011, p. 983-985. [ DOI : 10.1145/1985793.1985967 ]
  
  http://hal.inria.fr/inria-00609513/en
• 9N. Gesbert, P. Genevès, N. Layaïda.
  
  Parametric Polymorphism and Semantic Subtyping: the Logical Connection, in: International conference on functional programming, Tokyo, Japan, ACM SIGPLAN, September 2011, p. 107-116. [ DOI : 10.1145/2034773.2034789 ]
  
  http://hal.inria.fr/inria-00585686/en
• 10J. Lemordant.
  
  Mixed Reality Browsers, in: International workshop on AR Standards, February 2011.
  
  http://wam.inrialpes.fr/publications/2011/ARWorshopBarcelona2011.pdf

Internal Reports

• 11M. W. Chekol, J. Euzenat, P. Genevès, N. Layaïda.
  
  PSPARQL Query Containment, INRIA, June 2011.
  
  http://hal.inria.fr/inria-00598819/en
• 12A. Colbrant, Y. Lasorsa, J. Lemordant, D. Liodenot, M. Razafimahazo.
  
  One Idea and Three Concepts for Indoor-Outdoor Navigation, INRIA, December 2011, n^o RR-7849.
  
  http://hal.inria.fr/hal-00654106/
• 13P. Genevès, N. Layaïda, V. Knyttl.
  
  XML Reasoning Solver User Manual, INRIA, June 2011, n^o RR-6726.
  
  http://hal.inria.fr/inria-00339184/en
• 14P. Genevès, N. Layaïda, V. Quint.
  
  On the Analysis of Cascading Style Sheets, INRIA, November 2011, n^o RR-7808.
  
  http://hal.inria.fr/hal-00643075/
• 15Y. Lasorsa, J. Lemordant.
  
  Le language audio pour mobiles MAUDL et son moteur de rendu audio interactif IXE, INRIA, December 2011, n^o RR-7847.
  
  http://hal.inria.fr/hal-00654067
• 16C. Roisin, F. Cazenave, V. Quint, L. Gaillard, D. Saint-Martin.
  
  Enhancing an XML Publishing Workflow for Web Multimedia, INRIA, July 2011, n^o RR-7836.
  
  http://hal.inria.fr/hal-00651543/
• 17C. Vanoirbeek, V. Quint, S. Sire, C. Roisin.
  
  A Lightweight Framework for Authoring XML Multimedia Content on the Web, INRIA, December 2011, n^o RR-7848.
  
  http://hal.inria.fr/hal-00653965/