| Publication | Date of Publication | Type |
|---|
| Comparing the power of monadic NP games | 2023-12-12 | Paper |
| A nonstandard approach to the logical omniscience problem | 2022-09-21 | Paper |
| Recursive Programs for Document Spanners | 2022-07-21 | Paper |
| New foundations of reasoning via real-valued first-order logics | 2022-06-30 | Paper |
| Declarative Cleaning of Inconsistencies in Information Extraction | 2021-11-25 | Paper |
| A Declarative Framework for Linking Entities | 2021-11-25 | Paper |
| Knowledge-based programs | 2020-12-02 | Paper |
| Expressive power of entity-linking frameworks | 2019-05-02 | Paper |
| Expressive Power of Entity-Linking Frameworks | 2018-07-18 | Paper |
| Knowledge-based programs | 2017-09-29 | Paper |
| A Declarative Framework for Linking Entities | 2017-06-13 | Paper |
| An Algorithmic View of Voting | 2016-10-20 | Paper |
| Document Spanners | 2016-03-24 | Paper |
| Compactly encoding unstructured inputs with differential compression | 2015-12-07 | Paper |
| Random walks with “back buttons” (extended abstract) | 2014-09-26 | Paper |
| Query strategies for priced information (extended abstract) | 2014-09-26 | Paper |
| Probabilistic data exchange | 2014-02-17 | Paper |
| Solutions and query rewriting in data exchange | 2013-12-19 | Paper |
| Composition with Target Constraints | 2012-04-02 | Paper |
| The structure of inverses in schema mappings | 2011-05-16 | Paper |
| Epistemic privacy | 2011-05-16 | Paper |
| Data exchange: getting to the core | 2008-12-21 | Paper |
| Inverting schema mappings | 2008-12-21 | Paper |
| Comparing Partial Rankings | 2007-09-06 | Paper |
| Data exchange: semantics and query answering | 2005-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4661971 | 2005-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471270 | 2004-07-28 | Paper |
| Comparing Top k Lists | 2004-01-08 | Paper |
| Optimal aggregation algorithms for middleware. | 2003-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414536 | 2003-07-25 | Paper |
| Random walks with ``back buttons | 2003-05-06 | Paper |
| A nonstandard approach to the logical omniscience problem | 2003-02-04 | Paper |
| Query strategies for priced information | 2002-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4542549 | 2002-08-01 | Paper |
| The closure of monadic NP | 2000-08-27 | Paper |
| A formula for incorporating weights into scoring rules | 2000-08-21 | Paper |
| Combining fuzzy information from multiple systems | 2000-02-17 | Paper |
| Common knowledge revisited | 1999-06-24 | Paper |
| The hierarchical approach to modeling knowledge and common knowledge | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218932 | 1998-11-15 | Paper |
| On winning strategies in Ehrenfeucht-Fraïssé games | 1998-10-22 | Paper |
| Comparing the Power of Games on Graphs | 1998-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353557 | 1997-09-10 | Paper |
| Efficiently extendible mappings for balanced data distribution | 1996-08-12 | Paper |
| On monadic NP vs monadic co-NP | 1995-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4845472 | 1995-09-11 | Paper |
| Reasoning about knowledge and probability | 1995-02-13 | Paper |
| What can machines know? | 1994-08-21 | Paper |
| A model-theoretic analysis of knowledge | 1994-08-21 | Paper |
| Finite-model theory -- A personal perspective | 1994-06-05 | Paper |
| A quantitative analysis of modal logic | 1994-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694685 | 1993-06-29 | Paper |
| What is an inference rule? | 1993-04-01 | Paper |
| Two views of belief: Belief as generalized probability and belief as evidence | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3979388 | 1992-06-26 | Paper |
| A logic for reasoning about probabilities | 1992-06-25 | Paper |
| Reachability is harder for directed than for undirected finite graphs | 1990-01-01 | Paper |
| Modelling knowledge and action in distributed systems | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5750423 | 1989-01-01 | Paper |
| Belief, awareness, and limited reasoning | 1988-01-01 | Paper |
| I'm OK if you're OK: On the notion of trusting commmunication | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3476790 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3814797 | 1988-01-01 | Paper |
| Correction to “An equivalence between relational database dependencies and a fragment of propositional logic” | 1987-01-01 | Paper |
| A simple characterization of database dependency implication | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4728289 | 1986-01-01 | Paper |
| Bounded-depth, polynomial-size circuits for symmetric functions | 1985-01-01 | Paper |
| Decreasing the nesting depth of expressions involving square roots | 1985-01-01 | Paper |
| Inclusion dependencies and their interaction with functional dependencies | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677203 | 1984-01-01 | Paper |
| On the Structure of Armstrong Relations for Functional Dependencies | 1984-01-01 | Paper |
| Armstrong databases for functional and inclusion dependencies | 1983-01-01 | Paper |
| On the Desirability of Acyclic Database Schemes | 1983-01-01 | Paper |
| Degrees of acyclicity for hypergraphs and relational database schemes | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309102 | 1983-01-01 | Paper |
| Tools for Template Dependencies | 1983-01-01 | Paper |
| A simplied universal relation assumption and its properties | 1982-01-01 | Paper |
| Horn clauses and database dependencies | 1982-01-01 | Paper |
| A note on the existence of continuous functionals | 1981-01-01 | Paper |
| An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic | 1981-01-01 | Paper |
| A normal form for relational databases that is based on domains and keys | 1981-01-01 | Paper |
| Efficient Calculation of Expected Miss Ratios in the Independent Reference Model | 1978-01-01 | Paper |
| Cold-start vs. warm-start miss ratios | 1978-01-01 | Paper |
| Asymptotic miss ratios over independent references | 1977-01-01 | Paper |
| The number of finite relational structures | 1977-01-01 | Paper |
| Functional Dependencies in a Relational Database and Propositional Logic | 1977-01-01 | Paper |
| A counterintuitive example of computer paging | 1976-01-01 | Paper |
| The independence of miss ratio on page size | 1976-01-01 | Paper |
| Probabilities on finite models | 1976-01-01 | Paper |
| A two‐cardinal characterization of double spectra | 1975-01-01 | Paper |
| A spectrum hierarchy | 1975-01-01 | Paper |
| Monadic generalized spectra | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4058132 | 1974-01-01 | Paper |
| Representation theory for a class of denumerable Markov chains | 1968-01-01 | Paper |
