| 2009 | ||
|---|---|---|
| 17 | Susanne Seitinger, Daniel S. Perry, William J. Mitchell: Urban pixels: painting the city with light. CHI 2009: 839-848 | |
| 2006 | ||
| 16 | William J. Mitchell: On the Hamkins approximation property. Ann. Pure Appl. Logic 144(1-3): 126-129 (2006) | |
| 2004 | ||
| 15 | 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 | 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 | 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) | |