Publications

2023

Representing Paths in Graph Database Pattern Matching. Wim Martens, Matthias Niewerth, Tina Popp, Carlos Rojas, Stijn Vansummeren, Domagoj Vrgoc. International Conference on Very Large Data Bases (VLDB 2023)	Paper
PG-Schema: Schemas for Property Graphs. Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic. International Conference on Management of Data (SIGMOD 2023)	Paper
GPC: A Pattern Calculus for Property Graphs. Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc. ACM Symposium on Principles of Database Systems (PODS 2023)	Paper
A Researcher's Digest of GQL (Invited Talk). Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc. International Conference on Database Theory (ICDT 2023).	Paper
Partial Order Multiway Search. Shangqi Lu, Wim Martens, Matthias Niewerth, and Yufei Tao. ACM Transactions on Database Systems (TODS)	Preprint
An Optimal Algorithm for Partial Order Multiway Search. Shangqi Lu, Wim Martens, Matthias Niewerth, and Yufei Tao. SIGMOD Record	Preprint
Threshold Queries. Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk SIGMOD Record	Preprint
A Trichotomy for Regular Trail Queries. Wim Martens, Matthias Niewerth, and Tina Popp. Logical Methods in Computer Science (LMCS)	Preprint
The Complexity of Aggregates over Extractions by Regular Expressions. Johannes Doleschal, Benny Kimelfeld, Wim Martens Logical Methods in Computer Science (LMCS)	Preprint

2022

Database Theory - Querying Data. Marcelo Arenas, Pablo Barcelo, Leonid Libkin, Wim Martens, Andreas Pieris. Book (in progress)	Local copy Version on Github
Evaluation and Enumeration of Regular Simple Path and Trail Queries. Tina Popp	Local copy
Graph Pattern Matching in GQL and SQL-PGQ. Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Hannes Voigt, Oskar Van Rest, Domagoj Vrgoc, Mingxi Wu, Fred Zemke. International Conference on Management of Data (SIGMOD 2022).	Paper Preprint
Threshold Queries in Theory and in the Wild. Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk International Conference on Very Large Databases (VLDB 2022).	Paper Preprint
Towards Theory for Real-World Data. Wim Martens. ACM Symposium on Principles of Database Systems (PODS 2022).	Preprint
Optimal Algorithms for Multiway Search on Partial Orders. Shangqi Lu, Wim Martens, Matthias Niewerth, and Yufei Tao. ACM Symposium on Principles of Database Systems (PODS 2022).	Preprint
The Complexity of Regular Trail and Simple Path Queries on Undirected Graphs. Wim Martens and Tina Popp. ACM Symposium on Principles of Database Systems (PODS 2022).	Preprint
Weight Annotation in Information Extraction. Johannes Doleschal, Benny Kimelfeld, Wim Martens and Liat Peterfreund. Logical Methods in Computer Science (LMCS), to appear.	Preprint

2021

PG-Keys: Keys for Property Graphs. Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Keith W. Hare, Jan Hidders, Victor E. Lee, Bei Li, Leonid Libkin, Wim Martens, Filip Murlak, Josh Perryman, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk. International Conference on Management of Data (SIGMOD 2021).	Paper Preprint
The Complexity of Aggregates over Extractions by Regular Expressions. Johannes Doleschal, Noa Bratman, Benny Kimelfeld, and Wim Martens. International Conference on Database Theory (ICDT 2021).	Paper
The Future is Big Graphs! A Community View on Graph Processing Systems. Sherif Sakr, Angela Bonifati, Hannes Voigt, Alexandru Iosup, Khaled Ammar, Renzo Angles, Walid G. Aref, Marcelo Arenas, Maciej Besta, Peter A. Boncz, Khuzaima Daudjee, Emanuele Della Valle, Stefania Dumbrava, Olaf Hartig, Bernhard Haslhofer, Tim Hegeman, Jan Hidders, Katja Hose, Adriana Iamnitchi, Vasiliki Kalavri, Hugo Kapp, Wim Martens, M. Tamer Özsu, Eric Peukert, Stefan Plantikow, Mohamed Ragab, Matei Ripeanu, Semih Salihoglu, Christian Schulz, Petra Selmer, Juan F. Sequeda, Joshua Shinavier, Gábor Szárnyas, Riccardo Tommasini, Antonino Tumeo, Alexandru Uta, Ana Lucia Varbanescu, Hsiang-Yun Wu, Nikolay Yakovets, Da Yan, Eiko Yoneki. Communications of the ACM, September 2021.	Preprint
Database Principles and Challenges in Text Analysis. Johannes Doleschal, Benny Kimelfeld, and Wim Martens. SIGMOD Record 50(2): 6-17.	Preprint

