Illustration of a SARS-CoV-2 virion

Open Access research that responds to the COVID-19 pandemic...

Strathprints makes available scholarly Open Access content seeking to respond to the medical, scientific, economic and social emergencies arising from the COVID-19 pandemic. Researchers from across the Faculties of Science, Engineering, Business and the Humanities, Arts & Social Sciences (HaSS) are all contributing to improved human understanding of -- or solutions to -- the issues surrounding management of the pandemic and the post-pandemic recovery.

Explore COVID-19 related Open Access research. Or explore all of Strathclyde's Open Access research...

Browse by Journal or other publication

Group by: Publication Date | Item type | No Grouping
Jump to: Article
Number of items: 9.

Article

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2018) Complete axiomatization for the total variation distance of Markov chains. Electronic Notes in Theoretical Computer Science, 336. pp. 27-39. ISSN 1571-0661

Ghani, Neil and Johann, Patricia and Forsberg, Fredrik Nordvall and Orsanigo, Federico and Revell, Tim (2015) Bifibrational functorial semantics of parametric polymorphism. Electronic Notes in Theoretical Computer Science, 319. pp. 165-181. ISSN 1571-0661

Larsen, Kim G. and Mardare, Radu and Xue, Bingtian (2015) Alternation-free weighted mu-calculus : decidability and completeness. Electronic Notes in Theoretical Computer Science, 319. pp. 289-313. ISSN 1571-0661

Kozen, Dexter and Mardare, Radu and Panangaden, Prakash (2014) A metrized duality theorem for Markov processes. Electronic Notes in Theoretical Computer Science, 308. pp. 211-227. ISSN 1571-0661

Jaziri, Samy and Larsen, Kim G. and Mardare, Radu and Xue, Bingtian (2014) Adequacy and complete axiomatization for Timed Modal Logic. Electronic Notes in Theoretical Computer Science, 308. pp. 183-210. ISSN 1571-0661

Atkey, Robert (2011) What is a categorical model of arrows? Electronic Notes in Theoretical Computer Science, 229 (5). pp. 19-37. ISSN 1571-0661

Jaskelioff, M. and Ghani, N. and Hutton, G. (2011) Modularity and implementation of mathematical operational semantics. Electronic Notes in Theoretical Computer Science, 229 (5). pp. 75-95. ISSN 1571-0661

Kashefi, E. and Oi, D. K L and Browne, D. and Anders, J. and Andersson, E. (2009) Twisted graph states for ancilla-driven universal quantum computation. Electronic Notes in Theoretical Computer Science, 249. pp. 307-331. ISSN 1571-0661

Benkirane, S. and Hilston, J. and McCaig, Chris and Norman, R. and Shankland, C. (2009) Improved continuous approximation of PEPA models through epidemiological examples. Electronic Notes in Theoretical Computer Science, 229 (1). 59–74. ISSN 1571-0661

This list was generated on Thu May 13 17:14:55 2021 BST.