Stavros S. Cosmadakis Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Eugénie Foustoucos, Anastasios Sidiropoulos: Undecidability and intractability results concerning datalog programs and their persistency numbers. ACM Trans. Comput. Log. 11(2) (2010)
2005
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos: Datalog programs and their persistency numbers. ACM Trans. Comput. Log. 6(3): 481-518 (2005)
2002
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis: Inherent Complexity of Recursive Queries. J. Comput. Syst. Sci. 64(3): 466-495 (2002)
2001
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Gabriel M. Kuper, Leonid Libkin: On the orthographic dimension of definable sets. Inf. Process. Lett. 79(3): 141-145 (2001)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Kleoni Ioannidou, Stergios Stergiou: View Serializable Updates of Concurrent Index Structures. DBPL 2001: 247-262
1999
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vasilis Aggelis, Stavros S. Cosmadakis: Optimization of Nested SQL Queries by Tableau Equivalence. DBPL 1999: 31-42
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis: Inherent Complexity of Recursive Queries (Extended Abstract). PODS 1999: 148-154
1995
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis: On Datalog vs. Polynomial Time. J. Comput. Syst. Sci. 51(2): 177-196 (1995)
1994
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis: Complete Proof Systems for Algebraic Simply-Typed Terms. LISP and Functional Programming 1994: 220-226
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper: Linear vs Polynomial Constraints in Database Query Languages. PPCP 1994: 181-192
1993
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis: Logical Reducibility and Monadic NP. FOCS 1993: 52-61
1991
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis: On Datalog vs. Polynomial Time. PODS 1991: 13-25
1990
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi: Polynomial-Time Implication Problems for Unary Inclusion Dependencies. J. ACM 37(1): 15-46 (1990)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Albert R. Meyer, Jon G. Riecke: Completeness for typed lazy inequalities. LICS 1990: 312-320
1989
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis: Computing with Recursive Types (Extended Abstract). LICS 1989: 24-38
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis: On the First-Order Expressibility of Recursive Queries. PODS 1989: 311-323
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foto N. Afrati, Stavros S. Cosmadakis: Expressiveness of Restricted Recursive Queries (Extended Abstract). STOC 1989: 113-126
1988
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis: The Word and Generator Problems for Lattices. Inf. Comput. 77(3): 192-217 (1988)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi: Decidable Optimization Problems for Database Logic Programs (Preliminary Report). STOC 1988: 477-490
1987
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sandeep N. Bhatt, Stavros S. Cosmadakis: The Complexity of Minimizing Wire Lengths in VLSI Layouts. Inf. Process. Lett. 25(4): 263-267 (1987)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis: Database Theory and Cylindric Lattices (Extended Abstract). FOCS 1987: 411-420
1986
j6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Paris C. Kanellakis: Functional and Inclusion Dependencies. Advances in Computing Research 3: 163-184 (1986)
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foto N. Afrati, Stavros S. Cosmadakis, Christos H. Papadimitriou, George Papageorgiou, Nadia Papakostantinou: The Complexity of the Travelling Repairman Problem. ITA 20(1): 79-87 (1986)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Paris C. Kanellakis, Nicolas Spyratos: Partition Semantics for Relations. J. Comput. Syst. Sci. 33(2): 203-233 (1986)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Paris C. Kanellakis: Parallel Evaluation of Recursive Rule Queries. PODS 1986: 280-293
1985
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Paris C. Kanellakis, Nicolas Spyratos: Partition Semantics for Relations. PODS 1985: 261-275
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Paris C. Kanellakis: Two Applications of Equational Theories to Database Theory. RTA 1985: 107-123
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Paris C. Kanellakis: Equational Theories and Database Constraints. STOC 1985: 273-284
1984
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. J. ACM 31(4): 742-760 (1984)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Christos H. Papadimitriou: The Traveling Salesman Problem with Many Visits to Few Cities. SIAM J. Comput. 13(1): 99-108 (1984)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Paris C. Kanellakis: Functional and Inclusion Dependencies: A Graph Theoretic Approach. PODS 1984: 29-37
1983
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis: The Complexity of Evaluating Relational Queries. Information and Control 58(1-3): 101-112 (1983)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mihalis Yannakakis, Paris C. Kanellakis, Stavros S. Cosmadakis, Christos H. Papadimitriou: Cutting and Partitioning a Graph aifter a Fixed Pattern (Extended Abstract). ICALP 1983: 712-722
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis: The Complexity of Evaluating Relational Queries. PODS 1983: 149-155
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. PODS 1983: 317-331
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi: Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract). STOC 1983: 264-277
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stavros S. Cosmadakis, Paris C. Kanellakis: Functional and Inclusion Dependencies. XP4.5 Workshop on Database Theory 1983

Coauthor Index

1Foto N. Afrati
[j13] [j10] [c19] [c17] [c13] [j5]
2Vasilis Aggelis
[c22]
3Sandeep N. Bhatt
[j7]
4Eugénie Foustoucos
[j14] [j13]
5Haim Gaifman
[c12]
6Stéphane Grumbach
[c19]
7Kleoni Ioannidou
[c23]
8Paris C. Kanellakis
[j9] [c12] [j6] [j4] [c10] [c9] [c8] [c7] [c6] [c5] [c2] [c1]
9Gabriel M. Kuper
[j11] [c19]
10Leonid Libkin
[j11]
11Albert R. Meyer
[c16]
12Christos H. Papadimitriou
[j5] [j3] [j2] [c5] [c3]
13George Papageorgiou
[j5]
14Nadia Papakostantinou
[j5]
15Jon G. Riecke
[c16]
16Anastasios Sidiropoulos
[j14]
17Nicolas Spyratos
[j4] [c9]
18Stergios Stergiou
[c23]
19Moshe Y. Vardi
[j9] [c12] [c2]
20Mihalis Yannakakis
[j10] [c17] [c5]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 04:20:18 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page