Mathematically Structured Programming

Research output

Research output per year 2008 2009 2012 2013 2014 2015 2017 2018 2020 2021 2022 2023

• 83 Conference contribution book
• 56 Article
• 8 Chapter
• 8 Paper
• 19 More
  • 4 Conference Contribution
  • 3 Special issue
  • 2 Anthology
  • 2 Working paper
  • 1 Book
  • 1 Other chapter contribution
  • 1 Chapter (peer-reviewed)
  • 1 Conference article
  • 1 Review article
  • 1 Doctoral Thesis
  • 1 Master's Thesis
  • 1 Working Paper/Preprint

Research output per year

Research output per year

Search results

• 2013

  Stone duality for markov processes

  Kozen, D., Larsen, K. G., Mardare, R. & Panangaden, P., 9 Sep 2013, In: Proceedings - Symposium on Logic in Computer Science. p. 321-330 10 p., 6571564.

  Research output: Contribution to journal › Conference article › peer-review

  • Markov processes 100%
  • Algebra 98%
  • Probabilistic Logic 92%
  • Markov Process 87%
  • Duality 75%
  19 Citations (Scopus)