Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Stavros S. Cosmadakis" ( http://dblp.L3S.de/Authors/Stavros_S._Cosmadakis )

  Author page on DBLP  Author page in RDF  Community of Stavros S. Cosmadakis in ASPL-2

Publication years (Num. hits)
1983-1986 (16) 1987-1999 (16) 2001-2010 (5)
Publication types (Num. hits)
article(14) inproceedings(23)
Venues (Conferences, Journals, ...)
PODS(8) STOC(4) J. Comput. Syst. Sci.(3) ACM Trans. Comput. Log.(2) DBPL(2) FOCS(2) Inf. Process. Lett.(2) J. ACM(2) LICS(2) Advances in Computing Research(1) ICALP(1) Inf. Comput.(1) Information and Control(1) ITA(1) LISP and Functional Programmin...(1) PPCP(1) More (+10 of total 19)
Authors
Stavros S. Cosmadakis(37) Paris C. Kanellakis(12) Foto N. Afrati(6) Christos H. Papadimitriou(5) Mihalis Yannakakis(3) Moshe Y. Vardi(3) Eugénie Foustoucos(2) Gabriel M. Kuper(2) Nicolas Spyratos(2) Albert R. Meyer(1) Anastasios Sidiropoulos(1) George Papageorgiou(1) Haim Gaifman(1) Jon G. Riecke(1) Kleoni Ioannidou(1) Leonid Libkin(1) More (+10 of total 21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 8 keywords
Results
Found 37 publication records. Showing 37 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stavros S. Cosmadakis, Eugénie Foustoucos, Anastasios Sidiropoulos Undecidability and intractability results concerning datalog programs and their persistency numbers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos Datalog programs and their persistency numbers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bounded-tree width hypergraphs, persistency numbers, persistent variables, program transformations, Datalog, finite automata, Boundedness
1Stavros S. Cosmadakis Inherent Complexity of Recursive Queries. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Gabriel M. Kuper, Leonid Libkin On the orthographic dimension of definable sets. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Kleoni Ioannidou, Stergios Stergiou View Serializable Updates of Concurrent Index Structures. Search on Bibsonomy DBPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Vasilis Aggelis, Stavros S. Cosmadakis Optimization of Nested SQL Queries by Tableau Equivalence. Search on Bibsonomy DBPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis Inherent Complexity of Recursive Queries (Extended Abstract). Search on Bibsonomy PODS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis On Datalog vs. Polynomial Time. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper Linear vs Polynomial Constraints in Database Query Languages. Search on Bibsonomy PPCP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis Complete Proof Systems for Algebraic Simply-Typed Terms. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis Logical Reducibility and Monadic NP Search on Bibsonomy FOCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF syntactically restricted first-order reductions, logical reducibility, monadic NP, polynomial-time many-one reductions, directed reachability, encodings, first-order logic, NP-complete problems, relational structures
1Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis On Datalog vs. Polynomial Time. Search on Bibsonomy PODS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Datalog
1Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi Polynomial-Time Implication Problems for Unary Inclusion Dependencies Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Albert R. Meyer, Jon G. Riecke Completeness for typed lazy inequalities Search on Bibsonomy LICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis Computing with Recursive Types (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis On the First-Order Expressibility of Recursive Queries. Search on Bibsonomy PODS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Datalog
1Foto N. Afrati, Stavros S. Cosmadakis Expressiveness of Restricted Recursive Queries (Extended Abstract) Search on Bibsonomy STOC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis The Word and Generator Problems for Lattices Search on Bibsonomy Inf. Comput. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) Search on Bibsonomy STOC The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Sandeep N. Bhatt, Stavros S. Cosmadakis The Complexity of Minimizing Wire Lengths in VLSI Layouts. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis Database Theory and Cylindric Lattices (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Foto N. Afrati, Stavros S. Cosmadakis, Christos H. Papadimitriou, George Papageorgiou, Nadia Papakostantinou The Complexity of the Travelling Repairman Problem. Search on Bibsonomy ITA The full citation details ... 1986 DBLP  BibTeX  RDF
1Stavros S. Cosmadakis, Paris C. Kanellakis, Nicolas Spyratos Partition Semantics for Relations. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Paris C. Kanellakis Functional and Inclusion Dependencies. Search on Bibsonomy Advances in Computing Research The full citation details ... 1986 DBLP  BibTeX  RDF
1Stavros S. Cosmadakis, Paris C. Kanellakis Parallel Evaluation of Recursive Rule Queries. Search on Bibsonomy PODS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Paris C. Kanellakis Two Applications of Equational Theories to Database Theory. Search on Bibsonomy RTA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Paris C. Kanellakis, Nicolas Spyratos Partition Semantics for Relations. Search on Bibsonomy PODS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Paris C. Kanellakis Equational Theories and Database Constraints Search on Bibsonomy STOC The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Christos H. Papadimitriou Updates of Relational Views. Search on Bibsonomy J. ACM The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Christos H. Papadimitriou The Traveling Salesman Problem with Many Visits to Few Cities. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Paris C. Kanellakis Functional and Inclusion Dependencies: A Graph Theoretic Approach. Search on Bibsonomy PODS The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis The Complexity of Evaluating Relational Queries Search on Bibsonomy Information and Control The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Mihalis Yannakakis, Paris C. Kanellakis, Stavros S. Cosmadakis, Christos H. Papadimitriou Cutting and Partitioning a Graph aifter a Fixed Pattern (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis, Paris C. Kanellakis Functional and Inclusion Dependencies. Search on Bibsonomy XP4.5 Workshop on Database Theory The full citation details ... 1983 DBLP  BibTeX  RDF
1Stavros S. Cosmadakis, Christos H. Papadimitriou Updates of Relational Views. Search on Bibsonomy PODS The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Stavros S. Cosmadakis The Complexity of Evaluating Relational Queries. Search on Bibsonomy PODS The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) Search on Bibsonomy STOC The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #37 of 37 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.