Find:

Searching for PHRASE michael benedikt.

Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
47 documents found. Order: number of citations.

Relational Expressive Power of Constraint Query Languages - Benedikt, Dong, Libkin, Wong (1995)   (Correct)   (54 citations)
Power of Constraint Query Languages Michael Benedikt Bell Laboratories 1000 East Warrenville Rd
Power of Constraint Query Languages Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong
sdmc.i2r.a-star.edu.sg/limsoon/psZ/bdlwjacm96.ps.gz

A Decidable Logic for Describing Linked Data Structures - Benedikt, Reps, Sagiv (1999)   (Correct)   (33 citations)
Logic for Describing Linked Data Structures Michael Benedikt 1 Thomas Reps 2 and Mooly Sagiv 3
Logic for Describing Linked Data Structures Michael Benedikt, Thomas Reps, Mooly Sagiv
www.cs.wisc.edu/wpis/papers/esop99.ps

The Expressive Power of Unary Counters - Benedikt, Keisler (1997)   (Correct)   (17 citations)
The Expressive Power of Unary Counters Michael Benedikt and H.J. Keisler Copyright 1997
Law. Expressive Power of Unary Counters Michael Benedikt 1 H. Jerome Keisler 2 1 Bell
www.bell-labs.com/user/benedikt/papers/icdtfinal.cop.ps

Experience with a Domain Specific Language for Form-based.. - David Atkins (1997)   (Correct)   (14 citations)
Services David Atkins, Thomas Ball Michael Benedikt, Glenn Bruns, Kenneth Cox, Peter Mataga,
www.bell-labs.com/~tball/papers/dsl97.ps.gz

Structural Properties of XPath Fragments - Benedikt, Fan, Kuper (2003)   (Correct)   (13 citations)
Structural Properties of XPath Fragments Michael Benedikt Bell Laboratories benedikt research.
Structural Properties of XPath Fragments Michael Benedikt, Wenfei Fan, Gabriel M. Kuper
www.cis.temple.edu/~fan/papers/icdt03.pdf

DTD-Directed Publishing with Attribute Translation.. - Benedikt, Chan, Fan.. (2002)   (Correct)   (13 citations)
with Attribute Translation Grammars Michael Benedikt Chee Yong Chan Wenfei Fan Rajeev Rastogi
with Attribute Translation Grammars Michael Benedikt, Chee Yong Chan, Wenfei Fan, Rajeev Rastogi,
www.cis.temple.edu/~fan/papers/vldb02-atg.pdf

Languages for Relational Databases over Interpreted Structures - Benedikt, Libkin (1997)   (Correct)   (12 citations)
Databases over Interpreted Structures Michael Benedikt and Leonid Libkin Copyright 1996 by the
Databases over Interpreted Structures Michael Benedikt Bell Laboratories 1000 E. Warrenville Rd
www.bell-labs.com/user/benedikt/papers/pods97.cop.ps

Model Checking of Unrestricted Hierarchical State Machines - Benedikt, Godefroid, Reps (2001)   (Correct)   (11 citations)
of Unrestricted Hierarchical State Machines Michael Benedikt 1 Patrice Godefroid 1 Thomas Reps 2 1
of Unrestricted Hierarchical State Machines Michael Benedikt, Patrice Godefroid, Thomas Reps
www-out.bell-labs.com/user/god/public_psfiles/icalp2001.ps

Safe Constraint Queries - Benedikt, Libkin (1998)   (Correct)   (11 citations)
Safe Constraint Queries Michael Benedikt Bell Laboratories 1000 E Warrenville Rd
Systems, 1998. Safe Constraint Queries Michael Benedikt, Leonid Libkin
www.cs.bell-labs.com/cm/cs/who/libkin/papers/sicomp-pods98.ps.gz

Verifiable Properties of Database Transactions - Benedikt, Griffin, al. (1998)   (Correct)   (10 citations)
Properties of Database Transactions Michael Benedikt, Timothy Griffin, et al.
www.cs.bell-labs.com/who/libkin/papers/wpc.ps.gz

Exact and Approximate Aggregation in Constraint Query Languages - Benedikt, Libkin (1998)   (Correct)   (10 citations)
Aggregation in Constraint Query Languages Michael Benedikt Bell Laboratories 1000 E Warrenville Rd
Aggregation in Constraint Query Languages Michael Benedikt, Leonid Libkin
www.cs.bell-labs.com/cm/cs/who/libkin/papers/pods99.ps.gz

On the Structure of Queries in Constraint Query Languages - Benedikt, Libkin (1996)   (Correct)   (10 citations)
of Queries in Constraint Query Languages Michael Benedikt Bell Laboratories 1000 E Warrenville Rd
of Queries in Constraint Query Languages Michael Benedikt, Leonid Libkin
www.cs.bell-labs.com/cm/cs/who/libkin/papers/lics96.ps.gz

First 20 documents  Next 20

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP

CiteSeer.IST - Copyright Penn State and NEC