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