2020

An analytical study of large SPARQL query logs. Angela Bonifati, Wim Martens, and Thomas Timm. The VLDB Journal (VLDBJ)	Preprint Paper
Containment of Simple Conjunctive Regular Path Queries. Diego Figueira, Adwait Godbole, Shankara Narayanan Krishna, Wim Martens, Matthias Niewerth, and Tina Trautner. International Conference on Principles of Knowledge Representation and Reasoning (KR 2020).	Preprint Paper
SHARQL: Shape Analysis of Recursive SPARQL Queries. Angela Bonifati, Wim Martens, and Thomas Timm. International Conference on Management of Data (SIGMOD 2020). Demo paper.	Paper Preprint
Weight Annotation in Information Extraction. Johannes Doleschal, Benny Kimelfeld, Wim Martens, and Liat Peterfreund. International Conference on Database Theory (ICDT 2020).	Paper Preprint
A Trichotomy for Regular Trail Queries. Wim Martens, Matthias Niewerth, and Tina Trautner, International Symposium on Theoretical Aspects of Computer Science (STACS 2020).	Paper Preprint
Formal Languages in Information Extraction and Graph Databases. Wim Martens. Conference on Computability in Europe (CiE)	Paper

2019

Bridging Theory and Practice with Query Log Analysis. Wim Martens and Tina Trautner. SIGMOD Record.	Preprint
Split-Correctness in Information Extraction. Johannes Doleschal, Benny Kimelfeld, Wim Martens, Yoav Nahshon, and Frank Neven. ACM Symposium on Principles of Database Systems (PODS 2019).	Paper Full Version Talk
Enumeration on Trees with Tractable Combined Complexity and Efficient Updates. Antoine Amarilli, Pierre Bourhis, Stefan Mengel, and Matthias Niewerth. ACM Symposium on Principles of Database Systems (PODS 2019).	Paper Full Version Talk
Navigating the Maze of Wikidata Query Logs. Angela Bonifati, Wim Martens, and Thomas Timm. The Web Conference (WWW 2019).	Paper Preprint
Constant-Delay Enumeration for Nondeterministic Document Spanners. Antoine Amarilli, Pierre Bourhis, Stefan Mengel, and Matthias Niewerth. International Conference on Database Theory (ICDT 2019).	Paper Full Version Talk
Dichotomies for Evaluating Simple Regular Path Queries. Wim Martens and Tina Trautner. ACM Transactions on Database Systems (TODS).	Paper Preprint
A Unified Framework for Frequent Sequence Mining with Subsequence Constraints. Kaustubh Beedkar, Rainer Gemulla, and Wim Martens. ACM Transactions on Database Systems (TODS).	Preprint Paper

2018

MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras. Matthias Niewerth. ACM/IEEE Symposium on Logic in Computer Science (LICS 2018).	Paper Talk
Enumeration of MSO Queries on Strings with Constant Delay and Logarithmic Updates. Matthias Niewerth and Luc Segoufin. ACM Symposium on Principles of Database Systems (PODS 2018).	Paper
Chisel: Sculpting Tabular and Non-Tabular Data on the Web. Johannes Doleschal, Nico Höllerich, Wim Martens, and Frank Neven. The Web Conference 2018 (WWW 2018). Demo paper.	Preprint Paper
DARQL: Deep Analysis of SPARQL Queries. Angela Bonifati, Wim Martens, and Thomas Timm. The Web Conference 2018 (WWW 2018). Demo paper.	Preprint Paper
Evaluation and Enumeration Problems for Regular Path Queries. Tina Trautner and Wim Martens. International Conference on Database Theory (ICDT 2018). Best paper award and SIGMOD Research Highlight Award 2019	Paper Talk
Satisfiability for SCULPT-schemas for CSV-like data. Johannes Doleschal, Wim Martens, Frank Neven, and Adam Witkowski. International Conference on Database Theory (ICDT 2018).	Paper Talk
An Analytical Study of Large SPARQL Query Logs. Angela Bonifati, Wim Martens, and Thomas Timm. International Conference on Very Large Data Bases (VLDB 2018).	Preprint Paper Talk
Minimization of Tree Patterns. Wojciech Czerwinski, Wim Martens, Matthias Niewerth, and Pawel Parys. Journal of the ACM (J. ACM).	Preprint Paper
Conjunctive Query Containment over Trees using Schema Information. Henrik Björklund, Wim Martens, and Thomas Schwentick. Acta Informatica.	Preprint Paper

