Links to recommended teaching material
Here are a few pointers to some excellent course material (notes, slides, books, papers..) prepared by colleagues.
About XML Technologies
About Foundations for XML Processing (Algorithms and Programming Techniques)
- Slides by S. Maneth (DB oriented)
- book draft by H. Hosoya (PL oriented)
- Automata and Logic on Trees by W. Martens and S. Vansummeren
- Slides by T. Schwentick
Computational Complexity
- Computational Complexity and Power Classes, U. Schünemann
- The Complexity Zoo
- Classifying the computational complexity of problems, L. Stockmeyer [pdf]
Tree Automata
- Tree Automata Techniques and Applications book by H. Comon et al
Classical Logics, Modal Logics, and μ-calculi
- The MONA solver for monadic second order logic
- Modal μ-Calculi, by J. Bradfield and C. Stirling
- Notes on the Propositional μ-calculus: Completeness and Related Results, by I. Walukiewicz
Static Analysis of XPath (cf. publications)
- A System for the Static Analysis of XPath (TOIS'06)
- Efficient Static Analysis of XML Paths and Types (PLDI'07)
Sample XML data / Playground / Exercises
- A model for recipes: sample DTD, sample instance, and sample XSLT transformation
- Les "films": la DTD, une instance, une feuille de transformation
- Practical exercises (in french) by F. Torre
Back to the list of courses