| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Wouter Gelade, Frank Neven |
Succinctness of the Complement and Intersection of Regular Expressions.  |
ACM Trans. Comput. Log.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees |
30 Years of PODS in facts and figures. |
SIGMOD Record |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Boyen, Dries Van Dyck, Frank Neven, Roeland C. H. J. van Ham, Aalt D. J. van Dijk |
SLIDER: A Generic Metaheuristic for the Discovery of Correlated Motifs in Protein-Protein Interaction Networks. |
IEEE/ACM Trans. Comput. Biology Bioinform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Frank Neven |
Succinctness of pattern-based schema languages for XML. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Timos Antonopoulos, Floris Geerts, Wim Martens, Frank Neven |
Generating, sampling and counting subclasses of regular tree languages. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Timos Antonopoulos, Wim Martens, Frank Neven |
The complexity of text-preserving XML transformations. |
PODS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom J. Ameloot, Frank Neven, Jan Van den Bussche |
Relational transducers for declarative networking. |
PODS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Frank Neven |
Optimizing the Region Algebra is PSPACE-complete. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Frank Neven, Thomas Schwentick, Stijn Vansummeren |
Inference of concise regular expressions and DTDs. |
ACM Trans. Database Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom J. Ameloot, Frank Neven, Jan Van den Bussche |
Relational transducers for declarative networking |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren |
Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren |
Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data. |
TWEB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven |
Simplifying XML schema: single-type approximations of regular tree languages. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
complexity, approximation, xml, xml schema |
| 1 | Wouter Gelade, Wim Martens, Frank Neven |
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. |
SIAM J. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Complexity of Decision Problems for XML Schemas and Chain Regular Expressions. |
SIAM J. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven |
XML Types. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Wouter Gelade, Wim Martens, Frank Neven |
Simplifying XML schema: effortless handling of nondeterministic regular expressions. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
deterministic regular expressions, upa, xml schema |
| 1 | Wenfei Fan, Floris Geerts, Frank Neven |
Expressiveness and complexity of XML publishing transducers. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
complexity, expressiveness, data exchange, transducer, XML publishing |
| 1 | Wim Martens, Frank Neven, Marc Gyssens |
Typechecking top-down XML transformations: Fixed input or output schemas. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Frank Neven |
Succinctness of the Complement and Intersection of Regular Expressions |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen, Stijn Vansummeren |
Scalable multi-query optimization for exploratory queries over federated scientific databases. |
PVLDB |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wouter Gelade, Frank Neven |
Succinctness of the Complement and Intersection of Regular Expressions. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren |
Learning deterministic regular expressions for the inference of schemas from XML data. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
XML, regular expressions, schema inference |
| 1 | Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen |
BioScout: a life-science query monitoring system. |
EDBT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Frank Neven, Stijn Vansummeren |
SchemaScope: a system for inferring and cleaning XML schemas. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
xml, regular expressions, schema inference |
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Deterministic top-down tree automata: past, present, and future. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, Antonella Poggi |
Complexity and composition of synthesized web services. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
data-driven web services, complexity, composition |
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Simple off the shelf abstractions for XML schema. |
SIGMOD Record |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven |
Frontiers of tractability for typechecking simple XML transformations. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Frank Neven |
Logical definability and query languages over ranked and unranked trees. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Ranked trees, unranked trees, query languages, tree automata, model theory |
| 1 | Geert Jan Bex, Frank Neven, Stijn Vansummeren |
Inferring XML Schema Definitions from XML Data. |
VLDB |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wouter Gelade, Wim Martens, Frank Neven |
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Frank Neven |
Succinctness of Pattern-Based Schema Languages for XML. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenfei Fan, Floris Geerts, Frank Neven |
Expressiveness and complexity of xml publishing transducers. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
complexity, expressiveness, XML publishing |
| 1 | Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex |
Expressiveness and complexity of XML Schema. |
ACM Trans. Database Syst. |
2006 |
DBLP DOI BibTeX RDF |
XML, validation, XML Schema |
| 1 | Frank Neven, Thomas Schwentick |
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Marc Gyssens |
On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frank Neven, Dieter Van de Craen |
Optimizing Monitoring Queries over Distributed Data. |
EDBT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Frank Neven, Thomas Schwentick, Karl Tuyls |
Inference of Concise DTDs from XML Data. |
VLDB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dieter Van de Craen, Frank Neven, Kerstin Koch |
An Extensible Light-Weight XML-Based Monitoring System for Sequence Databases. |
DILS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven |
On the complexity of typechecking top-down XML transformations. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven |
Attribute grammars for unranked trees as a query language for structured documents. |
J. Comput. Syst. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick |
Expressiveness of XSDs: from practice to theory, there and back again. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
formal model, XML schema, expressiveness |
| 1 | Frank Neven, Thomas Schwentick, Dan Suciu |
05061 Abstracts Collection - Foundations of Semistructured Data. |
Foundations of Semistructured Data |
2005 |
DBLP BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick, Dan Suciu (eds.) |
Foundations of Semistructured Data, 6.-11. February 2005 |
Foundations of Semistructured Data |
2005 |
DBLP BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick, Dan Suciu |
05061 Summary - Foundations of Semi-structured Data. |
Foundations of Semistructured Data |
2005 |
DBLP BibTeX RDF |
|
| 1 | AnHai Doan, Frank Neven, Robert McCann, Geert Jan Bex (eds.) |
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 |
DBLP BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Which XML Schemas Admit 1-Pass Preorder Typing? |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick, Victor Vianu |
Finite state machines for strings over infinite alphabets. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers |
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Complexity of Decision Problems for Simple Regular Expressions. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Frank Neven, Jan Van den Bussche |
DTDs versus XML Schema: A Practical Study. |
WebDB |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven |
Frontiers of Tractability for Typechecking Simple XML Transformations. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
On the power of tree-walking automata. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth A. Ross, Frank Neven, Beng Chin Ooi |
Reminiscences on Influential Papers. |
SIGMOD Record |
2003 |
DBLP BibTeX RDF |
|
| 1 | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu |
XML with data values: typechecking revisited. |
J. Comput. Syst. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu |
Typechecking XML views of relational databases. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
typechecking, XML, Complexity, relational databases, logic |
| 1 | Frank Neven, Thomas Schwentick |
XPath Containment in the Presence of Disjunction, DTDs, and Variables. |
ICDT |
2003 |
DBLP BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven |
Typechecking Top-Down Uniform Unranked Tree Transducers. |
ICDT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Frank Neven |
Logical Definability and Query Languages over Unranked Trees. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Catriel Beeri, Tova Milo (eds.) |
Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA |
|
2003 |
DBLP BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
Query automata over finite trees. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven |
Automata Theory for XML Researchers. |
SIGMOD Record |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Jan Van den Bussche |
Expressiveness of structured document query languages based on attribute grammars. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
complexity, logic, automata, Attribute grammars, structured documents |
| 1 | Geert Jan Bex, Sebastian Maneth, Frank Neven |
A formal model for an expressive fragment of XSLT. |
Inf. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven |
Automata, Logic, and XML. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven |
On the Power of Walking for Querying Tree-Structured Data. (PDF / PS) |
PODS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche |
Adding For-Loops to First-Order Logic. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
Automata-and Logic-Based Pattern Languages for Tree-Structured Data. |
Semantics in Databases |
2001 |
DBLP DOI BibTeX RDF |
XML, logic, automata, formal languages, attribute grammars, query evaluation |
| 1 | Frank Neven, Thomas Schwentick, Victor Vianu |
Towards Regular Languages over Infinite Alphabets. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu |
Typechecking XML Views of Relational Databases. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu |
XML with Data Values: Typechecking Revisited. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
On the Power of Tree-Walking Automata. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
Expressive and Efficient Pattern Languages for Tree-Structured Data. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Sebastian Maneth, Frank Neven |
A Formal Model for an Expressive Fragment of XSLT. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen |
Typed Query Languages for Databases Containing Queries. |
Inf. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche |
Adding For-Loops to First-Order Logic. |
ICDT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven |
Extensions of Attribute Grammars for Structured Document Queries. |
DBPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth, Frank Neven |
Structured Document Transformations Based on XSL. |
DBPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
Automata for Unary Queries on Trees. |
Grundlagen von Datenbanken |
1999 |
DBLP BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
Query Automata. |
PODS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven |
Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism. |
FMLDO |
1998 |
DBLP BibTeX RDF |
|
| 1 | Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen |
Typed Query Languages for Databases Containing Queries. |
PODS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Jan Van den Bussche |
Expressiveness of Structured Document Query Languages Based on Attribute Grammars. |
PODS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Jan Van den Bussche |
On Implementing Structured Document Query Facilities on Top of a DOOD. |
DOOD |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")