2017

Optimizing Tree Pattern Queries: Why Cutting Is Not Enough. Wim Martens. ACM Symposium on Theory of Computing (STOC 2017).	Talk
A Logic for Document Spanners. Dominik D. Freydenberger. International Conference on Database Theory (ICDT 2017).	Paper
BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema. Wim Martens, Frank Neven, Matthias Niewerth, and Thomas Schwentick. ACM Transactions on Database Systems (TODS).	Preprint Paper
Optimizing Tree Patterns for Querying Graph- and Tree-Structured Data. Wojciech Czerwinski, Wim Martens, Matthias Niewerth, and Pawel Parys. SIGMOD Record, 46(1).	Preprint Paper
Deciding Definability by Deterministic Regular Expressions. Wojciech Czerwinski, Claire David, Katja Losemann, and Wim Martens. Journal of Computer and System Sciences (JCSS).	Preprint Paper
A Characterization for Decidable Separability by Piecewise Testable Languages. Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, and Georg Zetzsche. Discrete Mathematics & Theoretical Computer Science (DMTCS).	Paper

2016

Minimization of Tree Pattern Queries. Wojciech Czerwinski, Wim Martens, Matthias Niewerth, and Pawel Parys. ACM Symposium on Principles of Database Systems (PODS 2016). SIGMOD Research Highlight Award	Preprint Paper Talk
Document Spanners: From Expressive Power to Decision Problems. Dominik D. Freydenberger and Mario Holldack. International Conference on Database Theory (ICDT 2016).	Paper
Querying Graphs with Data. Leonid Libkin, Wim Martens, and Domagoj Vrgoc. Journal of the ACM (J. ACM).	Preprint Paper
Closure Properties and Descriptional Complexity of Deterministic Regular Expressions. Katja Losemann, Wim Martens, and Matthias Niewerth. Theoretical Computer Science (TCS).	Preprint Paper
Research Directions for Principles of Data Management (Abridged). 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, and Ke Yi. SIGMOD Record 45(4).	Paper Full Version

2015

Definability by Weakly Deterministic Regular Expressions with Counters is Decidable. Markus Latte and Matthias Niewerth. International Symposium on Mathematical Foundations of Computer Science (MFCS 2015).	Preprint Paper
Efficient Incremental Evaluation of Succinct Regular Expressions. Henrik Björklund, Wim Martens, and Thomas Timm. International Conference on Information and Knowledge Management (CIKM 2015).	Preprint Paper
A Note on Decidable Separability by Piecewise Testable Languages. Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, and Marc Zeitoun. International Symposium on Fundamentals of Computation Theory (FCT 2015).	Preprint Paper
SCULPT: A Schema Language for Tabular Data on the Web. Wim Martens, Frank Neven, and Stijn Vansummeren. International World Wide Web Conference (WWW 2015).	Preprint Paper Talk
BonXai: Combining the Simplicity of DTDs with the Expressiveness of XML Schema. Wim Martens, Frank Neven, Matthias Niewerth, and Thomas Schwentick. ACM Symposium on Principles of Database Systems (PODS 2015).	Preprint Paper
The (Almost) Complete Guide to Tree Pattern Containment. Wojciech Czerwiński, Wim Martens, Paweł Parys, and Marcin Przybyłko. ACM Symposium on Principles of Database Systems (PODS 2015).	Preprint Paper
Separability by Short Subsequences and Subwords. Piotr Hofman and Wim Martens. International Conference on Database Theory (ICDT 2015).	Paper Talk
Deciding Twig-Definability of Node-Selecting Tree Automata. Timos Antonopoulos, Dag Hovland, Wim Martens, and Frank Neven. Theory on Computing Systems (TOCS).	Preprint Paper
3. Dagstuhl-Erklärung zur Informatischen Bildung in der Schule Informatik Spektrum 38(3), 244-245.	Preprint Paper

