- Expressiveness and Complexity of XML Schema Wim Martens Frank Neven Thomas Schwentick Geert Jan Bex Mon 23 January 2017
- On the minimization of XML Schemas and tree automata for unranked trees Wim Martens Joachim Niehren Tue 17 January 2017
- Regular Expression Types for XML Haruo Hosoya Jérôme Vouillon Benjamin C. Pierce Tue 17 January 2017
- Simple off the Shelf Abstractions for XML Schema Wim Martens Frank Neven Thomas Schwentick Mon 16 January 2017
- XML Schema Containment Checking Based on Semi-implicit Techniques Akihiko Tozawa Masami Hagiya Tue 10 January 2017
- Deterministic Automata on Unranked Trees Julien Cristau Christof Løding Wolfgang Thomas Mon 09 January 2017
- Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas Jérôme Champavère Rémi Gilleron Aurélien Lemay Joachim Niehren Mon 09 January 2017
- Minimizing Tree Automata for Unranked Trees Wim Martens Joachim Niehren Mon 09 January 2017
- Transition Graphs of Rewriting Systems over Unranked Trees Christof Løding Alex Spelten Mon 07 April 2014
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
