Frank Neven

According to our database1, Frank Neven authored at least 126 papers between 1997 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Finite-State Map-Reduce Computation and Relational Algebra Queries.
ACM Trans. Comput. Log., 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos, 2018

Split-Correctness in Information Extraction.
CoRR, 2018

Chisel: Sculpting Tabular and Non-Tabular Data on the Web.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics.
Proceedings of the 21st International Conference on Database Theory, 2018

Satisfiability for SCULPT-Schemas for CSV-Like Data.
Proceedings of the 21st International Conference on Database Theory, 2018

2017
BonXai: Combining the Simplicity of DTD with the Expressiveness of XML Schema.
ACM Trans. Database Syst., 2017

Datalog Queries Distributing over Components.
ACM Trans. Comput. Log., 2017

Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data.
Theory Comput. Syst., 2017

Parallel-Correctness and Transferability for Conjunctive Queries.
J. ACM, 2017

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
CoRR, 2017

Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems.
Commun. ACM, 2017

2016
Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Conjecture.
ACM Trans. Database Syst., 2016

Data partitioning for single-round multi-join evaluation in massively parallel systems.
SIGMOD Record, 2016

Research Directions for Principles of Data Management (Abridged).
SIGMOD Record, 2016

Parallel Evaluation of Multi-Semi-Joins.
PVLDB, 2016

Parallel Evaluation of Multi-Semi-Joins.
CoRR, 2016

Logical Aspects of Massively Parallel and Distributed Systems.
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
Proceedings of the 19th International Conference on Database Theory, 2016

2015
Deciding Twig-definability of Node Selecting Tree Automata.
Theory Comput. Syst., 2015

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
CoRR, 2015

SCULPT: A Schema Language for Tabular Data on the Web.
Proceedings of the 24th International Conference on World Wide Web, 2015

BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema.
Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

Parallel-Correctness and Transferability for Conjunctive Queries.
Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2015.
Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

Distributed Streaming with Finite Memory.
Proceedings of the 18th International Conference on Database Theory, 2015

Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data.
Proceedings of the 18th International Conference on Database Theory, 2015

Datalog Queries Distributing over Components.
Proceedings of the 18th International Conference on Database Theory, 2015

Gumbo: Guarded Fragment Queries over Big Data.
Proceedings of the 18th International Conference on Extending Database Technology, 2015

2014
Discovering XSD Keys from XML Data.
ACM Trans. Database Syst., 2014

SCULPT: A Schema Language for Tabular Data on the Web.
CoRR, 2014

Parallel-Correctness and Transferability for Conjunctive Queries.
CoRR, 2014

Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture.
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014

Remaining CALM in Declarative Networking.
Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

2013
Mining Minimal Motif Pair Sets Maximally Covering Interactions in a Protein-Protein Interaction Network.
IEEE/ACM Trans. Comput. Biology Bioinform., 2013

Making Queries Tractable on Big Data with Preprocessing.
PVLDB, 2013

Generating, Sampling and Counting Subclasses of Regular Tree Languages.
Theory Comput. Syst., 2013

Simplifying XML Schema: Single-type approximations of regular tree languages.
J. Comput. Syst. Sci., 2013

Relational transducers for declarative networking.
J. ACM, 2013

Discovering XSD keys from XML data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Definability problems for graph query languages.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012
Succinctness of the Complement and Intersection of Regular Expressions.
ACM Trans. Comput. Log., 2012

Developing and Analyzing XSDs through BonXai.
PVLDB, 2012

Deciding twig-definability of node selecting tree automata.
Proceedings of the 15th International Conference on Database Theory, 2012

2011
SLIDER: A Generic Metaheuristic for the Discovery of Correlated Motifs in Protein-Protein Interaction Networks.
IEEE/ACM Trans. Comput. Biology Bioinform., 2011

30 Years of PODS in facts and figures.
SIGMOD Record, 2011

Succinctness of pattern-based schema languages for XML.
J. Comput. Syst. Sci., 2011

The complexity of text-preserving XML transformations.
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

Relational transducers for declarative networking.
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

Generating, sampling and counting subclasses of regular tree languages.
Proceedings of the Database Theory, 2011

2010
Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data.
TWEB, 2010

Inference of concise regular expressions and DTDs.
ACM Trans. Database Syst., 2010

Optimizing the Region Algebra is PSPACE-complete.
Inf. Process. Lett., 2010

Relational transducers for declarative networking
CoRR, 2010

Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data
CoRR, 2010

Simplifying XML schema: single-type approximations of regular tree languages.
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

2009
XML Types.
Proceedings of the Encyclopedia of Database Systems, 2009

Complexity of Decision Problems for XML Schemas and Chain Regular Expressions.
SIAM J. Comput., 2009

Optimizing Schema Languages for XML: Numerical Constraints and Interleaving.
SIAM J. Comput., 2009

Simplifying XML schema: effortless handling of nondeterministic regular expressions.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

SLIDER: Mining Correlated Motifs in Protein-Protein Interaction Networks.
Proceedings of the ICDM 2009, 2009

2008
Expressiveness and complexity of XML publishing transducers.
ACM Trans. Database Syst., 2008

Scalable multi-query optimization for exploratory queries over federated scientific databases.
PVLDB, 2008

