Kim Solin

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Topics

Boolean Algebra

Refinement Process

Fractal Encoding

Knowledge Representation

Top Venues

Publications

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