E. Bárcenas, P. Genevès, and N. Layaïda, Counting in trees along multidirectional regular paths, PLAN-X 2009: Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML, pp.1-10, 2009.

E. Bárcenas, P. Genevès, and N. Layaïda, On the analysis of queries with counting constraints, Proceedings of the 9th ACM symposium on Document engineering, DocEng '09, pp.21-24, 2009.
DOI : 10.1145/1600193.1600199

E. Bárcenas, P. Genevès, N. Layaïda, and A. Schmitt, On the count of trees, Research Report, vol.7251, 2010.

E. Bárcenas, P. Genevès, N. Layaïda, and A. Schmitt, Query reasoning on trees with types, interleaving, and counting, IJCAI 2011: Proceedings of the 22nd International Joint Conference on Artificial Intelligence IJCAI/AAAI, pp.718-723, 2011.

M. W. Chekol, J. Euzenat, P. Genevès, and N. Layaïda, PSPARQL query containment, DBPL 2011: Proceedings of the 13th International Symposium on Database Programming Languages, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00598819

R. Deltour, N. Layaïda, and D. Weck, LimSee2: A cross-platform SMIL authoring tool, 2005.

J. Euzenat, N. Layaïda, and V. Dias, A semantic framework for multimedia document adaptation, IJCAI 2003: Proceedings of the 18th International Joint Conference on Artificial Intelligence, pp.31-36, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00423411

H. Fargier, M. Jourdan, N. Layaïda, and T. Vidal, Using temporal constraints networks to manage temporal scenario of multimedia documents, Proceedings of the ECAI-98 International Workshop on Spatial and Temporal Reasoning, pp.1-6, 1998.

P. Genevès and N. Layaïda, Comparing XML path expressions, Proceedings of the 2006 ACM symposium on Document engineering , DocEng '06, pp.65-74, 2006.
DOI : 10.1145/1166160.1166182

P. Genevès and N. Layaïda, A decision procedure for XPath containment, Research Report, vol.5867, 2006.

P. Genevès and N. Layaïda, Mu-calculus based resolution of XPath decision problems, Research Report, vol.5868, 2006.

P. Genevès and N. Layaïda, A system for the static analysis of XPath, ACM Transactions on Information Systems, vol.24, issue.4, pp.475-502, 2006.
DOI : 10.1145/1185877.1185882

P. Genevès and N. Layaïda, Deciding XPath containment with MSO, Data & Knowledge Engineering, vol.63, issue.1, pp.108-136, 2007.
DOI : 10.1016/j.datak.2006.11.003

P. Genevès and N. Layaïda, Static analysis of XML programs. ERCIM News : The Future Web, p.2008, 2008.

P. Genevès and N. Layaïda, XML reasoning solver user manual, Research Report, vol.6726, 2008.

P. Genevès and N. Layaïda, Eliminating dead-code from XQuery programs, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.305-306, 2010.
DOI : 10.1145/1810295.1810363

P. Genevès and N. Layaïda, XML reasoning made practical, 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010), pp.1169-1172, 2010.
DOI : 10.1109/ICDE.2010.5447786

P. Genevès and N. Layaïda, Inconsistent path detection for XML IDEs, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.983-985, 2011.
DOI : 10.1145/1985793.1985967

P. Genevès, N. Layaïda, Q. , and V. , Ensuring query compatibility with evolving XML schemas, 2008.

P. Genevès, N. Layaïda, Q. , and V. , Identifying query incompatibilities with evolving XML schemas, ICFP 2009: Proceeding of the 14th ACM SIGPLAN International Conference on Functional Programming, pp.221-230, 2009.

P. Genevès, N. Layaïda, Q. , and V. , Impact of XML Schema Evolution, ACM Transactions on Internet Technology, vol.11, issue.1, pp.4-27, 2011.
DOI : 10.1145/1993083.1993087

P. Genevès, N. Layaïda, Q. , and V. , On the analysis of cascading style sheets (to appear), WWW 2012: Proceedings of the 21st International World Wide Web Conference, p.21, 2012.

P. Genevès, N. Layaïda, and A. Schmitt, Efficient static analysis of XML paths and types, PLDI 2007: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, pp.342-351, 2007.

P. Genevès, N. Layaïda, and A. Schmitt, XPath typing using a modal logic with converse for finite trees, PLAN-X 2007: Programming Language Technologies for XML, An ACM SIGPLAN Workshop co-located with POPL 2007, pp.61-72, 2007.

