Kim Solin

According to our database, Kim Solin authored at least 13 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2015

Encoding and Decoding in Refinement Algebra.

Kim Solin

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2013

Modal Semirings with Operators for Knowledge Representation.

Kim Solin

Proceedings of the ICAART 2013, 2013

2012

Dual Choice and Iteration in an Abstract Algebra of Action.

Kim Solin

Stud Logica, 2012

Towards an Algebra for Real-Time Programs.

Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Kim Solin

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Normal forms in total correctness for while programs and action systems.

Kim Solin

J. Log. Algebraic Methods Program., 2011

2010

Refinement algebra for probabilistic programs.

Larissa Meinicke, Kim Solin

Formal Aspects Comput., 2010

2009

Enabledness and termination in refinement algebra.

Kim Solin, Joakim von Wright

Sci. Comput. Program., 2009

A While Program Normal Form Theorem in Total Correctness.

Kim Solin

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Reactive Probabilistic Programs and Refinement Algebra.

Larissa Meinicke, Kim Solin

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

A Sketch of a Dynamic Epistemic Semiring.

Kim Solin

Proceedings of the Logic, 2007

2006

Refinement Algebra with Operators for Enabledness and Termination.

Kim Solin, Joakim von Wright

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

On Two Dually Nondeterministic Refinement Algebras.

Kim Solin

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

Omega Algebra, Demonic Refinement Algebra and Commands.

Peter Höfner, Bernhard Möller, Kim Solin

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006