| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Michael Benedikt Michael Benedikt, Angela Bonifati , Sergio Flesca , Avinash Vyas : Verification of Tree Updates for Optimization. CAV 2005 : 379-393 Michael Benedikt, Luc Segoufin : Towards a Characterization of Order-Invariant Queries over Tame Structures. CSL 2005 : 276-291 Michael Benedikt, Irini Fundulaki : XML Subtree Queries: Specification and Composition. DBPL 2005 : 138-153 Michael Benedikt: An Insider's Guide to Logic in Telecommunications Data. LICS 2005 : 104-105 Michael Benedikt, Wenfei Fan , Floris Geerts : XPath satisfiability in the presence of DTDs. PODS 2005 : 25-36 Michael Benedikt, Luc Segoufin : Regular Tree Languages Definable in FO. STACS 2005 : 327-339 Michael Benedikt, Angela Bonifati , Sergio Flesca , Avinash Vyas : Adding Updates to XQuery: Semantics, Optimization, and Static Analysis. XIME-P 2005 Rajeev Alur , Michael Benedikt, Kousha Etessami , Patrice Godefroid , Thomas W. Reps , Mihalis Yannakakis : Analysis of recursive state machines. ACM Trans. Program. Lang. Syst. 27 (4): 786-818 (2005) Michael Benedikt, Wenfei Fan , Gabriel M. Kuper : Structural properties of XPath fragments. Theor. Comput. Sci. 336 (1): 3-31 (2005) Michael Benedikt, Glenn Bruns : On Guard: Producing Run-Time Checks from Integrity Constraints. AMAST 2004 : 27-41 Michael Benedikt, Christof Löding , Jan Van den Bussche , Thomas Wilke : A Characterization of First-Order Topological Properties of Planar Spatial Data. PODS 2004 : 107-114 Michael Benedikt, Wenfei Fan , Gabriel M. Kuper : Structural Properties of XPath Fragments. ICDT 2003 : 79-95 Richard Hull , Michael Benedikt, Vassilis Christophides , Jianwen Su : E-services: a look behind the curtain. PODS 2003 : 1-14 Michael Benedikt, Chee Yong Chan , Wenfei Fan , Juliana Freire , Rajeev Rastogi : Capturing both Types and Constraints in Data Integration. SIGMOD Conference 2003 : 277-288 Michael Benedikt, Leonid Libkin , Thomas Schwentick , Luc Segoufin : Definable relations and first-order query languages over strings. J. ACM 50 (5): 694-751 (2003) Michael Benedikt, Martin Grohe , Leonid Libkin , Luc Segoufin : Reachability and connectivity queries in constraint databases. J. Comput. Syst. Sci. 66 (1): 169-206 (2003) Michael Benedikt, H. Jerome Keisler : Definability with a predicate for a semi-linear set. J. Symb. Log. 68 (1): 319-351 (2003) Michael Benedikt, Leonid Libkin : Tree Extension Algebras: Logics, Automata, and Query Languages. LICS 2002 : 203- Michael Benedikt, Chee Yong Chan , Wenfei Fan , Rajeev Rastogi , Shihui Zheng , Aoying Zhou : DTD-Directed Publishing with Attribute Translation Grammars. VLDB 2002 : 838-849 Michael Benedikt, Leonid Libkin : Aggregate Operators in Constraint Query Languages. J. Comput. Syst. Sci. 64 (3): 628-654 (2002) Michael Benedikt, Patrice Godefroid , Thomas W. Reps : Model Checking of Unrestricted Hierarchical State Machines. ICALP 2001 : 652-666 Michael Benedikt, Leonid Libkin , Thomas Schwentick , Luc Segoufin : A Model-Theoretic Approach to Regular String Relations. LICS 2001 : 431- Michael Benedikt, Leonid Libkin , Thomas Schwentick , Luc Segoufin : String Operations in Query Languages. PODS 2001 Michael Benedikt, H. Jerome Keisler : Definability over Linear Constraints. CSL 2000 : 217-231 Michael Benedikt, Leonid Libkin : Query Safety with Constraints. Constraint Databases 2000 : 109-129 Michael Benedikt, Leonid Libkin : Expressive Power: The Finite Case. Constraint Databases 2000 : 55-87 Michael Benedikt, Martin Grohe , Leonid Libkin , Luc Segoufin : Reachability and Connectivity Queries in Constraint Databases. PODS 2000 : 104-115 Michael Benedikt, Leonid Libkin : Relational queries over interpreted structures. J. ACM 47 (4): 644-680 (2000) Michael Benedikt, Leonid Libkin : Safe Constraint Queries. SIAM J. Comput. 29 (5): 1652-1682 (2000) Michael Benedikt, Thomas W. Reps , Shmuel Sagiv : A Decidable Logic for Describing Linked Data Structures. ESOP 1999 : 2-19 Michael Benedikt, Leonid Libkin : Exact and Approximate Aggregation in Constraint Query. PODS 1999 : 102-113 Michael Benedikt: Hierarchies of Measure-Theoretic Ultrafilters. Ann. Pure Appl. Logic 97 (1-3): 203-219 (1999) John T. Baldwin , Michael Benedikt: Embedded Finite Models, Stability Theory and the Impact of Order. LICS 1998 : 490-500 Michael Benedikt, Leonid Libkin : Safe Constraint Queries. PODS 1998 : 99-108 Michael Benedikt, Timothy Griffin , Leonid Libkin : Verifiable Properties of Database Transactions. Inf. Comput. 147 (1): 57-88 (1998) Michael Benedikt, Guozhu Dong , Leonid Libkin , Limsoon Wong : Relational Expressive Power of Constraint Query Languages. J. ACM 45 (1): 1-34 (1998) Michael Benedikt: Ultrafilters which Extend Measures. J. Symb. Log. 63 (2): 638-662 (1998) Michael Benedikt, H. Jerome Keisler : Expressive Power of Unary Counters. ICDT 1997 : 291-305 Michael Benedikt, Leonid Libkin : Languages for Relational Databases over Interpreted Structures. PODS 1997 : 87-98 Michael Benedikt, H. Jerome Keisler : Expressive Power of Unary Counters. Structures in Logic and Computer Science 1997 : 34-50 Michael Benedikt, Leonid Libkin : On the Structure of Queries in Constraint Query Languages. LICS 1996 : 25-34 Michael Benedikt, Timothy Griffin , Leonid Libkin : Verifiable Properties of Database Transactions. PODS 1996 : 117-127 Michael Benedikt, Guozhu Dong , Leonid Libkin , Limsoon Wong : Relational Expressive Power of Constraint Query Languages. PODS 1996 : 5-16 1 [ 36 ] 2 [ 11 ] 3 [ 37 ] [ 43 ] 4 [ 34 ] 5 [ 33 ] 6 [ 25 ] [ 30 ] 7 [ 31 ] 8 [ 1 ] [ 8 ] 9 [ 36 ] 10 [ 25 ] [ 30 ] [ 32 ] [ 35 ] [ 39 ] 11 [ 37 ] [ 43 ] 12 [ 30 ] 13 [ 41 ] 14 [ 39 ] 15 [ 23 ] [ 36 ] 16 [ 2 ] [ 9 ] 17 [ 17 ] [ 28 ] 18 [ 31 ] 19 [ 4 ] [ 6 ] [ 20 ] [ 27 ] 20 [ 32 ] [ 35 ] 21 [ 1 ] [ 2 ] [ 3 ] [ 5 ] [ 8 ] [ 9 ] [ 10 ] [ 13 ] [ 15 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 21 ] [ 22 ] [ 24 ] [ 26 ] [ 28 ] [ 29 ] 22 [ 33 ] 23 [ 25 ] [ 30 ] 24 [ 14 ] [ 23 ] [ 36 ] 25 [ 14 ] 26 [ 21 ] [ 22 ] [ 29 ] 27 [ 17 ] [ 21 ] [ 22 ] [ 28 ] [ 29 ] [ 38 ] [ 42 ] 28 [ 31 ] 29 [ 37 ] [ 43 ] 30 [ 33 ] 31 [ 1 ] [ 8 ] 32 [ 36 ] 33 [ 25 ] 34 [ 25 ]  ©2006 Association for Computing Machinery |