2014

Infinite-State Energy Games. Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, and Patrick Totzke. Joint Meeting of Computer Science Logic and Logic in Computer Science (CSL/LICS 2014).	Paper
MSO Queries on Trees: Enumerating Answers Under Updates. Katja Losemann and Wim Martens. Joint Meeting of Computer Science Logic and Logic in Computer Science (CSL/LICS 2014).	Preprint Paper
Reasoning about XML Constraints based on XML-to-relational mappings. Matthias Niewerth and Thomas Schwentick. International Conference on Database Theory (ICDT 2014). Best paper award	Paper
Trace Inclusion for One-Counter Nets Revisited. Piotr Hofman and Patrick Totzke. International Workshop on Reachability Problems (RP 2014).	Paper

2013

The Complexity of Regular Expressions and Property Paths in SPARQL. Katja Losemann and Wim Martens. ACM Transactions on Database Systems (TODS), 38(4).	Preprint Paper
Efficient Separability of Regular Langagues by Subsequences and Suffixes. Wojciech Czerwinski, Wim Martens, and Tomas Masopust. International Colloquium on Automata, Languages, and Programming (ICALP 2013).	Preprint Paper
Complexity of Checking Bisimilarity between Sequential and Parallel Processes. Wojciech Czerwinski, Petr Jancar, Martin Kot, and Zdenek Sawa. International Symposium on Mathematical Foundations of Computer Science (MFCS 2013).	Paper
Validity of Tree Pattern Queries with Respect to Schema Information. Henrik Björklund, Wim Martens, and Thomas Schwentick. International Symposium on Mathematical Foundations of Computer Science (MFCS 2013).	Preprint Paper
Deciding Definability by Deterministic Regular Expressions. Wojciech Czerwinski, Claire David, Katja Losemann, and Wim Martens. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2013).	Preprint Paper
Querying Graph Databases with XPath. Leonid Libkin, Wim Martens, and Domagoj Vrgoc. International Conference on Database Theory (ICDT 2013).	Preprint Paper
Containment of Pattern-Based Queries over Data Trees. Claire David, Amélie Gheerbrant, Leonid Libkin, and Wim Martens. International Conference on Database Theory (ICDT 2013).	Preprint Paper
Counting in SPARQL Property Paths: Perspectives from Theory and Practice. Wim Martens. Invited Talk at the International Workshop on Logic, Language, Information, and Computation (WoLLIC 2013).	Preprint Paper
Multilevel Coordination Control of Modular DES. Jan Komenda, Tomas Masopust, and Jan H. Van Schuppen. IEEE Conference on Decision and Control (CDC 2013).	Paper
On the State Complexity of the Reverse of R- and J-trivial Regular Languages. Galina Jiraskova and Tomas Masopust. International Workshop on Descriptional Complexity of Formal Systems (DCFS 2013).	Paper
Simplifying XML Schema: Single-Type Approximations of Regular Tree Languages. Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven, and Jan Paredaens. Journal of Computer and System Sciences (JCSS).	Preprint Paper
Generating, Sampling, and Counting Subclasses of Regular Tree Languages. Timos Antonopoulos, Floris Geerts, Wim Martens, and Frank Neven. Theory of Computing Systems (TOCS).	Preprint Article

2012

Descriptional Complexity of Deterministic Regular Expressions. Katja Losemann, Wim Martens, and Matthias Niewerth. International Conference on Mathematical Foundations of Computer Science (MFCS 2012).	Preprint Paper
Developing and Analyzing XSDs through BonXai. Wim Martens, Frank Neven, Matthias Niewerth, and Thomas Schwentick. International Conference on Very Large Databases (VLDB 2012). Demo paper.	Paper
The Complexity of Evaluating Path Expressions in SPARQL. Katja Losemann and Wim Martens. ACM Symposium on Principles of Database Systems (PODS 2012).	Preprint Paper
Deciding Twig-Definability of Node-Selecting Tree Automata. Timos Antonopoulous, Dag Hovland, Wim Martens, and Frank Neven. International Conference on Database Theory (ICDT 2012).	Preprint Paper
The Tractability Frontier for NFA Minimization. Henrik Björklund and Wim Martens. Journal of Computer and System Sciences (JCSS), 78(1), pp. 198-210.	Preprint Paper
Regular Expressions with Counting: Weak versus Strong Determinism. Wouter Gelade, Marc Gyssens, and Wim Martens. SIAM Journal on Computing (SICOMP).	Preprint Paper

