MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Michael Benedikt" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

42 documents found, showing 1 through 10. Next 10 →

ATOM

XPath satisfiability in the presence of DTDs
by Michael Benedikt — 2005 — In PODS ’05: Proceedings of the twenty-fourth ACM Symposium on Principles of Database Systems
…XPath Satisfiability in the Presence of DTDs Michael Benedikt Bell Laboratories benedikt…
Cited by 42 (3 self) – Add To MetaCart

Tree Extension Algebras: Logics, Automata, and Query Languages
by Michael Benedikt, Leonid Libkin — 2002 — In Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS
…Tree Extension Algebras: Logics, Automata, and Query Languages Michael Benedikt Bell Labs Leonid…
Cited by 4 (1 self) – Add To MetaCart

Stability theory, Permutations of Indiscernibles, and Embedded Finite Models
by John Baldwin, Michael Benedikt — 2000 — Trans. Amer. Math. Soc
…, AND EMBEDDED FINITE MODELS JOHN BALDWIN AND MICHAEL BENEDIKT Abstract. We show that the expressive power…
Cited by 11 (1 self) – Add To MetaCart

Relational Queries over Interpreted Structures
by Michael Benedikt, Leonid Libkin — Journal of the ACM
…Relational Queries over Interpreted Structures Michael Benedikt Bell Laboratories 263 Shuman Blvd…
Cited by 23 (10 self) – Add To MetaCart

On the Structure of Queries in Constraint Query Languages
by Michael Benedikt, Michael Benedikt, Leonid Libkin, Leonid Libkin — 1996 — In Proceedings of IEEE Symposium on Logic in Computer Science
…On the Structure of Queries in Constraint Query Languages Michael Benedikt and Leonid Libkin…
Cited by 27 (10 self) – Add To MetaCart

Aggregate Operators in Constraint Query Languages
by Michael Benedikt, Leonid Libkin — 2002 — J. Comput. System Sci
…Aggregate Operators in Constraint Query Languages Michael Benedikt Bell Laboratories 263 Shuman…
Cited by 2 (0 self) – Add To MetaCart

Regular tree languages definable in FO and FOmod
by Michael Benedikt, Luc Segoufin — 2005 — In Proc. STACS’05, volume 3404 of Springer LNCS
…Regular tree languages definable in FO and in FOmod Michael Benedikt Luc Segoufin Abstract We…
Cited by 1 (0 self) – Add To MetaCart

Exact and Approximate Aggregation in Constraint Query Languages
by Michael Benedikt, Leonid Libkin — 1998 — In ACM Symposium on Principles of Database Systems, May/June
…Exact and Approximate Aggregation in Constraint Query Languages Michael Benedikt Bell…
Cited by 10 (2 self) – Add To MetaCart

Languages for Relational Databases over Interpreted Structures
by Michael Benedikt, Michael Benedikt, Leonid Libkin, Leonid Libkin — 1997 — In PODS'97
…Languages for Relational Databases over Interpreted Structures Michael Benedikt and Leonid Libkin…
Cited by 30 (8 self) – Add To MetaCart

Efficient and expressive tree filters
by Michael Benedikt, Alan Jeffrey — 2007 — In Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science
…Efficient and Expressive Tree Filters Michael Benedikt 1 and Alan Jeffrey 2 1 Computing Laboratory…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB