dblp.uni-trier.dewww.uni-trier.de

William J. Mitchell Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

1Jonathan Cagan [6]
2Moti Gitik [7]
3Mitsuo Morozumi [10]
4Ryusuke Naka [10]
5Daniel S. Perry [17]
6Ernest Schimmerling [8]
7Susanne Seitinger [17]
8John R. Steel [8]
9Sigeyuki Yamaguchi [10]
10Susan Yee [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)