2011

The Complexity of Text-Preserving XML Transformations. Timos Antonopoulous, Wim Martens, and Frank Neven. ACM Symposium on Principles on Database Systems (PODS 2011).	Preprint Paper
Generating, Sampling and Counting Subclasses of Regular Tree Languages. Timos Antonopoulous, Floris Geerts, Wim Martens, and Frank Neven. International Conference on Database Theory (ICDT 2011), pp. 30-41.	Preprint Paper
Two-variable logic and key constraints on data words. Matthias Niewerth and Thomas Schwentick. International Conference on Database Theory (ICDT 2011), pp. 138-149.	Paper
Learning Algorithms. Henrik Björklund, Johanna Högberg, and Wim Martens. Book Chapter.	Paper
Conjunctive Query Containment over Trees. Henrik Björklund, Wim Martens, and Thomas Schwentick. Journal of Computer and System Sciences (JCSS). Selected papers from DBPL 2007.	Preprint Paper
30 Years of PODS in Facts and Figures. Tom Ameloot, Maarten Marx, Wim Martens, Frank Neven, and Justin Van Wees. SIGMOD Record 40(3), p.54-60, 2011.	Preprint Paper

2010

Schema Design for XML Repositories: Complexity and Tractability. Wim Martens, Matthias Niewerth, and Thomas Schwentick. ACM Symposium on Principles on Database Systems (PODS 2010).	Paper
Simplifying XML Schema: Single-Type Approximations of Regular Tree Languages. Wouter Gelade, Tomasz Idziaszek, Wim Martens, and Frank Neven. ACM Symposium on Principles on Database Systems (PODS 2010).	Preprint Paper
Incremental XPath Evaluation. Henrik Björklund, Wouter Gelade, and Wim Martens. ACM Transactions on Database Systems (ACM TODS).	Preprint Paper
Logik und Automaten: ein echtes Dreamteam. Henrik Björklund, Wim Martens, Nicole Schweikardt, and Thomas Schwentick. Informatik Spektrum 33(5), pp. 452-461.	Preprint Paper

2009

Incremental XPath Evaluation. Henrik Björklund, Wouter Gelade, Marcel Marquardt, and Wim Martens. International Conference on Database Theory (ICDT 2009), pp. 162-173.	Preprint Paper Talk
Simplifying XML Schema: Effortless Handling of Nondeterministic Regular Expressions. Geert Jan Bex, Wouter Gelade, Wim Martens, and Frank Neven. ACM International Conference on Management of Data (SIGMOD 2009), pp. 731-744.	Preprint Paper Talk by W. Gelade
Regular Expressions with Counting: Weak versus Strong Determinism. Wouter Gelade, Marc Gyssens, and Wim Martens. International Conference on Mathematical Foundations of Computer Science (MFCS 2009), pp. 369-381.	Preprint Paper Talk
Complexity of Decision Problems for XML Schemas and Chain Regular Expressions. Wim Martens, Frank Neven, and Thomas Schwentick. SIAM Journal on Computing (SICOMP), 39(4), pp.1486-1530, 2009.	Preprint Paper
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. Wouter Gelade, Wim Martens, and Frank Neven. SIAM Journal on Computing (SICOMP), 38(5), pp. 2021-2043, 2009.	Preprint Paper
Efficient Algorithms for Descendant-Only Tree Pattern Queries. Christoph Koch, Michaela Götz, and Wim Martens. Information Systems (IS), 34(7), pp. 602-623, 2009. Selected papers from DBPL 2007.	Preprint Paper

2008

The Tractability Frontier for NFA Minimization. Henrik Björklund and Wim Martens. International Conference on Automata, Logic, and Programming (ICALP 2008), pp. 27-38.	Preprint Paper Talk
Optimizing Conjunctive Queries over Trees using Schema Information. Henrik Björklund, Wim Martens, and Thomas Schwentick. International Conference on Mathematical Foundations of Computer Science (MFCS 2008), pp. 132-143.	Preprint Paper
XML Research for Formal Language Theorists. Wim Martens. Weighted Automata: Theory and Applications (WATA 2008). Invited paper.	Abstract Talk
Typechecking Top-Down XML Transformations: Fixed Input or Output Schemas. Wim Martens, Frank Neven, and Marc Gyssens. Information and Computation, 206(7), pp. 806–827, 2008.	Preprint Paper
Deterministic Top-Down Tree Automata: Past, Present, and Future. Wim Martens, Frank Neven, and Thomas Schwentick. In "Logic and Automata." Texts in Logic and Games, Vol. 2, pp. 515-541, 2008.	Preprint Paper

