BibSonomy :: author  ::

bookmarks

publications

(7)

• Checking the TWIN Elevator System by Translating Object-Z to SMV.
  Sören Preibusch and Florian Kammüller FMICS 38-55 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• An industrial application of symbolic model checking.
  Florian Kammüller and Sören Preibusch Computer Science - Research and Development 22 95-108 (2008)
  to dblp by dblp on 2008-05-28 00:00:00
  | URL | BibTeX  
• Ubiquitous social networks -- opportunities and challenges for privacy-aware user modelling
  S. Preibusch and B. Hoser and S. G\"urses and B. Berendt Proceedings of the Workshop on Data Mining for User Modelling at UM 2007 (2007)
  to imported by kdubiq on 2008-04-30 12:59:47
  | BibTeX  
• Spontaneous Privacy Policy Negotiations in Pervasive Environments.
  Sören Preibusch OTM Workshops (2) 814-823 (2007)
  to dblp by dblp on 2007-11-27 00:00:00
  | URL | BibTeX  
• Implementing Privacy Negotiation Techniques in E-Commerce.
  Sören Preibusch CEC 387-390 (2005)
  to dblp by dblp on 2006-01-02 00:00:00
  | URL | BibTeX  
• Implementing Privacy Negotiations in E-Commerce.
  Sören Preibusch APWeb 604-615 (2006)
  to dblp by dblp on 2005-12-20 00:00:00
  | URL | BibTeX  
• SIMT -- A Privacy Preserving Web Metrics Tool.
  Maximilian Teltzrow and Sören Preibusch and Bettina Berendt CEC 263-270 (2004)
  to dblp by dblp on 2004-10-27 00:00:00
  | URL | BibTeX