dblp.uni-trier.dewww.uni-trier.de

Frank Neven

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
67EEWouter Gelade, Wim Martens, Frank Neven: Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. SIAM J. Comput. 38(5): 2021-2043 (2009)
2008
66EEAnastasios Kementsietsidis, Frank Neven, Dieter Van de Craen: BioScout: a life-science query monitoring system. EDBT 2008: 730-734
65EEWenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, Antonella Poggi: Complexity and composition of synthesized web services. PODS 2008: 231-240
64EEGeert Jan Bex, Frank Neven, Stijn Vansummeren: SchemaScope: a system for inferring and cleaning XML schemas. SIGMOD Conference 2008: 1259-1262
63EEWouter Gelade, Frank Neven: Succinctness of the Complement and Intersection of Regular Expressions. STACS 2008: 325-336
62EEGeert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren: Learning deterministic regular expressions for the inference of schemas from XML data. WWW 2008: 825-834
61EEWenfei Fan, Floris Geerts, Frank Neven: Expressiveness and complexity of XML publishing transducers. ACM Trans. Database Syst. 33(4): (2008)
60EEWouter Gelade, Frank Neven: Succinctness of the Complement and Intersection of Regular Expressions CoRR abs/0802.2869: (2008)
59EEWim Martens, Frank Neven, Marc Gyssens: Typechecking top-down XML transformations: Fixed input or output schemas. Inf. Comput. 206(7): 806-827 (2008)
58EEAnastasios 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
57EEWouter Gelade, Frank Neven: Succinctness of Pattern-Based Schema Languages for XML. DBPL 2007: 201-215
56EEWouter Gelade, Wim Martens, Frank Neven: Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. ICDT 2007: 269-283
55EEWenfei Fan, Floris Geerts, Frank Neven: Expressiveness and complexity of xml publishing transducers. PODS 2007: 83-92
54EEGeert Jan Bex, Frank Neven, Stijn Vansummeren: Inferring XML Schema Definitions from XML Data. VLDB 2007: 998-1009
53EEMichael Benedikt, Leonid Libkin, Frank Neven: Logical definability and query languages over ranked and unranked trees. ACM Trans. Comput. Log. 8(2): (2007)
52EEWim Martens, Frank Neven: Frontiers of tractability for typechecking simple XML transformations. J. Comput. Syst. Sci. 73(3): 362-390 (2007)
51EEWim Martens, Frank Neven, Thomas Schwentick: Simple off the shelf abstractions for XML schema. SIGMOD Record 36(3): 15-22 (2007)
2006
50EEDieter Van de Craen, Frank Neven, Kerstin Koch: An Extensible Light-Weight XML-Based Monitoring System for Sequence Databases. DILS 2006: 280-296
49EEFrank Neven, Dieter Van de Craen: Optimizing Monitoring Queries over Distributed Data. EDBT 2006: 829-846
48EEGeert Jan Bex, Frank Neven, Thomas Schwentick, Karl Tuyls: Inference of Concise DTDs from XML Data. VLDB 2006: 115-126
47EEWim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex: Expressiveness and complexity of XML Schema. ACM Trans. Database Syst. 31(3): 770-813 (2006)
46EEFrank Neven, Thomas Schwentick: On the complexity of XPath containment in the presence of disjunction, DTDs, and variables CoRR abs/cs/0606065: (2006)
45EEWim Martens, Frank Neven, Marc Gyssens: On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas CoRR abs/cs/0606094: (2006)
44EEFrank 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
42EEAnHai 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
41EEFrank Neven, Thomas Schwentick, Dan Suciu: 05061 Abstracts Collection - Foundations of Semistructured Data. Foundations of Semistructured Data 2005
40EEFrank Neven, Thomas Schwentick, Dan Suciu: 05061 Summary - Foundations of Semi-structured Data. Foundations of Semistructured Data 2005
39EEWim Martens, Frank Neven, Thomas Schwentick: Which XML Schemas Admit 1-Pass Preorder Typing? ICDT 2005: 68-82
38EEGeert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick: Expressiveness of XSDs: from practice to theory, there and back again. WWW 2005: 712-721
37EEFrank Neven: Attribute grammars for unranked trees as a query language for structured documents. J. Comput. Syst. Sci. 70(2): 221-257 (2005)
36EEWim Martens, Frank Neven: On the complexity of typechecking top-down XML transformations. Theor. Comput. Sci. 336(1): 153-180 (2005)
2004
35EEWim Martens, Frank Neven, Thomas Schwentick: Complexity of Decision Problems for Simple Regular Expressions. MFCS 2004: 889-900
34EEWim Martens, Frank Neven: Frontiers of Tractability for Typechecking Simple XML Transformations. PODS 2004: 23-34
33EEGeert Jan Bex, Frank Neven, Jan Van den Bussche: DTDs versus XML Schema: A Practical Study. WebDB 2004: 79-84
32EEFrank Neven, Thomas Schwentick, Victor Vianu: Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Log. 5(3): 403-435 (2004)
2003
31EEFrank Neven, Thomas Schwentick: XPath Containment in the Presence of Disjunction, DTDs, and Variables. ICDT 2003: 312-326
30EEWim Martens, Frank Neven: Typechecking Top-Down Uniform Unranked Tree Transducers. ICDT 2003: 64-78
29EELeonid Libkin, Frank Neven: Logical Definability and Query Languages over Unranked Trees. LICS 2003: 178-187
28EENoga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: Typechecking XML views of relational databases. ACM Trans. Comput. Log. 4(3): 315-354 (2003)
27EEFrank Neven, Thomas Schwentick: On the power of tree-walking automata. Inf. Comput. 183(1): 86-103 (2003)
26EENoga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: XML with data values: typechecking revisited. J. Comput. Syst. Sci. 66(4): 688-727 (2003)
25EEKenneth A. Ross, Frank Neven, Beng Chin Ooi: Reminiscences on Influential Papers. SIGMOD Record 32(2): 89 (2003)
2002
24EEFrank Neven: Automata, Logic, and XML. CSL 2002: 2-26
23EEFrank Neven: On the Power of Walking for Querying Tree-Structured Data. PODS 2002: 77-84
22EEGeert Jan Bex, Sebastian Maneth, Frank Neven: A formal model for an expressive fragment of XSLT. Inf. Syst. 27(1): 21-39 (2002)
21EEFrank Neven, Jan Van den Bussche: Expressiveness of structured document query languages based on attribute grammars. J. ACM 49(1): 56-100 (2002)
20EEFrank Neven: Automata Theory for XML Researchers. SIGMOD Record 31(3): 39-46 (2002)
19EEFrank 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
17EEFrank Neven, Thomas Schwentick, Victor Vianu: Towards Regular Languages over Infinite Alphabets. MFCS 2001: 560-572
16EENoga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu: XML with Data Values: Typechecking Revisited. PODS 2001
15EEFrank 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
13EEGeert Jan Bex, Sebastian Maneth, Frank Neven: A Formal Model for an Expressive Fragment of XSLT. Computational Logic 2000: 1137-1151
12EEFrank Neven, Thomas Schwentick: On the Power of Tree-Walking Automata. ICALP 2000: 547-560
11EEFrank Neven, Thomas Schwentick: Expressive and Efficient Pattern Languages for Tree-Structured Data. PODS 2000: 145-156
1999
10EESebastian Maneth, Frank Neven: Structured Document Transformations Based on XSL. DBPL 1999: 80-98
9EEFrank 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
7EEFrank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche: Adding For-Loops to First-Order Logic. ICDT 1999: 58-69
6EEFrank Neven, Thomas Schwentick: Query Automata. PODS 1999: 205-214
5EEFrank 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
3EEFrank Neven, Jan Van den Bussche: Expressiveness of Structured Document Query Languages Based on Attribute Grammars. PODS 1998: 11-17
2EEFrank 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

