Publications

2010

Automata for data words and data trees. M. Bojanczyk. In Proc. of International Conference on Rewriting Techniques and Applications, 2010.
On incomplete XML documents with Integrity constraints. P. Barcelo, L. Libkin, and J. Reutter. In Proc. of the 4th Alberto Mendelzon Workshop on Foundations of Data Management, 2010.
Two-Variable Logic with Two Order Relations. Thomas Schwentick and Thomas Zeume. CSL, 2010.
Rewrite-Based Veriﬁcation of XML Updates. F. Jacquemard and M. Rusinowitch. Proceedings of 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP),Hagenberg, Austria, 2010, to appear.
Tree patterns with full text search. H. Peetz and M. Marx. In Proceedings WebDB 2010
Simplifying XML Schema: Single-Type Approximations of Regular Tree Languages. Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven. Proceedings of the 29th Symposium on Principles of Database Systems (PODS), Indianapolis, IN, June 2010, to appear.
Probabilistic XML via Markov Chains. Michael Benedikt, Evgeny Kharlamov, Dan Olteanu, and Pierre Senellart. To appear in Very Large Data Bases (VLDB), Singapore, Sept 2010.
Inference of concise regular expressions and DTDs. Geert Jan Bex, Frank Neven, Thomas Schwentick, Stijn Vansummeren ACM Trans. Database Syst. 35(2): (2010)
Efficient Evaluation of Nondeterministic Automata Using Factorization Forests. M. Bojańczyk, P. Parys Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP), 2010.
An extension of data automata that captures XPath. M. Bojańczyk, S. Lasota Proceedings of Logic in Computer Science (LICS), 2010.
Opinion Mining in Dutch Hansards S. Grijzenhout, V. Jijkoun, M. Marx Proceedings Workshop From Text to Political Positions (t2pp 2010), 2010.
Complete axiomatizations for XPath fragments ten Cate B., Litak T., Marx M J. Journal of Applied Logic, vol. 8, pp. 153-172, 2010.
Focused Retrieval and Result Aggregation with Political Data Kaptein R., Marx M J. Information Retrieval, 2010.
DutchParl. A Corpus of Parliamentary Documents in Dutch Marx M J., Schuth A. Proceedings LREC 2010, 2010.
Digital Sustainable Publication of Legacy Parliamentary Proceedings Marx M J., Aders N., Schuth A. Proceedings 11th International Digital Government Research Conference (dg.o 2010), 2010.
What you say is who you are. How open government data facilitates profiling politicians. Marx M J., Nusselder A., Proceedings Open Knowledge Conference, London 2010.
Schema Design for XML Repositories: Complexity and Tractability W. Martens, M. Niewerth, T. Schwentick, Proceedings of the 29th Symposium on Principles of Database Systems (PODS), Indianapolis, IN, June 2010, to appear.
Expressive languages for path queries over graph-structured data P. Barcelo, C. Hurtado, L. Libkin and P. Wood, Proceedings of the 29th Symposium on Principles of Database Systems (PODS), Indianapolis, IN, June 2010, to appear.
Certain answers for XML queries C. David, L. Libkin and F. Murlak, Proceedings of the 29th Symposium on Principles of Database Systems (PODS), Indianapolis, IN, June 2010, to appear.
On the aggregation problem for synthesized web services T. Deng, W. Fan, L. Libkin and Y. Wu, Proceedings of the 13th International Conference on Database Theory (ICDT), Lausanne, Switzerland, March 2010.
On the tradeoff between mapping and querying power in XML data exchange S. Amano, C. David, L. Libkin, and F. Murlak, Proceedings of the 13th International Conference on Database Theory (ICDT), Lausanne, Switzerland, March 2010.
Reasoning about XML with temporal logics automata L. Libkin and C. Sirangelo, Journal of Applied Logic, 8 (2) (2010), 210-232.
Disjoint pattern matching and implication in strings L. Libkin and C. Sirangelo, Information Processing Letters 110 (4) (2010), 143-147.
Forward-XPath and extended register automata on data-trees, Diego Figueira. In Proc of Int Conference on Database Theory (ICDT), Lausanne, 2010.
Bridging the Gap Between Intensional and Extensional Query Evaluation in Probabilistic Databases, Abhay Jha, Dan Olteanu, Dan Suciu. In Proc of Int Conference on Extending Data Base Technology (EDBT), Lausanne, 2010.
Approximate Confidence Computation in Probabilistic Databases, Dan Olteanu, Jiewen Huang, Christoph Koch. In IEEE International Conference on Data Engineering (ICDE), Long Beach 2010.

2009

Advanced Information Acces to Parliamentary Debates, Maarten Marx. In Journal of Digital Information, 2009.
Logical foundations of XML and XQuery, Maarten Marx. Reasoning Web 2009 (5689), 111–157.
Secondary-Storage Confidence Computation for Conjunctive Queries with Inequalities, Dan Olteanu, Jiewen Huang. Special Interest Group on Management of Data (SIGMOD 2009).
Future-looking logics on data words and trees, Diego Figueira, Luc Segoufin. In Proc. of Int. Symposium on Mathematical Foundations of Computer Science (MFCS), Novy Smokovec, Slovakia, 2009.
XPath Evaluation in Linear Time with Polynomial Combined Complexity, Pawel Parys. Principles of Database Systems (PODS 2009).
Simplifying XML schema: effortless handling of nondeterministic regular expressions, Geert Jan Bex, Wouter Gelade, Wim Martens, Frank Neven. Special Interest Group on Management of Data (SIGMOD 2009), 731-744.
Open and Closed World Assumptions in Data Exchange, Leonid Libkin and Cristina Sirangelo. Description Logics (DL 2009).
Satisfiability of downward XPath with data equality tests, Diego Figueira. Principle of Database Systems (PODS 2009), 197-206.
The finite model theory toolbox of a database theoretician, Leonid Libkin. Principles of Database Systems (PODS 2009), 65-76.
XML schema mappings, Shunichi Amano, Leonid Libkin and Filip Murlak. Principles of Database Systems (PODS 2009), 33-42.
XML with incomplete information: models, properties, and query answering, Pablo Barcelo, Leonid Libkin, Antonella Poggi, and Cristina Sirangelo. Principles of Database Systems (PODS 2009), 237-246.
Distributed XML Design, Serge Abiteboul, Georg Gottlob, Marco Manna, Principles of Database Systems (PODS 2009), 247-258.