Edit Profile (opens in new tab) Kanellakis, Paris Christos Co-Author Distance Author ID: kanellakis.paris-christos Published as: Kanellakis, Paris C.; Kanellakis, Paris; Kanellakis, Paris Christos; Kanellakis, Paris-C.; Kanellakis, P. more...less 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 all top 5 Co-Authors 3 single-authored 6 Papadimitriou, Christos Harilaos 5 Abiteboul, Serge 5 Schwarzmann, Alexander A. 4 Cosmadakis, Stavros S. 3 Dwork, Cynthia 3 Hillebrand, Gerd G. 3 Mairson, Harry George 3 Smolka, Scott A. 3 Vitter, Jeffrey Scott 2 Buchsbaum, Adam L. 2 Ramaswamy, Sridhar 2 Stockmeyer, Larry J. 2 Vardi, Moshe Ya’akov 1 Bancilhon, Francois 1 Beeri, Catriel 1 Buss, Jonathan F. 1 Goldin, Dina Q. 1 Grahne, Gösta 1 Michailidis, Dimitrios 1 Mitchell, John C. 1 Ragde, Prabhakar L. 1 Ramakrishnan, Raghu 1 Revesz, Peter Z. 1 Vengroff, Darren Erik 1 Waller, Emmanuel 1 Yannakakis, Mihalis all top 5 Serials 5 Journal of Computer and System Sciences 2 Journal of the Association for Computing Machinery 2 SIAM Journal on Computing 2 The Journal of Logic Programming 2 Information and Computation 1 Information Processing Letters 1 ACM Transactions on Database Systems 1 Operations Research 1 Theoretical Computer Science 1 Journal of Algorithms 1 Journal of Symbolic Computation 1 Algorithmica 1 Distributed Computing 1 Nordic Journal of Computing 1 Annals of Mathematics and Artificial Intelligence 1 Journal of the ACM 1 The Kluwer International Series in Engineering and Computer Science 1 Lecture Notes in Computer Science all top 5 Fields 36 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 20 Fields 357 Computer science (68-XX) 85 Operations research, mathematical programming (90-XX) 44 Mathematical logic and foundations (03-XX) 12 Combinatorics (05-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 6 General algebraic systems (08-XX) 6 Numerical analysis (65-XX) 5 Probability theory and stochastic processes (60-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Category theory; homological algebra (18-XX) 3 Systems theory; control (93-XX) 3 Information and communication theory, circuits (94-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Biology and other natural sciences (92-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Ordinary differential equations (34-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) Citations by Year