| 2007 |
|---|
| 5 | EE | Sebastian Maneth,
Thomas Perst,
Helmut Seidl:
Exact XML Type Checking in Polynomial Time.
ICDT 2007: 254-268 |
| 2006 |
|---|
| 4 | | Sebastian Maneth,
Thomas Perst,
Helmut Seidl:
Exact XML Type Checking in Polynomial Time.
Universität Trier, Mathematik/Informatik, Forschungsbericht 06-04: (2006) |
| 2005 |
|---|
| 3 | EE | Sebastian Maneth,
Alexandru Berlea,
Thomas Perst,
Helmut Seidl:
XML type checking with macro tree transducers.
PODS 2005: 283-294 |
| 2004 |
|---|
| 2 | EE | Thomas Perst,
Helmut Seidl:
Macro forest transducers.
Inf. Process. Lett. 89(3): 141-149 (2004) |
| 2002 |
|---|
| 1 | EE | Thomas Perst,
Helmut Seidl:
A Type-safe Macro System for XML.
Extreme Markup Languages® 2002 |
