The SCEAS System
Navigation Menu

Search the dblp DataBase


E. Thomas Schubert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002