Picture of small jelly fish in ocean

Open Access research that better understands changing marine ecologies...

Strathprints makes available scholarly Open Access content by researchers in the Department of Mathematics & Statistics.

Mathematics & Statistics hosts the Marine Population Modelling group which is engaged in research into topics surrounding marine resource modelling and ecology. Recent work has included important developments in the population modelling of marine species.

Explore the Open Access research of Mathematics & Statistics. Or explore all of Strathclyde's Open Access research...

Strathprints

Browse by Author or creator

[up] Up a level
Group by: Publication Date | Item type | No Grouping
Jump to: 2023 | 2022 | 2021
Number of items: 3.

2023

McBride, Conor and Nakov, Georgi and Nordvall Forsberg, Fredrik (2023) Measuring with confidence : leveraging expressive type systems for correct-by-construction software. Acta IMEKO, 12 (1). 15. ISSN 2221-870X

2022

Nakov, Georgi and Nordvall Forsberg, Fredrik; Basold, Henning and Cockx, Jesper and Ghilezan, Silvia, eds. (2022) Quantitative polynomial functors. In: 27th International Conference on Types for Proofs and Programs (TYPES 2021). Leibniz International Proceedings in Informatics, LIPIcs, 239 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 10:1--10:22. ISBN 9783959772549

2021

Nakov, Georgi and Forsberg, Fredrik Nordvall; Gadducci, Fabio and Silva, Alexandra, eds. (2021) Quantitative polynomial functors. In: 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, AUT, 22:1-22:5. ISBN 9783959772129

This list was generated on Sun Dec 22 06:15:17 2024 GMT.