| 2008 |
|---|
| 13 | EE | David Rosenthal,
Josh Weisberg:
Higher-order theories of consciousness.
Scholarpedia 3(5): 4407 (2008) |
| 2006 |
|---|
| 12 | EE | Viswanathan Kodaganallur,
Rob R. Weitz,
David Rosenthal:
Tools for Building Intelligent Tutoring Systems.
HICSS 2006 |
| 2004 |
|---|
| 11 | EE | Viswanathan Kodaganallur,
Rob R. Weitz,
David Rosenthal:
VersaTutor: architecture for a constraint-based intelligent tutor generator.
WWW (Alternate Track Papers & Posters) 2004: 474-475 |
| 1999 |
|---|
| 10 | EE | David Rosenthal,
Francis Fung:
A Test for Non-Disclosure in Security Level Translations.
IEEE Symposium on Security and Privacy 1999: 196-206 |
| 1998 |
|---|
| 9 | EE | Mary-Marshall Teel,
Rachael Sokolowski,
David Rosenthal,
Matt Belge:
Voice-enabled Structured Medical Reporting.
CHI 1998: 595-602 |
| 8 | | David Rosenthal,
Rachael Sokolowski:
Voice-Enabled, Structured Medical Reporting.
IEEE Intelligent Systems 13(1): 70-73 (1998) |
| 1994 |
|---|
| 7 | | David Rosenthal:
Machine Rhythm.
AAAI 1994: 1508 |
| 1993 |
|---|
| 6 | | David Rosenthal:
Modeling Restrictive Processes that Involve Blocking Requests.
CSFW 1993: 27-38 |
| 1990 |
|---|
| 5 | | David Rosenthal:
Security Models for Priority Buffering and Interrupt Handling.
CSFW 1990: 91-97 |
| 1989 |
|---|
| 4 | | David Rosenthal:
Implementing a Verification Methodology for McCullough Security.
CSFW 1989: 133-140 |
| 1988 |
|---|
| 3 | | David Rosenthal:
An Approach to Increasing the Automation of the Verification of Security.
CSFW 1988: 90-97 |
| 2 | | David Rosenthal:
A Simple X11 Client Program -or- How hard can it really be to write "Hello, World"?
USENIX Winter 1988: 229-242 |
| 1984 |
|---|
| 1 | | David Rosenthal:
The Order Indiscernibles of Divisible Ordered Abelian Groups.
J. Symb. Log. 49(1): 151-160 (1984) |