2007

Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. Wouter Gelade, Wim Martens, and Frank Neven. International Conference on Database Theory (ICDT 2007), pp. 269-283.	Preprint Paper Talk by W. Gelade
Conjunctive Query Containment over Trees. Henrik Björklund, Wim Martens, and Thomas Schwentick. International Symposium on Database Programming Languages (DBPL 2007), pp. 66-80.	Preprint Paper Talk
Efficient Algorithms for the Tree Homeomorphism Problem. Michaela Götz, Christoph Koch, and Wim Martens. International Symposium on Database Programming Languages (DBPL 2007), pp.17-31.	Preprint Paper
Simple off the Shelf Abstractions for XML Schema. Wim Martens, Frank Neven, and Thomas Schwentick. SIGMOD Record, 36(3), pp. 15-22, 2007.	Preprint Paper
On the Minimization of XML Schemas and Tree Automata for Unranked Trees. Wim Martens and Joachim Niehren. Journal of Computer and System Sciences (JCSS), 73(4), pp. 550-583, 2007. Selected papers from DBPL 2005.	Preprint Paper
Frontiers of Tractability for Typechecking Simple XML Transformations. Wim Martens and Frank Neven. Journal of Computer and System Sciences (JCSS), 73(3), pp. 362-390, 2007. Selected papers from PODS 2004.	Preprint Paper

2006

Static Analysis of XML Transformation and Schema Languages. Wim Martens. Ph.D. Thesis, Hasselt University, 2006. Awarded the "FWO-IBM Belgium Prijs voor de Informatica" (FWO-IBM Belgium Award for Computer Science -- Best dissertation of the year in Computer Science / Belgium).	Thesis
Expressiveness and Complexity of XML Schema. Wim Martens, Frank Neven, Thomas Schwentick, and Geert-Jan Bex. Combined full version of ICDT 2005 and WWW 2005 papers. ACM Transactions on Database Systems (ACM TODS), 31(3), pp. 770-813, 2006. Selected papers from ICDT 2005.	Preprint Paper

2005

Which XML Schemas Admit 1-Pass Preorder Typing? Wim Martens, Frank Neven, and Thomas Schwentick. International Conference on Database Theory (ICDT 2005), pp. 68-82.	Preprint Paper Talk
Expressiveness of XSDs: From Practice to Theory, There and Back Again. Geert-Jan Bex, Wim Martens, Frank Neven, and Thomas Schwentick. International World Wide Web Conference (WWW 2005), pp. 712-721.	Preprint Paper
Minimizing Tree Automata for Unranked Trees. Wim Martens and Joachim Niehren. International Symposium on Database Programming Languages (DBPL 2005), pp. 232-246.	Preprint Paper Talk
The Typechecking Problem for XML Transformations: Methods and Formal Models. Wim Martens. Methods for Modalities (M4M 2005). Invited paper.	Paper Talk
On the Complexity of Typechecking Top-Down XML Transformations. Wim Martens and Frank Neven. Theoretical Computer Science (TCS), 336(1), pp. 153-180, 2005. Selected papers from ICDT 2003.	Preprint Paper

2004

Complexity of Decision Problems for Simple Regular Expressions. Wim Martens, Frank Neven, and Thomas Schwentick. International Symposium on Mathematical Foundations of Computer Science (MFCS 2004), pp. 889-900.	Preprint Paper Talk
Frontiers of Tractability for Typechecking Simple XML Transformations. Wim Martens and Frank Neven. ACM Symposium on Principles of Database Systems (PODS 2004), pp. 23-34.	Preprint Paper Talk

2003

Typechecking Top-Down Uniform Unranked Tree Transducers.
Wim Martens and Frank Neven.
International Conference on Database Theory (ICDT 2003), pp. 64-78.

Preprint
Paper
Talk

Webmaster: Johannes Doleschal

Faculty of Mathematics, Physics & Computer Science

Data-Intensive Computing (AI VII) – Prof. Dr. Wim Martens

Publications