| 1999 | PODS | Inherent Complexity of Recursive Queries (Extended Abstract). | Stavros S. Cosmadakis |
| 1993 | FOCS | Logical Reducibility and Monadic NP | Stavros S. Cosmadakis |
| 1991 | PODS | On Datalog vs. Polynomial Time. | Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis |
| 1990 | LICS | Completeness for typed lazy inequalities | Stavros S. Cosmadakis, Albert R. Meyer, Jon G. Riecke |
| 1989 | LICS | Computing with Recursive Types (Extended Abstract) | Stavros S. Cosmadakis |
| 1989 | PODS | On the First-Order Expressibility of Recursive Queries. | Stavros S. Cosmadakis |
| 1989 | STOC | Expressiveness of Restricted Recursive Queries (Extended Abstract) | Foto N. Afrati, Stavros S. Cosmadakis |
| 1988 | STOC | Decidable Optimization Problems for Database Logic Programs (Preliminary Report) | Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi |
| 1987 | FOCS | Database Theory and Cylindric Lattices (Extended Abstract) | Stavros S. Cosmadakis |
| 1986 | PODS | Parallel Evaluation of Recursive Rule Queries. | Stavros S. Cosmadakis, Paris C. Kanellakis |
| 1985 | PODS | Partition Semantics for Relations. | Stavros S. Cosmadakis, Paris C. Kanellakis, Nicolas Spyratos |
| 1985 | STOC | Equational Theories and Database Constraints | Stavros S. Cosmadakis, Paris C. Kanellakis |
| 1984 | PODS | Functional and Inclusion Dependencies: A Graph Theoretic Approach. | Stavros S. Cosmadakis, Paris C. Kanellakis |
| 1983 | ICALP | Cutting and Partitioning a Graph aifter a Fixed Pattern (Extended Abstract). | Mihalis Yannakakis, Paris C. Kanellakis, Stavros S. Cosmadakis, Christos H. Papadimitriou |
| 1983 | PODS | The Complexity of Evaluating Relational Queries. | Stavros S. Cosmadakis |
| 1983 | PODS | Updates of Relational Views. | Stavros S. Cosmadakis, Christos H. Papadimitriou |
| 1983 | STOC | Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) | Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi |
| 1983 | XP | Functional and Inclusion Dependencies. | Stavros S. Cosmadakis, Paris C. Kanellakis |