Coauthor Index

1Noga Alon [16] [18] [26] [28]
2Michael Benedikt [53]
3Geert Jan Bex [13] [22] [33] [38] [42] [47] [48] [54] [62] [64]
4Jan Van den Bussche [1] [2] [3] [5] [7] [14] [21] [33]
5Dieter Van de Craen [49] [50] [58] [66]
6AnHai Doan [42]
7Wenfei Fan [55] [61] [65]
8Floris Geerts [55] [61] [65]
9Wouter Gelade [56] [57] [60] [62] [63] [65] [67]
10Dirk Van Gucht [2] [5]
11Marc Gyssens [45] [59]
12Anastasios Kementsietsidis [58] [66]
13Kerstin Koch [50]
14Leonid Libkin [29] [53]
15Sebastian Maneth [10] [13] [22]
16Wim Martens [30] [34] [35] [36] [38] [39] [45] [47] [51] [52] [56] [59] [67]
17Robert McCann [42]
18Tova Milo [16] [18] [26] [28]
19Beng Chin Ooi [25]
20Martin Otto [7] [14]
21Antonella Poggi [65]
22Kenneth A. Ross [25]
23Thomas Schwentick [6] [8] [11] [12] [15] [17] [19] [27] [31] [32] [35] [38] [39] [40] [41] [43] [44] [46] [47] [48] [51]
24Dan Suciu [16] [18] [26] [28] [40] [41] [43]
25Karl Tuyls [48]
26Jerzy Tyszkiewicz [7] [14]
27Stijn Vansummeren [54] [58] [62] [64]
28Victor Vianu [16] [17] [18] [26] [28] [32]
29Gottfried Vossen [2] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)