×

Kanellakis, Paris Christos

Author ID: kanellakis.paris-christos Recent zbMATH articles by "Kanellakis, Paris Christos"
Published as: Kanellakis, Paris C.; Kanellakis, Paris; Kanellakis, Paris Christos; Kanellakis, Paris-C.; Kanellakis, P.
Documents Indexed: 35 Publications since 1980, including 1 Book
2 Contributions as Editor
Biographic References: 7 Publications
Co-Authors: 26 Co-Authors with 34 Joint Publications
1,010 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 490 times in 444 Documents Cited by Year
CCS expressions, finite state processes, and three problems of equivalence. Zbl 0705.68063
Kanellakis, Paris C.; Smolka, Scott A.
120
1990
Flowshop scheduling with limited temporary storage. Zbl 0475.68014
Papadimitriou, Christos H.; Kanellakis, Paris C.
53
1980
Elements of relational database theory. Zbl 0900.68090
Kanellakis, Paris C.
51
1990
On the sequential nature of unification. Zbl 0588.68045
Dwork, Cynthia; Kanellakis, Paris C.; Mitchell, John C.
28
1984
On the representation and querying of sets of possible worlds. Zbl 0741.68039
Abiteboul, Serge; Kanellakis, Paris; Grahne, Gösta
26
1991
Local search for the asymmetric traveling salesman problem. Zbl 0447.90082
Kanellakis, Paris-C.; Papadimitriou, Christos H.
23
1980
Efficient parallel algorithms can be made robust. Zbl 0744.68060
Kanellakis, Paris C.; Shvartsman, Alex A.
17
1992
Fault-tolerant parallel computation. Zbl 0881.68050
Kanellakis, Paris Christos; Shvartsman, Alex Allister
16
1997
Object identity as a query language primitive. Zbl 1065.68522
Abiteboul, Serge; Kanellakis, Paris C.
14
1998
Polynomial-time implication problems for unary inclusion dependencies. Zbl 0698.68090
Cosmadakis, Stavros S.; Kanellakis, Paris C.; Vardi, Moshe Y.
14
1990
Undecidable boundedness problems for datalog programs. Zbl 0876.68021
Hillebrand, Gerd G.; Kanellakis, Paris C.; Mairson, Harry G.; Vardi, Moshe Y.
13
1995
Cutting and partitioning a graph after a fixed pattern. Zbl 0549.68062
Yannakakis, Mihalis; Kanellakis, Paris C.; Cosmadakis, Stavros S.; Papadimitriou, Christos H.
13
1983
Constraint programming and database query languages. Zbl 0942.68555
Kanellakis, Paris C.; Goldin, Dina Q.
12
1994
On concurrency control by multiple versions. Zbl 0547.68092
Papadimitriou, Christos H.; Kanellakis, Paris C.
11
1984
Bounds in the propagation of selection into logic programs. Zbl 0796.68054
Beeri, Catriel; Kanellakis, Paris; Bancilhon, Francois; Ramakrishnan, Raghu
11
1990
Indexing for data models with constraints and classes. Zbl 0858.68023
Kanellakis, Paris; Ramaswamy, Sridhar; Vengroff, Darren E.; Vitter, Jeffrey Scott
8
1996
Parallel algorithms with processor failures and delays. Zbl 0840.68055
Buss, Jonathan F.; Kanellakis, Paris C.; Ragde, Prabhakar L.; Shvartsman, Alex Allister
8
1996
Parallel algorithms for term matching. Zbl 0651.68110
Dwork, Cynthia; Kanellakis, Paris C.; Stockmeyer, Larry
7
1988
Database query languages embedded in the typed lambda calculus. Zbl 0856.68056
Hillebrand, Gerd G.; Kanellakis, Paris C.; Mairson, Harry G.
7
1996
Efficient parallel algorithms on restartable fail-stop processors. Zbl 1314.68362
Kanellakis, Paris C.; Shvartsman, Alex A.
5
1991
Partition semantics for relations. Zbl 0625.68073
Cosmadakis, Stavros S.; Kanellakis, Paris C.
5
1986
On the analysis of cooperation and antagonism in networks of communicating processes. Zbl 0636.68023
Kanellakis, Paris C.; Smolka, Scott A.
4
1988
A data structure for arc insertion and regular path finding. Zbl 0800.68603
Buchsbaum, Adam L.; Kanellakis, Paris C.; Vitter, Jeffrey S.
3
1990
Logic programming and parallel complexity. Zbl 0643.68164
Kanellakis, Paris C.
3
1986
Two applications of equational theories to database theory. Zbl 0576.68078
Cosmadakis, Stavros; Kanellakis, Paris C.
3
1985
Is distributed locking harder? Zbl 0571.68083
Kanellakis, Paris C.; Papadimitriou, Christos H.
3
1984
On the computational complexity of cardinality constraints in relational databases. Zbl 0465.68058
Kanellakis, Paris C.
3
1980
A data structure for arc insertion and regular path finding. Zbl 0877.68032
Buchsbaum, Adam L.; Kanellakis, Paris C.; Vitter, Jeffrey Scott
2
1991
On the relationship of congruence closure and unification. Zbl 0678.68041
Kanellakis, Paris C.; Revesz, Peter Z.
2
1989
Method schemas. Zbl 1294.68070
Abiteboul, Serge; Kanellakis, Paris; Ramaswamy, Sridhar; Waller, Emmanuel
2
1995
Controlling memory access concurrency in efficient fault-tolerant parallel algorithms. Zbl 0839.68037
Kanellakis, Paris C.; Michailidis, Dimitrios; Shvartsman, Alex Allister
2
1995
Parallel algorithms for term matching. Zbl 0643.68134
Dwork, Cynthia; Kanellakis, Paris; Stockmeyer, Larry
1
1986
Object identity as a query language primitive. Zbl 1065.68522
Abiteboul, Serge; Kanellakis, Paris C.
14
1998
Fault-tolerant parallel computation. Zbl 0881.68050
Kanellakis, Paris Christos; Shvartsman, Alex Allister
16
1997
Indexing for data models with constraints and classes. Zbl 0858.68023
Kanellakis, Paris; Ramaswamy, Sridhar; Vengroff, Darren E.; Vitter, Jeffrey Scott
8
1996
Parallel algorithms with processor failures and delays. Zbl 0840.68055
Buss, Jonathan F.; Kanellakis, Paris C.; Ragde, Prabhakar L.; Shvartsman, Alex Allister
8
1996
Database query languages embedded in the typed lambda calculus. Zbl 0856.68056
Hillebrand, Gerd G.; Kanellakis, Paris C.; Mairson, Harry G.
7
1996
Undecidable boundedness problems for datalog programs. Zbl 0876.68021
Hillebrand, Gerd G.; Kanellakis, Paris C.; Mairson, Harry G.; Vardi, Moshe Y.
13
1995
Method schemas. Zbl 1294.68070
Abiteboul, Serge; Kanellakis, Paris; Ramaswamy, Sridhar; Waller, Emmanuel
2
1995
Controlling memory access concurrency in efficient fault-tolerant parallel algorithms. Zbl 0839.68037
Kanellakis, Paris C.; Michailidis, Dimitrios; Shvartsman, Alex Allister
2
1995
Constraint programming and database query languages. Zbl 0942.68555
Kanellakis, Paris C.; Goldin, Dina Q.
12
1994
Efficient parallel algorithms can be made robust. Zbl 0744.68060
Kanellakis, Paris C.; Shvartsman, Alex A.
17
1992
On the representation and querying of sets of possible worlds. Zbl 0741.68039
Abiteboul, Serge; Kanellakis, Paris; Grahne, Gösta
26
1991
Efficient parallel algorithms on restartable fail-stop processors. Zbl 1314.68362
Kanellakis, Paris C.; Shvartsman, Alex A.
5
1991
A data structure for arc insertion and regular path finding. Zbl 0877.68032
Buchsbaum, Adam L.; Kanellakis, Paris C.; Vitter, Jeffrey Scott
2
1991
CCS expressions, finite state processes, and three problems of equivalence. Zbl 0705.68063
Kanellakis, Paris C.; Smolka, Scott A.
120
1990
Elements of relational database theory. Zbl 0900.68090
Kanellakis, Paris C.
51
1990
Polynomial-time implication problems for unary inclusion dependencies. Zbl 0698.68090
Cosmadakis, Stavros S.; Kanellakis, Paris C.; Vardi, Moshe Y.
14
1990
Bounds in the propagation of selection into logic programs. Zbl 0796.68054
Beeri, Catriel; Kanellakis, Paris; Bancilhon, Francois; Ramakrishnan, Raghu
11
1990
A data structure for arc insertion and regular path finding. Zbl 0800.68603
Buchsbaum, Adam L.; Kanellakis, Paris C.; Vitter, Jeffrey S.
3
1990
On the relationship of congruence closure and unification. Zbl 0678.68041
Kanellakis, Paris C.; Revesz, Peter Z.
2
1989
Parallel algorithms for term matching. Zbl 0651.68110
Dwork, Cynthia; Kanellakis, Paris C.; Stockmeyer, Larry
7
1988
On the analysis of cooperation and antagonism in networks of communicating processes. Zbl 0636.68023
Kanellakis, Paris C.; Smolka, Scott A.
4
1988
Partition semantics for relations. Zbl 0625.68073
Cosmadakis, Stavros S.; Kanellakis, Paris C.
5
1986
Logic programming and parallel complexity. Zbl 0643.68164
Kanellakis, Paris C.
3
1986
Parallel algorithms for term matching. Zbl 0643.68134
Dwork, Cynthia; Kanellakis, Paris; Stockmeyer, Larry
1
1986
Two applications of equational theories to database theory. Zbl 0576.68078
Cosmadakis, Stavros; Kanellakis, Paris C.
3
1985
On the sequential nature of unification. Zbl 0588.68045
Dwork, Cynthia; Kanellakis, Paris C.; Mitchell, John C.
28
1984
On concurrency control by multiple versions. Zbl 0547.68092
Papadimitriou, Christos H.; Kanellakis, Paris C.
11
1984
Is distributed locking harder? Zbl 0571.68083
Kanellakis, Paris C.; Papadimitriou, Christos H.
3
1984
Cutting and partitioning a graph after a fixed pattern. Zbl 0549.68062
Yannakakis, Mihalis; Kanellakis, Paris C.; Cosmadakis, Stavros S.; Papadimitriou, Christos H.
13
1983
Flowshop scheduling with limited temporary storage. Zbl 0475.68014
Papadimitriou, Christos H.; Kanellakis, Paris C.
53
1980
Local search for the asymmetric traveling salesman problem. Zbl 0447.90082
Kanellakis, Paris-C.; Papadimitriou, Christos H.
23
1980
On the computational complexity of cardinality constraints in relational databases. Zbl 0465.68058
Kanellakis, Paris C.
3
1980
all top 5

