| |
| 1999 | ||
|---|---|---|
| 7 | EE | Douglas N. Hoover, B. N. Kausik: Software Smart Cards via Cryptographic Camouflage. IEEE Symposium on Security and Privacy 1999: 208-215 |
| 1997 | ||
| 6 | EE | Douglas N. Hoover: Limiting Semantics of Numerical Programs. Theor. Comput. Sci. 176(1-2): 89-110 (1997) |
| 1995 | ||
| 5 | EE | Douglas N. Hoover: Maximal limit spaces, powerspaces, and Scott domains. Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 1987 | ||
| 4 | Douglas N. Hoover: An Analytic Completeness Theorem for Logics with Probability Quantifiers. J. Symb. Log. 52(3): 802-816 (1987) | |
| 1985 | ||
| 3 | Douglas N. Hoover: A Probabilistic Interpolation Theorem. J. Symb. Log. 50(3): 708-713 (1985) | |
| 1984 | ||
| 2 | Dana Angluin, Douglas N. Hoover: Regular Prefix Relations. Mathematical Systems Theory 17(3): 167-191 (1984) | |
| 1982 | ||
| 1 | Douglas N. Hoover: A Normal Form Theorem for L omega 1p , with Applications. J. Symb. Log. 47(3): 605-624 (1982) | |
| 1 | Dana Angluin | [2] |
| 2 | B. N. Kausik | [7] |