Publications

1. Thomas Perst. Type Checking XML Transformations. PhD Thesis, Technische Universität München, 2007.
   [text] [abstract]
2. Sebastian Maneth and Helmut Seidl.
   Deciding Equivalence of Top-Down XML Transformations in Polynomial Time.
   [text] [abstract]
3. Sebastian Maneth, Thomas Perst, and Helmut Seidl.
   Exact XML Type Checking in Polynomial Time.
   In T. Schwentick and D. Suciu (Eds.) 11th International Conference on Database Theory (ICDT), Lecture Notes in Computer Science (LNCS) Vol. 4353, 254--268, 2007.
   [text] [abstract]
4. Sebastian Maneth, Alexandru Berlea, Thomas Perst, and Helmut Seidl.
   XML Type Checking with Macro Tree Transducers.
   In 24th ACM Symposium on Principles of Database Systems (PODS), 283-294. ACM Press, 2005.
   [text] [abstract]
5. Thomas Perst and Helmut Seidl.
   Macro Forest Transducers.
   Information Processing Letters, 89(3):141-149, 2004.
   [text] [abstract]