Data exchange: semantics and query answering R Fagin, PG Kolaitis, RJ Miller, L Popa Theoretical Computer Science 336 (1), 89-124, 2005 | 1755 | 2005 |
Conjunctive-query containment and constraint satisfaction PG Kolaitis, MY Vardi Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998 | 553 | 1998 |
Data exchange: getting to the core R Fagin, PG Kolaitis, L Popa ACM Transactions on Database Systems (TODS) 30 (1), 174-210, 2005 | 493 | 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 | 441 | 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 | 404 | 2005 |
Schema mappings, data exchange, and metadata management PG Kolaitis Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005 | 377 | 2005 |
Finite Model Theory and its applications E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ... Springer, 2007 | 316 | 2007 |
Constraint satisfaction, bounded treewidth, and finite-variable logics V Dalmau, PG Kolaitis, MY Vardi International Conference on Principles and Practice of Constraint …, 2002 | 264 | 2002 |
Why not negation by fixpoint? PG Kolaitis, CH Papadimitriou Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1988 | 242 | 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 | 209 | 1990 |
Infinitary logics and 0–1 laws PG Kolaitis, MY Vardi Information and computation 98 (2), 258-294, 1992 | 204 | 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 | 187 | 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 | 180 | 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 | 177 | 1995 |
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 | 172 | 2009 |
Peer data exchange A Fuxman, PG Kolaitis, RJ Miller, WC Tan ACM Transactions on Database Systems (TODS) 31 (4), 1454-1498, 2006 | 159 | 2006 |
The expressive power of stratified logic programs PG Kolaitis Information and Computation 90 (1), 50-66, 1991 | 158 | 1991 |
Logical definability of NP optimization problems PG Kolaitis, MN Thakur Information and Computation 115 (2), 321-353, 1994 | 144 | 1994 |
Approximation properties of NP minimization classes PG Kolaitis, MN Thakur Journal of Computer and System Sciences 50 (3), 391-411, 1995 | 142* | 1995 |
Designing and refining schema mappings via data examples B Alexe, B Ten Cate, PG Kolaitis, WC Tan Proceedings of the 2011 ACM SIGMOD International Conference on Management of …, 2011 | 131 | 2011 |