Edward L. Wimmers

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