BibSonomy :: author  ::

bookmarks

publications

(53)

• PatMaN: rapid alignment of short sequences to large databases.
  Kay Prüfer and Udo Stenzel and Michael Dannemann and Richard E. Green and Michael Lachmann and Janet Kelso Bioinformatics 24 1530-1531 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Verification of Java Programs with Generics.
  Kurt Stenzel and Holger Grandy and Wolfgang Reif AMAST 315-329 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Smarte Arbeitsumgebungen zur Unterstützung verteilter sozialer Prozesse
  Norbert Streitz and Thorsten Prante and Carsten Röcker and Daniel van Alphen and Richard Stenzel and Carsten Magerkurth Mensch und Computer 2005 111-120 (2005)
  to AmbientAgoras CommunityMirror LargeScreen by otfloria and 1 other person on 2008-07-25 14:43:19
  | BibTeX  
• Conflict-free Real-time AGV Routing.
  Rolf H. Möhring and Ekkehard Köhler and Ewgenij Gawrilow and Björn Stenzel OR 18-24 (2004)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.
  Holger Grandy and Markus Bischof and Kurt Stenzel and Gerhard Schellhorn and Wolfgang Reif FM 165-180 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• CIO best practices : enabling strategic value with information technology
  {Joe} Stenzel (2007)
  to Informationsmanager Informationstechnik Strategisches_Management by fbw on 2008-05-28 17:45:28
  | URL | BibTeX  
• Bidding behavior in asymmetric auctions: An experimental study
  Werner G{\"u}th and Radosveta Ivanova-Stenzel and Elmar Wolfstetter European Economic Review 49 1891--1913 (2005)
  to Sealed auctions bid by smicha on 2008-04-28 13:05:01
  | URL | BibTeX  
• Asymmetric auction experiments with(out) commonly known beliefs
  Werner Guth and Radosveta Ivanova-Stenzel Economics Letters 80 195--199 (2003)
  to Experiments by smicha on 2008-04-21 22:09:52
  | URL | BibTeX  
• ASN1-light: A Verified Message Encoding for Security Protocols.
  Holger Grandy and Robert Bertossi and Kurt Stenzel and Wolfgang Reif SEFM 195-204 (2007)
  to dblp by dblp on 2007-12-06 00:00:00
  | URL | BibTeX  
• Designing Smart Artifacts for Smart Environments
  Norbert A. Streitz and Carsten Röcker and Thorsten Prante and Daniel van Alphen and Richard Stenzel and Carsten Magerkurth IEEE Computer 38 41-49 (2005)
  to computing ubiquitous by kochm and 1 other person on 2007-08-29 18:00:48
  | BibTeX