Frank Neven Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)