Paris C. Kanellakis - Concepedia

Author

Paris C. Kanellakis

Also Known As

P C Kanellakis, P Kanellakis, P. C. Kanellakis, P. Kanellakis, P.C. Kanellakis, Paris C Kanellakis, Paris C. KANELLAKIS, Paris C. Kanellakis, Paris Christos Kanellakis, Paris Kanellakis

119

Publications

6.4K

Citations

H-Index

Concepts

All Affiliations

Brown University Massachusetts Institute of Technology Institut national de recherche en sciences et technologies du numérique John Brown University Brandeis University

About

Paris C. Kanellakis is an author at Brown University specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	30	51	4.5K
2	Business	5	5	876
3	Arts	3	3	37
4	Language Studies	3	3	169
5	Education	1	1	43

Paris C. Kanellakis

Publications

5.1K

Citations

H-Index

Page 1

	Year	Citations
Constraint Query Languages Paris C. Kanellakis, Gabriel M. Kuper, Péter Révész Journal of Computer and System Sciences Constraint SolvingSyntaxEngineeringConstraint SatisfactionAutomated Reasoning	1995	677
CCS expressions, finite state processes, and three problems of equivalence Paris C. Kanellakis, Scott A. Smolka Information and Computation EngineeringAutomated ReasoningFormal MethodsComputational ComplexityEquivalence Checking	1990	533
Object identity as a query language primitive Serge Abiteboul, Paris C. Kanellakis ACM SIGMOD Record Relational DatabaseEngineeringQuery Language IqlSemanticsSemantic Web	1989	362
On the representation and querying of sets of possible worlds Serge Abiteboul, Paris C. Kanellakis, Gösta Grahne Theoretical Computer Science Combinatorics On WordEngineeringAutomated ReasoningCombinatorial DesignExtremal Set Theory	1991	251
Flowshop scheduling with limited temporary storage Christos H. Papadimitriou, Paris C. Kanellakis Journal of the ACM	1980	248
Object identity as a query language primitive Serge Abiteboul, Paris C. Kanellakis Relational DatabaseEngineeringQuery Language IqlSemanticsSemantic Web	1989	236
On the sequential nature of unification Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell The Journal of Logic Programming EngineeringAutomated ReasoningFormal MethodsFormal SystemHigher-order Logic	1984	201
Constraint query languages (preliminary report) Paris C. Kanellakis, Gabriel M. Kuper, Péter Révész Constraint SolvingRelational DatabaseEngineeringInformation RetrievalConstraint Satisfaction	1990	197
On the representation and querying of sets of possible worlds Serge Abiteboul, Paris C. Kanellakis, Gösta Grahne EngineeringCombinatorial DesignComputational ComplexityPossible WorldsCombinatorics On Word	1987	155
Decidable optimization problems for database logic programs Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Computational LogicDatalog ProgramDeclarative ProgrammingEngineeringDeductive Database	1988	151

Page 1