• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (1):

• Kim Solin, Joakim von Wright, Enabledness and Termination in Refinement Algebra. Science of Computer Programming , 2007.

Articles in proceedings (8):

• Larissa Meinicke, Kim Solin, Refinement Algebra for Probabilistic Programs. In: Electronic Notes in Theoretical Computer Science, Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007) , 201, 177-195 , Elsevier, 2008.
• Larissa Meinicke, Kim Solin, Reactive Probabilistic Programs and Refinement Algebra. In: B. Möller R. Berghammer, G. Struth (Eds.), Relations and Kleene Algebra in Computer Science, LNCS 4988, 304-319, Springer-Verlag, 2008.
• Kim Solin, A Sketch of a Dynamic Epistemic Semiring. In: Ruy J. G. B. de Queiroz Daniel Leivant (Ed.), Logic, Language, Information and Computation, 14th International Workshop, LNCS 4576, 337-350, Springer, 2007.
• Peter Höfner, Bernhard Möller, Kim Solin, Omega Algebra, Demonic Refinement Algebra and Commands. In: Relations and Kleene Algebra in Computer Science, Lecture Notes in Computer Science 4136, 222–234, Springer, 2006.
• Kim Solin, On Two Dually Nondeterministic Refinement Algebras. In: Relations and Kleene Algebra in Computer Science, Lecture Notes in Computer Science 4136, 373–387, Springer, 2006.
• Kim Solin, Joakim von Wright, Refinement Algebra with Operators for Enabledness and Termination. In: Mathematics of Program Construction, 8th International Conference, MPC 2006, Lecture Notes in Computer Science 4014, 397–415, Springer, 2006.
• Kim Solin, An Outline of a Dually Nondeterministic Refinement Algebra with Negation. In: John Power Peter Mosses, Monika Seisenberger (Eds.), CALCO Young Researchers Workshop 2005. Selected Papers, Univ. of Wales, Swansea Report Series, 85-98, Univ. of Wales, Swansea, 2005.
• Kim Solin, Joakim von Wright, Demonic Refinement Algebra with Domain. In: Proceedings of the 15th Nordic Workshop on Programming Theory , Reports on Computer Science and Mathematics, Ser. B, 2003.

Ph.D. thesis (1):

• Kim Solin, Abstract Algebra of Program Refinement . TUCS Dissertations 95. Turku Centre for Computer Science, 2007.

Technical reports (5):

• Peter Höfner, Bernhard Möller, Kim Solin, Omega Algebra, Demonic Refinement Algebra and Commands. 2006-11, 2006.
• Larissa Meinicke, Kim Solin, Probabilistic Demonic Refinement Algebra. SSE-2006-04, 2006.
• Kim Solin, On Two Dually Nondeterministic Refinement Algebras . 2006-05, 2006.
• Kim Solin, Dynamic Epistemic Semirings . 2006-17, 2006.
• Kim Solin, Joakim von Wright, Refinement Algebra Extended with Operators for Enabledness and Termination. TUCS Technical Reports 658, Turku Centre for Computer Science, 2005.