Kim Solin
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Encoding and decoding in refinement algebra Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
| Dual choice and iteration in an abstract algebra of action Studia Logica | 2012-12-12 | Paper |
| Towards an algebra for real-time programs Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
| Normal forms in total correctness for while programs and action systems The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
| A sketch of a dynamic epistemic semiring Information and Computation | 2010-04-22 | Paper |
| Refinement algebra for probabilistic programs Formal Aspects of Computing | 2010-03-08 | Paper |
| A while program normal form theorem in total correctness Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
| Enabledness and termination in refinement algebra Science of Computer Programming | 2009-07-24 | Paper |
| Refinement Algebra with Operators for Enabledness and Termination Lecture Notes in Computer Science | 2009-04-02 | Paper |
| A Sketch of a Dynamic Epistemic Semiring Logic, Language, Information and Computation | 2009-03-10 | Paper |
| Reactive Probabilistic Programs and Refinement Algebra Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
| Omega Algebra, Demonic Refinement Algebra and Commands Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
| On Two Dually Nondeterministic Refinement Algebras Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Research outcomes over time
This page was built for person: Kim Solin
