Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Michael Benedikt

Papers on DiSC'02


String Operations in Query Languages

Publications


Note: Links lead to the DBLP on the Web.

Michael Benedikt

25 Michael Benedikt, Chee Yong Chan , Wenfei Fan , Rajeev Rastogi , Shihui Zheng , Aoying Zhou : DTD-Directed Publishing with Attribute Translation Grammars. VLDB 2002

24 Michael Benedikt, Leonid Libkin : Aggregate Operators in Constraint Query Languages. JCSS 64 (3): 628-654 (2002)

23 Michael Benedikt, Patrice Godefroid , Thomas W. Reps : Model Checking of Unrestricted Hierarchical State Machines. ICALP 2001 : 652-666

22 Michael Benedikt, Leonid Libkin , Thomas Schwentick , Luc Segoufin : A Model-Theoretic Approach to Regular String Relations. LICS 2001 : 431-

21 Michael Benedikt, Leonid Libkin , Thomas Schwentick , Luc Segoufin : String Operations in Query Languages. PODS 2001

20 Michael Benedikt, H. Jerome Keisler : Definability over Linear Constraints. CSL 2000 : 217-231

19 Michael Benedikt, Leonid Libkin : Query Safety with Constraints. Constraint Databases 2000 : 109-129

18 Michael Benedikt, Leonid Libkin : Expressive Power: The Finite Case. Constraint Databases 2000 : 55-87

17 Michael Benedikt, Martin Grohe , Leonid Libkin , Luc Segoufin : Reachability and Connectivity Queries in Constraint Databases. PODS 2000 : 104-115

16 Michael Benedikt, Leonid Libkin : Relational queries over interpreted structures. JACM 47 (4): 644-680 (2000)

15 Michael Benedikt, Leonid Libkin : Safe Constraint Queries. SIAM J. Comput. 29 (5): 1652-1682 (2000)

14 Michael Benedikt, Thomas W. Reps , Shmuel Sagiv : A Decidable Logic for Describing Linked Data Structures. ESOP 1999 : 2-19

13 Michael Benedikt, Leonid Libkin : Exact and Approximate Aggregation in Constraint Query. PODS 1999 : 102-113

12 Michael Benedikt: Hierarchies of Measure-Theoretic Ultrafilters. Annals of Pure and Applied Logic 97 (1-3): 203-219 (1999)

11 John T. Baldwin , Michael Benedikt: Embedded Finite Models, Stability Theory and the Impact of Order. LICS 1998 : 490-500

10 Michael Benedikt, Leonid Libkin : Safe Constraint Queries. PODS 1998 : 99-108

9 Michael Benedikt, Timothy Griffin , Leonid Libkin : Verifiable Properties of Database Transactions. Information and Computation 147 (1): 57-88 (1998)

8 Michael Benedikt, Guozhu Dong , Leonid Libkin , Limsoon Wong : Relational Expressive Power of Constraint Query Languages. JACM 45 (1): 1-34 (1998)

7 Michael Benedikt: Ultrafilters which Extend Measures. The Journal of Symbolic Logic 63 (2): 638-662 (1998)

6 Michael Benedikt, H. Jerome Keisler : Expressive Power of Unary Counters. ICDT 1997 : 291-305

5 Michael Benedikt, Leonid Libkin : Languages for Relational Databases over Interpreted Structures. PODS 1997 : 87-98

4 Michael Benedikt, H. Jerome Keisler : Expressive Power of Unary Counters. Structures in Logic and Computer Science 1997 : 34-50

3 Michael Benedikt, Leonid Libkin : On the Structure of Queries in Constraint Query Languages. LICS 1996 : 25-34

2 Michael Benedikt, Timothy Griffin , Leonid Libkin : Verifiable Properties of Database Transactions. PODS 1996 : 117-127

1 Michael Benedikt, Guozhu Dong , Leonid Libkin , Limsoon Wong : Relational Expressive Power of Constraint Query Languages. PODS 1996 : 5-16




DiSC'02 © 2003 Association for Computing Machinery