Follow
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
9171995
CCS expressions, finite state processes, and three problems of equivalence
PC Kanellakis, SA Smolka
Information and computation 86 (1), 43-68, 1990
8801990
Building an object-oriented database system: the story of 02
F Bancilhon, C Delobel, P Kanellakis
Morgan Kaufmann Publishers Inc., 1992
8411992
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
4711995
Elements of relational database theory
PC Kanellakis
Formal models and semantics, 1073-1156, 1990
3391990
Flowshop scheduling with limited temporary storage
CH Papadimitriou, PC Kanellakis
Journal of the ACM (JACM) 27 (3), 533-549, 1980
3241980
On the sequential nature of unification
C Dwork, PC Kanellakis, JC Mitchell
The Journal of Logic Programming 1 (1), 35-50, 1984
2951984
On the representation and querying of sets of possible worlds
S Abiteboul, P Kanellakis, G Grahne
Theoretical computer science 78 (1), 159-187, 1991
2791991
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
2711987
The Theory of Databases
PC Kanellakis, FP Preparata
JAI Press (NY), 1986
2631986
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
2151988
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
1751985
Local search for the asymmetric traveling salesman problem
PC Kanellakis, CH Papadimitriou
Operations Research 28 (5), 1086-1099, 1980
1661980
On concurrency control by multiple versions
CH Papadimitriou, PC Kanellakis
ACM Transactions on Database Systems (TODS) 9 (1), 89-99, 1984
1631984
Efficient parallel algorithms can be made robust
PC Kanellakis, AA Shvartsman
Distributed Computing 5 (4), 201-217, 1992
1541992
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
1222013
Polynomial-time implication problems for unary inclusion dependencies
SS Cosmadakis, PC Kanellakis, MY Vardi
Journal of the ACM (JACM) 37 (1), 15-46, 1990
1111990
The system can't perform the operation now. Try again later.
Articles 1–20