| 2009 |
|---|
| 6 | EE | John Byrnes,
Michael Buchanan,
Michael Ernst,
Philip Miller,
Chris Roberts,
Robert Keller:
Visualizing Proof Search for Theorem Prover Development.
Electr. Notes Theor. Comput. Sci. 226: 23-38 (2009) |
| 1997 |
|---|
| 5 | EE | Philip Miller,
Kris Stewart,
Klaus Sutner,
Joseph L. Zachary:
Exploiting computer algebra systems in computer science courses (panel).
SIGCSE 1997: 377-378 |
| 1994 |
|---|
| 4 | EE | Glenn Meter,
Philip Miller:
Engaging students and teaching modern concepts: literate, situated, object-oriented programming.
SIGCSE 1994: 329-333 |
| 3 | EE | Philip Miller,
Michael J. Clancy,
Andrea A. diSessa,
Jeremy Roschelle,
Michael Eisenberg,
Mark Guzdial,
Elliot Soloway,
Mitchel Resnick:
The future of programming instruction (abstract).
SIGCSE 1994: 400 |
| 1988 |
|---|
| 2 | | Martha R. Szczur,
Philip Miller:
Transportable Applications Environment (TAE) Plus Experiences in "Object"-ively Modernizing a User Interface Environment.
OOPSLA 1988: 58-70 |
| 1 | | Chris R. Jesshope,
Philip Miller,
Jelio Yantchev:
Programming with active data.
Parcella 1988: 111-129 |
