| Publication | Date of Publication | Type |
|---|
| Decomposition of domains | 2023-08-16 | Paper |
| Fragments of Bag Relational Algebra: Expressiveness and Certain Answers | 2022-07-21 | Paper |
| Propositional and predicate logics of incomplete information | 2021-12-13 | Paper |
| Naïve Evaluation of Queries over Incomplete Databases | 2021-11-25 | Paper |
| SQL’s Three-Valued Logic and Certain Answers | 2021-11-25 | Paper |
| TriAL | 2021-11-25 | Paper |
| Static analysis and query answering for incomplete data trees with constraints | 2018-10-18 | Paper |
| Querying Graphs with Data | 2018-08-02 | Paper |
| Pattern logics and auxiliary relations | 2018-04-23 | Paper |
| Path Logics for Querying Graphs: Combining Expressiveness and Efficiency | 2018-04-23 | Paper |
| Logical definability and query languages over ranked and unranked trees | 2017-07-12 | Paper |
| Negative Knowledge for Certain Query Answers | 2017-06-20 | Paper |
| Logics with counting and local properties | 2017-06-13 | Paper |
| Logics capturing local properties | 2017-06-13 | Paper |
| SQL's Three-Valued Logic and Certain Answers | 2017-06-13 | Paper |
| Variable independence for first-order definable constraints | 2017-06-13 | Paper |
| Graph Logics with Rational Relations and the Generalized Intersection Problem | 2017-05-16 | Paper |
| Synchronizing Relations on Words | 2017-03-03 | Paper |
| Order-Invariant Types and Their Applications | 2016-04-19 | Paper |
| Certain answers over incomplete XML documents: extending tractability boundary | 2016-04-18 | Paper |
| Certain answers as objects and knowledge | 2016-02-09 | Paper |
| Synchronizing relations on words | 2016-01-28 | Paper |
| Relational queries over interpreted structures | 2015-12-17 | Paper |
| On XML integrity constraints in the presence of DTDs | 2015-12-07 | Paper |
| Definable relations and first-order query languages over strings | 2015-11-12 | Paper |
| Regular expressions for data words | 2015-07-13 | Paper |
| Efficient Approximations of Conjunctive Queries | 2014-09-18 | Paper |
| Querying Regular Graph Patterns | 2014-09-12 | Paper |
| XML Schema Mappings | 2014-09-12 | Paper |
| On the aggregation problem for synthesized web services | 2014-01-20 | Paper |
| Solutions and query rewriting in data exchange | 2013-12-19 | Paper |
| Graph Logics with Rational Relations | 2013-09-06 | Paper |
| Regular Expressions with Binding over Data Words for Querying Graph Databases | 2013-06-28 | Paper |
| Parameterized regular expressions and their languages | 2013-03-27 | Paper |
| Tractable XML data exchange via relations | 2012-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2911637 | 2012-08-31 | Paper |
| Regular Expressions for Data Words | 2012-06-15 | Paper |
| Regular languages of nested words: fixed points, automata, and synchronization | 2011-11-30 | Paper |
| XML with incomplete information | 2011-05-16 | Paper |
| Data exchange and schema mappings in open and closed worlds | 2011-05-04 | Paper |
| Relational and XML Data Exchange | 2010-11-19 | Paper |
| On the Satisfiability of Two-Variable Logic over Data Words | 2010-10-12 | Paper |
| Disjoint pattern matching and implication in strings | 2010-09-02 | Paper |
| Reasoning about XML with temporal logics and automata | 2010-06-11 | Paper |
| Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems | 2010-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396598 | 2009-09-19 | Paper |
| On the Complexity of Verifying Consistency of XML Specifications | 2009-06-22 | Paper |
| First-Order and Temporal Logics for Nested Words | 2009-04-29 | Paper |
| A collapse result for constraint queries over structures of small degree | 2009-03-23 | Paper |
| Reasoning about XML with Temporal Logics and Automata | 2009-01-27 | Paper |
| Recurrent Reachability Analysis in Regular Model Checking | 2009-01-27 | Paper |
| An information-theoretic approach to normal forms for relational and XML data | 2008-12-21 | Paper |
| XML data exchange | 2008-12-21 | Paper |
| Game-based notions of locality over finite models | 2008-03-28 | Paper |
| Logics with aggregate operators | 2008-02-11 | Paper |
| Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization | 2007-11-28 | Paper |
| Logics for Unranked Trees: An Overview | 2007-10-11 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Inconsistency Tolerance | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024871 | 2005-07-04 | Paper |
| Finite model theory and its applications. | 2005-01-12 | Paper |
| Elements of finite model theory. | 2005-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473152 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473258 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431389 | 2003-10-21 | Paper |
| Incremental recomputation in local languages. | 2003-08-19 | Paper |
| Expressive power of SQL. | 2003-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4410617 | 2003-07-03 | Paper |
| Reachability and connectivity queries in constraint databases | 2003-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508940 | 2003-02-12 | Paper |
| Lower bounds for invariant queries in logics with counting. | 2003-01-21 | Paper |
| Aggregate operators in constraint query languages | 2002-09-12 | Paper |
| On the orthographic dimension of definable sets | 2002-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754149 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508939 | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501536 | 2000-09-04 | Paper |
| Local properties of query languages | 2000-08-21 | Paper |
| Notions of locality and their logical characterizations over finite models | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955350 | 2000-05-25 | Paper |
| Safe Constraint Queries | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936146 | 2000-01-25 | Paper |
| Verifiable properties of database transactions | 1999-03-22 | Paper |
| Relational expressive power of constraint query languages | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381388 | 1998-07-20 | Paper |
| Models of approximation in databases | 1998-06-30 | Paper |
| Query languages for bags and aggregate functions | 1998-05-25 | Paper |
| On representation and querying incomplete information in databases with bags | 1997-02-27 | Paper |
| Semantic representations and query languages for or-sets | 1996-07-16 | Paper |
| \(n\)-distributivity, dimension and Carathéodory's theorem | 1996-03-05 | Paper |
| Trees as semilattices | 1996-01-21 | Paper |
| Direct decompositions of atomistic algebraic lattices | 1995-02-22 | Paper |
| Conservativity of nested relational calculi with internal generic functions | 1994-05-03 | Paper |
| The lattice of subsemilattices of a semilattice | 1994-04-12 | Paper |
| Direct product decompositions of lattices, closures and relation schemes | 1993-08-30 | Paper |
| A remark about algebraicity in complete partial orders | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4695938 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036173 | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036174 | 1993-05-16 | Paper |
| Parallel axiom in convexity lattices | 1993-02-08 | Paper |
| Functional dependencies in relational databases: A lattice point of view | 1993-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4007658 | 1992-09-27 | Paper |
| Minimal sets of choice functions generating the basic classes | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3363531 | 1992-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3357529 | 1991-01-01 | Paper |
| Absolutely determined matrices | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3349969 | 1990-01-01 | Paper |
| Quasilinear set functions and absolute definite matrices | 1989-01-01 | Paper |
| Quasilinear monotone systems | 1989-01-01 | Paper |
| Recognition of choice functions | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3829589 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3831064 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3831065 | 1988-01-01 | Paper |
