2009 | ||
---|---|---|
71 | Peter Boyen, Frank Neven, Dries Van Dyck, Aalt-Jan van Dijk, Roeland C. H. J. van Ham: SLIDER: Mining Correlated Motifs in Protein-Protein Interaction Networks. ICDM 2009: 716-721 | |
70 | Geert Jan Bex, Wouter Gelade, Wim Martens, Frank Neven: Simplifying XML schema: effortless handling of nondeterministic regular expressions. SIGMOD Conference 2009: 731-744 | |
69 | Frank Neven: XML Types. Encyclopedia of Database Systems 2009: 3650-3654 | |
68 | Wouter Gelade, Wim Martens, Frank Neven: Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. SIAM J. Comput. 38(5): 2021-2043 (2009) | |
67 | Wim Martens, Frank Neven, Thomas Schwentick: Complexity of Decision Problems for XML Schemas and Chain Regular Expressions. SIAM J. Comput. 39(4): 1486-1530 (2009) | |
2008 | ||
66 | Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen: BioScout: a life-science query monitoring system. EDBT 2008: 730-734 | |
65 | Wenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, Antonella Poggi: Complexity and composition of synthesized web services. PODS 2008: 231-240 | |
64 | Geert Jan Bex, Frank Neven, Stijn Vansummeren: SchemaScope: a system for inferring and cleaning XML schemas. SIGMOD Conference 2008: 1259-1262 | |
63 | Wouter Gelade, Frank Neven: Succinctness of the Complement and Intersection of Regular Expressions. STACS 2008: 325-336 | |
62 | Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren: Learning deterministic regular expressions for the inference of schemas from XML data. WWW 2008: 825-834 | |
61 | Wenfei Fan, Floris Geerts, Frank Neven: Expressiveness and complexity of XML publishing transducers. ACM Trans. Database Syst. 33(4): (2008) | |
60 | Wouter Gelade, Frank Neven: Succinctness of the Complement and Intersection of Regular Expressions CoRR abs/0802.2869: (2008) | |
59 | Wim Martens, Frank Neven, Marc Gyssens: Typechecking top-down XML transformations: Fixed input or output schemas. Inf. Comput. 206(7): 806-827 (2008) | |
58 | Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen, Stijn Vansummeren: Scalable multi-query optimization for exploratory queries over federated scientific databases. PVLDB 1(1): 16-27 (2008) | |
2007 | ||
57 | Wouter Gelade, Frank Neven: Succinctness of Pattern-Based Schema Languages for XML. DBPL 2007: 201-215 | |
56 | Wouter Gelade, Wim Martens, Frank Neven: Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. ICDT 2007: 269-283 | |
55 | Wenfei Fan, Floris Geerts, Frank Neven: Expressiveness and complexity of xml publishing transducers. PODS 2007: 83-92 | |
54 | Geert Jan Bex, Frank Neven, Stijn Vansummeren: Inferring XML Schema Definitions from XML Data. VLDB 2007: 998-1009 | |
53 | Michael Benedikt, Leonid Libkin, Frank Neven: Logical definability and query languages over ranked and unranked trees. ACM Trans. Comput. Log. 8(2): (2007) | |
52 | Wim Martens, Frank Neven: Frontiers of tractability for typechecking simple XML transformations. J. Comput. Syst. Sci. 73(3): 362-390 (2007) | |
51 | Wim Martens, Frank Neven, Thomas Schwentick: Simple off the shelf abstractions for XML schema. SIGMOD Record 36(3): 15-22 (2007) | |
2006 | ||
50 | Dieter Van de Craen, Frank Neven, Kerstin Koch: An Extensible Light-Weight XML-Based Monitoring System for Sequence Databases. DILS 2006: 280-296 | |
49 | Frank Neven, Dieter Van de Craen: Optimizing Monitoring Queries over Distributed Data. EDBT 2006: 829-846 | |
48 | Geert Jan Bex, Frank Neven, Thomas Schwentick, Karl Tuyls: Inference of Concise DTDs from XML Data. VLDB 2006: 115-126 | |
47 | Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex: Expressiveness and complexity of XML Schema. ACM Trans. Database Syst. 31(3): 770-813 (2006) | |
46 | Frank Neven, Thomas Schwentick: On the complexity of XPath containment in the presence of disjunction, DTDs, and variables CoRR abs/cs/0606065: (2006) | |
45 | Wim Martens, Frank Neven, Marc Gyssens: On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas CoRR abs/cs/0606094: (2006) | |
44 | Frank Neven, Thomas Schwentick: On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Logical Methods in Computer Science 2(3): (2006) | |
2005 | ||
43 | Frank Neven, Thomas Schwentick, Dan Suciu: Foundations of Semistructured Data, 6.-11. February 2005 IBFI, Schloss Dagstuhl, Germany 2005 | |
42 | AnHai Doan, Frank Neven, Robert McCann, Geert Jan Bex: Proceedings of the Eight International Workshop on the Web & Databases (WebDB 2005), Baltimore, Maryland, USA, Collocated mith ACM SIGMOD/PODS 2005, June 16-17, 2005 WebDB 2005 | |
41 | Frank Neven, Thomas Schwentick, Dan Suciu: 05061 Abstracts Collection - Foundations of Semistructured Data. Foundations of Semistructured Data 2005 | |
40 | Frank Neven, Thomas Schwentick, Dan Suciu: 05061 Summary - Foundations of Semi-structured Data. Foundations of Semistructured Data 2005 | |
39 | Wim Martens, Frank Neven, Thomas Schwentick: Which XML Schemas Admit 1-Pass Preorder Typing? ICDT 2005: 68-82 | |
38 | Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick: Expressiveness of XSDs: from practice to theory, there and back again. WWW 2005: 712-721 | |
37 | Frank Neven: Attribute grammars for unranked trees as a query language for structured documents. J. Comput. Syst. Sci. 70(2): 221-257 (2005) | |
36 | Wim Martens, Frank Neven: On the complexity of typechecking top-down XML transformations. Theor. Comput. Sci. 336(1): 153-180 (2005) | |
2004 | ||
35 | Wim Martens, Frank Neven, Thomas Schwentick: Complexity of Decision Problems for Simple Regular Expressions. MFCS 2004: 889-900 | |
34 | Wim Martens, Frank Neven: Frontiers of Tractability for Typechecking Simple XML Transformations. PODS 2004: 23-34 | |
33 | Geert Jan Bex, Frank Neven, Jan Van den Bussche: DTDs versus XML Schema: A Practical Study. WebDB 2004: 79-84 | |
32 | Frank Neven, Thomas Schwentick, Victor Vianu: Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Log. 5(3): 403-435 (2004) | |
2003 | ||
31 | Frank Neven, Thomas Schwentick: XPath Containment in the Presence of Disjunction, DTDs, and Variables. ICDT 2003: 312-326 | |
30 | Wim Martens, Frank Neven: Typechecking Top-Down Uniform Unranked Tree Transducers. ICDT 2003: 64-78 | |
29 | Leonid Libkin, Frank Neven: Logical Definability and Query Languages over Unranked Trees. LICS 2003: 178-187 | |
28 | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: Typechecking XML views of relational databases. ACM Trans. Comput. Log. 4(3): 315-354 (2003) | |
27 | Frank Neven, Thomas Schwentick: On the power of tree-walking automata. Inf. Comput. 183(1): 86-103 (2003) | |
26 | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: XML with data values: typechecking revisited. J. Comput. Syst. Sci. 66(4): 688-727 (2003) | |
25 | Kenneth A. Ross, Frank Neven, Beng Chin Ooi: Reminiscences on Influential Papers. SIGMOD Record 32(2): 89 (2003) | |
2002 | ||
24 | Frank Neven: Automata, Logic, and XML. CSL 2002: 2-26 | |
23 | Frank Neven: On the Power of Walking for Querying Tree-Structured Data. PODS 2002: 77-84 | |
22 | Geert Jan Bex, Sebastian Maneth, Frank Neven: A formal model for an expressive fragment of XSLT. Inf. Syst. 27(1): 21-39 (2002) | |
21 | Frank Neven, Jan Van den Bussche: Expressiveness of structured document query languages based on attribute grammars. J. ACM 49(1): 56-100 (2002) | |
20 | Frank Neven: Automata Theory for XML Researchers. SIGMOD Record 31(3): 39-46 (2002) | |
19 | Frank Neven, Thomas Schwentick: Query automata over finite trees. Theor. Comput. Sci. 275(1-2): 633-674 (2002) | |
2001 | ||
18 | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: Typechecking XML Views of Relational Databases. LICS 2001: 421-430 | |
17 | Frank Neven, Thomas Schwentick, Victor Vianu: Towards Regular Languages over Infinite Alphabets. MFCS 2001: 560-572 | |
16 | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: XML with Data Values: Typechecking Revisited. PODS 2001 | |
15 | Frank Neven, Thomas Schwentick: Automata-and Logic-Based Pattern Languages for Tree-Structured Data. Semantics in Databases 2001: 160-178 | |
14 | Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche: Adding For-Loops to First-Order Logic. Inf. Comput. 168(2): 156-186 (2001) | |
2000 | ||
13 | Geert Jan Bex, Sebastian Maneth, Frank Neven: A Formal Model for an Expressive Fragment of XSLT. Computational Logic 2000: 1137-1151 | |
12 | Frank Neven, Thomas Schwentick: On the Power of Tree-Walking Automata. ICALP 2000: 547-560 | |
11 | Frank Neven, Thomas Schwentick: Expressive and Efficient Pattern Languages for Tree-Structured Data. PODS 2000: 145-156 | |
1999 | ||
10 | Sebastian Maneth, Frank Neven: Structured Document Transformations Based on XSL. DBPL 1999: 80-98 | |
9 | Frank Neven: Extensions of Attribute Grammars for Structured Document Queries. DBPL 1999: 99-116 | |
8 | Frank Neven, Thomas Schwentick: Automata for Unary Queries on Trees. Grundlagen von Datenbanken 1999: 102-106 | |
7 | Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche: Adding For-Loops to First-Order Logic. ICDT 1999: 58-69 | |
6 | Frank Neven, Thomas Schwentick: Query Automata. PODS 1999: 205-214 | |
5 | Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen: Typed Query Languages for Databases Containing Queries. Inf. Syst. 24(7): 569-595 (1999) | |
1998 | ||
4 | Frank Neven: Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism. FMLDO 1998: 129-142 | |
3 | Frank Neven, Jan Van den Bussche: Expressiveness of Structured Document Query Languages Based on Attribute Grammars. PODS 1998: 11-17 | |
2 | Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen: Typed Query Languages for Databases Containing Queries. PODS 1998: 189-196 | |
1997 | ||
1 | Frank Neven, Jan Van den Bussche: On Implementing Structured Document Query Facilities on Top of a DOOD. DOOD 1997: 351-367 |