dblp.uni-trier.dewww.uni-trier.de

Michael Benedikt Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
58EEMichael Benedikt, James Cheney: Semantics, Types and Effects for XML Updates. DBPL 2009: 1-17
57EEClemens Ley, Michael Benedikt: How big must complete XML query languages be? ICDT 2009: 183-200
56EEMichael Benedikt, James Cheney: Schema-Based Independence Analysis for XML Updates. PVLDB 2(1): 61-72 (2009)
2008
55EEMichael Benedikt, Alan Jeffrey, Ruy Ley-Wild: Stream firewalling of xml constraints. SIGMOD Conference 2008: 487-498
54EEMichael Benedikt, Christoph Koch: XPath leashed. ACM Comput. Surv. 41(1): (2008)
53EEMichael Benedikt, Wenfei Fan, Floris Geerts: XPath satisfiability in the presence of DTDs. J. ACM 55(2): (2008)
52EESihem Amer-Yahia, Michael Benedikt, Laks V. S. Lakshmanan, Julia Stoyanovich: Efficient network aware search in collaborative tagging sites. PVLDB 1(1): 710-721 (2008)
2007
51EEMichael Benedikt, Alan Jeffrey: Efficient and Expressive Tree Filters. FSTTCS 2007: 461-472
50EEMichael Benedikt, Leonid Libkin, Frank Neven: Logical definability and query languages over ranked and unranked trees. ACM Trans. Comput. Log. 8(2): (2007)
49EESihem Amer-Yahia, Michael Benedikt, Philip Bohannon: Challenges in Searching Online Communities. IEEE Data Eng. Bull. 30(2): 23-31 (2007)
48EEMichael Benedikt: Database Theory 2004. J. Comput. Syst. Sci. 73(3): 243-244 (2007)
2006
47EEMichael Benedikt, Philip Bohannon, Glenn Bruns: Data Cleaning for Decision Support. CleanDB 2006
46EEMichael Benedikt, Christoph Koch: Interpreting Tree-to-Tree Queries. ICALP (2) 2006: 552-564
45EEMichael Benedikt, Bart Kuijpers, Christof Löding, Jan Van den Bussche, Thomas Wilke: A characterization of first-order topological properties of planar spatial data. J. ACM 53(2): 273-305 (2006)
2005
44EEMichael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas: Verification of Tree Updates for Optimization. CAV 2005: 379-393
43EEMichael Benedikt, Luc Segoufin: Towards a Characterization of Order-Invariant Queries over Tame Structures. CSL 2005: 276-291
42EEMichael Benedikt, Irini Fundulaki: XML Subtree Queries: Specification and Composition. DBPL 2005: 138-153
41EEMichael Benedikt: An Insider's Guide to Logic in Telecommunications Data. LICS 2005: 104-105
40EEMichael Benedikt, Wenfei Fan, Floris Geerts: XPath satisfiability in the presence of DTDs. PODS 2005: 25-36
39EEMichael Benedikt, Luc Segoufin: Regular Tree Languages Definable in FO. STACS 2005: 327-339
38EEMichael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas: Adding Updates to XQuery: Semantics, Optimization, and Static Analysis. XIME-P 2005
37EERajeev 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)
36EEMichael Benedikt, Wenfei Fan, Gabriel M. Kuper: Structural properties of XPath fragments. Theor. Comput. Sci. 336(1): 3-31 (2005)
2004
35EEMichael Benedikt, Glenn Bruns: On Guard: Producing Run-Time Checks from Integrity Constraints. AMAST 2004: 27-41
34EEMichael 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
2003
33EEMichael Benedikt, Wenfei Fan, Gabriel M. Kuper: Structural Properties of XPath Fragments. ICDT 2003: 79-95
32EERichard Hull, Michael Benedikt, Vassilis Christophides, Jianwen Su: E-services: a look behind the curtain. PODS 2003: 1-14
31EEMichael Benedikt, Chee Yong Chan, Wenfei Fan, Juliana Freire, Rajeev Rastogi: Capturing both Types and Constraints in Data Integration. SIGMOD Conference 2003: 277-288
30EEMichael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: Definable relations and first-order query languages over strings. J. ACM 50(5): 694-751 (2003)
29EEMichael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin: Reachability and connectivity queries in constraint databases. J. Comput. Syst. Sci. 66(1): 169-206 (2003)
28 Michael Benedikt, H. Jerome Keisler: Definability with a predicate for a semi-linear set. J. Symb. Log. 68(1): 319-351 (2003)
2002
27EEMichael Benedikt, Leonid Libkin: Tree Extension Algebras: Logics, Automata, and Query Languages. LICS 2002: 203-
26EEMichael Benedikt, Chee Yong Chan, Wenfei Fan, Rajeev Rastogi, Shihui Zheng, Aoying Zhou: DTD-Directed Publishing with Attribute Translation Grammars. VLDB 2002: 838-849
25EEMichael Benedikt, Leonid Libkin: Aggregate Operators in Constraint Query Languages. J. Comput. Syst. Sci. 64(3): 628-654 (2002)
2001
24EEMichael Benedikt, Patrice Godefroid, Thomas W. Reps: Model Checking of Unrestricted Hierarchical State Machines. ICALP 2001: 652-666
23 Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: A Model-Theoretic Approach to Regular String Relations. LICS 2001: 431-
22EEMichael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: String Operations in Query Languages. PODS 2001
2000
21EEMichael Benedikt, H. Jerome Keisler: Definability over Linear Constraints. CSL 2000: 217-231
20 Michael Benedikt, Leonid Libkin: Query Safety with Constraints. Constraint Databases 2000: 109-129
19 Michael Benedikt, Leonid Libkin: Expressive Power: The Finite Case. Constraint Databases 2000: 55-87
18EEMichael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin: Reachability and Connectivity Queries in Constraint Databases. PODS 2000: 104-115
17EEMichael Benedikt, Leonid Libkin: Relational queries over interpreted structures. J. ACM 47(4): 644-680 (2000)
16 Michael Benedikt, Leonid Libkin: Safe Constraint Queries. SIAM J. Comput. 29(5): 1652-1682 (2000)
1999
15EEMichael Benedikt, Thomas W. Reps, Shmuel Sagiv: A Decidable Logic for Describing Linked Data Structures. ESOP 1999: 2-19
14EEMichael Benedikt, Leonid Libkin: Exact and Approximate Aggregation in Constraint Query. PODS 1999: 102-113
13 Michael Benedikt: Hierarchies of Measure-Theoretic Ultrafilters. Ann. Pure Appl. Logic 97(1-3): 203-219 (1999)
1998
12 John T. Baldwin, Michael Benedikt: Embedded Finite Models, Stability Theory and the Impact of Order. LICS 1998: 490-500
11EEMichael Benedikt, Leonid Libkin: Safe Constraint Queries. PODS 1998: 99-108
10 Michael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. Inf. Comput. 147(1): 57-88 (1998)
9EEMichael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong: Relational Expressive Power of Constraint Query Languages. J. ACM 45(1): 1-34 (1998)
8 Michael Benedikt: Ultrafilters which Extend Measures. J. Symb. Log. 63(2): 638-662 (1998)
1997
7EEDavid L. Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor: Experience with a Domain Specific Language for Form-based Services. DSL 1997: 37-50
6EEMichael Benedikt, H. Jerome Keisler: Expressive Power of Unary Counters. ICDT 1997: 291-305
5EEMichael 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
1996
3 Michael Benedikt, Leonid Libkin: On the Structure of Queries in Constraint Query Languages. LICS 1996: 25-34
2EEMichael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. PODS 1996: 117-127
1EEMichael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong: Relational Expressive Power of Constraint Query Languages. PODS 1996: 5-16

