Picture of neon sign reading 'open'

Being more open: International Open Access Week at Strathprints (19-25 Oct 2020)...

Strathprints makes available scholarly Open Access content by researchers from the University of Strathclyde, spanning numerous disciplines across science, engineering, business, social sciences and humanties. 19-25 October 2020 is International Open Access Week, an annual global event to promote the need for, and benefits of, greater Open Access in scholarship. This not only encompasses greater openness of research publications like journal articles and conference papers, but also important outputs of the research process, such as data (e.g. Open Data).

At Strathclyde we are committed to progressing towards full Open Access by 2025. That is why close to 90% of all research is now made available Open Access, principally through Strathprints. Explore all of Strathclyde's Open Access research...

Browse by Journal or other publication

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2018 | 2015 | 2014 | 2011 | 2009
Number of items: 9.

2018

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

2015

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

2014

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

2011

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

2009

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 Tue Oct 27 23:15:33 2020 GMT.