| 2000 |
|---|
| 27 | A Framework for Expressing and Combining Preferences. Rakesh Agrawal, Edward L. Wimmers. SIGMOD Conference 2000, 297-306. Cited by 207Web SearchBibTeX |
| 26 | A formula for incorporating weights into scoring rules. Ronald Fagin, Edward L. Wimmers. Theor. Comput. Sci. (239): 309-338 (2000). Web SearchBibTeXDownload |
| 1999 |
|---|
| 25 | Using Fagin's Algorithm for Merging Ranked Results in Multimedia Middleware. Edward L. Wimmers, Laura M. Haas, Mary Tork Roth, Christoph Braendli. CoopIS 1999, 267-278. Cited by 37Web SearchBibTeXDownload |
| 24 | Optimal Representations of Polymorphic Types with Subtyping. Alexander Aiken, Edward L. Wimmers, Jens Palsberg. Higher-Order and Symbolic Computation (12): 237-282 (1999). Web SearchBibTeXDownload |
| 23 | 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. (22): 31-36 (1999). Cited by 166Web SearchBibTeX |
| 1997 |
|---|
| 22 | Incorporating User Preferences in Multimedia Queries. Ronald Fagin, Edward L. Wimmers. ICDT 1997, 247-261. Web SearchBibTeXDownload |
| 21 | Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). Alexander Aiken, Edward L. Wimmers, Jens Palsberg. TACS 1997, 47-76. Web SearchBibTeXDownload |
| 20 | Optimizing Queries Across Diverse Data Sources. Laura M. Haas, Donald Kossmann, Edward L. Wimmers, Jun Yang. VLDB 1997, 276-285. Cited by 443Web SearchBibTeX |
| 1996 |
|---|
| 19 | 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. (19): 37-44 (1996). Cited by 23Web SearchBibTeX |
| 18 | The Garlic Project. Mary 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 Conference 1996, 557. Cited by 68Web SearchBibTeX |
| 1995 |
|---|
| 17 | 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. (17): 63-84 (1995). Web SearchBibTeXDownload |
| 16 | Full Abstraction and Expressive Completeness for FP. Joseph Y. Halpern, Edward L. Wimmers. Inf. Comput. (118): 246-271 (1995). Web SearchBibTeXDownload |
| 15 | Decidability of Systems of Set Constraints with Negative Constraints. Alexander Aiken, Dexter Kozen, Edward L. Wimmers. Inf. Comput. (122): 30-44 (1995). Web SearchBibTeXDownload |
| 14 | The RAPID C++ Environment (Abstract). M. Abayan, H. Raymond Strong, Edward L. Wimmers. PODC 1995, 258. Web SearchBibTeX |
| 13 | 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 II, John H. Williams, Edward L. Wimmers. RIDE-DOM 1995, 124-131. Cited by 412Web SearchBibTeX |
| 12 | 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 II, Mary Tork Roth, John H. Williams, Edward L. Wimmers. VDB 1995, 17-35. Cited by 86Web SearchBibTeX |
| 11 | Querying Shapes of Histories. Rakesh Agrawal, Giuseppe Psaila, Edward L. Wimmers, Mohamed Zaït. VLDB 1995, 502-514. Cited by 246Web SearchBibTeX |
| 1994 |
|---|
| 10 | Soft Typing with Conditional Types. Alexander Aiken, Edward L. Wimmers, T. K. Lakshman. POPL 1994, 163-173. Web SearchBibTeXDownload |
| 1993 |
|---|
| 9 | The Complexity of Set Constraints. Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers. CSL 1993, 1-17. Cited by 120Web SearchBibTeXDownload |
| 8 | Type Inclusion Constraints and Type Inference. Alexander Aiken, Edward L. Wimmers. FPCA 1993, 31-41. Web SearchBibTeX |
| 1992 |
|---|
| 7 | Solving Systems of Set Constraints (Extended Abstract). Alexander Aiken, Edward L. Wimmers. LICS 1992, 329-340. Web SearchBibTeXDownload |
| 1990 |
|---|
| 6 | Completeness of Rewrite Rules and Rewrite Strategies for FP. Joseph Y. Halpern, John H. Williams, Edward L. Wimmers. J. ACM (37): 86-143 (1990). Web SearchBibTeXDownload |
| 5 | Program Transformation in the Presence of Errors. Alexander Aiken, John H. Williams, Edward L. Wimmers. POPL 1990, 210-217. Web SearchBibTeXDownload |
| 1988 |
|---|
| 4 | Sacrificing Simplicity for Convenience: Where Do You Draw the Line?. John H. Williams, Edward L. Wimmers. POPL 1988, 169-179. Web SearchBibTeXDownload |
| 1987 |
|---|
| 3 | Full Abstraction and Expressive Completenes for FP. Joseph Y. Halpern, Edward L. Wimmers. LICS 1987, 257-271. Web SearchBibTeX |
| 1986 |
|---|
| 2 | Good Rewrite Strategies for FP. Joseph Y. Halpern, John H. Williams, Edward L. Wimmers. LICS 1986, 149-162. Web SearchBibTeX |
| 1985 |
|---|
| 1 | Denotational Semantics and Rewrite Rules for FP. Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler. POPL 1985, 108-120. Web SearchBibTeXDownload |
