dblp.uni-trier.dewww.uni-trier.de

Harald Vogt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
20EEMario 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
18EEHarald Vogt: Increasing Attack Resiliency of Wireless Ad Hoc and Sensor Networks. ICDCS Workshops 2005: 179-184
17EEHarald Vogt: Small Worlds and the Security of Ubiquitous Computing. WOWMOM 2005: 593-597
2004
16EEFrank Siegemund, Christian Floerkemeier, Harald Vogt: The Value of Handhelds in Smart Environments. ARCS 2004: 291-308
15EEHarald Vogt: Exploring Message Authentication in Sensor Networks. ESAS 2004: 19-30
2003
14EEJürgen Bohn, Felix C. Gärtner, Harald Vogt: Dependability Issues of Pervasive Computing in a Healthcare Environment. SPC 2003: 53-70
2002
13EEHarald Vogt: Efficient Object Identification with Passive RFID Tags. Pervasive 2002: 98-113
2000
12EERoger Kehr, Michael Rohs, Harald Vogt: Mobile Code as an Enabling Technology for Service-Oriented Smartcard Middleware. DOA 2000: 119-
11EERoger Kehr, Michael Rohs, Harald Vogt: Issues in Smartcard Middleware. Java Card Workshop 2000: 90-97
1999
10EEDavid A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt: Java Bytecode Verification by Model Checking. CAV 1999: 491-494
9EERoger 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
7EERajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt: System Description: card TAP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50
6EEJoachim 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

Coauthor Index

1David A. Basin [10]
2Aswin van den Berg [2]
3Jürgen Bohn [14]
4Christian Floerkemeier [16]
5Arend Freije [2]
6Felix C. Freiling (Felix C. Gärtner) [14]
7Stefan Friedrich [10]
8Rajeev Goré [7] [8]
9Roger Kehr [9] [11] [12]
10Matthijs F. Kuiper [1] [3]
11Maarten Pennings [5]
12Joachim Posegga [6] [7] [8] [9] [10]
13Matthias Ringwald [19]
14Michael Rohs [11] [12]
15Frank Siegemund [16]
16Andrew Slater [7] [8]
17Mario Strasser [19] [20]
18S. Doaitse Swierstra [1] [3] [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)