Cited by 751 Authors

13 Schwarzmann, Alexander A.
8 Groote, Jan Friso
8 Kowalski, Dariusz R.
7 Abiteboul, Serge
7 Ćirić, Miroslav D.
7 Vianu, Victor
6 Cleaveland, Rance
6 Georgiou, Chryssis
6 Ignjatović, Jelena
6 Larsen, Kim Guldstrand
6 Libkin, Leonid O.
5 Gyssens, Marc
5 Huynh, Dung T.
5 Kanellakis, Paris Christos
5 Sriskandarajah, Chelliah
5 Su, Jianwen
4 Bentz, Cédric
4 Chlebus, Bogdan Stanislaw
4 Link, Sebastian
4 Milius, Stefan
4 Möller, Bernhard
4 Montanari, Ugo G.
4 Papadimitriou, Christos Harilaos
4 Saccà, Domenico
4 Schröder, Lutz
4 Srba, Jiří
4 Tian, Lu
4 Turrini, Andrea
4 Van Gucht, Dirk
4 Wißmann, Thorsten
4 Yannakakis, Mihalis
3 Arge, Lars
3 Baixeries, Jaume
3 Bernardo, Marco
3 Chomicki, Jan
3 Dovier, Agostino
3 Fan, Wenfei
3 Gąsieniec, Leszek Antoni
3 Glover, Fred W.
3 Grädel, Erich
3 Grumbach, Stéphane
3 Gurevich, Yuri
3 Hermanns, Holger
3 Ito, Minoru
3 Jančar, Petr
3 Jansen, David N.
3 Ketsman, Bas
3 Koubarakis, Manolis
3 Koutris, Paraschos
3 Lüttgen, Gerald
3 Pelc, Andrzej
3 Rego, César
3 Roscoe, Andrew William
3 Russell, Alexander C.
3 Smolka, Scott A.
3 Stamenković, Aleksandar
3 Strusevich, Vitaly A.
3 Vandeurzen, Luc
3 Verma, Rakesh M.
3 Wang, Ling
3 Yen, Hsuchun
2 Afrati, Foto N.
2 Agarwal, Pankaj Kumar
2 Albarghouthi, Aws
2 Amano, Shun’ichi
2 Atzeni, Paolo
2 Aubert, Clément
2 Aumann, Yonatan
2 Bagnol, Marc
2 Bašić, Milan
2 Basu, Sumanta
2 Bidoit, Nicole
2 Bonchi, Filippo
2 Boreale, Michele
2 Bosc, Patrick
2 Bruni, Roberto
2 Cardelli, Luca
2 Caseau, Yves
2 Condon, Anne E.
2 Dam, Mads
2 Damljanović, Nada
2 De Nicola, Rocco
2 de Vink, Erik P.
2 Delivorias, Stathis
2 Dong, Guozhu
2 Dorsch, Ulrich
2 Eiter, Thomas
2 Erickson, Jeff
2 Escudero, Laureano Fernando
2 Fages, François
2 Fink, Andreas
2 Galby, Esther
2 Garg, Naveen Kumar
2 Gebler, Daniel E.
2 Geser, Philine
2 Greco, Sergio
2 Gregorio-Rodríguez, Carlos
2 Guessarian, Irène
2 Gupta, Jatinder N. D.
2 Hashemi, Vahid
...and 651 more Authors
all top 5

