Search the dblp DataBase

Publications of Author

1. E. Thomas Schubert
   A Hybrid Model for Reasoning about Composed Hardware Systems. [Citation Graph (0, 0)][DBLP]
   CAV, 1994, pp:260-272 [Conf]
   
2. Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley
   Report on the UCD Microcoded Viper Verification Project. [Citation Graph (0, 0)][DBLP]
   HUG, 1993, pp:239-252 [Conf]
   
3. E. Thomas Schubert
   Verification of Integrated Subsystems. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1991, pp:38-51 [Conf]
   
4. E. Thomas Schubert
   Verification of Composed Hardware Systems Using CCS. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1991, pp:88-95 [Conf]
   
5. E. Thomas Schubert, Sarah Mocas
   A Mechanized Logic for Secure Key Escrow Protocol Verification. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:308-323 [Conf]
   
6. Holger Regenbrecht, E. Thomas Schubert
   Real and Illusory Interactions Enhance Presence in Virtual Environments. [Citation Graph (0, 0)][DBLP]
   Presence, 2002, v:11, n:4, pp:425-434 [Journal]
   
7. E. Thomas Schubert, Frank Friedmann, Holger Regenbrecht
   The Experience of Presence: Factor Analytic Insights. [Citation Graph (0, 0)][DBLP]
   Presence, 2001, v:10, n:3, pp:266-281 [Journal]