Space craft photographed floating in low earth orbit

Open Access research: Conquering challenges in, and from, space...

Strathclyde researchers are highly active in the areas of space systems, astronautics, space science, and space mechatronics. Researchers from Physics within the Centre for Space Science and Applications, the Aerospace Centre of Excellence in MAE, the Space Mechatronic Systems Technology (SMeSTech) Laboratory within DMEM, and researchers in EEE, all explore the engineering and scientific challenges within space, with topics such as spaceflight mechanics, robotics for in-orbit satellite services and refuelling, and satellite-based ocean colour remote sensing, among many others.

Explore some of this space-related Open Access research.

Or explore all Open Access research content...

Browse by Journal or other publication

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 Sun Jan 23 01:06:02 2022 GMT.