Coauthor Index

1Rajeev Alur [37]
2Sihem Amer-Yahia [49] [52]
3David L. Atkins [7]
4John T. Baldwin [12]
5Thomas Ball [7]
6Philip Bohannon [47] [49]
7Angela Bonifati [38] [44]
8Glenn Bruns [7] [35] [47]
9Jan Van den Bussche [34] [45]
10Chee Yong Chan (Chee-Yong Chan) [26] [31]
11James Cheney [56] [58]
12Vassilis Christophides [32]
13Kenneth C. Cox [7]
14Guozhu Dong [1] [9]
15Kousha Etessami [37]
16Wenfei Fan [26] [31] [33] [36] [40] [53]
17Sergio Flesca [38] [44]
18Juliana Freire [31]
19Irini Fundulaki [42]
20Floris Geerts [40] [53]
21Patrice Godefroid [24] [37]
22Timothy G. Griffin (Timothy Griffin) [2] [10]
23Martin Grohe [18] [29]
24Richard Hull [32]
25Alan Jeffrey [51] [55]
26H. Jerome Keisler [4] [6] [21] [28]
27Christoph Koch [46] [54]
28Bart Kuijpers [45]
29Gabriel M. Kuper [33] [36]
30Laks V. S. Lakshmanan (V. S. Lakshmanan) [52]
31Clemens Ley [57]
32Ruy Ley-Wild [55]
33Leonid Libkin [1] [2] [3] [5] [9] [10] [11] [14] [16] [17] [18] [19] [20] [22] [23] [25] [27] [29] [30] [50]
34Christof Löding [34] [45]
35Peter Mataga [7]
36Frank Neven [50]
37Rajeev Rastogi [26] [31]
38Kenneth Rehor [7]
39Thomas W. Reps [15] [24] [37]
40Shmuel Sagiv (Mooly Sagiv) [15]
41Thomas Schwentick [22] [23] [30]
42Luc Segoufin [18] [22] [23] [29] [30] [39] [43]
43Julia Stoyanovich [52]
44Jianwen Su [32]
45Avinash Vyas [38] [44]
46Thomas Wilke [34] [45]
47Limsoon Wong [1] [9]
48Mihalis Yannakakis [37]
49Shihui Zheng [26]
50Aoying Zhou [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)