Cited in 81 Serials

77 Theoretical Computer Science
35 Information and Computation
34 Journal of Computer and System Sciences
21 European Journal of Operational Research
12 Information Processing Letters
12 Computers & Operations Research
9 Acta Informatica
9 Artificial Intelligence
8 Distributed Computing
8 Annals of Mathematics and Artificial Intelligence
8 Logical Methods in Computer Science
7 Formal Aspects of Computing
6 Fuzzy Sets and Systems
6 Information Sciences
6 Annals of Pure and Applied Logic
6 International Journal of Production Research
5 Discrete Applied Mathematics
5 Journal of Symbolic Computation
5 Theory of Computing Systems
5 Journal of Scheduling
5 Journal of Logical and Algebraic Methods in Programming
4 Annals of Operations Research
3 Computers & Mathematics with Applications
3 Journal of Computer Science and Technology
3 Algorithmica
3 Mathematical and Computer Modelling
2 Algebra Universalis
2 The Journal of Symbolic Logic
2 Opsearch
2 Journal of Automated Reasoning
2 RAIRO. Informatique Théorique et Applications
2 Formal Methods in System Design
2 Journal of Computer and Systems Sciences International
2 Journal of Functional Programming
2 Theory and Practice of Logic Programming
1 Discrete Mathematics
1 BIT
1 International Journal of Computer & Information Sciences
1 Mathematics of Operations Research
1 Mathematical Systems Theory
1 Naval Research Logistics
1 SIAM Journal on Computing
1 Cybernetics
1 OR Spektrum
1 Optimization
1 International Journal of Approximate Reasoning
1 Asia-Pacific Journal of Operational Research
1 Journal of Parallel and Distributed Computing
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Foundations of Computer Science
1 Journal of Global Optimization
1 Applied Intelligence
1 International Journal of Computer Mathematics
1 Zeitschrift für Operations Research. Serie A: Theorie
1 ZOR. Zeitschrift für Operations Research
1 Computational Complexity
1 Filomat
1 The Journal of Artificial Intelligence Research (JAIR)
1 Journal of Heuristics
1 Constraints
1 Acta Mathematica et Informatica Universitatis Ostraviensis
1 Journal of the ACM
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 CEJOR. Central European Journal of Operations Research
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming
1 OR Spectrum
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 4OR
1 Journal of Discrete Algorithms
1 Discrete Optimization
1 Engineering Optimization
1 Proceedings of the Steklov Institute of Mathematics
1 Foundations and Trends in Databases
1 Algorithms
1 Journal of Membrane Computing
1 Advances in Combinatorics
1 INFOR: Information Systems and Operational Research

Citations by Year