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 Author or creator

Group by: Publication Date | Item type | No Grouping
Jump to: 2019 | 2016 | 2015
Number of items: 4.

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

2016

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico; Lindley, Sam and McBride, Conor and Trinder, Phil and Sannella, Don, eds. (2016) Proof-relevant parametricity. In: A List of Successes That Can Change the World. Lecture Notes in Computer Science . Springer-Verlag, Switzerland, pp. 109-131. ISBN 9783319309354

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

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico; de Paiva, Valeria and de Queiroz, Ruy and Moss, Lawrence S. and Leivant, Daniel and de Oliveira, Anjolina G., eds. (2015) Parametric polymorphism - universally. In: Logic, Language, Information, and Computation. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, USA, pp. 81-92. ISBN 978-3-662-47708-3

This list was generated on Sat Dec 4 09:34:27 2021 GMT.