P. Genevès, N. Layaïda, and A. Schmitt, Efficient static analysis of XML paths and types, Research Report, vol.6590, 2008.

N. Gesbert, P. Genevès, and N. Layaïda, Parametric polymorphism and semantic subtyping: the logical connection, ICFP 2011: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, pp.107-116, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00585686

D. Hagimont and N. Layaïda, Adaptation de serveur multimédia par un code mobile, Technique et Science Informatiques (TSI), numéro spécial Agents et code mobile, pp.877-898, 2002.

P. Hoschka, S. Bugaj, D. Bulterman, and N. Layaïda, Synchronized multimedia integration language (SMIL) 1.0 specification. W3C recommendation , World Wide Web Consortium, p.13, 1998.

M. Jourdan, N. Layaïda, and C. And-roisin, Handbook of Internet and Multimedia Systems and Applications, part 1: Tools and Standards, chapter A survey on authoring techniques for temporal scenarios of multimedia documents, pp.469-490, 1998.

M. Jourdan, N. Layaïda, and L. Sabry-ismaïl, Presentation services in madeus : an authoring environment for multimedia documents, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073715

M. Jourdan, N. Layaïda, and L. Sabry-ismaïl, MADEUS: An authoring environment for interactive multimedia documents, ICCC'97: Proceedings of the Thirteenth International Conference on Computer Communications, pp.19-26, 1997.

M. Jourdan, N. Layaïda, and L. Sabry-ismaïl, MADEUS: An authoring environment for interactive multimedia documents, ICMCS'97: Proceedings of the IEEE International Conference on Multimedia Computing and Systems, pp.644-645, 1997.

M. Jourdan, N. Layaïda, and L. Sabry-ismaïl, <title>Time representation and management in MADEUS: an authoring environment for multimedia documents</title>, Multimedia Computing and Networking 1997, pp.68-79, 1997.
DOI : 10.1117/12.264310

×. F? and C. Where, is the set of all possible contexts. Hence, when considering such formulas, set-theoretic relations between full interpretations are equivalent to the same relations between first components

. Fform, We make the embedding function tree explicit for greater clarity What we have to show is that, for any d in D, we have (d : ? ) if and only if (tree(d), c) is in form(? ) for some (or, equivalently, for any) c. The property is proved by induction on the pair (d, ? ), following the definition of the predicate: ? for (c : b) it holds by definition

@. For, L : ? 1 × ? 2 ), let f = (tree((d 1 , d 2 ) L ), c). f is in form(? 1 × ? 2 ) if and only if f 1 is in form(? 1 ) and f 1 2 is in form(? 2 ). (We already know that the node name is (×) by the structure of d.) Just see that the tree rooted at f 1 is tree

@. For, just see that d ? ?(?) and d ? F? both mean that the root node of d, which is the node at focus in the formula

Y. Abdeddaim, E. Asarin, and M. Sighireanu, Simple Algorithm for Simple Timed Games, 2009 16th International Symposium on Temporal Representation and Reasoning, pp.99-106, 2009.
DOI : 10.1109/TIME.2009.14
URL : https://hal.archives-ouvertes.fr/hal-00374700

L. Afanasiev, P. Blackburn, I. Dimitriou, B. Gaiffe, E. Goris et al., PDL for ordered trees, Journal of Applied Non-Classical Logics, vol.32, issue.2, pp.115-135, 2005.
DOI : 10.3166/jancl.15.115-135
URL : https://hal.archives-ouvertes.fr/inria-00001206

E. Akpotsui, Transformation de types dans les sytèmes d'édition de documents structurés, Thèse de doctorat, 1993.

E. Akpotsui and V. Quint, Type transformation in structured editing systems EPFL, Switzerland, EP92 Proceedings of International Conference on Electronic Publishing, Document Manipulation, and Typography, pp.27-41, 1992.

R. M. Akscyn, D. L. Mccracken, and E. A. Yoder, KMS, Proceeding of the ACM conference on Hypertext , HYPERTEXT '87, pp.31-820, 1988.
DOI : 10.1145/317426.317428

K. Altisen, G. Gößler, A. Pnueli, J. Sifakis, S. Tripakis et al., A framework for scheduler synthesis, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), pp.154-163, 1999.
DOI : 10.1109/REAL.1999.818838

