| 2002 |
|---|
| 8 | | Holger Regenbrecht,
E. Thomas Schubert:
Real and Illusory Interactions Enhance Presence in Virtual Environments.
Presence 11(4): 425-434 (2002) |
| 2001 |
|---|
| 7 | | E. Thomas Schubert,
Frank Friedmann,
Holger Regenbrecht:
The Experience of Presence: Factor Analytic Insights.
Presence 10(3): 266-281 (2001) |
| 1995 |
|---|
| 6 | | E. Thomas Schubert,
Phillip J. Windley,
Jim Alves-Foss:
Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings
Springer 1995 |
| 5 | | E. Thomas Schubert,
Sarah Mocas:
A Mechanized Logic for Secure Key Escrow Protocol Verification.
TPHOLs 1995: 308-323 |
| 1994 |
|---|
| 4 | | E. Thomas Schubert:
A Hybrid Model for Reasoning about Composed Hardware Systems.
CAV 1994: 260-272 |
| 1993 |
|---|
| 3 | | Tej Arora,
Tony Leung,
Karl N. Levitt,
E. Thomas Schubert,
Phillip J. Windley:
Report on the UCD Microcoded Viper Verification Project.
HUG 1993: 239-252 |
| 1991 |
|---|
| 2 | | E. Thomas Schubert:
Verification of Integrated Subsystems.
TPHOLs 1991: 38-51 |
| 1 | | E. Thomas Schubert:
Verification of Composed Hardware Systems Using CCS.
TPHOLs 1991: 88-95 |
