| 2008 | ||
|---|---|---|
| 6 | Florian Kammüller, Sören Preibusch: An industrial application of symbolic model checking. Computer Science - Research and Development 22(2): 95-108 (2008) | |
| 2007 | ||
| 5 | Sören Preibusch, Florian Kammüller: Checking the TWIN Elevator System by Translating Object-Z to SMV. FMICS 2007: 38-55 | |
| 4 | Sören Preibusch: Spontaneous Privacy Policy Negotiations in Pervasive Environments. OTM Workshops (2) 2007: 814-823 | |
| 2006 | ||
| 3 | Sören Preibusch: Implementing Privacy Negotiations in E-Commerce. APWeb 2006: 604-615 | |
| 2005 | ||
| 2 | Sören Preibusch: Implementing Privacy Negotiation Techniques in E-Commerce. CEC 2005: 387-390 | |
| 2004 | ||
| 1 | Maximilian Teltzrow, Sören Preibusch, Bettina Berendt: SIMT -- A Privacy Preserving Web Metrics Tool. CEC 2004: 263-270 | |
| 1 | Bettina Berendt | [1] |
| 2 | Florian Kammüller | [5] [6] |
| 3 | Maximilian Teltzrow | [1] |