Michael Benedikt

	2009
59		Michael Benedikt, James Cheney: Semantics, Types and Effects for XML Updates. DBPL 2009: 1-17
58		Clemens Ley, Michael Benedikt: How big must complete XML query languages be? ICDT 2009: 183-200
57		Michael Benedikt, Christoph Koch: From XQuery to relational logics. ACM Trans. Database Syst. 34(4): (2009)
56		Michael Benedikt, James Cheney: Schema-Based Independence Analysis for XML Updates. PVLDB 2(1): 61-72 (2009)
	2008
55		Michael Benedikt, Alan Jeffrey, Ruy Ley-Wild: Stream firewalling of xml constraints. SIGMOD Conference 2008: 487-498
54		Michael Benedikt, Christoph Koch: XPath leashed. ACM Comput. Surv. 41(1): (2008)
53		Michael Benedikt, Wenfei Fan, Floris Geerts: XPath satisfiability in the presence of DTDs. J. ACM 55(2): (2008)
52		Sihem 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
51		Michael Benedikt, Alan Jeffrey: Efficient and Expressive Tree Filters. FSTTCS 2007: 461-472
50		Michael Benedikt, Leonid Libkin, Frank Neven: Logical definability and query languages over ranked and unranked trees. ACM Trans. Comput. Log. 8(2): (2007)
49		Sihem Amer-Yahia, Michael Benedikt, Philip Bohannon: Challenges in Searching Online Communities. IEEE Data Eng. Bull. 30(2): 23-31 (2007)
48		Michael Benedikt: Database Theory 2004. J. Comput. Syst. Sci. 73(3): 243-244 (2007)
	2006
47		Michael Benedikt, Philip Bohannon, Glenn Bruns: Data Cleaning for Decision Support. CleanDB 2006
46		Michael Benedikt, Christoph Koch: Interpreting Tree-to-Tree Queries. ICALP (2) 2006: 552-564
45		Michael 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
44		Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas: Verification of Tree Updates for Optimization. CAV 2005: 379-393
43		Michael Benedikt, Luc Segoufin: Towards a Characterization of Order-Invariant Queries over Tame Structures. CSL 2005: 276-291
42		Michael Benedikt, Irini Fundulaki: XML Subtree Queries: Specification and Composition. DBPL 2005: 138-153
41		Michael Benedikt: An Insider's Guide to Logic in Telecommunications Data. LICS 2005: 104-105
40		Michael Benedikt, Wenfei Fan, Floris Geerts: XPath satisfiability in the presence of DTDs. PODS 2005: 25-36
39		Michael Benedikt, Luc Segoufin: Regular Tree Languages Definable in FO. STACS 2005: 327-339
38		Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas: Adding Updates to XQuery: Semantics, Optimization, and Static Analysis. XIME-P 2005
37		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)
36		Michael Benedikt, Wenfei Fan, Gabriel M. Kuper: Structural properties of XPath fragments. Theor. Comput. Sci. 336(1): 3-31 (2005)
	2004
35		Michael Benedikt, Glenn Bruns: On Guard: Producing Run-Time Checks from Integrity Constraints. AMAST 2004: 27-41
34		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
	2003
33		Michael Benedikt, Wenfei Fan, Gabriel M. Kuper: Structural Properties of XPath Fragments. ICDT 2003: 79-95
32		Richard Hull, Michael Benedikt, Vassilis Christophides, Jianwen Su: E-services: a look behind the curtain. PODS 2003: 1-14
31		Michael Benedikt, Chee Yong Chan, Wenfei Fan, Juliana Freire, Rajeev Rastogi: Capturing both Types and Constraints in Data Integration. SIGMOD Conference 2003: 277-288
30		Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: Definable relations and first-order query languages over strings. J. ACM 50(5): 694-751 (2003)
29		Michael 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
27		Michael Benedikt, Leonid Libkin: Tree Extension Algebras: Logics, Automata, and Query Languages. LICS 2002: 203-
26		Michael Benedikt, Chee Yong Chan, Wenfei Fan, Rajeev Rastogi, Shihui Zheng, Aoying Zhou: DTD-Directed Publishing with Attribute Translation Grammars. VLDB 2002: 838-849
25		Michael Benedikt, Leonid Libkin: Aggregate Operators in Constraint Query Languages. J. Comput. Syst. Sci. 64(3): 628-654 (2002)
	2001
24		Michael 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-
22		Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: String Operations in Query Languages. PODS 2001
	2000
21		Michael 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
18		Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin: Reachability and Connectivity Queries in Constraint Databases. PODS 2000: 104-115
17		Michael 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
15		Michael Benedikt, Thomas W. Reps, Shmuel Sagiv: A Decidable Logic for Describing Linked Data Structures. ESOP 1999: 2-19
14		Michael 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
11		Michael 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)
9		Michael 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
7		David 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
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
	1996
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

Coauthor Index

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

Colors in the list of coauthors