Search the dblp DataBase
Frank Neven :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Frank Neven , Thomas Schwentick Query Automata. [Citation Graph (4, 14)][DBLP ] PODS, 1999, pp:205-214 [Conf ] Frank Neven , Jan Van den Bussche Expressiveness of Structured Document Query Languages Based on Attribute Grammars. [Citation Graph (3, 11)][DBLP ] PODS, 1998, pp:11-17 [Conf ] Frank Neven , Jan Van den Bussche On Implementing Structured Document Query Facilities on Top of a DOOD. [Citation Graph (1, 0)][DBLP ] DOOD, 1997, pp:351-367 [Conf ] Frank Neven , Thomas Schwentick Expressive and Efficient Pattern Languages for Tree-Structured Data. [Citation Graph (1, 17)][DBLP ] PODS, 2000, pp:145-156 [Conf ] Geert Jan Bex , Sebastian Maneth , Frank Neven A Formal Model for an Expressive Fragment of XSLT. [Citation Graph (0, 0)][DBLP ] Computational Logic, 2000, pp:1137-1151 [Conf ] Frank Neven Automata, Logic, and XML. [Citation Graph (0, 0)][DBLP ] CSL, 2002, pp:2-26 [Conf ] Frank Neven , Thomas Schwentick , Dan Suciu 05061 Abstracts Collection - Foundations of Semistructured Data. [Citation Graph (0, 0)][DBLP ] Foundations of Semistructured Data, 2005, pp:- [Conf ] Frank Neven , Thomas Schwentick , Dan Suciu 05061 Summary - Foundations of Semi-structured Data. [Citation Graph (0, 0)][DBLP ] Foundations of Semistructured Data, 2005, pp:- [Conf ] Sebastian Maneth , Frank Neven Structured Document Transformations Based on XSL. [Citation Graph (0, 0)][DBLP ] DBPL, 1999, pp:80-98 [Conf ] Frank Neven Extensions of Attribute Grammars for Structured Document Queries. [Citation Graph (0, 0)][DBLP ] DBPL, 1999, pp:99-116 [Conf ] Dieter Van de Craen , Frank Neven , Kerstin Koch An Extensible Light-Weight XML-Based Monitoring System for Sequence Databases. [Citation Graph (0, 0)][DBLP ] DILS, 2006, pp:280-296 [Conf ] Frank Neven , Dieter Van de Craen Optimizing Monitoring Queries over Distributed Data. [Citation Graph (0, 0)][DBLP ] EDBT, 2006, pp:829-846 [Conf ] Frank Neven Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism. [Citation Graph (0, 0)][DBLP ] FMLDO, 1998, pp:129-142 [Conf ] Frank Neven , Thomas Schwentick Automata for Unary Queries on Trees. [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1999, pp:102-106 [Conf ] Frank Neven , Thomas Schwentick On the Power of Tree-Walking Automata. [Citation Graph (0, 0)][DBLP ] ICALP, 2000, pp:547-560 [Conf ] Frank Neven , Martin Otto , Jerzy Tyszkiewicz , Jan Van den Bussche Adding For-Loops to First-Order Logic. [Citation Graph (0, 7)][DBLP ] ICDT, 1999, pp:58-69 [Conf ] Frank Neven , Thomas Schwentick XPath Containment in the Presence of Disjunction, DTDs, and Variables. [Citation Graph (0, 0)][DBLP ] ICDT, 2003, pp:312-326 [Conf ] Wim Martens , Frank Neven Typechecking Top-Down Uniform Unranked Tree Transducers. [Citation Graph (0, 0)][DBLP ] ICDT, 2003, pp:64-78 [Conf ] Wim Martens , Frank Neven , Thomas Schwentick Which XML Schemas Admit 1-Pass Preorder Typing? [Citation Graph (0, 0)][DBLP ] ICDT, 2005, pp:68-82 [Conf ] Wouter Gelade , Wim Martens , Frank Neven Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. [Citation Graph (0, 0)][DBLP ] ICDT, 2007, pp:269-283 [Conf ] Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu Typechecking XML Views of Relational Databases. [Citation Graph (0, 0)][DBLP ] LICS, 2001, pp:421-430 [Conf ] Leonid Libkin , Frank Neven Logical Definability and Query Languages over Unranked Trees. [Citation Graph (0, 0)][DBLP ] LICS, 2003, pp:178-187 [Conf ] Wim Martens , Frank Neven , Thomas Schwentick Complexity of Decision Problems for Simple Regular Expressions. [Citation Graph (0, 0)][DBLP ] MFCS, 2004, pp:889-900 [Conf ] Frank Neven , Thomas Schwentick , Victor Vianu Towards Regular Languages over Infinite Alphabets. [Citation Graph (0, 0)][DBLP ] MFCS, 2001, pp:560-572 [Conf ] Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu XML with Data Values: Typechecking Revisited. [Citation Graph (0, 0)][DBLP ] PODS, 2001, pp:- [Conf ] Wim Martens , Frank Neven Frontiers of Tractability for Typechecking Simple XML Transformations. [Citation Graph (0, 0)][DBLP ] PODS, 2004, pp:23-34 [Conf ] Frank Neven On the Power of Walking for Querying Tree-Structured Data. [Citation Graph (0, 0)][DBLP ] PODS, 2002, pp:77-84 [Conf ] Frank Neven , Jan Van den Bussche , Dirk Van Gucht , Gottfried Vossen Typed Query Languages for Databases Containing Queries. [Citation Graph (0, 17)][DBLP ] PODS, 1998, pp:189-196 [Conf ] Frank Neven , Thomas Schwentick Automata-and Logic-Based Pattern Languages for Tree-Structured Data. [Citation Graph (0, 0)][DBLP ] Semantics in Databases, 2001, pp:160-178 [Conf ] Geert Jan Bex , Frank Neven , Thomas Schwentick , Karl Tuyls Inference of Concise DTDs from XML Data. [Citation Graph (0, 0)][DBLP ] VLDB, 2006, pp:115-126 [Conf ] Geert Jan Bex , Frank Neven , Jan Van den Bussche DTDs versus XML Schema: A Practical Study. [Citation Graph (0, 0)][DBLP ] WebDB, 2004, pp:79-84 [Conf ] Geert Jan Bex , Wim Martens , Frank Neven , Thomas Schwentick Expressiveness of XSDs: from practice to theory, there and back again. [Citation Graph (0, 0)][DBLP ] WWW, 2005, pp:712-721 [Conf ] Frank Neven , Martin Otto , Jerzy Tyszkiewicz , Jan Van den Bussche Adding For-Loops to First-Order Logic. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2001, v:168, n:2, pp:156-186 [Journal ] Frank Neven , Thomas Schwentick On the power of tree-walking automata. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:183, n:1, pp:86-103 [Journal ] Geert Jan Bex , Sebastian Maneth , Frank Neven A formal model for an expressive fragment of XSLT. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 2002, v:27, n:1, pp:21-39 [Journal ] Frank Neven , Jan Van den Bussche , Dirk Van Gucht , Gottfried Vossen Typed Query Languages for Databases Containing Queries. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 1999, v:24, n:7, pp:569-595 [Journal ] Frank Neven , Jan Van den Bussche Expressiveness of structured document query languages based on attribute grammars. [Citation Graph (0, 0)][DBLP ] J. ACM, 2002, v:49, n:1, pp:56-100 [Journal ] Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu XML with data values: typechecking revisited. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 2003, v:66, n:4, pp:688-727 [Journal ] Frank Neven Attribute grammars for unranked trees as a query language for structured documents. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 2005, v:70, n:2, pp:221-257 [Journal ] Wim Martens , Frank Neven Frontiers of tractability for typechecking simple XML transformations. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 2007, v:73, n:3, pp:362-390 [Journal ] Frank Neven , Thomas Schwentick On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. [Citation Graph (0, 0)][DBLP ] Logical Methods in Computer Science, 2006, v:2, n:3, pp:- [Journal ] Frank Neven Automata Theory for XML Researchers. [Citation Graph (0, 0)][DBLP ] SIGMOD Record, 2002, v:31, n:3, pp:39-46 [Journal ] Kenneth A. Ross , Frank Neven , Beng Chin Ooi Reminiscences on Influential Papers. [Citation Graph (0, 0)][DBLP ] SIGMOD Record, 2003, v:32, n:2, pp:89- [Journal ] Wim Martens , Frank Neven On the complexity of typechecking top-down XML transformations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:336, n:1, pp:153-180 [Journal ] Frank Neven , Thomas Schwentick Query automata over finite trees. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:275, n:1-2, pp:633-674 [Journal ] Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu Typechecking XML views of relational databases. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2003, v:4, n:3, pp:315-354 [Journal ] Frank Neven , Thomas Schwentick , Victor Vianu Finite state machines for strings over infinite alphabets. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2004, v:5, n:3, pp:403-435 [Journal ] Wim Martens , Frank Neven , Thomas Schwentick , Geert Jan Bex Expressiveness and complexity of XML Schema. [Citation Graph (0, 0)][DBLP ] ACM Trans. Database Syst., 2006, v:31, n:3, pp:770-813 [Journal ] Wouter Gelade , Frank Neven Succinctness of Pattern-Based Schema Languages for XML. [Citation Graph (0, 0)][DBLP ] DBPL, 2007, pp:201-215 [Conf ] Wenfei Fan , Floris Geerts , Frank Neven Expressiveness and complexity of xml publishing transducers. [Citation Graph (0, 0)][DBLP ] PODS, 2007, pp:83-92 [Conf ] Geert Jan Bex , Frank Neven , Stijn Vansummeren Inferring XML Schema Definitions from XML Data. [Citation Graph (0, 0)][DBLP ] VLDB, 2007, pp:998-1009 [Conf ] Frank Neven , Thomas Schwentick On the complexity of XPath containment in the presence of disjunction, DTDs, and variables [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Wim Martens , Frank Neven , Marc Gyssens On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Michael Benedikt , Leonid Libkin , Frank Neven Logical definability and query languages over ranked and unranked trees. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2007, v:8, n:2, pp:- [Journal ] BioScout: a life-science query monitoring system. [Citation Graph (, )][DBLP ] SLIDER: Mining Correlated Motifs in Protein-Protein Interaction Networks. [Citation Graph (, )][DBLP ] Complexity and composition of synthesized web services. [Citation Graph (, )][DBLP ] Simplifying XML schema: single-type approximations of regular tree languages. [Citation Graph (, )][DBLP ] SchemaScope: a system for inferring and cleaning XML schemas. [Citation Graph (, )][DBLP ] Simplifying XML schema: effortless handling of nondeterministic regular expressions. [Citation Graph (, )][DBLP ] Succinctness of the Complement and Intersection of Regular Expressions. [Citation Graph (, )][DBLP ] Learning deterministic regular expressions for the inference of schemas from XML data. [Citation Graph (, )][DBLP ] Succinctness of the Complement and Intersection of Regular Expressions [Citation Graph (, )][DBLP ] Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.008secs