2008 |
15 | EE | Jürgen Bohn:
Prototypical implementation of location-aware services based on a middleware architecture for super-distributed RFID tag infrastructures.
Personal and Ubiquitous Computing 12(2): 155-166 (2008) |
2007 |
14 | EE | Julian Randall,
Oliver Amft,
Jürgen Bohn,
Martin Burri:
LuxTrace: indoor positioning using building illumination.
Personal and Ubiquitous Computing 11(6): 417-428 (2007) |
2006 |
13 | EE | Jürgen Bohn:
Prototypical Implementation of Location-Aware Services Based on Super-Distributed RFID Tags.
ARCS 2006: 69-83 |
2004 |
12 | EE | Jürgen Bohn,
Friedemann Mattern:
Super-distributed RFID Tag Infrastructures.
EUSAI 2004: 1-12 |
11 | EE | Vlad Coroama,
Jürgen Bohn,
Friedemann Mattern:
Living in a smart environment - implications for the coming ubiquitous information society.
SMC (6) 2004: 5633-5638 |
10 | EE | Jürgen Bohn:
Instant Personalization and Temporary Ownership of Handheld Devices.
WMCSA 2004: 134-143 |
2003 |
9 | EE | Michael Rohs,
Jürgen Bohn:
Entry Points into a Smart Campus Environment - Overview of the ETHOC System.
ICDCS Workshops 2003: 260- |
8 | EE | Jürgen Bohn,
Felix C. Gärtner,
Harald Vogt:
Dependability Issues of Pervasive Computing in a Healthcare Environment.
SPC 2003: 53-70 |
2001 |
7 | | Jürgen Bohn,
Günter Karjoth:
Sicherheitsdienste für mobile Agentenanwendungen.
Kommunikation in Verteilten Systemen 2001: 305-314 |
6 | EE | Jürgen Bohn,
Günter Karjoth:
Generische Sicherheitsdienste für mobile Anwendungen.
HMD - Praxis Wirtschaftsinform. 220: (2001) |
1999 |
5 | EE | Tom Bienmüller,
Jürgen Bohn,
Henning Brinkmann,
Udo Brockmeyer,
Werner Damm,
Hardi Hungar,
Peter Jansen:
Verification of Automotive Control Units.
Correct System Design 1999: 319-341 |
1998 |
4 | | Jürgen Bohn,
Werner Damm,
Orna Grumberg,
Hardi Hungar,
Karen Laster:
First-Order-CTL Model Checking.
FSTTCS 1998: 283-294 |
1996 |
3 | | Jürgen Bohn,
Wil Janssen:
A Strategic Approach to Transformational Design.
FME 1996: 609-628 |
1995 |
2 | | Jürgen Bohn,
Hardi Hungar:
Traverdi - Transformation and Verification of Distributed Systems.
KORSO Book 1995: 317-338 |
1 | | Jürgen Bohn,
Stephan Rössig:
On Automatic and Interactive Design of Communication Systems.
TACAS 1995: 216-237 |