Frank Neven

ORCID

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 51

Top Venues

Publications

Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
Detecting Robustness against MVRC for Transaction Programs with Predicate Reads. EDBT (2023)
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
Detecting Robustness against MVRC for Transaction Programs with Predicate Reads. CoRR (2023)
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
Robustness against Read Committed for Transaction Templates with Functional Constraints. Log. Methods Comput. Sci. 19 (4) (2023)
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
When is it safe to run a transactional workload under Read Committed? SIGMOD Rec. 52 (1) (2023)
Marcel Parciak, Sebastiaan Weytjens, Niel Hens, Frank Neven, Liesbet M. Peeters, Stijn Vansummeren
Measuring Approximate Functional Dependencies: a Comparative Study. CoRR (2023)
Brecht Vandevoort, Bas Ketsman, Frank Neven
Allocating Isolation Levels to Transactions in a Multiversion Setting. PODS (2023)
Niels Bylois, Frank Neven, Stijn Vansummeren
Data Ingestion Validation through Stable Conditional Metrics with Ranking and Filtering. ADBIS (2023)
Marcelo Arenas, Wenfei Fan, Frank Neven
The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2023. PODS (2023)
Niels Bylois, Frank Neven, Stijn Vansummeren
CM-Explorer: Dissecting Data Ingestion Problems. Proc. VLDB Endow. 16 (12) (2023)
Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort
Concurrency control for database theorists. SIGMOD Rec. 51 (4) (2022)
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
Robustness Against Read Committed: A Free Transactional Lunch. PODS (2022)
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
Robustness Against Read Committed for Transaction Templates with Functional Constraints. ICDT (2022)
Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort
Deciding Robustness for Lower SQL Isolation Levels. ACM Trans. Database Syst. 47 (4) (2022)
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
Robustness against Read Committed for Transaction Templates with Functional Constraints. CoRR (2022)
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
Robustness against Read Committed for Transaction Templates. Proc. VLDB Endow. 14 (11) (2021)
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
Robustness against Read Committed for Transaction Templates. CoRR (2021)
Gaetano Geck, Frank Neven, Thomas Schwentick
Distribution Constraints: The Chase for Distributed Data. CoRR (2020)
Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort
Deciding Robustness for Lower SQL Isolation Levels. PODS (2020)
Gaetano Geck, Frank Neven, Thomas Schwentick
Distribution Constraints: The Chase for Distributed Data. ICDT (2020)
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. ACM Trans. Comput. Log. 20 (3) (2019)
Johannes Doleschal, Benny Kimelfeld, Wim Martens, Yoav Nahshon, Frank Neven
Split-Correctness in Information Extraction. PODS (2019)
Frank Neven, Thomas Schwentick, Christopher Spinrath, Brecht Vandevoort
Parallel-Correctness and Parallel-Boundedness for Datalog Programs. ICDT (2019)
Bas Ketsman, Frank Neven, Brecht Vandevoort
Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics. ICDT (2018)
Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan
Finite-State Map-Reduce Computation and Relational Algebra Queries. ACM Trans. Comput. Log. 19 (2) (2018)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7 (1) (2018)
Johannes Doleschal, Nico Höllerich, Wim Martens, Frank Neven
Chisel: Sculpting Tabular and Non-Tabular Data on the Web. WWW (Companion Volume) (2018)
Johannes Doleschal, Benny Kimelfeld, Wim Martens, Yoav Nahshon, Frank Neven
Split-Correctness in Information Extraction. CoRR (2018)
Johannes Doleschal, Wim Martens, Frank Neven, Adam Witkowski
Satisfiability for SCULPT-Schemas for CSV-Like Data. ICDT (2018)
Bas Ketsman, Frank Neven
Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data. Theory Comput. Syst. 61 (1) (2017)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR (2017)
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
Datalog Queries Distributing over Components. ACM Trans. Comput. Log. 18 (1) (2017)
Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick
BonXai: Combining the Simplicity of DTD with the Expressiveness of XML Schema. ACM Trans. Database Syst. 42 (3) (2017)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems. Commun. ACM 60 (3) (2017)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Transferability for Conjunctive Queries. J. ACM 64 (5) (2017)
Jonny Daenen, Frank Neven, Tony Tan, Stijn Vansummeren
Parallel Evaluation of Multi-Semi-Joins. Proc. VLDB Endow. 9 (10) (2016)
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. ICDT (2016)
Jonny Daenen, Frank Neven, Tony Tan, Stijn Vansummeren
Parallel Evaluation of Multi-Semi-Joins. CoRR (2016)
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Conjecture. ACM Trans. Database Syst. 40 (4) (2016)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Data partitioning for single-round multi-join evaluation in massively parallel systems. SIGMOD Rec. 45 (1) (2016)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45 (4) (2016)
Frank Neven
Logical Aspects of Massively Parallel and Distributed Systems. PODS (2016)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Transferability for Conjunctive Queries. PODS (2015)
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. CoRR (2015)
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
Datalog Queries Distributing over Components. ICDT (2015)
Bas Ketsman, Frank Neven
Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data. ICDT (2015)
Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan
Distributed Streaming with Finite Memory. ICDT (2015)
Wim Martens, Frank Neven, Stijn Vansummeren
SCULPT: A Schema Language for Tabular Data on the Web. WWW (2015)
Timos Antonopoulos, Dag Hovland, Wim Martens, Frank Neven
Deciding Twig-definability of Node Selecting Tree Automata. Theory Comput. Syst. 57 (4) (2015)
Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick
BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema. PODS (2015)
Jonny Daenen, Frank Neven, Tony Tan
Gumbo: Guarded Fragment Queries over Big Data. EDBT (2015)
Foto N. Afrati, Frank Neven, Dan Suciu
The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2015. PODS (2015)
Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren
Discovering XSD Keys from XML Data. ACM Trans. Database Syst. 39 (4) (2014)
Wim Martens, Frank Neven, Stijn Vansummeren
SCULPT: A Schema Language for Tabular Data on the Web. CoRR (2014)
Frank Neven
Remaining CALM in Declarative Networking. ICDT (2014)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Transferability for Conjunctive Queries. CoRR (2014)
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture. PODS (2014)
Timos Antonopoulos, Floris Geerts, Wim Martens, Frank Neven
Generating, Sampling and Counting Subclasses of Regular Tree Languages. Theory Comput. Syst. 52 (3) (2013)
Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren
Discovering XSD keys from XML data. SIGMOD Conference (2013)
Tom J. Ameloot, Frank Neven, Jan Van den Bussche
Relational transducers for declarative networking. J. ACM 60 (2) (2013)
Wenfei Fan, Floris Geerts, Frank Neven
Making Queries Tractable on Big Data with Preprocessing. Proc. VLDB Endow. 6 (9) (2013)
Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven, Jan Paredaens
Simplifying XML Schema: Single-type approximations of regular tree languages. J. Comput. Syst. Sci. 79 (6) (2013)
Peter Boyen, Frank Neven, Dries Van Dyck, Felipe L. Valentim, Aalt D. J. van Dijk
Mining Minimal Motif Pair Sets Maximally Covering Interactions in a Protein-Protein Interaction Network. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (1) (2013)
Timos Antonopoulos, Frank Neven, Frédéric Servais
Definability problems for graph query languages. ICDT (2013)
Wouter Gelade, Frank Neven
Succinctness of the Complement and Intersection of Regular Expressions. ACM Trans. Comput. Log. 13 (1) (2012)
Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick
Developing and Analyzing XSDs through BonXai. Proc. VLDB Endow. 5 (12) (2012)
Timos Antonopoulos, Dag Hovland, Wim Martens, Frank Neven
Deciding twig-definability of node selecting tree automata. ICDT (2012)
Tom J. Ameloot, Frank Neven, Jan Van den Bussche
Relational transducers for declarative networking. PODS (2011)
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. Biol. Bioinform. 8 (5) (2011)
Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees
30 Years of PODS in facts and figures. SIGMOD Rec. 40 (3) (2011)
Timos Antonopoulos, Floris Geerts, Wim Martens, Frank Neven
Generating, sampling and counting subclasses of regular tree languages. ICDT (2011)
Wouter Gelade, Frank Neven
Succinctness of pattern-based schema languages for XML. J. Comput. Syst. Sci. 77 (3) (2011)
Timos Antonopoulos, Wim Martens, Frank Neven
The complexity of text-preserving XML transformations. PODS (2011)
Wouter Gelade, Frank Neven
Optimizing the Region Algebra is PSPACE-complete. Inf. Process. Lett. 110 (16) (2010)
Tom J. Ameloot, Frank Neven, Jan Van den Bussche
Relational transducers for declarative networking CoRR (2010)
Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven
Simplifying XML schema: single-type approximations of regular tree languages. PODS (2010)
Geert Jan Bex, Frank Neven, Thomas Schwentick, Stijn Vansummeren
Inference of concise regular expressions and DTDs. ACM Trans. Database Syst. 35 (2) (2010)
Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren
Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data. ACM Trans. Web 4 (4) (2010)
Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren
Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data CoRR (2010)
Geert Jan Bex, Wouter Gelade, Wim Martens, Frank Neven
Simplifying XML schema: effortless handling of nondeterministic regular expressions. SIGMOD Conference (2009)
Peter Boyen, Frank Neven, Dries Van Dyck, Aalt D. J. van Dijk, Roeland C. H. J. van Ham
SLIDER: Mining Correlated Motifs in Protein-Protein Interaction Networks. ICDM (2009)
Wouter Gelade, Wim Martens, Frank Neven
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. SIAM J. Comput. 38 (5) (2009)
Wim Martens, Frank Neven, Thomas Schwentick
Complexity of Decision Problems for XML Schemas and Chain Regular Expressions. SIAM J. Comput. 39 (4) (2009)
Wim Martens, Frank Neven, Marc Gyssens
Typechecking top-down XML transformations: Fixed input or output schemas. Inf. Comput. 206 (7) (2008)
Wouter Gelade, Frank Neven
Succinctness of the Complement and Intersection of Regular Expressions. STACS (2008)
Wim Martens, Frank Neven, Thomas Schwentick
Deterministic top-down tree automata: past, present, and future. Logic and Automata (2008)
Wenfei Fan, Floris Geerts, Frank Neven
Expressiveness and complexity of XML publishing transducers. ACM Trans. Database Syst. 33 (4) (2008)
Geert Jan Bex, Frank Neven, Stijn Vansummeren
SchemaScope: a system for inferring and cleaning XML schemas. SIGMOD Conference (2008)
Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen, Stijn Vansummeren
Scalable multi-query optimization for exploratory queries over federated scientific databases. Proc. VLDB Endow. 1 (1) (2008)
Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren
Learning deterministic regular expressions for the inference of schemas from XML data. WWW (2008)
Wenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, Antonella Poggi
Complexity and composition of synthesized web services. PODS (2008)
Wouter Gelade, Frank Neven
Succinctness of the Complement and Intersection of Regular Expressions CoRR (2008)
Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen
BioScout: a life-science query monitoring system. EDBT (2008)
Wouter Gelade, Frank Neven
Succinctness of Pattern-Based Schema Languages for XML. DBPL (2007)
Wim Martens, Frank Neven, Thomas Schwentick
Simple off the shelf abstractions for XML schema. SIGMOD Rec. 36 (3) (2007)
Wenfei Fan, Floris Geerts, Frank Neven
Expressiveness and complexity of xml publishing transducers. PODS (2007)
Michael Benedikt, Leonid Libkin, Frank Neven
Logical definability and query languages over ranked and unranked trees. ACM Trans. Comput. Log. 8 (2) (2007)
Wouter Gelade, Wim Martens, Frank Neven
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. ICDT (2007)
Wim Martens, Frank Neven
Frontiers of tractability for typechecking simple XML transformations. J. Comput. Syst. Sci. 73 (3) (2007)
Geert Jan Bex, Frank Neven, Stijn Vansummeren
Inferring XML Schema Definitions from XML Data. VLDB (2007)
Wim Martens, Frank Neven, Marc Gyssens
On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas CoRR (2006)

Frank Neven.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frank Neven