| Publication | Date of Publication | Type |
|---|
| Robustness against Read committed for transaction templates with functional constraints | 2024-04-25 | Paper |
| Robustness against Read committed for transaction templates with functional constraints | 2024-04-23 | Paper |
| Robustness against Read Committed for Transaction Templates with Functional Constraints | 2024-01-16 | Paper |
| Distribution Constraints: The Chase for Distributed Data | 2023-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5091125 | 2022-07-21 | Paper |
| Discovering XSD Keys from XML Data | 2021-11-25 | Paper |
| Weaker Forms of Monotonicity for Declarative Networking | 2021-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3305360 | 2020-08-06 | Paper |
| Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics | 2020-08-06 | Paper |
| Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation | 2019-11-22 | Paper |
| Finite-State Map-Reduce Computation and Relational Algebra Queries | 2018-08-20 | Paper |
| Parallel-Correctness and Transferability for Conjunctive Queries | 2018-05-17 | Paper |
| Optimal broadcasting strategies for conjunctive queries over distributed data | 2017-09-20 | Paper |
| Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation | 2017-07-14 | Paper |
| Datalog Queries Distributing over Components | 2017-07-13 | Paper |
| Finite state machines for strings over infinite alphabets | 2017-07-12 | Paper |
| Logical definability and query languages over ranked and unranked trees | 2017-07-12 | Paper |
| Typechecking XML views of relational databases | 2017-06-13 | Paper |
| Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data | 2017-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5738942 | 2017-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5738943 | 2017-06-13 | Paper |
| Deciding twig-definability of node selecting tree automata | 2016-04-18 | Paper |
| Expressiveness of structured document query languages based on attribute grammars | 2015-10-30 | Paper |
| Succinctness of the Complement and Intersection of Regular Expressions | 2015-09-17 | Paper |
| Relational transducers for declarative networking | 2014-02-17 | Paper |
| Simplifying XML schema: single-type approximations of regular tree languages | 2014-01-20 | Paper |
| Generating, sampling and counting subclasses of regular tree languages | 2013-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4910730 | 2013-03-19 | Paper |
| Optimizing the region algebra is PSPACE-complete | 2012-03-19 | Paper |
| Succinctness of pattern-based schema languages for XML | 2011-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086931 | 2011-03-30 | Paper |
| Complexity of Decision Problems for XML Schemas and Chain Regular Expressions | 2010-09-06 | Paper |
| Optimizing Schema Languages for XML: Numerical Constraints and Interleaving | 2009-11-06 | Paper |
| Typechecking top-down XML transformations: Fixed input or output schemas | 2008-08-14 | Paper |
| On the complexity of XPath containment in the presence of disjunction, DTDs, and variables | 2007-10-11 | Paper |
| Frontiers of tractability for typechecking simple XML transformations | 2007-04-26 | Paper |
| Database Theory - ICDT 2005 | 2005-09-13 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| On the complexity of typechecking top-down XML transformations | 2005-06-10 | Paper |
| Attribute grammars for unranked trees as a query language for structured documents | 2005-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473157 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473158 | 2004-08-04 | Paper |
| On the power of tree-walking automata. | 2003-08-19 | Paper |
| XML with data values: Typechecking revisited. | 2003-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414526 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414544 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413449 | 2003-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411812 | 2003-07-10 | Paper |
| A formal model for an expressive fragment of XSLT | 2003-02-02 | Paper |
| Adding for-loops to first-order logic | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779173 | 2002-11-25 | Paper |
| Query automata over finite trees | 2002-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767135 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754175 | 2001-11-11 | Paper |
| Typed query languages for databases containing queries | 2000-03-19 | Paper |
