Picture of laptop keyboard

Open Access research that explores socio-technical phenomena & evolving information systems & behaviours...

Strathprints makes available scholarly Open Access content by researchers within the Department of Computer & Information Sciences working as part of the Strathclyde iSchool Research Group (SiRG). The SiRG specialises in understanding how people search for information and explores interactive search tools that support their information seeking and retrieval tasks. This research work also includes investigations into information behaviour, how users engage with information and the legal and ethical issues arising from information use.

Explore the Open Access research by the SiRG, or theDepartment of Computer & Information Sciences more generally. Or 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 Mon Feb 24 06:23:58 2020 GMT.