Telnet terminal type option. - Marvin H. Solomon; Edward L. Wimmers (RFC, 1983)

Denotational Semantics and Rewrite Rules for FP. - Joseph Y. Halpern; John H. Williams; Edward L. Wimmers; Timothy C. Winkler (POPL, 1985)

Good Rewrite Strategies for FP - Joseph Y. Halpern; John H. Williams; Edward L. Wimmers (LICS, 1986)

Full Abstraction and Expressive Completenes for FP - Joseph Y. Halpern; Edward L. Wimmers (LICS, 1987)

Sacrificing Simplicity for Convenience: Where Do You Draw the Line? - John H. Williams; Edward L. Wimmers (POPL, 1988)

Program Transformation in the Presence of Errors. - Alexander Aiken; John H. Williams; Edward L. Wimmers (POPL, 1990)

Completeness of Rewrite Rules and Rewrite Strategies for FP - Joseph Y. Halpern; John H. Williams; Edward L. Wimmers (J. ACM, 1990)

Solving Systems of Set Constraints (Extended Abstract) - Alexander Aiken; Edward L. Wimmers (LICS, 1992)

The Complexity of Set Constraints. - Alexander Aiken; Dexter Kozen; Moshe Y. Vardi; Edward L. Wimmers (CSL, 1993)

Type Inclusion Constraints and Type Inference. - Alexander Aiken; Edward L. Wimmers (FPCA, 1993)

Soft Typing with Conditional Types. - Alexander Aiken; Edward L. Wimmers; T. K. Lakshman (POPL, 1994)

The RAPID C++ Environment (Abstract). - M. Abayan; Ray Strong; Edward L. Wimmers (PODC, 1995)

Towards Heterogeneous Multimedia Information Systems: The Garlic Approach. - Michael J. Carey 001; Laura M. Haas; Peter M. Schwarz; Manish Arya; William F. Cody; Ronald Fagin; Myron Flickner; Allen Luniewski; Wayne Niblack; Dragutin Petkovic; Joachim Thomas 002; John H. Williams; et al. (RIDE-DOM, 1995)

Querying Multimedia Data from Multiple Repositories by Content: the Garlic Project. - William F. Cody; Laura M. Haas; Wayne Niblack; Manish Arya; Michael J. Carey 001; Ronald Fagin; Myron Flickner; Denis Lee 001; Dragutin Petkovic; Peter M. Schwarz; Joachim Thomas 002; Mary Tork Roth; et al. (VDB, 1995)

Querying Shapes of Histories. - Rakesh Agrawal 001; Giuseppe Psaila; Edward L. Wimmers; Mohamed Zaït (VLDB, 1995)

Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. - Alexander Aiken; John H. Williams; Edward L. Wimmers (ACM Trans. Program. Lang. Syst., 1995)

Full Abstraction and Expressive Completeness for FP - Joseph Y. Halpern; Edward L. Wimmers (Inf. Comput., 1995)

Decidability of Systems of Set Constraints with Negative Constraints - Alexander Aiken; Dexter Kozen; Edward L. Wimmers (Inf. Comput., 1995)

The Garlic Project. - Mary Tork Roth; Manish Arya; Laura M. Haas; Michael J. Carey 001; William F. Cody; Ronald Fagin; Peter M. Schwarz; Joachim Thomas 002; Edward L. Wimmers (SIGMOD Conference, 1996)

An Optimizer for Heterogeneous Systems with NonStandard Data and Search Capabilities. - Laura M. Haas; Donald Kossmann; Edward L. Wimmers; Jun Yang 001 (IEEE Data Eng. Bull., 1996)

Incorporating User Preferences in Multimedia Queries. - Ronald Fagin; Edward L. Wimmers (ICDT, 1997)

Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). - Alexander Aiken; Edward L. Wimmers; Jens Palsberg (TACS, 1997)

Optimizing Queries Across Diverse Data Sources. - Laura M. Haas; Donald Kossmann; Edward L. Wimmers; Jun Yang 001 (VLDB, 1997)

Using Fagin's Algorithm for Merging Ranked Results in Multimedia Middleware. - Edward L. Wimmers; Laura M. Haas; Mary Tork Roth; Christoph Braendli (CoopIS, 1999)

Transforming Heterogeneous Data with Database Middleware: Beyond Integration. - Laura M. Haas; Renée J. Miller; B. Niswonger; Mary Tork Roth; Peter M. Schwarz; Edward L. Wimmers (IEEE Data Eng. Bull., 1999)

Optimal Representations of Polymorphic Types with Subtyping. - Alexander Aiken; Edward L. Wimmers; Jens Palsberg (High. Order Symb. Comput., 1999)

A Framework for Expressing and Combining Preferences. - Rakesh Agrawal 001; Edward L. Wimmers (SIGMOD Conference, 2000)

A formula for incorporating weights into scoring rules. - Ronald Fagin; Edward L. Wimmers (Theor. Comput. Sci., 2000)