![]() | ![]() |
| 2011 | ||
|---|---|---|
| 5 | Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina A. Waldén: Concurrent Scheduling of Event-B Models Refine 2011: 166-182 | |
| 2008 | ||
| 4 | Mats Neovius, Fredrik Degerlund, Lu Yan: Forming a context-sensitive web of trust by relying on sentimentally like-minded. Int. J. Pervasive Computing and Communications 4(1): 92-109 (2008) | |
| 2007 | ||
| 3 | Fredrik Degerlund, Kaisa Sere: A Framework for Incorporating Trust into Formal Systems Development. ICTAC 2007: 154-168 | |
| 2 | Fredrik Degerlund, Marina A. Waldén, Kaisa Sere: Implementation Issues Concerning the Action Systems Formalism. PDCAT 2007: 471-479 | |
| 1 | Fredrik Degerlund: Trust Mass, Volume and Density - a Novel Approach to Reasoning about Trust. Electr. Notes Theor. Comput. Sci. 179: 87-96 (2007) | |
| 1 | Pontus Boström | [5] |
| 2 | Mats Neovius | [4] |
| 3 | Kaisa Sere | [2] [3] [5] |
| 4 | Marina A. Waldén | [2] [5] |
| 5 | Lu Yan | [4] |
Data released under the ODC-BY 1.0 license — See also our legal information page