Typechecking top-down XML transformations: Fixed input or output schemas.
Inf. Comput., 2008

Succinctness of the Complement and Intersection of Regular Expressions
CoRR, 2008

Learning deterministic regular expressions for the inference of schemas from XML data.
Proceedings of the 17th International Conference on World Wide Web, 2008

Succinctness of the Complement and Intersection of Regular Expressions.
Proceedings of the STACS 2008, 2008

SchemaScope: a system for inferring and cleaning XML schemas.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Complexity and composition of synthesized web services.
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

BioScout: a life-science query monitoring system.
Proceedings of the EDBT 2008, 2008

Deterministic top-down tree automata: past, present, and future.
Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

2007
Logical definability and query languages over ranked and unranked trees.
ACM Trans. Comput. Log., 2007

Simple off the shelf abstractions for XML schema.
SIGMOD Record, 2007

Frontiers of tractability for typechecking simple XML transformations.
J. Comput. Syst. Sci., 2007

Inferring XML Schema Definitions from XML Data.
Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Expressiveness and complexity of xml publishing transducers.
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

Optimizing Schema Languages for XML: Numerical Constraints and Interleaving.
Proceedings of the Database Theory, 2007

Succinctness of Pattern-Based Schema Languages for XML.
Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006
Expressiveness and complexity of XML Schema.
ACM Trans. Database Syst., 2006

On the complexity of XPath containment in the presence of disjunction, DTDs, and variables.
Logical Methods in Computer Science, 2006

On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas
CoRR, 2006

On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
CoRR, 2006

Inference of Concise DTDs from XML Data.
Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

Optimizing Monitoring Queries over Distributed Data.
Proceedings of the Advances in Database Technology, 2006

An Extensible Light-Weight XML-Based Monitoring System for Sequence Databases.
Proceedings of the Data Integration in the Life Sciences, Third International Workshop, 2006

2005
On the complexity of typechecking top-down XML transformations.
Theor. Comput. Sci., 2005

Attribute grammars for unranked trees as a query language for structured documents.
J. Comput. Syst. Sci., 2005

Expressiveness of XSDs: from practice to theory, there and back again.
Proceedings of the 14th international conference on World Wide Web, 2005

Which XML Schemas Admit 1-Pass Preorder Typing?
Proceedings of the Database Theory, 2005

05061 Summary - Foundations of Semi-structured Data.
Proceedings of the Foundations of Semistructured Data, 6.-11. February 2005, 2005

05061 Abstracts Collection - Foundations of Semistructured Data.
Proceedings of the Foundations of Semistructured Data, 6.-11. February 2005, 2005

2004
Finite state machines for strings over infinite alphabets.
ACM Trans. Comput. Log., 2004

DTDs versus XML Schema: A Practical Study.
Proceedings of the Seventh International Workshop on the Web and Databases, 2004

Frontiers of Tractability for Typechecking Simple XML Transformations.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Complexity of Decision Problems for Simple Regular Expressions.
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003
Typechecking XML views of relational databases.
ACM Trans. Comput. Log., 2003

Reminiscences on Influential Papers.
SIGMOD Record, 2003

XML with data values: typechecking revisited.
J. Comput. Syst. Sci., 2003

On the power of tree-walking automata.
Inf. Comput., 2003

Logical Definability and Query Languages over Unranked Trees.
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

XPath Containment in the Presence of Disjunction, DTDs, and Variables.
Proceedings of the Database Theory, 2003

Typechecking Top-Down Uniform Unranked Tree Transducers.
Proceedings of the Database Theory, 2003

2002
Query automata over finite trees.
Theor. Comput. Sci., 2002

Automata Theory for XML Researchers.
SIGMOD Record, 2002

Expressiveness of structured document query languages based on attribute grammars.
J. ACM, 2002

A formal model for an expressive fragment of XSLT.
Inf. Syst., 2002

On the Power of Walking for Querying Tree-Structured Data.
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Automata, Logic, and XML.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001
Adding For-Loops to First-Order Logic.
Inf. Comput., 2001

Automata-and Logic-Based Pattern Languages for Tree-Structured Data.
Proceedings of the Semantics in Databases, 2001

XML with Data Values: Typechecking Revisited.
Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001

Towards Regular Languages over Infinite Alphabets.
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

Typechecking XML Views of Relational Databases.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000
Expressive and Efficient Pattern Languages for Tree-Structured Data.
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

On the Power of Tree-Walking Automata.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

A Formal Model for an Expressive Fragment of XSLT.
Proceedings of the Computational Logic, 2000

1999
Typed Query Languages for Databases Containing Queries.
Inf. Syst., 1999

Query Automata.
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

Adding For-Loops to First-Order Logic.
Proceedings of the Database Theory, 1999

Automata for Unary Queries on Trees.
Grundlagen von Datenbanken, 1999

Extensions of Attribute Grammars for Structured Document Queries.
Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

Structured Document Transformations Based on XSL.
Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

1998
Typed Query Languages for Databases Containing Queries.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Expressiveness of Structured Document Query Languages Based on Attribute Grammars.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism.
Proceedings of the Fundamentals of Information Systems, 1998

1997
On Implementing Structured Document Query Facilities on Top of a DOOD.
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997


  Loading...