Seguir
Phokion Kolaitis
Phokion Kolaitis
Distinguished Research Professor, UC Santa Cuz and Principal Research Staff Member, IBM Research
Dirección de correo verificada de ucsc.edu - Página principal
Título
Citado por
Citado por
Año
Data exchange: semantics and query answering
R Fagin, PG Kolaitis, RJ Miller, L Popa
Theoretical Computer Science 336 (1), 89-124, 2005
17372005
Conjunctive-query containment and constraint satisfaction
PG Kolaitis, MY Vardi
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998
5401998
Data exchange: getting to the core
R Fagin, PG Kolaitis, L Popa
ACM Transactions on Database Systems (TODS) 30 (1), 174-210, 2005
4882005
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
4281997
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
4032005
Schema mappings, data exchange, and metadata management
PG Kolaitis
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005
3752005
Finite Model Theory and its applications
E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...
Springer, 2007
3082007
Constraint satisfaction, bounded treewidth, and finite-variable logics
V Dalmau, PG Kolaitis, MY Vardi
International Conference on Principles and Practice of Constraint …, 2002
2642002
Why not negation by fixpoint?
PG Kolaitis, CH Papadimitriou
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1988
2411988
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
2091990
Infinitary logics and 0–1 laws
PG Kolaitis, MY Vardi
Information and computation 98 (2), 258-294, 1992
2041992
Repair checking in inconsistent databases: algorithms and complexity
FN Afrati, PG Kolaitis
Proceedings of the 12th International Conference on Database Theory, 31-41, 2009
1802009
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
1782001
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
1771995
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
1421994
Approximation properties of NP minimization classes
PG Kolaitis, MN Thakur
Journal of Computer and System Sciences 50 (3), 391-411, 1995
141*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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20