Edward L. Wimmers

According to our database, Edward L. Wimmers authored at least 28 papers between 1983 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2000

A formula for incorporating weights into scoring rules.

Ronald Fagin, Edward L. Wimmers

Theor. Comput. Sci., 2000

A Framework for Expressing and Combining Preferences.

Rakesh Agrawal, Edward L. Wimmers

Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

1999

Optimal Representations of Polymorphic Types with Subtyping.

Alexander Aiken, Edward L. Wimmers, Jens Palsberg

High. Order Symb. Comput., 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

Using Fagin's Algorithm for Merging Ranked Results in Multimedia Middleware.

Edward L. Wimmers, Laura M. Haas, Mary Tork Roth, Christoph Braendli

Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, 1999

1997

Optimizing Queries Across Diverse Data Sources.

Laura M. Haas, Donald Kossmann, Edward L. Wimmers, Jun Yang

Proceedings of the VLDB'97, 1997

Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract).

Alexander Aiken, Edward L. Wimmers, Jens Palsberg

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Incorporating User Preferences in Multimedia Queries.

Ronald Fagin, Edward L. Wimmers

Proceedings of the Database Theory, 1997

1996

An Optimizer for Heterogeneous Systems with NonStandard Data and Search Capabilities.

Laura M. Haas, Donald Kossmann, Edward L. Wimmers, Jun Yang

IEEE Data Eng. Bull., 1996

The Garlic Project.

Mary Tork Roth, Manish Arya, Laura M. Haas, Michael J. Carey, William F. Cody, Ronald Fagin, Peter M. Schwarz, Joachim Thomas, Edward L. Wimmers

Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

1995

Decidability of Systems of Set Constraints with Negative Constraints

Alexander Aiken, Dexter Kozen, Edward L. Wimmers

Inf. Comput., October, 1995

Full Abstraction and Expressive Completeness for FP

Joseph Y. Halpern, Edward L. Wimmers

Inf. Comput., May, 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

Querying Shapes of Histories.

Rakesh Agrawal, Giuseppe Psaila, Edward L. Wimmers, Mohamed Zaït

Proceedings of the VLDB'95, 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, Ronald Fagin, Myron Flickner, Denis Lee, Dragutin Petkovic, Peter M. Schwarz, Joachim Thomas, Mary Tork Roth, John H. Williams, Edward L. Wimmers

Proceedings of the Visual Database Systems 3, 1995

Towards Heterogeneous Multimedia Information Systems: The Garlic Approach.

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

Proceedings of the Proceedings RIDE-DOM '95, Fifth International Workshop on Research Issues in Data Engineering, 1995

The RAPID C++ Environment (Abstract).

M. Abayan, Ray Strong, Edward L. Wimmers

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

1994

Soft Typing with Conditional Types.

Alexander Aiken, Edward L. Wimmers, T. K. Lakshman

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

Type Inclusion Constraints and Type Inference.

Alexander Aiken, Edward L. Wimmers

Proceedings of the conference on Functional programming languages and computer architecture, 1993

The Complexity of Set Constraints.

Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers

Proceedings of the Computer Science Logic, 7th Workshop, 1993

1992

Solving Systems of Set Constraints (Extended Abstract)

Alexander Aiken, Edward L. Wimmers

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1990

Completeness of Rewrite Rules and Rewrite Strategies for FP

Joseph Y. Halpern, John H. Williams, Edward L. Wimmers

J. ACM, January, 1990

Program Transformation in the Presence of Errors.

Alexander Aiken, John H. Williams, Edward L. Wimmers

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

1988

Sacrificing Simplicity for Convenience: Where Do You Draw the Line?

John H. Williams, Edward L. Wimmers

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

1987

Full Abstraction and Expressive Completenes for FP

Joseph Y. Halpern, Edward L. Wimmers

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Good Rewrite Strategies for FP

Joseph Y. Halpern, John H. Williams, Edward L. Wimmers

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

Denotational Semantics and Rewrite Rules for FP.

Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1983

Telnet terminal type option.

Marvin H. Solomon, Edward L. Wimmers

RFC, December, 1983