| |
| * | 2009 | |
|---|---|---|
| 9 | EE | Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit: Automatic generation of library bindings using static analysis. PLDI 2009: 352-362 |
| 2004 | ||
| 8 | EE | Steve Jackson, Russell May: The strong partition relation on omega1 revisited. Math. Log. Q. 50(1): 33-40 (2004) |
| 2003 | ||
| 7 | EE | Steve Jackson, R. Daniel Mauldin: Survey of the Steinhaus tiling problem. Bulletin of Symbolic Logic 9(3): 335-361 (2003) |
| 2001 | ||
| 6 | Steve Jackson: The Weak Square Property. J. Symb. Log. 66(2): 640-657 (2001) | |
| 5 | Howard Becker, Steve Jackson: Supercompactness within The Projective Hierarchy. J. Symb. Log. 66(2): 658-672 (2001) | |
| 1994 | ||
| 4 | Neal Brand, Steve Jackson: Properties of Classes of Random Graphs. Combinatorics, Probability & Computing 3: 435-454 (1994) | |
| 1991 | ||
| 3 | Steve Jackson: Admissible Suslin Cardinals in L(R). J. Symb. Log. 56(1): 260-275 (1991) | |
| 2 | Steve Jackson, R. Daniel Mauldin: Nonuniformization Results for the Projective Hierarchy. J. Symb. Log. 56(2): 742-748 (1991) | |
| 1990 | ||
| 1 | Steve Jackson: Partition Properties and Well-Ordered Sequences. Ann. Pure Appl. Logic 48(1): 81-101 (1990) | |
| 1 | Eric Aderhold | [9] |
| 2 | Howard Becker | [5] |
| 3 | Neal Brand | [4] |
| 4 | Ben Liblit | [9] |
| 5 | R. Daniel Mauldin | [2] [7] |
| 6 | Russell May | [8] |
| 7 | Tristan Ravitch | [9] |