| |
| 2007 | ||
|---|---|---|
| 2 | EE | Adam Brown, James C. Browne, Calvin Lin: Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking. IPDPS 2007: 1-5 |
| 2002 | ||
| 1 | EE | Richard Cardone, Adam Brown, Sean McDirmid, Calvin Lin: Using mixins to build flexible widgets. AOSD 2002: 76-85 |
| 1 | James C. Browne | [2] |
| 2 | Richard Cardone | [1] |
| 3 | Calvin Lin | [1] [2] |
| 4 | Sean McDirmid | [1] |