Wouter Gelade

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automata and finite model theory	2021-11-12	Paper
Succinctness of the Complement and Intersection of Regular Expressions ACM Transactions on Computational Logic	2015-09-17	Paper
The dynamic complexity of formal languages ACM Transactions on Computational Logic	2015-09-17	Paper
Simplifying XML schema: single-type approximations of regular tree languages Journal of Computer and System Sciences	2014-01-20	Paper
Succinctness of the complement and intersection of regular expressions	2013-03-19	Paper
Regular expressions with counting: weak versus strong determinism SIAM Journal on Computing	2012-05-30	Paper
The dynamic complexity of formal languages	2012-04-24	Paper
Optimizing the region algebra is PSPACE-complete Information Processing Letters	2012-03-19	Paper
Succinctness of pattern-based schema languages for XML Journal of Computer and System Sciences	2011-05-04	Paper
Succinctness of regular expressions with interleaving, intersection and counting Theoretical Computer Science	2010-07-07	Paper
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving SIAM Journal on Computing	2009-11-06	Paper
Regular Expressions with Counting: Weak versus Strong Determinism Mathematical Foundations of Computer Science 2009	2009-10-16	Paper
Succinctness of Regular Expressions with Interleaving, Intersection and Counting Lecture Notes in Computer Science	2009-02-03	Paper

Research outcomes over time

This page was built for person: Wouter Gelade