Edward L. Wimmers

Publication Activity (10 Years)

Years Active: 1983-2000
Publications (10 Years): 0

Publications

Ronald Fagin, Edward L. Wimmers
A formula for incorporating weights into scoring rules. Theor. Comput. Sci. 239 (2) (2000)
Rakesh Agrawal, Edward L. Wimmers
A Framework for Expressing and Combining Preferences. SIGMOD Conference (2000)
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) (1999)
Edward L. Wimmers, Laura M. Haas, Mary Tork Roth, Christoph Braendli
Using Fagin's Algorithm for Merging Ranked Results in Multimedia Middleware. CoopIS (1999)
Alexander Aiken, Edward L. Wimmers, Jens Palsberg
Optimal Representations of Polymorphic Types with Subtyping. High. Order Symb. Comput. 12 (3) (1999)
Alexander Aiken, Edward L. Wimmers, Jens Palsberg
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). TACS (1997)
Ronald Fagin, Edward L. Wimmers
Incorporating User Preferences in Multimedia Queries. ICDT (1997)
Laura M. Haas, Donald Kossmann, Edward L. Wimmers, Jun Yang
Optimizing Queries Across Diverse Data Sources. VLDB (1997)
Mary Tork Roth, Manish Arya, Laura M. Haas, Michael J. Carey, William F. Cody, Ronald Fagin, Peter M. Schwarz, Joachim Thomas, Edward L. Wimmers
The Garlic Project. SIGMOD Conference (1996)
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) (1996)
Rakesh Agrawal, Giuseppe Psaila, Edward L. Wimmers, Mohamed Zaït
Querying Shapes of Histories. VLDB (1995)
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) (1995)
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, Mary Tork Roth, John H. Williams, Edward L. Wimmers
Querying Multimedia Data from Multiple Repositories by Content: the Garlic Project. VDB (1995)
Joseph Y. Halpern, Edward L. Wimmers
Full Abstraction and Expressive Completeness for FP Inf. Comput. 118 (2) (1995)
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, John H. Williams, Edward L. Wimmers
Towards Heterogeneous Multimedia Information Systems: The Garlic Approach. RIDE-DOM (1995)
M. Abayan, Ray Strong, Edward L. Wimmers
The RAPID C++ Environment (Abstract). PODC (1995)
Alexander Aiken, Dexter Kozen, Edward L. Wimmers
Decidability of Systems of Set Constraints with Negative Constraints Inf. Comput. 122 (1) (1995)
Alexander Aiken, Edward L. Wimmers, T. K. Lakshman
Soft Typing with Conditional Types. POPL (1994)
Alexander Aiken, Edward L. Wimmers
Type Inclusion Constraints and Type Inference. FPCA (1993)
Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers
The Complexity of Set Constraints. CSL (1993)
Alexander Aiken, Edward L. Wimmers
Solving Systems of Set Constraints (Extended Abstract) LICS (1992)
Alexander Aiken, John H. Williams, Edward L. Wimmers
Program Transformation in the Presence of Errors. POPL (1990)
Joseph Y. Halpern, John H. Williams, Edward L. Wimmers
Completeness of Rewrite Rules and Rewrite Strategies for FP J. ACM 37 (1) (1990)
John H. Williams, Edward L. Wimmers
Sacrificing Simplicity for Convenience: Where Do You Draw the Line? POPL (1988)
Joseph Y. Halpern, Edward L. Wimmers
Full Abstraction and Expressive Completenes for FP LICS (1987)
Joseph Y. Halpern, John H. Williams, Edward L. Wimmers
Good Rewrite Strategies for FP LICS (1986)
Marvin H. Solomon, Edward L. Wimmers
Telnet terminal type option. RFC 930 (1985)
Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler
Denotational Semantics and Rewrite Rules for FP. POPL (1985)
Marvin H. Solomon, Edward L. Wimmers
Telnet terminal type option. RFC 884 (1983)