| Data exchange: semantics and query answering R Fagin, PG Kolaitis, RJ Miller, L Popa Theoretical Computer Science 336 (1), 89-124, 2005 | 1817 | 2005 |
| Conjunctive-query containment and constraint satisfaction PG Kolaitis, MY Vardi Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998 | 570 | 1998 |
| Data exchange: getting to the core R Fagin, PG Kolaitis, L Popa ACM Transactions on Database Systems (TODS) 30 (1), 174-210, 2005 | 509 | 2005 |
| On the decision problem for two-variable first-order logic E Grädel, PG Kolaitis, MY Vardi Bulletin of symbolic logic 3 (1), 53-69, 1997 | 471 | 1997 |
| Composing schema mappings: Second-order dependencies to the rescue R Fagin, PG Kolaitis, L Popa, WC Tan ACM Transactions on Database Systems (TODS) 30 (4), 994-1055, 2005 | 418 | 2005 |
| Schema mappings, data exchange, and metadata management PG Kolaitis Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005 | 386 | 2005 |
| Finite Model Theory and its applications E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ... Springer, 2007 | 339 | 2007 |
| Constraint satisfaction, bounded treewidth, and finite-variable logics V Dalmau, PG Kolaitis, MY Vardi International Conference on Principles and Practice of Constraint …, 2002 | 273 | 2002 |
| Why not negation by fixpoint? PG Kolaitis, CH Papadimitriou Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1988 | 239 | 1988 |
| On the expressive power of Datalog: tools and a case study PG Kolaitis, MY Vardi Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of …, 1990 | 219 | 1990 |
| Infinitary logics and 0–1 laws PG Kolaitis, MY Vardi Information and computation 98 (2), 258-294, 1992 | 214 | 1992 |
| Repair checking in inconsistent databases: algorithms and complexity FN Afrati, PG Kolaitis Proceedings of the 12th International Conference on Database Theory, 31-41, 2009 | 198 | 2009 |
| The connectivity of Boolean satisfiability: computational and structural dichotomies P Gopalan, PG Kolaitis, E Maneva, CH Papadimitriou SIAM Journal on Computing 38 (6), 2330-2355, 2009 | 193 | 2009 |
| On the unusual effectiveness of logic in computer science JY Halpern, R Harper, N Immerman, PG Kolaitis, MY Vardi, V Vianu Bulletin of Symbolic Logic 7 (2), 213-236, 2001 | 192 | 2001 |
| Generalized quantifiers and pebble games on finite structures PG Kolaitis, JA Väänänen Annals of pure and applied logic 74 (1), 23-75, 1995 | 176 | 1995 |
| Peer data exchange A Fuxman, PG Kolaitis, RJ Miller, WC Tan ACM Transactions on Database Systems (TODS) 31 (4), 1454-1498, 2006 | 168 | 2006 |
| The expressive power of stratified logic programs PG Kolaitis Information and Computation 90 (1), 50-66, 1991 | 166 | 1991 |
| Logical definability of NP optimization problems PG Kolaitis, MN Thakur Information and Computation 115 (2), 321-353, 1994 | 147 | 1994 |
| Approximation properties of NP minimization classes PG Kolaitis, MN Thakur Journal of Computer and System Sciences 50 (3), 391-411, 1995 | 145* | 1995 |
| The decision problem for the probabilities of higher-order properties P Kolaitis, M Vardi Proceedings of the nineteenth annual ACM symposium on Theory of computing …, 1987 | 133 | 1987 |
