| 2008 | ||
|---|---|---|
| j3 | 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 | ||
| b1 | Jürgen Bohn: User-centric dependability concepts for ubiquitous computing. ETH Zurich 2007, isbn 978-3-86624-214-2, pp. 1-340 | |
| j2 | 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 | ||
| c12 | Jürgen Bohn: Prototypical Implementation of Location-Aware Services Based on Super-Distributed RFID Tags. ARCS 2006: 69-83 | |
| 2004 | ||
| c11 | ||
| c10 | Vlad Coroama, Jürgen Bohn, Friedemann Mattern: Living in a smart environment - implications for the coming ubiquitous information society. SMC (6) 2004: 5633-5638 | |
| c9 | Jürgen Bohn: Instant Personalization and Temporary Ownership of Handheld Devices. WMCSA 2004: 134-143 | |
| 2003 | ||
| c8 | Michael Rohs, Jürgen Bohn: Entry Points into a Smart Campus Environment - Overview of the ETHOC System. ICDCS Workshops 2003: 260- | |
| c7 | Jürgen Bohn, Felix C. Gärtner, Harald Vogt: Dependability Issues of Pervasive Computing in a Healthcare Environment. SPC 2003: 53-70 | |
| 2001 | ||
| j1 | Jürgen Bohn, Günter Karjoth: Generische Sicherheitsdienste für mobile Anwendungen. HMD - Praxis Wirtschaftsinform. 220 (2001) | |
| c6 | Jürgen Bohn, Günter Karjoth: Sicherheitsdienste für mobile Agentenanwendungen. Kommunikation in Verteilten Systemen 2001: 305-314 | |
| 1999 | ||
| c5 | 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 | ||
| c4 | Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster: First-Order-CTL Model Checking. FSTTCS 1998: 283-294 | |
| 1996 | ||
| c3 | ||
| 1995 | ||
| c2 | Jürgen Bohn, Hardi Hungar: Traverdi - Transformation and Verification of Distributed Systems. KORSO Book 1995: 317-338 | |
| c1 | Jürgen Bohn, Stephan Rössig: On Automatic and Interactive Design of Communication Systems. TACAS 1995: 216-237 | |
Colors in the list of coauthors
Last update Wed May 22 18:46:14 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page