| 2009 |
|---|
| 17 | EE | Susanne Seitinger,
Daniel S. Perry,
William J. Mitchell:
Urban pixels: painting the city with light.
CHI 2009: 839-848 |
| 2006 |
|---|
| 16 | EE | William J. Mitchell:
On the Hamkins approximation property.
Ann. Pure Appl. Logic 144(1-3): 126-129 (2006) |
| 2004 |
|---|
| 15 | EE | William J. Mitchell:
Keynote.
Conference on Designing Interactive Systems 2004: 1-2 |
| 2003 |
|---|
| 14 | | William J. Mitchell:
A Gitik iteration with nearly Easton factoring.
J. Symb. Log. 68(2): 481-502 (2003) |
| 2000 |
|---|
| 13 | EE | William J. Mitchell:
Designing the Digital City.
Digital Cities 2000: 1-6 |
| 1999 |
|---|
| 12 | | William J. Mitchell:
Jónsson Cardinals, Erdös Cardinals, and The Core Model.
J. Symb. Log. 64(3): 1065-1086 (1999) |
| 1998 |
|---|
| 11 | | William J. Mitchell:
Articulate design of free-form structures.
AI in Structural Engineering 1998: 223-234 |
| 10 | EE | Susan Yee,
William J. Mitchell,
Ryusuke Naka,
Mitsuo Morozumi,
Sigeyuki Yamaguchi:
The Kumamoto-Kyoto-MIT Collaborative Project: A Case Study of the Design Studio of the Future.
CoBuild 1998: 80-93 |
| 9 | | William J. Mitchell:
The Complexity of The Core Model.
J. Symb. Log. 63(4): 1393-1398 (1998) |
| 1997 |
|---|
| 8 | | William J. Mitchell,
Ernest Schimmerling,
John R. Steel:
The Covering Lemma up to a Woodin Cardinal.
Ann. Pure Appl. Logic 84(2): 219-255 (1997) |
| 1996 |
|---|
| 7 | | Moti Gitik,
William J. Mitchell:
Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis.
Ann. Pure Appl. Logic 82(3): 273-316 (1996) |
| 1994 |
|---|
| 6 | | Jonathan Cagan,
William J. Mitchell:
A grammatical approach to network flow synthesis.
Formal Design Methods for CAD 1994: 173-189 |
| 1992 |
|---|
| 5 | | William J. Mitchell:
The Logic of Architecture: Programming the Invention of Physical Artifacts.
JICSLP 1992: 831-846 |
| 4 | | William J. Mitchell:
An Infinitary Ramsey Property.
Ann. Pure Appl. Logic 57(2): 151-160 (1992) |
| 1987 |
|---|
| 3 | | William J. Mitchell:
Prikry Forcing at kappa+ and Beyond.
J. Symb. Log. 52(1): 44-50 (1987) |
| 1983 |
|---|
| 2 | | William J. Mitchell:
Sets Constructed from Sequences of Measures: Revisited.
J. Symb. Log. 48(3): 600-609 (1983) |
| 1974 |
|---|
| 1 | | William J. Mitchell:
Sets Constructible from Sequences of Ultrafilters.
J. Symb. Log. 39(1): 57-66 (1974) |
