Follow
Phokion Kolaitis
Phokion Kolaitis
Distinguished Research Professor, UC Santa Cuz and Principal Research Staff Member, IBM Research
Verified email at ucsc.edu - Homepage
Title
Cited by
Cited by
Year
Data exchange: semantics and query answering
R Fagin, PG Kolaitis, RJ Miller, L Popa
Theoretical Computer Science 336 (1), 89-124, 2005
17322005
Conjunctive-query containment and constraint satisfaction
PG Kolaitis, MY Vardi
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998
5351998
Data exchange: getting to the core
R Fagin, PG Kolaitis, L Popa
ACM Transactions on Database Systems (TODS) 30 (1), 174-210, 2005
4862005
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
4211997
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
4062005
Schema mappings, data exchange, and metadata management
PG Kolaitis
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005
3722005
Finite Model Theory and its applications
E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...
Springer, 2007
2982007
Constraint satisfaction, bounded treewidth, and finite-variable logics
V Dalmau, PG Kolaitis, MY Vardi
International Conference on Principles and Practice of Constraint …, 2002
2602002
Why not negation by fixpoint?
PG Kolaitis, CH Papadimitriou
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1988
2421988
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
2081990
Infinitary logics and 0–1 laws
PG Kolaitis, MY Vardi
Information and computation 98 (2), 258-294, 1992
2001992
Repair checking in inconsistent databases: algorithms and complexity
FN Afrati, PG Kolaitis
Proceedings of the 12th International Conference on Database Theory, 31-41, 2009
1842009
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
1761995
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
1692001
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
1592009
Peer data exchange
A Fuxman, PG Kolaitis, RJ Miller, WC Tan
ACM Transactions on Database Systems (TODS) 31 (4), 1454-1498, 2006
1592006
The expressive power of stratified logic programs
PG Kolaitis
Information and Computation 90 (1), 50-66, 1991
1541991
Logical definability of NP optimization problems
PG Kolaitis, MN Thakur
Information and Computation 115 (2), 321-353, 1994
1431994
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
1312011
The system can't perform the operation now. Try again later.
Articles 1–20