Finite state machines for strings over infinite alphabets F Neven, T Schwentick, V Vianu ACM Transactions on Computational Logic (TOCL) 5 (3), 403-435, 2004 | 423* | 2004 |
Expressiveness and complexity of XML Schema W Martens, F Neven, T Schwentick, GJ Bex ACM Transactions on Database Systems (TODS) 31 (3), 770-813, 2006 | 271* | 2006 |
XPath containment in the presence of disjunction, DTDs, and variables F Neven, T Schwentick Database Theory—ICDT 2003, 315-329, 2002 | 253 | 2002 |
Automata theory for XML researchers F Neven ACM Sigmod Record 31 (3), 39-46, 2002 | 244 | 2002 |
Automata, logic, and XML F Neven International Workshop on Computer Science Logic, 2-26, 2002 | 226 | 2002 |
DTDs versus XML Schema: A practical study GJ Bex, F Neven, J Van den Bussche Proceedings of the 7th international workshop on the web and databases …, 2004 | 224 | 2004 |
Query automata over finite trees F Neven, T Schwentick Theoretical Computer Science 275 (1-2), 633-674, 2002 | 206* | 2002 |
Inference of concise DTDs from XML data GJ Bex, F Neven, T Schwentick, K Tuyls Proceedings of the 32nd international conference on Very large data bases …, 2006 | 174 | 2006 |
Learning deterministic regular expressions for the inference of schemas from XML data GJ Bex, W Gelade, F Neven, S Vansummeren ACM Transactions on the Web (TWEB) 4 (4), 1-32, 2010 | 161 | 2010 |
Inferring XML schema definitions from XML data GJ Bex, F Neven, S Vansummeren Proceedings of the 33rd international conference on Very large data bases …, 2007 | 161 | 2007 |
Expressive and efficient pattern languages for tree-structured data F Neven, T Schwentick Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 2000 | 153 | 2000 |
Inference of concise regular expressions and DTDs GJ Bex, F Neven, T Schwentick, S Vansummeren ACM Transactions on Database Systems (TODS) 35 (2), 1-47, 2010 | 131 | 2010 |
XML with data values: typechecking revisited N Alon, T Milo, F Neven, D Suciu, V Vianu Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on …, 2001 | 131 | 2001 |
A formal model for an expressive fragment of XSLT GJ Bex, S Maneth, F Neven Information Systems 27 (1), 21-39, 2002 | 115 | 2002 |
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables F Neven, T Schwentick Logical Methods in Computer Science 2, 2006 | 104 | 2006 |
Relational transducers for declarative networking TJ Ameloot, F Neven, J Van den Bussche Journal of the ACM (JACM) 60 (2), 1-38, 2013 | 103 | 2013 |
Frontiers of tractability for typechecking simple XML transformations W Martens, F Neven Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004 | 93 | 2004 |
Typechecking top-down uniform unranked tree transducers W Martens, F Neven International Conference on Database Theory, 64-78, 2002 | 86 | 2002 |
Complexity of decision problems for simple regular expressions W Martens, F Neven, T Schwentick International Symposium on Mathematical Foundations of Computer Science, 889-900, 2004 | 78 | 2004 |
Extensions of attribute grammars for structured document queries F Neven International Symposium on Database Programming Languages, 99-117, 1999 | 78 | 1999 |