Frank Neven - RankMe

167 papers A* 33A 19B 7C 1Journal 84Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Poisson Sampling over Acyclic Joins. CoRR Liese Bekkers, Frank Neven, Lorrens Pantelis, Stijn Vansummeren
2025	J	`jnl`	Allocating Isolation Levels to Transactions in a Multiversion Setting. ACM Trans. Database Syst. Brecht Vandevoort, Bas Ketsman, Frank Neven
2025	J	`jnl`	Instance-Optimal Acyclic Join Processing Without Regret: Engineering the Yannakakis Algorithm in Column Stores. Proc. VLDB Endow. Liese Bekkers, Frank Neven, Stijn Vansummeren, Yisu Remy Wang
2025	—	`conf`	LLM-Matcher: A Name-Based Schema Matching Tool using Large Language Models. SIGMOD Conference Companion Marcel Parciak, Brecht Vandevoort, Frank Neven, Liesbet M. Peeters, Stijn Vansummeren
2025	J	`jnl`	Measuring approximate functional dependencies: a comparative study. VLDB J. Marcel Parciak, Sebastiaan Weytjens, Niel Hens, Frank Neven, Liesbet M. Peeters, Stijn Vansummeren
2025	J	`jnl`	Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics. ACM Trans. Comput. Log. Bas Ketsman, Frank Neven, Brecht Vandevoort
2025	J	`jnl`	Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs. CoRR Brecht Vandevoort, Alan D. Fekete, Bas Ketsman, Frank Neven, Stijn Vansummeren
2025	J	`jnl`	Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs. Proc. VLDB Endow. Brecht Vandevoort, Alan D. Fekete, Bas Ketsman, Frank Neven, Stijn Vansummeren
2024	J	`jnl`	Allocating Isolation Levels to Transactions in a Multiversion Setting. SIGMOD Rec. Brecht Vandevoort, Bas Ketsman, Frank Neven
2024	J	`jnl`	Instance-Optimal Acyclic Join Processing Without Regret: Engineering the Yannakakis Algorithm in Column Stores. CoRR Liese Bekkers, Frank Neven, Stijn Vansummeren, Yisu Remy Wang
2024	A*	`conf`	Measuring Approximate Functional Dependencies: A Comparative Study. ICDE Marcel Parciak, Sebastiaan Weytjens, Niel Hens, Frank Neven, Liesbet M. Peeters, Stijn Vansummeren
2024	—	`conf`	Schema Matching with Large Language Models: an Experimental Study. VLDB Workshops Marcel Parciak, Brecht Vandevoort, Frank Neven, Liesbet M. Peeters, Stijn Vansummeren
2024	J	`jnl`	Schema Matching with Large Language Models: an Experimental Study. CoRR Marcel Parciak, Brecht Vandevoort, Frank Neven, Liesbet M. Peeters, Stijn Vansummeren
2024	J	`jnl`	When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control. CoRR Brecht Vandevoort, Bas Ketsman, Frank Neven
2024	J	`jnl`	When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control. Proc. ACM Manag. Data Brecht Vandevoort, Bas Ketsman, Frank Neven
2023	A*	`conf`	Allocating Isolation Levels to Transactions in a Multiversion Setting. PODS Brecht Vandevoort, Bas Ketsman, Frank Neven
2023	J	`jnl`	CM-Explorer: Dissecting Data Ingestion Problems. Proc. VLDB Endow. Niels Bylois, Frank Neven, Stijn Vansummeren
2023	C	`conf`	Data Ingestion Validation through Stable Conditional Metrics with Ranking and Filtering. ADBIS Niels Bylois, Frank Neven, Stijn Vansummeren
2023	B	`conf`	Detecting Robustness against MVRC for Transaction Programs with Predicate Reads. EDBT Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2023	J	`jnl`	Detecting Robustness against MVRC for Transaction Programs with Predicate Reads. CoRR Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2023	J	`jnl`	Measuring Approximate Functional Dependencies: a Comparative Study. CoRR Marcel Parciak, Sebastiaan Weytjens, Niel Hens, Frank Neven, Liesbet M. Peeters, Stijn Vansummeren
2023	J	`jnl`	Robustness against Read Committed for Transaction Templates with Functional Constraints. Log. Methods Comput. Sci. Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2023	A*	`conf`	The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2023. PODS Marcelo Arenas, Wenfei Fan, Frank Neven
2023	J	`jnl`	When is it safe to run a transactional workload under Read Committed? SIGMOD Rec. Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2022	J	`jnl`	Concurrency control for database theorists. SIGMOD Rec. Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort
2022	J	`jnl`	Deciding Robustness for Lower SQL Isolation Levels. ACM Trans. Database Syst. Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort
2022	A	`conf`	Robustness Against Read Committed for Transaction Templates with Functional Constraints. ICDT Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2022	A*	`conf`	Robustness Against Read Committed: A Free Transactional Lunch. PODS Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2022	J	`jnl`	Robustness against Read Committed for Transaction Templates with Functional Constraints. CoRR Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2021	J	`jnl`	Robustness against Read Committed for Transaction Templates. CoRR Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2021	J	`jnl`	Robustness against Read Committed for Transaction Templates. Proc. VLDB Endow. Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2020	A*	`conf`	Deciding Robustness for Lower SQL Isolation Levels. PODS Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort
2020	A	`conf`	Distribution Constraints: The Chase for Distributed Data. ICDT Gaetano Geck, Frank Neven, Thomas Schwentick
2020	J	`jnl`	Distribution Constraints: The Chase for Distributed Data. CoRR Gaetano Geck, Frank Neven, Thomas Schwentick
2019	J	`jnl`	Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. ACM Trans. Comput. Log. Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2019	A	`conf`	Parallel-Correctness and Parallel-Boundedness for Datalog Programs. ICDT Frank Neven, Thomas Schwentick, Christopher Spinrath, Brecht Vandevoort
2019	A*	`conf`	Split-Correctness in Information Extraction. PODS Johannes Doleschal, Benny Kimelfeld, Wim Martens, Yoav Nahshon, Frank Neven
2018	—	`conf`	Chisel: Sculpting Tabular and Non-Tabular Data on the Web. WWW (Companion Volume) Johannes Doleschal, Nico Höllerich, Wim Martens, Frank Neven
2018	J	`jnl`	Finite-State Map-Reduce Computation and Relational Algebra Queries. ACM Trans. Comput. Log. Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan
2018	A	`conf`	Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics. ICDT Bas Ketsman, Frank Neven, Brecht Vandevoort
2018	J	`jnl`	Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 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
2018	A	`conf`	Satisfiability for SCULPT-Schemas for CSV-Like Data. ICDT Johannes Doleschal, Wim Martens, Frank Neven, Adam Witkowski
2018	J	`jnl`	Split-Correctness in Information Extraction. CoRR Johannes Doleschal, Benny Kimelfeld, Wim Martens, Yoav Nahshon, Frank Neven
2018	—	`ch.`	XML Types. Encyclopedia of Database Systems (2nd ed.) Frank Neven
2017	J	`jnl`	BonXai: Combining the Simplicity of DTD with the Expressiveness of XML Schema. ACM Trans. Database Syst. Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick
2017	J	`jnl`	Datalog Queries Distributing over Components. ACM Trans. Comput. Log. Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
2017	J	`jnl`	Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data. Theory Comput. Syst. Bas Ketsman, Frank Neven
2017	J	`jnl`	Parallel-Correctness and Transferability for Conjunctive Queries. J. ACM Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2017	J	`jnl`	Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems. Commun. ACM Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2017	J	`jnl`	Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR 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
2016	J	`jnl`	Data partitioning for single-round multi-join evaluation in massively parallel systems. SIGMOD Rec. Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2016	A*	`conf`	Logical Aspects of Massively Parallel and Distributed Systems. PODS Frank Neven
2016	J	`jnl`	Parallel Evaluation of Multi-Semi-Joins. CoRR Jonny Daenen, Frank Neven, Tony Tan, Stijn Vansummeren
2016	J	`jnl`	Parallel Evaluation of Multi-Semi-Joins. Proc. VLDB Endow. Jonny Daenen, Frank Neven, Tony Tan, Stijn Vansummeren
2016	A	`conf`	Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. ICDT Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2016	J	`jnl`	Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 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
2016	J	`jnl`	Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Conjecture. ACM Trans. Database Syst. Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
2015	A*	`conf`	BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema. PODS Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick
2015	A	`conf`	Datalog Queries Distributing over Components. ICDT Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
2015	J	`jnl`	Deciding Twig-definability of Node Selecting Tree Automata. Theory Comput. Syst. Timos Antonopoulos, Dag Hovland, Wim Martens, Frank Neven
2015	A	`conf`	Distributed Streaming with Finite Memory. ICDT Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan
2015	B	`conf`	Gumbo: Guarded Fragment Queries over Big Data. EDBT Jonny Daenen, Frank Neven, Tony Tan
2015	A	`conf`	Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data. ICDT Bas Ketsman, Frank Neven
2015	J	`jnl`	Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. CoRR Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2015	A*	`conf`	Parallel-Correctness and Transferability for Conjunctive Queries. PODS Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2015	A*	`conf`	SCULPT: A Schema Language for Tabular Data on the Web. WWW Wim Martens, Frank Neven, Stijn Vansummeren
2015	A*	`conf`	The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2015. PODS Foto N. Afrati, Frank Neven, Dan Suciu
2014	J	`jnl`	Discovering XSD Keys from XML Data. ACM Trans. Database Syst. Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren
2014	J	`jnl`	Parallel-Correctness and Transferability for Conjunctive Queries. CoRR Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2014	A	`conf`	Remaining CALM in Declarative Networking. ICDT Frank Neven
2014	J	`jnl`	SCULPT: A Schema Language for Tabular Data on the Web. CoRR Wim Martens, Frank Neven, Stijn Vansummeren
2014	A*	`conf`	Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture. PODS Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
2013	A	`conf`	Definability problems for graph query languages. ICDT Timos Antonopoulos, Frank Neven, Frédéric Servais
2013	—	`conf`	Discovering XSD keys from XML data. SIGMOD Conference Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren
2013	J	`jnl`	Generating, Sampling and Counting Subclasses of Regular Tree Languages. Theory Comput. Syst. Timos Antonopoulos, Floris Geerts, Wim Martens, Frank Neven
2013	J	`jnl`	Making Queries Tractable on Big Data with Preprocessing. Proc. VLDB Endow. Wenfei Fan, Floris Geerts, Frank Neven
2013	J	`jnl`	Mining Minimal Motif Pair Sets Maximally Covering Interactions in a Protein-Protein Interaction Network. IEEE ACM Trans. Comput. Biol. Bioinform. Peter Boyen, Frank Neven, Dries Van Dyck, Felipe L. Valentim, Aalt D. J. van Dijk
2013	J	`jnl`	Relational transducers for declarative networking. J. ACM Tom J. Ameloot, Frank Neven, Jan Van den Bussche
2013	J	`jnl`	Simplifying XML Schema: Single-type approximations of regular tree languages. J. Comput. Syst. Sci. Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven, Jan Paredaens
2012	A	`conf`	Deciding twig-definability of node selecting tree automata. ICDT Timos Antonopoulos, Dag Hovland, Wim Martens, Frank Neven
2012	J	`jnl`	Developing and Analyzing XSDs through BonXai. Proc. VLDB Endow. Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick
2012	J	`jnl`	Succinctness of the Complement and Intersection of Regular Expressions. ACM Trans. Comput. Log. Wouter Gelade, Frank Neven
2011	J	`jnl`	30 Years of PODS in facts and figures. SIGMOD Rec. Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees
2011	A	`conf`	Generating, sampling and counting subclasses of regular tree languages. ICDT Timos Antonopoulos, Floris Geerts, Wim Martens, Frank Neven
2011	A*	`conf`	Relational transducers for declarative networking. PODS Tom J. Ameloot, Frank Neven, Jan Van den Bussche
2011	J	`jnl`	SLIDER: A Generic Metaheuristic for the Discovery of Correlated Motifs in Protein-Protein Interaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Peter Boyen, Dries Van Dyck, Frank Neven, Roeland C. H. J. van Ham, Aalt D. J. van Dijk
2011	J	`jnl`	Succinctness of pattern-based schema languages for XML. J. Comput. Syst. Sci. Wouter Gelade, Frank Neven
2011	A*	`conf`	The complexity of text-preserving XML transformations. PODS Timos Antonopoulos, Wim Martens, Frank Neven
2010	J	`jnl`	Inference of concise regular expressions and DTDs. ACM Trans. Database Syst. Geert Jan Bex, Frank Neven, Thomas Schwentick, Stijn Vansummeren
2010	J	`jnl`	Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data CoRR Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren
2010	J	`jnl`	Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data. ACM Trans. Web Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren
2010	J	`jnl`	Optimizing the Region Algebra is PSPACE-complete. Inf. Process. Lett. Wouter Gelade, Frank Neven
2010	J	`jnl`	Relational transducers for declarative networking CoRR Tom J. Ameloot, Frank Neven, Jan Van den Bussche
2010	A*	`conf`	Simplifying XML schema: single-type approximations of regular tree languages. PODS Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven
2009	J	`jnl`	Complexity of Decision Problems for XML Schemas and Chain Regular Expressions. SIAM J. Comput. Wim Martens, Frank Neven, Thomas Schwentick
2009	J	`jnl`	Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. SIAM J. Comput. Wouter Gelade, Wim Martens, Frank Neven
2009	A*	`conf`	SLIDER: Mining Correlated Motifs in Protein-Protein Interaction Networks. ICDM Peter Boyen, Frank Neven, Dries Van Dyck, Aalt D. J. van Dijk, Roeland C. H. J. van Ham
2009	—	`conf`	Simplifying XML schema: effortless handling of nondeterministic regular expressions. SIGMOD Conference Geert Jan Bex, Wouter Gelade, Wim Martens, Frank Neven
2009	—	`ch.`	XML Types. Encyclopedia of Database Systems Frank Neven
2008	B	`conf`	BioScout: a life-science query monitoring system. EDBT Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen
2008	A*	`conf`	Complexity and composition of synthesized web services. PODS Wenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, Antonella Poggi
2008	—	`conf`	Deterministic top-down tree automata: past, present, and future. Logic and Automata Wim Martens, Frank Neven, Thomas Schwentick
2008	J	`jnl`	Expressiveness and complexity of XML publishing transducers. ACM Trans. Database Syst. Wenfei Fan, Floris Geerts, Frank Neven
2008	A*	`conf`	Learning deterministic regular expressions for the inference of schemas from XML data. WWW Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren
2008	J	`jnl`	Scalable multi-query optimization for exploratory queries over federated scientific databases. Proc. VLDB Endow. Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen, Stijn Vansummeren
2008	—	`conf`	SchemaScope: a system for inferring and cleaning XML schemas. SIGMOD Conference Geert Jan Bex, Frank Neven, Stijn Vansummeren
2008	J	`jnl`	Succinctness of the Complement and Intersection of Regular Expressions CoRR Wouter Gelade, Frank Neven
2008	A	`conf`	Succinctness of the Complement and Intersection of Regular Expressions. STACS Wouter Gelade, Frank Neven
2008	J	`jnl`	Typechecking top-down XML transformations: Fixed input or output schemas. Inf. Comput. Wim Martens, Frank Neven, Marc Gyssens
2007	A*	`conf`	Expressiveness and complexity of xml publishing transducers. PODS Wenfei Fan, Floris Geerts, Frank Neven
2007	J	`jnl`	Frontiers of tractability for typechecking simple XML transformations. J. Comput. Syst. Sci. Wim Martens, Frank Neven
2007	A*	`conf`	Inferring XML Schema Definitions from XML Data. VLDB Geert Jan Bex, Frank Neven, Stijn Vansummeren
2007	J	`jnl`	Logical definability and query languages over ranked and unranked trees. ACM Trans. Comput. Log. Michael Benedikt, Leonid Libkin, Frank Neven
2007	A	`conf`	Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. ICDT Wouter Gelade, Wim Martens, Frank Neven
2007	J	`jnl`	Simple off the shelf abstractions for XML schema. SIGMOD Rec. Wim Martens, Frank Neven, Thomas Schwentick
2007	—	`conf`	Succinctness of Pattern-Based Schema Languages for XML. DBPL Wouter Gelade, Frank Neven
2006	—	`conf`	An Extensible Light-Weight XML-Based Monitoring System for Sequence Databases. DILS Dieter Van de Craen, Frank Neven, Kerstin Koch
2006	J	`jnl`	Expressiveness and complexity of XML Schema. ACM Trans. Database Syst. Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex
2006	A*	`conf`	Inference of Concise DTDs from XML Data. VLDB Geert Jan Bex, Frank Neven, Thomas Schwentick, Karl Tuyls
2006	J	`jnl`	On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas CoRR Wim Martens, Frank Neven, Marc Gyssens
2006	J	`jnl`	On the complexity of XPath containment in the presence of disjunction, DTDs, and variables CoRR Frank Neven, Thomas Schwentick
2006	J	`jnl`	On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Log. Methods Comput. Sci. Frank Neven, Thomas Schwentick
2006	B	`conf`	Optimizing Monitoring Queries over Distributed Data. EDBT Frank Neven, Dieter Van de Craen
2005	—	`conf`	05061 Abstracts Collection - Foundations of Semistructured Data. Foundations of Semistructured Data Frank Neven, Thomas Schwentick, Dan Suciu
2005	—	`conf`	05061 Summary - Foundations of Semi-structured Data. Foundations of Semistructured Data Frank Neven, Thomas Schwentick, Dan Suciu
2005	J	`jnl`	Attribute grammars for unranked trees as a query language for structured documents. J. Comput. Syst. Sci. Frank Neven
2005	A*	`conf`	Expressiveness of XSDs: from practice to theory, there and back again. WWW Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick
2005	—	`ed.`	Foundations of Semistructured Data, 6.-11. February 2005 Foundations of Semistructured Data Frank Neven, Thomas Schwentick, Dan Suciu
2005	J	`jnl`	On the complexity of typechecking top-down XML transformations. Theor. Comput. Sci. Wim Martens, Frank Neven
2005	—	`ed.`	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 AnHai Doan, Frank Neven, Robert McCann, Geert Jan Bex
2005	A	`conf`	Which XML Schemas Admit 1-Pass Preorder Typing? ICDT Wim Martens, Frank Neven, Thomas Schwentick
2004	B	`conf`	Complexity of Decision Problems for Simple Regular Expressions. MFCS Wim Martens, Frank Neven, Thomas Schwentick
2004	—	`conf`	DTDs versus XML Schema: A Practical Study. WebDB Geert Jan Bex, Frank Neven, Jan Van den Bussche
2004	J	`jnl`	Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Log. Frank Neven, Thomas Schwentick, Victor Vianu
2004	A*	`conf`	Frontiers of Tractability for Typechecking Simple XML Transformations. PODS Wim Martens, Frank Neven
2003	A*	`conf`	Logical Definability and Query Languages over Unranked Trees. LICS Leonid Libkin, Frank Neven
2003	J	`jnl`	On the power of tree-walking automata. Inf. Comput. Frank Neven, Thomas Schwentick
2003	A*	`ed.`	Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA Frank Neven, Catriel Beeri, Tova Milo
2003	J	`jnl`	Reminiscences on Influential Papers. SIGMOD Rec. Kenneth A. Ross, Frank Neven, Beng Chin Ooi
2003	A	`conf`	Typechecking Top-Down Uniform Unranked Tree Transducers. ICDT Wim Martens, Frank Neven
2003	J	`jnl`	Typechecking XML views of relational databases. ACM Trans. Comput. Log. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
2003	J	`jnl`	XML with data values: typechecking revisited. J. Comput. Syst. Sci. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
2003	A	`conf`	XPath Containment in the Presence of Disjunction, DTDs, and Variables. ICDT Frank Neven, Thomas Schwentick
2002	J	`jnl`	A formal model for an expressive fragment of XSLT. Inf. Syst. Geert Jan Bex, Sebastian Maneth, Frank Neven
2002	J	`jnl`	Automata Theory for XML Researchers. SIGMOD Rec. Frank Neven
2002	B	`conf`	Automata, Logic, and XML. CSL Frank Neven
2002	J	`jnl`	Expressiveness of structured document query languages based on attribute grammars. J. ACM Frank Neven, Jan Van den Bussche
2002	A*	`conf`	On the Power of Walking for Querying Tree-Structured Data. PODS Frank Neven
2002	J	`jnl`	Query automata over finite trees. Theor. Comput. Sci. Frank Neven, Thomas Schwentick
2001	J	`jnl`	Adding For-Loops to First-Order Logic. Inf. Comput. Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
2001	—	`conf`	Automata-and Logic-Based Pattern Languages for Tree-Structured Data. Semantics in Databases Frank Neven, Thomas Schwentick
2001	B	`conf`	Towards Regular Languages over Infinite Alphabets. MFCS Frank Neven, Thomas Schwentick, Victor Vianu
2001	A*	`conf`	Typechecking XML Views of Relational Databases. LICS Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
2001	A*	`conf`	XML with Data Values: Typechecking Revisited. PODS Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
2000	—	`conf`	A Formal Model for an Expressive Fragment of XSLT. Computational Logic Geert Jan Bex, Sebastian Maneth, Frank Neven
2000	A*	`conf`	Expressive and Efficient Pattern Languages for Tree-Structured Data. PODS Frank Neven, Thomas Schwentick
2000	A*	`conf`	On the Power of Tree-Walking Automata. ICALP Frank Neven, Thomas Schwentick
1999	A	`conf`	Adding For-Loops to First-Order Logic. ICDT Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
1999	—	`conf`	Automata for Unary Queries on Trees. Grundlagen von Datenbanken Frank Neven, Thomas Schwentick
1999	—	`conf`	Extensions of Attribute Grammars for Structured Document Queries. DBPL Frank Neven
1999	A*	`conf`	Query Automata. PODS Frank Neven, Thomas Schwentick
1999	—	`conf`	Structured Document Transformations Based on XSL. DBPL Sebastian Maneth, Frank Neven
1999	J	`jnl`	Typed Query Languages for Databases Containing Queries. Inf. Syst. Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen
1998	A*	`conf`	Expressiveness of Structured Document Query Languages Based on Attribute Grammars. PODS Frank Neven, Jan Van den Bussche
1998	—	`conf`	Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism. FMLDO Frank Neven
1998	A*	`conf`	Typed Query Languages for Databases Containing Queries. PODS Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen
1997	—	`conf`	On Implementing Structured Document Query Facilities on Top of a DOOD. DOOD Frank Neven, Jan Van den Bussche