| |
| 2008 | ||
|---|---|---|
| 6 | EE | Larissa Meinicke, Kim Solin: Reactive Probabilistic Programs and Refinement Algebra. RelMiCS 2008: 304-319 |
| 5 | EE | Larissa Meinicke, Kim Solin: Refinement Algebra for Probabilistic Programs. Electr. Notes Theor. Comput. Sci. 201: 177-195 (2008) |
| 2007 | ||
| 4 | EE | Kim Solin: A Sketch of a Dynamic Epistemic Semiring. WoLLIC 2007: 337-350 |
| 2006 | ||
| 3 | EE | Kim Solin, Joakim von Wright: Refinement Algebra with Operators for Enabledness and Termination. MPC 2006: 397-415 |
| 2 | EE | Peter Höfner, Bernhard Möller, Kim Solin: Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS 2006: 222-234 |
| 1 | EE | Kim Solin: On Two Dually Nondeterministic Refinement Algebras. RelMiCS 2006: 373-387 |
| 1 | Peter Höfner | [2] |
| 2 | Larissa Meinicke | [5] [6] |
| 3 | Bernhard Möller | [2] |
| 4 | Joakim von Wright | [3] |