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