Publications by Frank Neven

Here are some tools to semi-objectively assess publication venues:

• The journal citation report ranks journals (subscription required)
• Citeseer ranks both journals and conferences (only venues contained within DBLP are included)
• Peter Apers maintains a list of acceptance rates of major database conferences
• Google Scholar lists number of citations to papers (self-citations are not excluded!)

Topics:

• Databases and Bioinformatics
• XML schema languages
• XML query, transformation, and pattern languages
• XML Typechecking
• Miscellaneous
• Surveys
• Thesis

Databases and Bioinformatics

1. F. Neven and D. Van de Craen Optimizing Monitoring Queries over Distributed Data. EDBT 2006
2. D. Van de Craen, F. Neven and K. Koch An extensible light-weight XML-based monitoring system for sequence databases. DILS 2006.
3. Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen BioScout: a life-science query monitoring system. EDBT 2008 (demo)

XML schema languages

1. Wim Martens, Frank Neven, Thomas Schwentick Simple off the shelf abstractions for XML schema. SIGMOD Record 2007
2. Geert Jan Bex, Frank Neven, and Stijn Vansummeren. SchemaScope: a System for Inferring and Cleaning XML Schemas SIGMOD 2008 (demo)
3. Geert Jan Bex, Wouter Gelade, Frank Neven, and Stijn Vansummeren. Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data. WWW 2008
4. Wouter Gelade, and Frank Neven. Succinctness of Pattern-based Schema Languages for XML. DBPL 2007
5. G.J. Bex, F. Neven, S. Vansummeren. Inferring XML Schema Definitions from XML data VLDB 2007.
6. W. Gelade, W. Martens, F. Neven. Optimizing schema languages for XML: Numerical Constraints and Interleaving ICDT 2007
7. G.J. Bex, F. Neven, T. Schwentick, K. Tuyls. Inference of concise DTDs from XML data VLDB 2006.
8. W. Martens, F. Neven, T. Schwentick, G.-J. Bex. Expressiveness and complexity of XML Schema ACM Transactions on Database Systems 2006 (combined full version of ICDT 2005 and WWW 2005 papers)
9. G.J. Bex, W. Martens, F. Neven, and T. Schwentick. Expressiveness of XSDs: from practice to theory, there and back again WWW 2005
10. W. Martens, F. Neven and T. Schwentick. Which XML Schemas Admit 1-Pass Preorder Typing? ICDT 2005
11. W. Martens, F. Neven, and T. Schwentick. Complexity of Decision Problems for Simple Regular Expressions. MFCS 2004
12. G.J. Bex, F. Neven, and J. Van den Bussche. DTDs versus XML Schema: A Practical Study WebDB 2004.
13. F. Neven, T. Schwentick. XML schemas without order unpublished 1999.

XML query, transformation, and pattern languages

1. W. Fan, F. Geerts, F. Neven. Expressiveness and complexity of XML publishing transducers PODS 2007.
2. F.Neven and T.Schwentick XPath containment in the presence of disjunction, DTDs, and variables. Logical Methods in Computer Science 2006
   (extended abstract in ICDT 2003)
3. M. Benedikt, L. Libkin, F. Neven Logical definability and query languages over ranked and unranked trees ACM Transactions on Computational Logic 2007
4. F. Neven. Attribute grammars for unranked trees as a query language for structured documents Journal of Computer and System Sciences 70(2): 221-257, 2005.
   Extended abstract in DBPL 1999.
5. G. J. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT. Information Systems, vol. 27(1), pg 21-39, 2002.
   (extended abstract in CL 2000)
6. F. Neven and T. Schwentick Query Automata on finite trees.Theoretical Computer Science , vol 275, pg 633-674, 2002.
   (extended abstract in PODS 1999)
7. F. Neven and J. Van den Bussche Expressiveness of structured document query languages based on attribute grammars. Journal of the ACM, 49(1):56-100, 2002.
   (extended abstract in PODS 1998)
8. F. Neven. On the power of walking for querying tree-structured data. PODS 2002
9. F. Neven and T. Schwentick. Expressive and efficient pattern languages for tree-structured data. PODS 2000
10. S. Maneth and F. Neven. Recursive Structured Document Transformations based on XSL DBPL 1999
11. F. Neven and J. Van den Bussche. On implementing structured document query facilities on top of a DOOD DOOD 1997

XML Typechecking

1. W. Martens, F. Neven, and M. Gyssens. On typechecking top-down XML transformations: fixed input or output schemas To appear in Information and Computation
2. W. Martens and F. Neven. Frontiers of Tractability for typechecking Simple XML Transformations. Journal of Computer and System Sciences 2007 (Extended abstract in PODS 2004)
3. W. Martens and F. Neven. On the Complexity of Typechecking Top-Down XML Transformations. Theoretical Computer Science , Vol. 336(1), pp.153-180, 2005. (Extended abstract in ICDT 2003)
4. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. Typechecking XML views of relational data ACM Transactions on Computational Logic 2003.
   (Extended abstract in LICS 2001)
5. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with Data Values: Typechecking Revisited Journal of Computer and System Sciences 2003.
   (Extended abstract in PODS 2001)

Miscellaneous

1. Wouter Gelade, and Frank Neven. Succinctness of the Complement and Intersection of Regular Expressions. STACS 2008
2. Wenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, and Antonella Poggi. Complexity and Composition of Synthesized Web Services. PODS 2008
3. F. Neven, T. Schwentick and V.Vianu. Finite state machines for strings over infinite alphabets ACM Transactions on Computational Logic, 5(3), 403-435, 2004
   (Extended abstract in MFCS 2001 entitled Towards regular languages over infinite alphabets)
4. F. Neven and T. Schwentick. On the power of tree-walking automata Information and Computation, 183(1), 86-103, 2003.
   (Extended abstract in ICALP 2000
5. F. Neven, J. Van den Bussche, D. Van Gucht, and G. Vossen Typed query languages for databases containing queries. Information Systems, vol 24, no 7, pages 569-595, 1999.
   (Extended abstract in PODS 1998)
6. F. Neven, M. Otto, J. Tyszkiewicz, and J. Van den Bussche. Adding for-loops to first-order logic Information and Computation, 168(2): 156-186 (2001).
   (extended abstract in ICDT 1999)

Surveys

1. Wim Martens, Frank Neven, Thomas Schwentick Simple off the shelf abstractions for XML schema. SIGMOD Record 2007
2. F. Neven and T. Schwentick. Automata- and logic-based pattern languages for tree-structured data. in: L. Bertossi, G. Katona, K.-D. Schewe, B. Thalheim (Eds.), Semantics, Springer LNCS 2582, 2003.
3. F. Neven. Automata theory for XML researchers Sigmod Record 2003
4. F. Neven. Automata, Logic, and XML CSL 2002

Thesis

Design and Analysis of query languages for structured documents: a formal and logic approach , 1999