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
16602005
Conjunctive-query containment and constraint satisfaction
PG Kolaitis, MY Vardi
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998
5151998
Data exchange: getting to the core
R Fagin, PG Kolaitis, L Popa
ACM Transactions on Database Systems (TODS) 30 (1), 174-210, 2005
4692005
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
4071997
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
4042005
Schema mappings, data exchange, and metadata management
PG Kolaitis
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005
3602005
Finite Model Theory and its applications
E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...
Springer, 2007
2722007
Constraint satisfaction, bounded treewidth, and finite-variable logics
V Dalmau, PG Kolaitis, MY Vardi
Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002
2452002
Why not negation by fixpoint?
PG Kolaitis, CH Papadimitriou
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1988
2341988
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
2011990
Infinitary logics and 0–1 laws
PG Kolaitis, MY Vardi
Information and computation 98 (2), 258-294, 1992
1911992
Repair checking in inconsistent databases: algorithms and complexity
FN Afrati, PG Kolaitis
Proceedings of the 12th International Conference on Database Theory, 31-41, 2009
1782009
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
1671995
Peer data exchange
A Fuxman, PG Kolaitis, RJ Miller, WC Tan
ACM Transactions on Database Systems (TODS) 31 (4), 1454-1498, 2006
1612006
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
1602001
The expressive power of stratified logic programs
PG Kolaitis
Information and Computation 90 (1), 50-66, 1991
1471991
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
1432009
Logical definability of NP optimization problems
PG Kolaitis, MN Thakur
Information and Computation 115 (2), 321-353, 1994
1421994
Approximation properties of NP minimization classes
PG Kolaitis, MN Thakur
Journal of Computer and System Sciences 50 (3), 391-411, 1995
138*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
1232011
The system can't perform the operation now. Try again later.
Articles 1–20