The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Harald Vogt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Frank Siegemund, Christian Floerkemeier, Harald Vogt
    The Value of Handhelds in Smart Environments. [Citation Graph (0, 0)][DBLP]
    ARCS, 2004, pp:291-308 [Conf]
  2. Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt
    cardTAP: Automated Deduction on a Smart Card. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1998, pp:239-247 [Conf]
  3. Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt
    System Description: card TAP: The First Theorem Prover on a Smart Card. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:47-50 [Conf]
  4. David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
    Java Bytecode Verification by Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:491-494 [Conf]
  5. Roger Kehr, Joachim Posegga, Harald Vogt
    PCA: Jini-based Personal Card Assistant. [Citation Graph (0, 0)][DBLP]
    CQRE, 1999, pp:64-75 [Conf]
  6. Roger Kehr, Michael Rohs, Harald Vogt
    Mobile Code as an Enabling Technology for Service-Oriented Smartcard Middleware. [Citation Graph (0, 0)][DBLP]
    DOA, 2000, pp:119-0 [Conf]
  7. Harald Vogt
    Exploring Message Authentication in Sensor Networks. [Citation Graph (0, 0)][DBLP]
    ESAS, 2004, pp:19-30 [Conf]
  8. Joachim Posegga, Harald Vogt
    Byte Code Verification for Java Smart Card Based on Model Checking. [Citation Graph (0, 0)][DBLP]
    ESORICS, 1998, pp:175-190 [Conf]
  9. Harald Vogt, Matthias Ringwald, Mario Strasser
    Intrusion Detection and Failure Recovery in Sensor Nodes. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2005, pp:161-163 [Conf]
  10. Harald Vogt
    Increasing Attack Resiliency of Wireless Ad Hoc and Sensor Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2005, pp:179-184 [Conf]
  11. Roger Kehr, Michael Rohs, Harald Vogt
    Issues in Smartcard Middleware. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:90-97 [Conf]
  12. Harald Vogt
    Efficient Object Identification with Passive RFID Tags. [Citation Graph (0, 0)][DBLP]
    Pervasive, 2002, pp:98-113 [Conf]
  13. Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
    Higher-Order Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    PLDI, 1989, pp:131-145 [Conf]
  14. Maarten Pennings, S. Doaitse Swierstra, Harald Vogt
    Using Cached Functions and Constructors for Incremental Attribute Evaluation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:130-144 [Conf]
  15. Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
    Efficient Incremental Evaluation of Higher order Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:231-242 [Conf]
  16. S. Doaitse Swierstra, Harald Vogt
    Higher Order Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Attribute Grammars, Applications and Systems, 1991, pp:256-296 [Conf]
  17. Mario Strasser, Harald Vogt
    Autonomous and distributed node recovery in wireless sensor networks. [Citation Graph (0, 0)][DBLP]
    SASN, 2006, pp:113-122 [Conf]
  18. Jürgen Bohn, Felix C. Gärtner, Harald Vogt
    Dependability Issues of Pervasive Computing in a Healthcare Environment. [Citation Graph (0, 0)][DBLP]
    SPC, 2003, pp:53-70 [Conf]
  19. Harald Vogt, Aswin van den Berg, Arend Freije
    Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations. [Citation Graph (0, 0)][DBLP]
    WAGA, 1990, pp:101-115 [Conf]
  20. Harald Vogt
    Small Worlds and the Security of Ubiquitous Computing. [Citation Graph (0, 0)][DBLP]
    WOWMOM, 2005, pp:593-597 [Conf]

  21. A client architecture for market-based grid integration of smart environments. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002