|
2023 Book Chapter The Revision of Wittgenstein’s Remarks on the Foundations of MathematicsSolin, Kim (2023). The Revision of Wittgenstein’s Remarks on the Foundations of Mathematics. The Creation of Wittgenstein. (pp. 105-136) London, United Kingdom: Bloomsbury Academic. doi: 10.5040/9781350121126.ch-006 |
|
2021 Journal Article Book Review: Juliet Floyd and Felix Mühlhölzer, Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real NumbersSolin, Kim (2021). Book Review: Juliet Floyd and Felix Mühlhölzer, Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers. Nordic Wittgenstein Review, 157-162. doi: 10.15845/nwr.v0i0.3613 |
|
2015 Conference Publication Encoding and decoding in refinement algebraSolin, Kim (2015). Encoding and decoding in refinement algebra. 15th International Conference on Relational and Algebraic Methods in Computer Science, Braga, Portugal, 28 September-1 October 2015. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-24704-5_13 |
|
2013 Conference Publication Modal semirings with operators for knowledge representationSolin, K. (2013). Modal semirings with operators for knowledge representation. 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, Barcelona, Spain, 15 - 18 February 2013. Montreal, Quebec, Canada: Scitepress. |
|
2012 Conference Publication Towards an algebra for real-time programsDongol, Brijesh, Hayes, Ian J., Meinicke, Larissa and Solin, Kim (2012). Towards an algebra for real-time programs. 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2012), Cambridge, United Kingdom, 17 - 20 September 2012. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-33314-9_4 |
|
2012 Journal Article Dual choice and iteration in an abstract algebra of actionSolin, Kim (2012). Dual choice and iteration in an abstract algebra of action. Studia Logica, 100 (3), 607-630. doi: 10.1007/s11225-012-9416-9 |
|
2011 Journal Article Normal forms in total correctness for while programs and action systemsSolin, Kim (2011). Normal forms in total correctness for while programs and action systems. Journal of Logic and Algebraic Programming, 80 (6), 362-375. doi: 10.1016/j.jlap.2011.04.008 |
|
2010 Journal Article A sketch of a dynamic epistemic semiringSolin, Kim (2010). A sketch of a dynamic epistemic semiring. Information and Computation, 208 (5), 594-604. doi: 10.1016/j.ic.2009.03.011 |
|
2010 Journal Article Refinement algebra for probabilistic programsMeinicke, Larissa and Solin, Kim (2010). Refinement algebra for probabilistic programs. Formal Aspects of Computing, 22 (1), 3-31. doi: 10.1007/s00165-009-0111-1 |
|
2009 Journal Article Enabledness and termination in refinement algebraSolin, Kim and von Wright, Joakim (2009). Enabledness and termination in refinement algebra. Science of Computer Programming, 74 (8), 654-668. doi: 10.1016/j.scico.2007.11.004 |
|
2009 Conference Publication A while program normal form theorem in total correctnessSolin, Kim (2009). A while program normal form theorem in total correctness. RelMiCS 11: 11th International Conference on Relational Methods in Computer Science and AKA6: 6th International Conference on Applications of Kleene Algebra, Doha, Qatar, 1-5 November, 2009. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-04639-1_22 |
|
2008 Conference Publication Reactive probabilistic programs and refinement algebraMeinicke, L. A. and Solin, K. (2008). Reactive probabilistic programs and refinement algebra. 10th International Conference on Relational Methods in Computer Science/5th International Workshop on Applications of Kleene Algebra, Frauenworth Germany, 7 - 11 April 2008. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-78913-0_23 |
