Edward L. Wimmers

	2000
27		Rakesh Agrawal, Edward L. Wimmers: A Framework for Expressing and Combining Preferences. SIGMOD Conference 2000: 297-306
26		Ronald Fagin, Edward L. Wimmers: A formula for incorporating weights into scoring rules. Theor. Comput. Sci. 239(2): 309-338 (2000)
	1999
25		Edward L. Wimmers, Laura M. Haas, Mary Tork Roth, Christoph Braendli: Using Fagin's Algorithm for Merging Ranked Results in Multimedia Middleware. CoopIS 1999: 267-278
24		Alexander Aiken, Edward L. Wimmers, Jens Palsberg: Optimal Representations of Polymorphic Types with Subtyping. Higher-Order and Symbolic Computation 12(3): 237-282 (1999)
23		Laura M. Haas, Renée J. Miller, B. Niswonger, Mary Tork Roth, Peter M. Schwarz, Edward L. Wimmers: Transforming Heterogeneous Data with Database Middleware: Beyond Integration. IEEE Data Eng. Bull. 22(1): 31-36 (1999)
	1997
22		Ronald Fagin, Edward L. Wimmers: Incorporating User Preferences in Multimedia Queries. ICDT 1997: 247-261
21		Alexander Aiken, Edward L. Wimmers, Jens Palsberg: Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). TACS 1997: 47-76
20		Laura M. Haas, Donald Kossmann, Edward L. Wimmers, Jun Yang: Optimizing Queries Across Diverse Data Sources. VLDB 1997: 276-285
	1996
19		Mary Tork Roth, Manish Arya, Laura M. Haas, Michael J. Carey, William F. Cody, Ronald Fagin, Peter M. Schwarz, Joachim Thomas II, Edward L. Wimmers: The Garlic Project. SIGMOD Conference 1996: 557
18		Laura M. Haas, Donald Kossmann, Edward L. Wimmers, Jun Yang: An Optimizer for Heterogeneous Systems with NonStandard Data and Search Capabilities. IEEE Data Eng. Bull. 19(4): 37-44 (1996)
	1995
17		M. Abayan, H. Raymond Strong, Edward L. Wimmers: The RAPID C++ Environment (Abstract). PODC 1995: 258
16		Michael J. Carey, Laura M. Haas, Peter M. Schwarz, Manish Arya, William F. Cody, Ronald Fagin, Myron Flickner, Allen Luniewski, Wayne Niblack, Dragutin Petkovic, Joachim Thomas II, John H. Williams, Edward L. Wimmers: Towards Heterogeneous Multimedia Information Systems: The Garlic Approach. RIDE-DOM 1995: 124-131
15		William F. Cody, Laura M. Haas, Wayne Niblack, Manish Arya, Michael J. Carey, Ronald Fagin, Myron Flickner, Denis Lee, Dragutin Petkovic, Peter M. Schwarz, Joachim Thomas II, Mary Tork Roth, John H. Williams, Edward L. Wimmers: Querying Multimedia Data from Multiple Repositories by Content: the Garlic Project. VDB 1995: 17-35
14		Rakesh Agrawal, Giuseppe Psaila, Edward L. Wimmers, Mohamed Zaït: Querying Shapes of Histories. VLDB 1995: 502-514
13		Alexander Aiken, John H. Williams, Edward L. Wimmers: Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. ACM Trans. Program. Lang. Syst. 17(1): 63-84 (1995)
12		Joseph Y. Halpern, Edward L. Wimmers: Full Abstraction and Expressive Completeness for FP Inf. Comput. 118(2): 246-271 (1995)
11		Alexander Aiken, Dexter Kozen, Edward L. Wimmers: Decidability of Systems of Set Constraints with Negative Constraints Inf. Comput. 122(1): 30-44 (1995)
	1994
10		Alexander Aiken, Edward L. Wimmers, T. K. Lakshman: Soft Typing with Conditional Types. POPL 1994: 163-173
	1993
9		Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers: The Complexity of Set Constraints. CSL 1993: 1-17
8		Alexander Aiken, Edward L. Wimmers: Type Inclusion Constraints and Type Inference. FPCA 1993: 31-41
	1992
7		Alexander Aiken, Edward L. Wimmers: Solving Systems of Set Constraints (Extended Abstract) LICS 1992: 329-340
	1990
6		Alexander Aiken, John H. Williams, Edward L. Wimmers: Program Transformation in the Presence of Errors. POPL 1990: 210-217
5		Joseph Y. Halpern, John H. Williams, Edward L. Wimmers: Completeness of Rewrite Rules and Rewrite Strategies for FP J. ACM 37(1): 86-143 (1990)
	1988
4		John H. Williams, Edward L. Wimmers: Sacrificing Simplicity for Convenience: Where Do You Draw the Line? POPL 1988: 169-179
	1987
3		Joseph Y. Halpern, Edward L. Wimmers: Full Abstraction and Expressive Completenes for FP LICS 1987: 257-271
	1986
2		Joseph Y. Halpern, John H. Williams, Edward L. Wimmers: Good Rewrite Strategies for FP LICS 1986: 149-162
	1985
1		Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler: Denotational Semantics and Rewrite Rules for FP. POPL 1985: 108-120

Coauthor Index

1	M. Abayan	[17]
2	Rakesh Agrawal	[14] [27]
3	Alexander Aiken (Alex Aiken)	[6] [7] [8] [9] [10] [11] [13] [21] [24]
4	Manish Arya	[15] [16] [19]
5	Christoph Braendli	[25]
6	Michael J. Carey	[15] [16] [19]
7	William F. Cody	[15] [16] [19]
8	Ronald Fagin	[15] [16] [19] [22] [26]
9	Myron Flickner	[15] [16]
10	Laura M. Haas	[15] [16] [18] [19] [20] [23] [25]
11	Joseph Y. Halpern	[1] [2] [3] [5] [12]
12	Donald Kossmann	[18] [20]
13	Dexter Kozen	[9] [11]
14	T. K. Lakshman	[10]
15	Denis Lee	[15]
16	Allen Luniewski	[16]
17	Renée J. Miller	[23]
18	Wayne Niblack	[15] [16]
19	B. Niswonger	[23]
20	Jens Palsberg	[21] [24]
21	Dragutin Petkovic	[15] [16]
22	Giuseppe Psaila	[14]
23	Mary Roth (Mary Tork Roth)	[15] [19] [23] [25]
24	Peter M. Schwarz	[15] [16] [19] [23]
25	H. Raymond Strong	[17]
26	Joachim Thomas II	[15] [16] [19]
27	Moshe Y. Vardi	[9]
28	John H. Williams	[1] [2] [4] [5] [6] [13] [15] [16]
29	Timothy C. Winkler	[1]
30	Jun Yang	[18] [20]
31	Mohamed Zaït	[14]