Edward L. Wimmers - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2000

A Framework for Expressing and Combining PreferencesRakesh Agrawal, Edward L. Wimmers. SIGMOD 2000: 297-306 [doi]

A formula for incorporating weights into scoring rulesRonald Fagin, Edward L. Wimmers. TCS, 239(2):309-338, 2000. [doi]

1999

1997

Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)Alexander Aiken, Edward L. Wimmers, Jens Palsberg. tacs 1997: 47-76

Incorporating User Preferences in Multimedia QueriesRonald Fagin, Edward L. Wimmers. icdt 1997: 247-261 [doi]

Optimizing Queries Across Diverse Data SourcesLaura M. Haas, Donald Kossmann, Edward L. Wimmers, Jun Yang. VLDB 1997: 276-285 [doi]

1996

An Optimizer for Heterogeneous Systems with NonStandard Data and Search CapabilitiesLaura M. Haas, Donald Kossmann, Edward L. Wimmers, Jun Yang. DEBU, 19(4):37-44, 1996. [doi]

The Garlic ProjectMary Tork Roth, Manish Arya, Laura M. Haas, Michael J. Carey, William F. Cody, Ronald Fagin, Peter M. Schwarz, Joachim Thomas II, Edward L. Wimmers. SIGMOD 1996: 557 [doi]

1995

The RAPID C++ Environment (Abstract)M. Abayan, H. Raymond Strong, Edward L. Wimmers. podc 1995: 258

Querying Shapes of HistoriesRakesh Agrawal, Giuseppe Psaila, Edward L. Wimmers, Mohamed Zaït. VLDB 1995: 502-514 [doi]

Safe: A Semantic Technique for Transforming Programs in the Presence of ErrorsAlexander Aiken, John H. Williams, Edward L. Wimmers. TOPLAS, 17(1):63-84, 1995. [doi]

Decidability of Systems of Set Constraints with Negative ConstraintsAlexander Aiken, Dexter Kozen, Edward L. Wimmers. iandc, 122(1):30-44, October 1995.

Towards Heterogeneous Multimedia Information Systems: The Garlic ApproachMichael 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. ride 1995: 124-131

Querying Multimedia Data from Multiple Repositories by Content: the Garlic ProjectWilliam 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. vdb 1995: 17-35

Full Abstraction and Expressive Completeness for FPJoseph Y. Halpern, Edward L. Wimmers. iandc, 118(2):246-271, May 1995.

1994

Soft Typing with Conditional TypesAlexander Aiken, Edward L. Wimmers, T. K. Lakshman. POPL 1994: 163-173

1993

Type Inclusion Constraints and Type InferenceAlexander Aiken, Edward L. Wimmers. fpca 1993: 31-41

The Complexity of Set ConstraintsAlexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers. csl 1994: 1-17

1992

Solving Systems of Set Constraints (Extended Abstract)Alexander Aiken, Edward L. Wimmers. lics 1992: 329-340

1990

Program Transformation in the Presence of ErrorsAlexander Aiken, John H. Williams, Edward L. Wimmers. POPL 1990: 210-217

Completeness of Rewrite Rules and Rewrite Strategies for FPJoseph Y. Halpern, John H. Williams, Edward L. Wimmers. JACM, 37(1):86-143, January 1990. [doi]

1988

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

1987

Full Abstraction and Expressive Completenes for FPJoseph Y. Halpern, Edward L. Wimmers. lics 1987: 257-271

1986

Good Rewrite Strategies for FPJoseph Y. Halpern, John H. Williams, Edward L. Wimmers. lics 1986: 149-162

1985

Denotational Semantics and Rewrite Rules for FPJoseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler. POPL 1985: 108-120

Telnet terminal type optionMarvin H. Solomon, Edward L. Wimmers. rfc, 930:1-4, January 1985. [doi]

1983

Telnet terminal type optionMarvin H. Solomon, Edward L. Wimmers. rfc, 884:1-5, December 1983. [doi]

Sign in or sign up to see more results.

runs on WebDSL