 | 2011 |
| 11 |  | João Filipe Belo,
Michael Greenberg,
Atsushi Igarashi,
Benjamin C. Pierce:
Polymorphic Contracts.
ESOP 2011: 18-37 |
| 10 |  | Johannes Borgström,
Andrew D. Gordon,
Michael Greenberg,
James Margetson,
Jurgen Van Gael:
Measure Transformer Semantics for Bayesian Machine Learning.
ESOP 2011: 77-96 |
| 2010 |
| 9 |  | Davi M. J. Barbosa,
Julien Cretin,
Nate Foster,
Michael Greenberg,
Benjamin C. Pierce:
Matching lenses: alignment and view update.
ICFP 2010: 193-204 |
| 8 |  | Michael Greenberg,
Benjamin C. Pierce,
Stephanie Weirich:
Contracts made manifest.
POPL 2010: 353-364 |
| 2009 |
| 7 |  | Leo A. Meyerovich,
Arjun Guha,
Jacob P. Baskin,
Gregory H. Cooper,
Michael Greenberg,
Aleks Bromfield,
Shriram Krishnamurthi:
Flapjax: a programming language for Ajax applications.
OOPSLA 2009: 1-20 |
| 2008 |
| 6 |  | Mary F. Fernández,
Kathleen Fisher,
J. Nathan Foster,
Michael Greenberg,
Yitzhak Mandelbaum:
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers.
PADL 2008: 133-149 |
| 2004 |
| 5 |  | Shriram Krishnamurthi,
Kathi Fisler,
Michael Greenberg:
Verifying aspect advice modularly.
SIGSOFT FSE 2004: 137-146 |
| 1987 |
| 4 |  | Paul R. Cohen,
Michael Greenberg,
Jefferson DeLisio:
MU: A Development Environment for Prospective Reasoning Systems.
AAAI 1987: 783-788 |
| 3 |  | Paul R. Cohen,
David Day,
Jeff De Lisio,
Michael Greenberg,
Rick Kjeldsen,
Dan Suthers,
Paul Berman:
Management of uncertainty in medicine.
Int. J. Approx. Reasoning 1(1): 103-116 (1987) |
| 1985 |
| 2 |  | Paul R. Cohen,
Alvah Davis,
David Day,
Michael Greenberg,
Rick Kjeldsen,
Susan E. Lander,
Cynthia L. Loiselle:
Representativeness and Uncertainty in Classification Schemes.
AI Magazine 6(3): 136-149 (1985) |
| 1 |  | Arvind Sathi,
Mark S. Fox,
Michael Greenberg:
Representation of Activity Knowledge for Project Management.
IEEE Trans. Pattern Anal. Mach. Intell. 7(5): 531-552 (1985) |