| |
| 2008 | ||
|---|---|---|
| 4 | EE | Bjørnar Solhaug, Ketil Stølen: Compositional Refinement of Policies in UML - Exemplified for Access Control. ESORICS 2008: 300-316 |
| 2007 | ||
| 3 | EE | Bjørnar Solhaug, Dag Elgesem, Ketil Stølen: Specifying Policies Using UML Sequence Diagrams - An Evaluation Based on a Case Study. POLICY 2007: 19-28 |
| 2005 | ||
| 2 | EE | Bjørnar Solhaug, Arild Waaler: Logical Spaces in Multi-agent Only Knowing Systems. CLIMA VI 2005: 77-95 |
| 1 | EE | Arild Waaler, Bjørnar Solhaug: Semantics for multi-agent only knowing: extended abstract. TARK 2005: 109-125 |
| 1 | Dag Elgesem | [3] |
| 2 | Ketil Stølen | [3] [4] |
| 3 | Arild Waaler | [1] [2] |