 | 2008 |
| 15 |  | 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 |  | 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 |  | Jürgen Bohn:
Prototypical Implementation of Location-Aware Services Based on Super-Distributed RFID Tags.
ARCS 2006: 69-83 |
| 2004 |
| 12 |  | Jürgen Bohn,
Friedemann Mattern:
Super-distributed RFID Tag Infrastructures.
EUSAI 2004: 1-12 |
| 11 |  | 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 |  | Jürgen Bohn:
Instant Personalization and Temporary Ownership of Handheld Devices.
WMCSA 2004: 134-143 |
| 2003 |
| 9 |  | Michael Rohs,
Jürgen Bohn:
Entry Points into a Smart Campus Environment - Overview of the ETHOC System.
ICDCS Workshops 2003: 260- |
| 8 |  | 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 |  | Jürgen Bohn,
Günter Karjoth:
Generische Sicherheitsdienste für mobile Anwendungen.
HMD - Praxis Wirtschaftsinform. 220: (2001) |
| 1999 |
| 5 |  | 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 |