| 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 |
