Constraint query languages (preliminary report) PC Kanellakis, GM Kuper, PZ Revesz Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of …, 1990 | 969 | 1990 |
CCS expressions, finite state processes, and three problems of equivalence PC Kanellakis, SA Smolka Proceedings of the second annual ACM symposium on Principles of distributed …, 1983 | 928 | 1983 |
Building an object-oriented database system: the story of 02 F Bancilhon, C Delobel, P Kanellakis Morgan Kaufmann Publishers Inc., 1992 | 851 | 1992 |
Object identity as a query language primitive S Abiteboul, PC Kanellakis ACM SIGMOD Record 18 (2), 159-173, 1989 | 738 | 1989 |
On similarity queries for time-series data: constraint specification and implementation DQ Goldin, PC Kanellakis International conference on principles and practice of constraint …, 1995 | 499 | 1995 |
Flowshop scheduling with limited temporary storage CH Papadimitriou, PC Kanellakis Journal of the ACM (JACM) 27 (3), 533-549, 1980 | 347 | 1980 |
Elements of relational database theory PC Kanellakis Formal models and semantics, 1073-1156, 1990 | 339 | 1990 |
On the sequential nature of unification C Dwork, PC Kanellakis, JC Mitchell The Journal of Logic Programming 1 (1), 35-50, 1984 | 316 | 1984 |
On the representation and querying of sets of possible worlds S Abiteboul, P Kanellakis, G Grahne Theoretical computer science 78 (1), 159-187, 1991 | 295 | 1991 |
On the representation and querying of sets of possible worlds S Abiteboul, P Kanellakis, G Grahne Proceedings of the 1987 ACM SIGMOD international conference on Management of …, 1987 | 287 | 1987 |
The Theory of Databases PC Kanellakis, FP Preparata JAI Press (NY), 1986 | 270 | 1986 |
Decidable optimization problems for database logic programs S Cosmadakis, H Gaifman, P Kanellakis, M Vardi Proceedings of the twentieth annual ACM symposium on Theory of computing …, 1988 | 217 | 1988 |
Indexing for data models with constraints and classes PC Kanellakis, S Ramaswamy, DE Vengroff, JS Vitter Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1993 | 207 | 1993 |
On concurrency control by multiple versions CH Papadimitriou, PC Kanellakis ACM Transactions on Database Systems (TODS) 9 (1), 89-99, 1984 | 187 | 1984 |
Local search for the asymmetric traveling salesman problem PC Kanellakis, CH Papadimitriou Operations Research 28 (5), 1086-1099, 1980 | 185 | 1980 |
Efficient parallel algorithms can be made robust PC Kanellakis, AA Shvartsman Proceedings of the eighth annual ACM Symposium on Principles of distributed …, 1989 | 168 | 1989 |
ISIS: Interface for a semantic information system KJ Goldman, SA Goldman, PC Kanellakis, SB Zdonik ACM SIGMOD Record 14 (4), 328-342, 1985 | 168 | 1985 |
Constraint programming and database query languages PC Kanellakis, DQ Goldin International Symposium on Theoretical Aspects of Computer Software, 96-120, 1994 | 130 | 1994 |
Polynomial-time implication problems for unary inclusion dependencies SS Cosmadakis, PC Kanellakis, MY Vardi Journal of the ACM (JACM) 37 (1), 15-46, 1990 | 123 | 1990 |
Fault-tolerant parallel computation PC Kanellakis, AA Shvartsman Springer Science & Business Media, 2013 | 122 | 2013 |