| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Michael Benedikt 30 Michael Benedikt, Wenfei Fan , Gabriel M. Kuper : Structural Properties of XPath Fragments. ICDT 2003 : 79-95 29 Richard Hull , Michael Benedikt, Vassilis Christophides , Jianwen Su : E-services: a look behind the curtain. PODS 2003 : 1-14 28 Michael Benedikt, Chee Yong Chan , Wenfei Fan , Juliana Freire , Rajeev Rastogi : Capturing both Types and Constraints in Data Integration. SIGMOD Conference 2003 : 277-288 27 Michael Benedikt, Martin Grohe , Leonid Libkin , Luc Segoufin : Reachability and connectivity queries in constraint databases. JCSS 66 (1): 169-206 (2003) 26 Michael Benedikt, Leonid Libkin : Tree Extension Algebras: Logics, Automata, and Query Languages. LICS 2002 : 203- 25 Michael Benedikt, Chee Yong Chan , Wenfei Fan , Rajeev Rastogi , Shihui Zheng , Aoying Zhou : DTD-Directed Publishing with Attribute Translation Grammars. VLDB 2002 : 838-849 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'03 © 2003 Association for Computing Machinery |
