
Search the dblp DataBase
Kim Solin:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Peter Höfner, Bernhard Möller, Kim Solin
Omega Algebra, Demonic Refinement Algebra and Commands. [Citation Graph (0, 0)][DBLP] RelMiCS, 2006, pp:222234 [Conf]
 Kim Solin
On Two Dually Nondeterministic Refinement Algebras. [Citation Graph (0, 0)][DBLP] RelMiCS, 2006, pp:373387 [Conf]
 Kim Solin, Joakim von Wright
Refinement Algebra with Operators for Enabledness and Termination. [Citation Graph (0, 0)][DBLP] MPC, 2006, pp:397415 [Conf]
 Kim Solin
A Sketch of a Dynamic Epistemic Semiring. [Citation Graph (0, 0)][DBLP] WoLLIC, 2007, pp:337350 [Conf]
Reactive Probabilistic Programs and Refinement Algebra. [Citation Graph (, )][DBLP]
A While Program Normal Form Theorem in Total Correctness. [Citation Graph (, )][DBLP]
Refinement Algebra for Probabilistic Programs. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
