Paris C. Kanellakis 1953-1995
Paris C. Kanellakis 1953-1995
Professor of Computer Science, Brown University
Verified email at cmu.edu - Homepage
Title
Cited by
Cited by
Year
Constraint query languages
PC Kanellakis, GM Kuper, PZ Revesz
Journal of computer and system sciences 51 (1), 26-52, 1995
9091995
CCS expressions, finite state processes, and three problems of equivalence
PC Kanellakis, SA Smolka
Information and computation 86 (1), 43-68, 1990
8621990
Building an object-oriented database system: the story of 02
F Bancilhon, C Delobel, P Kanellakis
Morgan Kaufmann Publishers Inc., 1992
8241992
Object identity as a query language primitive
S Abiteboul, PC Kanellakis
ACM SIGMOD Record 18 (2), 159-173, 1989
7191989
On similarity queries for time-series data: constraint specification and implementation
DQ Goldin, PC Kanellakis
International Conference on Principles and Practice of Constraint …, 1995
4451995
Elements of relational database theory
PC Kanellakis
Formal models and semantics, 1073-1156, 1990
3241990
Flowshop scheduling with limited temporary storage
CH Papadimitriou, PC Kanellakis
Journal of the ACM (JACM) 27 (3), 533-549, 1980
3201980
On the sequential nature of unification
C Dwork, PC Kanellakis, JC Mitchell
The Journal of Logic Programming 1 (1), 35-50, 1984
2871984
On the representation and querying of sets of possible worlds
S Abiteboul, P Kanellakis, G Grahne
Theoretical computer science 78 (1), 159-187, 1991
2761991
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
2671987
The Theory of Databases
PC Kanellakis, FP Preparata
JAI Press (NY), 1986
2561986
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
2031988
Indexing for data models with constraints and classes
P Kanellakis, S Ramaswamy, DE Vengroff, JS Vitter
journal of computer and system sciences 52 (3), 589-612, 1996
1951996
ISIS: Interface for a semantic information system
KJ Goldman, SA Goldman, PC Kanellakis, SB Zdonik
ACM SIGMOD Record 14 (4), 328-342, 1985
1741985
On concurrency control by multiple versions
CH Papadimitriou, PC Kanellakis
ACM Transactions on Database Systems (TODS) 9 (1), 89-99, 1984
1671984
Local search for the asymmetric traveling salesman problem
PC Kanellakis, CH Papadimitriou
Operations Research 28 (5), 1086-1099, 1980
1631980
Efficient parallel algorithms can be made robust
PC Kanellakis, AA Shvartsman
Distributed Computing 5 (4), 201-217, 1992
1521992
Constraint programming and database query languages
PC Kanellakis, DQ Goldin
International Symposium on Theoretical Aspects of Computer Software, 96-120, 1994
1271994
Fault-tolerant parallel computation
PC Kanellakis, AA Shvartsman
Springer Science & Business Media, 2013
1172013
Polynomial-time implication problems for unary inclusion dependencies
SS Cosmadakis, PC Kanellakis, MY Vardi
Journal of the ACM (JACM) 37 (1), 15-46, 1990
1121990
The system can't perform the operation now. Try again later.
Articles 1–20