Harald Vogt

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2011
c22		Maryam Ramezani, Mario Graf, Harald Vogt: A Simulation Environment for Smart Charging of Electric Vehicles Using a Multi-objective Evolutionary Algorithm. ICT-GLOW 2011: 56-63
	2010
c21		Harald Vogt, Holger Weiss: A client architecture for market-based grid integration of smart environments. PerCom Workshops 2010: 642-647
	2006
c20		Mario Strasser, Harald Vogt: Autonomous and distributed node recovery in wireless sensor networks. SASN 2006: 113-122
	2005
c19		Harald Vogt, Matthias Ringwald, Mario Strasser: Intrusion Detection and Failure Recovery in Sensor Nodes. GI Jahrestagung (2) 2005: 161-163
c18		Harald Vogt: Increasing Attack Resiliency of Wireless Ad Hoc and Sensor Networks. ICDCS Workshops 2005: 179-184
c17		Harald Vogt: Small Worlds and the Security of Ubiquitous Computing. WOWMOM 2005: 593-597
	2004
c16		Frank Siegemund, Christian Floerkemeier, Harald Vogt: The Value of Handhelds in Smart Environments. ARCS 2004: 291-308
c15		Harald Vogt: Exploring Message Authentication in Sensor Networks. ESAS 2004: 19-30
	2003
c14		Jürgen Bohn, Felix C. Gärtner, Harald Vogt: Dependability Issues of Pervasive Computing in a Healthcare Environment. SPC 2003: 53-70
	2002
c13		Harald Vogt: Efficient Object Identification with Passive RFID Tags. Pervasive 2002: 98-113
	2000
c12		Roger Kehr, Michael Rohs, Harald Vogt: Mobile Code as an Enabling Technology for Service-Oriented Smartcard Middleware. DOA 2000: 119-
c11		Roger Kehr, Michael Rohs, Harald Vogt: Issues in Smartcard Middleware. Java Card Workshop 2000: 90-97
	1999
c10		David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt: Java Bytecode Verification by Model Checking. CAV 1999: 491-494
c9		Roger Kehr, Joachim Posegga, Harald Vogt: PCA: Jini-based Personal Card Assistant. CQRE 1999: 64-75
	1998
c8		Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt: cardT^AP: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence 1998: 239-247
c7		Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt: System Description: card T^AP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50
c6		Joachim Posegga, Harald Vogt: Byte Code Verification for Java Smart Card Based on Model Checking. ESORICS 1998: 175-190
	1992
c5		Maarten Pennings, S. Doaitse Swierstra, Harald Vogt: Using Cached Functions and Constructors for Incremental Attribute Evaluation. PLILP 1992: 130-144
	1991
c4		Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper: Efficient Incremental Evaluation of Higher order Attribute Grammars. PLILP 1991: 231-242
c3		S. Doaitse Swierstra, Harald Vogt: Higher Order Attribute Grammars. Attribute Grammars, Applications and Systems 1991: 256-296
	1990
c2		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
c1		Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper: Higher-Order Attribute Grammars. PLDI 1989: 131-145

Coauthor Index

1	David A. Basin	[c10]
2	Aswin van den Berg	[c2]
3	Jürgen Bohn	[c14]
4	Christian Floerkemeier (Christian Flörkemeier)	[c16]
5	Arend Freije	[c2]
6	Felix C. Freiling (Felix C. Gärtner)	[c14]
7	Stefan Friedrich	[c10]
8	Rajeev Goré	[c8] [c7]
9	Mario Graf	[c22]
10	Roger Kehr	[c12] [c11] [c9]
11	Matthijs F. Kuiper	[c4] [c1]
12	Maarten Pennings	[c5]
13	Joachim Posegga	[c10] [c9] [c8] [c7] [c6]
14	Maryam Ramezani	[c22]
15	Matthias Ringwald	[c19]
16	Michael Rohs	[c12] [c11]
17	Frank Siegemund	[c16]
18	Andrew Slater	[c8] [c7]
19	Mario Strasser	[c20] [c19]
20	S. Doaitse Swierstra	[c5] [c4] [c3] [c1]
21	Holger Weiss	[c21]

Colors in the list of coauthors

Last update Fri May 24 02:13:01 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page