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, Thomas Perst, and Helmut Seidl.
   Exact XML Type Checking in Polynomial Time.
   Forschungsbericht nr. 06-4, Universität Trier, Apr. 2006.
   [text] [abstract]
5. Sebastian Maneth, Thomas Perst, and Helmut Seidl.
   Exact XML Type Checking in Polynomial Time.
   Technical Report TUM-I0521, Technische Universität München, Dec. 2005.
   [text] [abstract]
6. 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]
7. Sebastian Maneth, Alexandru Berlea, Thomas Perst, and Helmut Seidl.
   XML Type Checking with Macro Tree Transducers.
   Technical Report TUM-I0407, Technische Universität München, Apr. 2004.
   [text] [abstract]
8. Thomas Perst and Helmut Seidl.
   Macro Forest Transducers.
   Information Processing Letters, 89(3):141-149, 2004.
   [text] [abstract]