Picture of dam.

Open Access research that pioneers intelligent infrastructure

Strathprints makes available scholarly Open Access content by researchers in the Department of Civil & Environmental Engineering, based within the Faculty of Engineering.

Civil & Environmental Engineering hosts the Centre for Intelligent Infrastructure which harnesses techniques from a variety of sciences and engineering in order to solve problems surrounding safety and resilience of structures supporting energy generation, waste storage, transportation and urban infrastructure. The wider Department also demonstrates specialisms in ground engineering and energy geosciences, as well as environmental sustainability.

Explore the Open Access research of Civil & Environmental Engineering. 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: 2019 | 2018
Number of items: 3.

2019

Maillard, Kenji and Ahman, Danel and Atkey, Robert and Martínez, Guido and Hritcu, Catalin and Rivas, Exequiel and Tanter, Éric (2019) Dijkstra monads for all. Proceedings of the ACM on Programming Languages (PACMPL), 3 (ICFP). 104. ISSN 2475-1421

Clairambault, Pierre and De Visme, Marc and Winskel, Glynn (2019) Game semantics for quantum programming. Proceedings of the ACM on Programming Languages (PACMPL), 3 (POPL). 32. ISSN 2475-1421

2018

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2018) A type and scope safe universe of syntaxes with binding : their semantics and proofs. Proceedings of the ACM on Programming Languages (PACMPL), 2 (ICFP). 90. ISSN 2475-1421

This list was generated on Thu Jan 21 11:54:20 2021 GMT.