J. André, R. Furuta, and V. Quint, By way of an introduction. Structured documents: what and why?, pp.1-6, 1989.

E. Bárcenas-patiño, Automated reasoning on trees with cardinality constraints, p.89, 2011.

M. Benedikt and J. Cheney, Destabilizers and independence of XML updates, Proceedings of the VLDB Endowment, pp.906-917, 2010.
DOI : 10.14778/1920841.1920956

M. Benedikt, W. Fan, and F. Geerts, XPath satisfiability in the presence of DTDs, PODS '05: Proceedings of the twenty-fourth ACM Symposium on Principles of Database Systems, pp.25-36, 2005.

M. Benedikt and C. Koch, XPath leashed, ACM Computing Surveys, vol.41, issue.1, pp.1-3, 2009.
DOI : 10.1145/1456650.1456653

V. Benzaken, G. Castagna, and A. Frisch, CDuce: An XML-centric general-purpose language, ICFP '03: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, pp.51-63, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00152619

A. Berglund, Extensible stylesheet language (XSL) version 1.1, W3C recommendation, p.11, 2006.

T. Berners-lee, R. Cailliau, J. Groff, and B. Pollermann, Worldwide web: The information universe, Electronic Networking: Research, Applications and Policy, pp.74-82, 1992.

K. Beyer, F. Özcan, S. Saiprasad, and B. V. Der-linden, DB2/XML, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05, pp.948-952, 2005.
DOI : 10.1145/1066157.1066299

