|
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 |
|
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 |
