| Proteus: Language and Runtime Support for Self-Adaptive Software Development. | 3 | 0.40 | 2019 |
| NOOP: A Domain-Theoretic Model of Nominally-Typed OOP. | 0 | 0.34 | 2018 |
| Developing A First Course on Cyber-Physical Systems. | 2 | 0.53 | 2016 |
| Acumen : An Open-source Testbed for Cyber-Physical Systems Research | 3 | 0.45 | 2015 |
| Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) | 0 | 0.34 | 2014 |
| Modeling Basic Aspects of Cyber-Physical Systems, Part II. | 2 | 0.42 | 2014 |
| A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) | 3 | 0.56 | 2012 |
| DrHJ: a lightweight pedagogic IDE for Habanero Java | 2 | 0.50 | 2011 |
| A core language for executable models of cyber physical systems: work in progress report | 0 | 0.34 | 2011 |
| Test-first Java concurrency for the classroom | 3 | 0.43 | 2010 |
| Mathematical equations as executable models of mechanical systems | 17 | 1.11 | 2010 |
| In Pursuit of Real Answers | 0 | 0.34 | 2009 |
| ConcJUnit: unit testing for concurrent programs | 5 | 0.53 | 2009 |
| Component nextgen: a sound and expressive component framework for java | 0 | 0.34 | 2007 |
| Deriving components from genericity | 1 | 0.37 | 2007 |
| Efficient first-class generics on stock Java virtual machines | 7 | 0.56 | 2006 |
| Taming Java for the classroom | 13 | 1.01 | 2005 |
| A first-class approach to genericity | 28 | 1.15 | 2003 |
| A friendly face for Eclipse | 3 | 0.66 | 2003 |
| Production programming in the classroom | 28 | 3.58 | 2003 |
| The case for run-time types in generic Java | 8 | 2.04 | 2002 |
| DrJava: a lightweight pedagogic environment for Java | 69 | 7.87 | 2002 |
| Efficient Implementation of Run-time Generic Types for Java | 11 | 1.86 | 2002 |
| Program verification through soft typing | 6 | 0.83 | 1996 |
| Extensible Denotational Language Specifications | 23 | 2.70 | 1994 |
| A practical soft type system for Scheme | 74 | 10.19 | 1994 |
| Fully abstract semantics for observably sequential languages | 47 | 3.00 | 1994 |
| Observable sequentiality and full abstraction | 30 | 2.61 | 1992 |
| SPCF: Its Model, Calculus, and Computational Power (Preliminary Version) | 2 | 0.39 | 1992 |
| Soft typing (with retrospective) | 0 | 0.34 | 1991 |
| The semantics of program dependence | 73 | 10.67 | 1989 |
| Exact real arithmetic: a case study in higher order programming | 55 | 9.03 | 1986 |
| Recursive programs as definitions in first order logic | 9 | 1.34 | 1984 |
| Paths: an abstract alternative to pointers | 2 | 0.44 | 1981 |
