dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michael Greenberg Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce: Polymorphic Contracts. ESOP 2011: 18-37
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael: Measure Transformer Semantics for Bayesian Machine Learning. ESOP 2011: 77-96
2010
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce: Matching lenses: alignment and view update. ICFP 2010: 193-204
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Greenberg, Benjamin C. Pierce, Stephanie Weirich: Contracts made manifest. POPL 2010: 353-364
2009
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMary 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShriram Krishnamurthi, Kathi Fisler, Michael Greenberg: Verifying aspect advice modularly. SIGSOFT FSE 2004: 137-146
1987
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul R. Cohen, Michael Greenberg, Jefferson DeLisio: MU: A Development Environment for Prospective Reasoning Systems. AAAI 1987: 783-788
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvind Sathi, Mark S. Fox, Michael Greenberg: Representation of Activity Knowledge for Project Management. IEEE Trans. Pattern Anal. Mach. Intell. 7(5): 531-552 (1985)

Coauthor Index

1Davi M. J. Barbosa [9]
2Jacob P. Baskin [7]
3João Filipe Belo [11]
4Paul Berman [3]
5Johannes Borgström [10]
6Aleks Bromfield [7]
7Paul R. Cohen [2] [3] [4]
8Gregory H. Cooper [7]
9Julien Cretin [9]
10Alvah Davis [2]
11David Day [2] [3]
12Jefferson DeLisio [4]
13Mary F. Fernández (Mary F. Fernandez) [6]
14Kathleen Fisher [6]
15Kathi Fisler [5]
16Nate Foster (J. Nathan Foster) [6] [9]
17Mark S. Fox [1]
18Jurgen Van Gael [10]
19Andrew D. Gordon (Andy Gordon) [10]
20Arjun Guha [7]
21Atsushi Igarashi [11]
22Rick Kjeldsen [2] [3]
23Shriram Krishnamurthi [5] [7]
24Susan E. Lander [2]
25Jeff De Lisio [3]
26Cynthia L. Loiselle [2]
27Yitzhak Mandelbaum [6]
28James Margetson [10]
29Leo A. Meyerovich [7]
30Benjamin C. Pierce [8] [9] [11]
31Arvind Sathi [1]
32Dan Suthers [3]
33Stephanie Weirich [8]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page