| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5020567 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020562 | 2022-01-06 | Paper |
| A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation | 2020-05-04 | Paper |
| Logic programming semantics made easy | 2019-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4631195 | 2019-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4631182 | 2019-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619828 | 2019-02-07 | Paper |
| The pushdown method to optimize chain logic programs | 2019-01-10 | Paper |
| Scaling-up reasoning and advanced analytics on BigData | 2018-12-04 | Paper |
| User-friendly temporal queries on historical knowledge bases | 2018-03-21 | Paper |
| Fixpoint semantics and optimization of recursive Datalog programs with aggregates | 2017-11-08 | Paper |
| Analysing microarray expression data through effective clustering | 2016-01-14 | Paper |
| High-performance complex event processing over hierarchical data | 2015-09-03 | Paper |
| GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES | 2015-04-29 | Paper |
| A declarative extension of horn clauses, and its significance for datalog and its applications | 2014-02-27 | Paper |
| Optimal sampling from sliding windows | 2012-05-11 | Paper |
| Discovery Science | 2005-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044378 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473155 | 2004-08-04 | Paper |
| The deductive database system [Lscr ][Dscr ][Lscr ]++ | 2004-03-01 | Paper |
| Greedy algorithms in Datalog | 2004-03-01 | Paper |
| Efficient schemes for managing multiversion XML documents | 2003-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707762 | 2003-06-11 | Paper |
| Pushing extrema aggregates to optimize logic queries | 2003-02-20 | Paper |
| Semantics and expressive power of nondeterministic constructs in deductive databases | 2002-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702578 | 2002-02-17 | Paper |
| Nonmonotonic reasoning in \(LDL^{++}\) | 2001-08-30 | Paper |
| Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\) | 2001-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944883 | 2000-03-22 | Paper |
| Polynomial-time computable stable models | 1998-08-03 | Paper |
| Deterministic and non-deterministic stable models | 1997-11-04 | Paper |
| Programming with non-determinism in deductive databases | 1997-10-26 | Paper |
| The logic of totally and partially ordered plans: A deductive database approach | 1997-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342504 | 1997-06-22 | Paper |
| Extrema predicates in deductive databases | 1995-10-25 | Paper |
| Compilation of set terms in the logic data language (LDL) | 1992-08-13 | Paper |
| The generalized counting method for recursive logic queries | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789109 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786036 | 1986-01-01 | Paper |
| Database relations with null values | 1984-01-01 | Paper |
| A new normal form for the design of relational database schemata | 1982-01-01 | Paper |
| A formal approach to the definition and the design of conceptual schemata for databased systems | 1982-01-01 | Paper |
| On the design of relational database schemata | 1981-01-01 | Paper |
| Mixed transitivity for functional and multivalued dependencies in database relations | 1980-01-01 | Paper |