G. M. Bierman, A. D. Gordon, C. Hriicu, and D. Langworthy, Semantic subtyping with an SMT solver, Proceedings of the 15th international conference on functional programming (ICFP '10), pp.105-116, 2010.

S. Boag, D. Chamberlin, M. F. Fernàndez, D. Florescu, J. Robie et al., XQuery 1.0: An XML query language, W3C candidate recommendation, pp.78-124, 2006.

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/TC.1986.1676819
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4027

D. C. Bulterman, SMIL 2.0 part 1: overview, concepts, and structure, IEEE Multimedia, vol.8, issue.4, pp.82-88, 2001.
DOI : 10.1109/93.959106

D. Calvanese, G. De-giacomo, M. Lenzerini, and M. Y. Vardi, Regular xpath: Constraints, query containment and view-based answering for xml documents, Proc. of the 2008 Int. Workshop on Logic in Databases, p.45, 2008.

D. Calvanese, G. De-giacomo, M. Lenzerini, and M. Y. Vardi, An Automata-Theoretic Approach to Regular XPath, Proc. of the 12th Int. Symposium on Database Programming Languages, pp.18-35, 2009.
DOI : 10.1007/3-540-46093-4_3

D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Y. Vardi, Node selection query languages for trees, AAAI, p.45, 2010.

G. Castagna and K. Nguyen, Typed iterators for XML, ICFP, pp.15-26, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00336119

G. Castagna and Z. Xu, Set-theoretic foundation of parametric polymorphism and subtyping, Proceedings of the 16th international conference on functional programming (ICFP '11), pp.136-138, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00618839

F. Cazenave, V. Quint, and C. Roisin, Timesheets.js, Proceedings of the 11th ACM symposium on Document engineering, DocEng '11, pp.43-52, 2011.
DOI : 10.1145/2034691.2034700
URL : https://hal.archives-ouvertes.fr/hal-00619396

E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, Web services description language (WSDL) 1.1, W3C recommendation, 2001.

J. Clark and S. Derose, XML path language (XPath) version 1.0, W3C recommendation, pp.98-125, 1999.

J. Clark and M. Murata, RELAX NG specification, OASIS committee specification, 2001.

E. M. Clarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1981.

L. Clement, A. Hately, C. Von-riegen, and T. Rogers, UDDI Version 3.0.2, UDDI spec technical committee draft, oasis, 2004.

D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani, Types for path correctness of XML queries, ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, pp.126-137, 2004.

D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani, Static analysis for path correctness of XML queries, Journal of Functional Programming, vol.16, issue.4&5, 2006.
DOI : 10.1017/S0956796806005983

J. Conklin, Hypertext: An Introduction and Survey, Computer, vol.20, issue.9, pp.17-41, 1987.
DOI : 10.1109/MC.1987.1663693

E. Dahlström, P. Dengler, A. Grasso, C. Lilley, C. Mccormack et al., Scalable vector graphics (SVG) 1.1 (second edition), W3C recommendation, p.14, 2011.

L. M. De-moura and N. Bjørner, Z3: An Efficient SMT Solver, Proceedings of the 14th international conference on tools and algorithms for the construction and analysis of systems (TACAS '08), pp.337-340, 2008.
DOI : 10.1007/978-3-540-78800-3_24

D. Draper, M. Dyck, P. Fankhauser, M. Fernández, A. Malhotra et al., XQuery 1.0 and XPath 2.0 Formal Semantics (second edition). W3C Recommendation, p.25, 2005.

E. M. Clarke, J. Grumberg, O. Peled, and D. A. , Model checking, p.69, 1999.

D. Engovatov and J. Robie, XQuery 3.0 requirements, W3C working draft, p.124, 2010.

E. J. Etemad, Cascading style sheets (CSS) snapshot 2010, W3C working group note, p.14, 2010.

R. T. Fielding, REST: Architectural Styles and the Design of Network-based Software Architectures, 2000.

M. J. Fischer and R. E. Ladner, Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.194-211, 1979.
DOI : 10.1016/0022-0000(79)90046-1

A. Frisch, G. Castagna, and V. Benzaken, Semantic subtyping, Journal of the ACM, vol.55, issue.4, pp.1-64, 2008.
DOI : 10.1145/1391289.1391293
URL : https://hal.archives-ouvertes.fr/hal-00152690

V. Gapeyev, F. Garillot, and B. C. Pierce, Statically typed document transformation: An Xtatic experience, PLAN-X 2006: Proceedings of the International Workshop on Programming Language Technologies for XML, volume NS-05-6 of BRICS Notes Series, pp.2-13, 2006.

P. Genevès, Logics for XML, 2006.

P. Genevès and N. Layaïda, A satisfiability solver for XML and XPath decision problems, pp.74-96, 2006.

P. Genevès and N. Layaïda, A system for the static analysis of XPath, ACM Transactions on Information Systems, vol.24, issue.4, pp.475-502, 2006.
DOI : 10.1145/1185877.1185882

P. Genevès and N. Layaïda, A system for the static analysis of XPath, ACM Transactions on Information Systems, vol.24, issue.4, p.73, 2006.
DOI : 10.1145/1185877.1185882

P. Genevès and N. Layaïda, Deciding XPath containment with MSO, Data & Knowledge Engineering, vol.63, issue.1, pp.108-136, 2007.
DOI : 10.1016/j.datak.2006.11.003

P. Genevès, N. Layaïda, and V. Quint, Identifying query incompatibilities with evolving XML schemas, ICFP 2009: Proceeding of the 14th ACM SIGPLAN International Conference on Functional Programming, pp.221-230, 2009.

P. Genevès, N. Layaïda, and V. Quint, Identifying query incompatibilities with evolving XML schemas, ICFP '09: Proceedings of the ACM SIGPLAN international conference on Functional programming, pp.221-230, 2009.

P. Genevès, N. Layaïda, and V. Quint, Impact of XML Schema Evolution, ACM Transactions on Internet Technology, vol.11, issue.1, pp.4-27, 2011.
DOI : 10.1145/1993083.1993087

P. Genevès, N. Layaïda, and V. Quint, On the analysis of cascading style sheets (to appear), WWW 2012: Proceedings of the 21st International World Wide Web Conference, p.21, 2012.

P. Genevès, N. Layaïda, and A. Schmitt, Efficient static analysis of XML paths and types, PLDI '07, pp.342-351, 2007.

P. Genevès, N. Layaïda, A. Schmitt, and . Genevès, Efficient static analysis of XML paths and types. Long version of, p.105, 2007.

C. Goldfarb, The roots of sgml, a personal recollection, 1996.

G. Gößler, Modèlisation et contrôle des systèmes multimédia, p.15, 1998.

E. Grädel, W. Thomas, and T. Wilke, Automata logics, and infinite games: a guide to current research, p.44, 2002.
DOI : 10.1007/3-540-36387-4

J. Groppe and S. Groppe, Filtering unsatisfiable XPath queries, Data & Knowledge Engineering, vol.64, issue.1, pp.134-169, 2008.
DOI : 10.1016/j.datak.2007.06.018
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.212.8980

S. Groppe, S. Bottcher, and J. Groppe, XPath Query Simplification with regard to the Elimination of Intersect and Except Operators, 22nd International Conference on Data Engineering Workshops (ICDEW'06), p.121, 2006.
DOI : 10.1109/ICDEW.2006.165

M. Gudgin, M. Hadley, N. Mendelsohn, J. Moreau, H. F. Nielsen et al., SOAP version 1.2 part 1: Messaging framework, W3C recommendation, p.11, 2007.

D. Hagimont and N. Layaïda, Adaptation de serveur multimédia par un code mobile, Technique et Science Informatiques (TSI), numéro spécial Agents et code mobile, pp.877-898, 2002.

F. Halasz and M. Schwartz, The Dexter hypertext reference model, Communications of the ACM, vol.37, issue.2, pp.30-39, 1994.
DOI : 10.1145/175235.175237

I. Hickson, HTML5: A vocabulary and associated APIs for HTML and XHTML, W3C working draft, p.14, 2011.

R. Hojati, S. C. Krishnan, and R. K. Brayton, Early quantification and partitioned transition relations, Proceedings International Conference on Computer Design. VLSI in Computers and Processors, pp.12-19, 1996.
DOI : 10.1109/ICCD.1996.563525

K. Holtman and A. Mutz, HTTP remote variant selection algorithm ? RVSA/1.0. Experimental standard, p.18, 1998.

P. Hoschka, Synchronized multimedia integration language (SMIL) 1.0 specification, W3C recommendation, p.79, 1998.

P. Hoschka, S. Bugaj, D. Bulterman, and N. Layaïda, Synchronized multimedia integration language (SMIL) 1.0 specification. W3C recommendation , World Wide Web Consortium, p.13, 1998.
DOI : 10.1109/93.735872

H. Hosoya, A. Frisch, and G. Castagna, Parametric polymorphism for XML, ACM Transactions on Programming Languages and Systems, vol.32, issue.1, pp.1-56, 2009.
DOI : 10.1145/1596527.1596529
URL : https://hal.archives-ouvertes.fr/hal-00152609

H. Hosoya and B. C. Pierce, XDuce, ACM Transactions on Internet Technology, vol.3, issue.2, pp.117-148, 2003.
DOI : 10.1145/767193.767195

H. Hosoya, J. Vouillon, and B. C. Pierce, Regular expression types for XML, ACM Transactions on Programming Languages and Systems, vol.27, issue.1, pp.46-90, 2005.
DOI : 10.1145/1053468.1053470
URL : https://hal.archives-ouvertes.fr/hal-00009271

G. P. Huet, The Zipper, Journal of Functional Programming, vol.7, issue.5, pp.549-554, 1997.
DOI : 10.1017/S0956796897002864

I. Iec, information technology ? document schema definition languages (DSDL) ? part 4: Namespacebased validation dispatching language (NVDL), ISO standard, 2006.

I. Iec, Document style semantics and specification language (DSSSL). International Standard ISO, IEC, vol.10179, issue.10, 1996.

I. Iec, Information processing ? Hypermedia/Time-based Structuring Language (HyTime) International Standard ISO/IEC JTC 1/SC 18 WG8 N1920rev. Version 1 known as ISO, IEC, vol.10744, issue.9, 1992.

D. Jordan and J. Evdemon, Web services business process execution language version 2.0, oasis standard, p.11, 2007.

F. Kappe, H. Maurer, and N. Scherbakov, Hyper-g ? a universal hypermedia system, Journal of Educational Multimedia and Hypermedia, pp.39-66, 1993.

M. Kim, S. Wood, and L. Cheok, Extensible MPEG-4 textual format (XMT), Proceedings of the 2000 ACM workshops on Multimedia , MULTIMEDIA '00, pp.71-74, 2000.
DOI : 10.1145/357744.357763

G. Klyne, F. Reynolds, C. Woodrow, H. Ohto, J. Hjelm et al., Composite capability/preference profiles (CC/PP): Structure and vocabularies 1.0, W3C recommendation, p.18, 2004.

D. Kozen, Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983.
DOI : 10.7146/dpb.v11i146.7420

D. Kozen, Kleene algebra with tests, ACM Transactions on Programming Languages and Systems, vol.19, issue.3, pp.427-443, 1997.
DOI : 10.1145/256167.256195

O. Kupferman and M. Vardi, The Weakness of Self-Complementation, Proc. 16th Symp. on Theoretical Aspects of Computer Science, pp.455-466, 1999.
DOI : 10.1007/3-540-49116-3_43

S. Laborie, J. Euzenat, and N. Layaïda, Semantic adaptation of multimedia documents, Multimedia Tools and Applications, vol.4, issue.2, pp.379-398, 2011.
DOI : 10.1007/s11042-010-0552-9
URL : https://hal.archives-ouvertes.fr/hal-00781024

R. Lämmel and E. Meijer, Revealing the X/O Impedance Mismatch, Datatype-Generic Programming, pp.285-367, 2007.
DOI : 10.1007/978-3-540-76786-2_6

O. Lassila and R. R. Swick, Resource description framework (RDF). model and syntax specification, W3C recommendation, p.17, 1999.

N. Layaïda, Madeus : système d'édition et de présentation de documents structurés multimédia, Thèse de doctorat, p.12, 1997.

N. Layaïda, SMIL 2.1 language profile. W3C recommendation, World Wide Web Consortium, p.13, 2005.

N. Layaïda and P. Genevès, Debugging standard document formats, Proceedings of the 19th international conference on World wide web, WWW '10, pp.1269-1272, 2010.
DOI : 10.1145/1772690.1772899

N. Layaïda and A. Karmouch, SMIL: The world wide web standard of the W3C, CCBR'98: Proceedings of the 2nd Canadian Conference on Broadband Research, p.13, 1998.

N. Layaïda, T. Lemlouma, and V. Quint, NAC, une architecture pour l'adaptation multim??dia sur le web, Techniques et sciences informatiques, vol.24, issue.7, pp.789-813, 2005.
DOI : 10.3166/tsi.24.789-813

N. Layaïda and J. V. Ossenbruggen, SMIL 2.0 language profile. W3C recommendation, World Wide Web Consortium, p.13, 2001.

N. Layaïda, C. Roisin, and L. Sabry-ismaïl, Systèmes Multimédias Communicants, chapter Chapitre 6 : Support d'exécution de documents multimédia, pp.197-222, 2001.

N. Layaïda, L. Sabry-ismaïl, and C. Roisin, Dealing with uncertain durations in synchronized multimedia presentations, Multimedia Tools and Applications, pp.213-231, 2002.

T. Lemlouma and N. Layaïda, The negotiation of multimedia content services in heterogeneous environments, MMM 2001: Proceedings of the 8th International Conference on Multimedia Modeling, pp.187-206, 2001.

T. Lemlouma and N. Layaïda, Adapted content delivery for different contexts, 2003 Symposium on Applications and the Internet, 2003. Proceedings., pp.190-197, 2003.
DOI : 10.1109/SAINT.2003.1183048
URL : https://hal.archives-ouvertes.fr/inria-00423426

T. Lemlouma and N. Layaïda, Media resources adaptation for limited devices, ELPUB 2003: Proceedings of the 7th ICCC/IFIP International Conference on Electronic Publishing, pp.209-218, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00423425

T. Lemlouma and N. Layaïda, Context-aware adaptation for mobile devices, IEEE International Conference on Mobile Data Management, 2004. Proceedings. 2004, pp.106-111, 2004.
DOI : 10.1109/MDM.2004.1263048
URL : https://hal.archives-ouvertes.fr/inria-00423390

L. Libkin, C. L. Sirangelo, and C. Sirangelo, Reasoning about xml with temporal logics and automata Reasoning about xml with temporal logics and automata, LPAR '08: Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, pp.97-112, 2008.

M. Marx, Conditional XPath, the first order complete XPath dialect, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, pp.13-22, 2004.
DOI : 10.1145/1055558.1055562

G. Miklau and D. Suciu, Containment and equivalence for a fragment of XPath, Journal of the ACM, vol.51, issue.1, pp.2-45, 2004.
DOI : 10.1145/962446.962448

A. Møller and M. I. Schwartzbach, The design space of type checkers for XML transformation languages, Proc. Tenth International Conference on Database Theory, ICDT '05, pp.17-36, 2005.

H. J. Moon, C. A. Curino, A. Deutsch, and C. Hou, Managing and querying transaction-time databases under schema evolution VLDB Endowment, VLDB '08, pp.882-895, 2008.

M. M. Moro, S. Malaika, and L. Lim, Preserving XML queries during schema evolution, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.1341-1342, 2007.
DOI : 10.1145/1242572.1242841

M. Murata, D. Lee, M. Mani, and K. Kawaguchi, Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology, vol.5, issue.4, pp.660-704, 2005.
DOI : 10.1145/1111627.1111631

D. Olteanu, H. Meuss, T. Furche, and F. Bry, XPath: Looking Forward, EDBT '02: Proceedings of the Worshop on XML-Based Data Management, pp.109-127, 2002.
DOI : 10.1007/3-540-36128-6_7

G. Pan, U. Sattler, and M. Y. Vardi, BDD-based decision procedures for the modal logic K ???, Journal of Applied Non-Classical Logics, vol.2, issue.2, pp.169-208, 2006.
DOI : 10.1016/0004-3702(92)90049-4

M. Rabin, Decidability of Second-Order Theories and Automata on Infinite Trees, TAMS, vol.141, pp.1-35, 1969.

J. C. Reynolds, Types, abstraction and parametric polymorphism, IFIP Congress, pp.513-523, 1983.

K. H. Rose, The XML world view, Proceedings of the 2004 ACM symposium on Document engineering , DocEng '04, pp.34-34, 2004.
DOI : 10.1145/1030397.1030403

S. Safra, On the complexity of omega -automata, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, pp.319-327, 1988.
DOI : 10.1109/SFCS.1988.21948

P. Schmitz and A. Cohen, SMIL animation, W3C recommendation, p.14, 2001.

P. Schmitz, J. Yu, and N. Layaïda, Synchronized multimedia integration language (SMIL) document object model. W3C note, World Wide Web Consortium, p.13, 1999.

E. Sedlar, Managing structure in bits & pieces, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05, pp.818-821, 2005.
DOI : 10.1145/1066157.1066256

K. Smith, Device independent authoring language (DIAL), W3C working group note, p.18, 2010.

Y. Tanabe, K. Takahashi, and M. Hagiya, A decision procedure for alternation-free modal µ-calculi, Advances in Modal Logic, pp.341-362, 2008.

Y. Tanabe, K. Takahashi, M. Yamamoto, A. Tozawa, and M. Hagiya, A Decision Procedure for the Alternation-Free Two-Way Modal ??-Calculus, 2005.
DOI : 10.1007/11554554_21

W. Thomas, Automata on infinite objects B): formal models and semantics (pp. 133?191), Handbook of theoretical computer science, p.99, 1990.

A. Tozawa, On binary tree logic for XML and its satisfiability test, PPL '04: Informal Proceedings of the Sixth JSSST Workshop on Programming and Programming Languages, p.45, 2004.

M. Y. Vardi, Reasoning about the past with two-way automata, ICALP '98: Proceedings of the 25th International Colloquium on Automata, Languages and Programming, pp.628-641, 1998.
DOI : 10.1007/BFb0055090

L. Villard, Modèles de documents pour l'édition et l'adaptation de présentations multimédias, p.21, 2002.

L. Villard and N. Layaïda, An incremental XSLT transformation processor for XML document manipulation, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.474-485, 2002.
DOI : 10.1145/511446.511508

L. Villard, C. Roisin, and N. Layaïda, An XML-Based Multimedia Document Processing Model for Content Adaptation, DDEP 2000: BIBLIOGRAPHY Proceedings of 8th International Conference on Digital Documents and Electronic Publishing, pp.104-119, 2000.
DOI : 10.1007/978-3-540-39916-2_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.5543

J. Vion-dury and N. Layaïda, Containment of XPath expressions: an inference and rewriting based approach, Proceedings of the Extreme Markup Languages Conference. IDEAlliance. 21, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00423413

J. Voss, Wikipedia dtd, p.90, 2007.

J. Vouillon, Polymorphic regular tree types and patterns, Proceedings of the 33rd symposium on principles of programming languages (POPL '06), pp.103-114, 2006.
DOI : 10.1145/1111037.1111047
URL : https://hal.archives-ouvertes.fr/hal-00150748

P. Wadler, Theorems for free!, Proceedings of the fourth international conference on Functional programming languages and computer architecture , FPCA '89, pp.347-359, 1989.
DOI : 10.1145/99370.99404

P. Wadler, Two semantics for XPath. Inter- nal Technical Note of the W3C XSL Working Group, 2000.

N. Walsh and L. Muellner, DocBook: The Definitive Guide, 1999.

C. Yu and L. Popa, Semantic adaptation of schema mappings when schemas evolve VLDB Endowment, VLDB '05, pp.1006-1017, 2005.

K. Zee, V. Kuncak, and M. C. Rinard, Full functional verification of linked data structures, PLDI, pp.349-361, 2008.