- Boolean Operations for Attribute-element Constraints Haruo Hosoya Makoto Murata Mon 23 January 2017
- Subsumption for XML Types Gabriel M. Kuper Jérôme Siméon Mon 23 January 2017
- BonXai: Combining the Simplicity of DTD with the Expressiveness of XML Schema Wim Martens Frank Neven Matthias Niewerth Thomas Schwentick Mon 23 January 2017
- Developing and Analyzing XSDs Through BonXai Wim Martens Matthias Niewerth Frank Neven Thomas Schwentick Mon 23 January 2017
- Expressiveness and Complexity of XML Schema Wim Martens Frank Neven Thomas Schwentick Geert Jan Bex Mon 23 January 2017
- Regular Separability of One Counter Automata Wojciech Czerwiński Sławomir Lasota Thu 19 January 2017
- Liveness Verification and Synthesis: New Algorithms for Recursive Programs Roland Meyer Sebastian Muskalla Elisabeth Neumann Thu 19 January 2017
- On the Upward/Downward Closures of Petri Nets Mohamed Faouzi Atig Roland Meyer Sebastian Muskalla Prakash Saivasan Thu 19 January 2017
- Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata Ahmed Bouajjani Peter Habermehl Lukáš Holík Tayssir Touili Tomáš Vojnar Thu 19 January 2017
- Linear-space best-first search Richard E. Korf Tue 17 January 2017
- Best-first minimax search Richard E. Korf David Maxwell Chickering Tue 17 January 2017
- Antichain-based QBF Solving Thomas Brihaye Véronique Bruyère Lauren Doyen Marc Ducobu Jean-Francois Raskin Tue 17 January 2017
- Generalized Best-first Search Strategies and the Optimality of A* Rina Dechter Judea Pearl Tue 17 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
- Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata Lukáš Holík Ondřej Lengál Jiří Šimáček Tomáš Vojnar Tue 17 January 2017
- Simple off the Shelf Abstractions for XML Schema Wim Martens Frank Neven Thomas Schwentick Mon 16 January 2017
- Complexity of Decision Problems for XML Schemas and Chain Regular Expressions Wim Martens Frank Neven Thomas Schwentick Fri 13 January 2017
- Recognizing Shuffled Languages Martin Berglund Henrik Bjørklund Johanna Høgberg Thu 12 January 2017
- Efficient inclusion for a class of XML types with interleaving and counting Dario Colazzo Giorgio Ghelli Carlo Sartiani Thu 12 January 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
