Sledovať
Frank Neven
Frank Neven
Professor of Computer Science, Hasselt University
Overená e-mailová adresa na: uhasselt.be - Domovská stránka
Názov
Citované v
Citované v
Rok
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
438*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
277*2006
Automata theory for XML researchers
F Neven
ACM Sigmod Record 31 (3), 39-46, 2002
2512002
XPath containment in the presence of disjunction, DTDs, and variables
F Neven, T Schwentick
Database Theory—ICDT 2003, 315-329, 2002
2512002
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
2302004
Automata, logic, and XML
F Neven
International Workshop on Computer Science Logic, 2-26, 2002
2292002
Query automata over finite trees
F Neven, T Schwentick
Theoretical Computer Science 275 (1-2), 633-674, 2002
204*2002
Inference of concise DTDs from XML data
GJ Bex, F Neven, T Schwentick, K Tuyls
ACM Press, 2006
1752006
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
1702007
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
1662010
Expressive and efficient pattern languages for tree-structured data
F Neven, T Schwentick
Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 2000
1602000
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
1372010
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
1282001
A formal model for an expressive fragment of XSLT
GJ Bex, S Maneth, F Neven
Information Systems 27 (1), 21-39, 2002
1172002
Relational transducers for declarative networking
TJ Ameloot, F Neven, J Van den Bussche
Journal of the ACM (JACM) 60 (2), 1-38, 2013
1042013
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
F Neven, T Schwentick
arXiv preprint cs/0606065, 2006
1032006
Expressiveness of structured document query languages based on attribute grammars
F Neven, J Van den Bussche
Journal of the ACM (JACM) 49 (1), 56-100, 2002
992002
Frontiers of tractability for typechecking simple XML transformations
W Martens, F Neven
Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004
962004
Typechecking top-down uniform unranked tree transducers
W Martens, F Neven
International Conference on Database Theory, 64-78, 2002
852002
Extensions of attribute grammars for structured document queries
F Neven
International Symposium on Database Programming Languages, 99-117, 1999
791999
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20