Kim Solin

15 papers B 1C 3Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2015 C conf
Encoding and Decoding in Refinement Algebra.
RAMiCS
Kim Solin
2013 — conf
Modal Semirings with Operators for Knowledge Representation.
ICAART (2)
Kim Solin
2012 J jnl
Dual Choice and Iteration in an Abstract Algebra of Action.
Stud Logica
Kim Solin
2012 C conf
Towards an Algebra for Real-Time Programs.
RAMiCS
Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Kim Solin
2011 J jnl
Normal forms in total correctness for while programs and action systems.
J. Log. Algebraic Methods Program.
Kim Solin
2010 J jnl
A sketch of a dynamic epistemic semiring.
Inf. Comput.
Kim Solin
2010 J jnl
Refinement algebra for probabilistic programs.
Formal Aspects Comput.
Larissa Meinicke, Kim Solin
2009 — conf
A While Program Normal Form Theorem in Total Correctness.
RelMiCS
Kim Solin
2009 J jnl
Enabledness and termination in refinement algebra.
Sci. Comput. Program.
Kim Solin, Joakim von Wright
2008 — conf
Reactive Probabilistic Programs and Refinement Algebra.
RelMiCS
Larissa Meinicke, Kim Solin
2007 C conf
A Sketch of a Dynamic Epistemic Semiring.
WoLLIC
Kim Solin
2007 — conf
Refinement Algebra for Probabilistic Programs.
REFINE@IFM
Larissa Meinicke, Kim Solin
2006 — conf
Omega Algebra, Demonic Refinement Algebra and Commands.
RelMiCS
Peter Höfner, Bernhard Möller, Kim Solin
2006 — conf
On Two Dually Nondeterministic Refinement Algebras.
RelMiCS
Kim Solin
2006 B conf
Refinement Algebra with Operators for Enabledness and Termination.
MPC
Kim Solin, Joakim von Wright