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: 2021 | 2019 | 2018 | 2016
Number of items: 6.

2021

Hofmann, Martin and Ledent, Jérémy (2021) A quantitative model for simply typed λ-calculus. Mathematical Structures in Computer Science. ISSN 1469-8072

2019

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico (2019) Universal properties for universal types in bifibrational parametricity. Mathematical Structures in Computer Science, 29 (6). 810–827. ISSN 0960-1295

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò (2019) Quotienting the delay monad by weak bisimilarity. Mathematical Structures in Computer Science, 29 (1). pp. 67-92. ISSN 1469-8072

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2019) Converging from branching to linear metrics on Markov chains. Mathematical Structures in Computer Science, 29 (Specia). pp. 3-37. ISSN 0960-1295

2018

Lovett, Neil B. and Everitt, Matthew and Heath, Robert M. and Kendon, Viv (2018) The quantum walk search algorithm : factors affecting efficiency. Mathematical Structures in Computer Science, 29 (3). pp. 389-429. ISSN 1469-8072

2016

Ghani, Neil and Hancock, Peter (2016) Containers, monads and induction recursion. Mathematical Structures in Computer Science, 26 (Specia). pp. 89-113.

This list was generated on Tue Jan 18 06:56:59 2022 GMT.