2007 |
13 | EE | Robert Johnson,
Jonathan Marchini,
Stephen Smith,
Christian Beckmann:
Independent Component Analysis of Functional Magnetic Resonance Imaging Data Using Wavelet Dictionaries.
ICA 2007: 625-632 |
2006 |
12 | EE | Jeffrey S. Foster,
Robert Johnson,
John Kodumal,
Alex Aiken:
Flow-insensitive type qualifiers.
ACM Trans. Program. Lang. Syst. 28(6): 1035-1087 (2006) |
2004 |
11 | EE | Robert Johnson,
David Wagner:
Finding User/Kernel Pointer Bugs with Type Inference.
USENIX Security Symposium 2004: 119-134 |
2002 |
10 | EE | Robert Johnson,
David Molnar,
Dawn Xiaodong Song,
David Wagner:
Homomorphic Signature Schemes.
CT-RSA 2002: 244-262 |
9 | EE | Robert Johnson,
Jessica Staddon:
FAIR: Fair Audience InfeRence.
Digital Rights Management Workshop 2002: 190-207 |
8 | EE | Nikita Borisov,
Monica Chew,
Robert Johnson,
David Wagner:
Multiplicative Differentials.
FSE 2002: 17-33 |
2001 |
7 | EE | Scott Crosby,
Ian Goldberg,
Robert Johnson,
Dawn Xiaodong Song,
David Wagner:
A Cryptanalysis of the High-Bandwidth Digital Content Protection System.
Digital Rights Management Workshop 2001: 192-200 |
1995 |
6 | | Michael Fisher,
Robert Johnson,
John A. Keane:
Graph Structure Management in Parallel Symbolic Systems.
Parallel and Distributed Computing and Systems 1995: 210-215 |
1992 |
5 | | Robert Johnson:
DASD: Channels and Cache.
Int. CMG Conference 1992: 1123-1135 |
4 | | Robert Johnson,
Steve Reeves:
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract).
TABLEAUX 1992: 37-39 |
1991 |
3 | | Arun K. Somani,
Craig M. Wittenbrink,
Robert M. Haralick,
Linda G. Shapiro,
Jenq-Neng Hwang,
Chung-Ho Chen,
Robert Johnson,
Kenneth Cooper:
Proteus System Architecture and Organization.
IPPS 1991: 287-294 |
2 | | Robert Johnson:
DASD: IBM Direct Access Storage Devices.
Int. CMG Conference 1991: 1251-1261 |
1990 |
1 | | Robert Johnson:
Parallel, Concurrent Theorem Proving.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 359 |