| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Michael Benedikt 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'01 Copyright ©2002 ACM Inc. |
