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...

Browse by Author or creator

Group by: Publication Date | Item type | No Grouping
Jump to: 2023 | 2022 | 2021 | 2020
Number of items: 12.

2023

Goubault, Éric and Kniazev, Roman and Ledent, Jérémy and Rajsbaum, Sergio; (2023) Semi-simplicial set models for distributed knowledge. In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, USA. ISBN 9798350335873

2022

Armenta-Segura, Jorge and Ledent, Jeremy and Rajsbaum, Sergio (2022) Two-agent approximate agreement from an epistemic logic perspective. Computación y Sistemas, 26 (2). pp. 769-785. ISSN 2007-9737

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

van Ditmarsch, Hans and Goubault, Éric and Ledent, Jérémy and Rajsbaum, Sergio; (2022) Knowledge and simplicial complexes. In: Philosophy of Computing. Philosophical Studies Series, 143 . Springer, Cham, Switzerland, pp. 1-50. ISBN 9783030752675

Goubault, Éric and Ledent, Jérémy and Rajsbaum, Sergio; Berenbrink, Petra and Monmege, Benjamin, eds. (2022) A simplicial model for KB4n : epistemic logic with agents that may die. In: 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022). Leibniz International Proceedings in Informatics, LIPIcs, 219 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, FRA, 33:1--33:20. ISBN 9783959772228

Capucci, Matteo and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik; (2022) Infinite horizon extensive form games, coalgebraically. In: Mathematics for Computation. World Scientific Publishing Co. Pte Ltd, Singapore. (In Press)

2021

Ledent, Jérémy; (2021) Brief announcement : variants of approximate agreement on graphs and simplicial complexes. In: PODC 2021 - Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. ACM, New York, NY., 427–430. ISBN 9781450385480

Capucci, Matteo and Ghani, Neil and Ledent, Jérémy and Nordvall Forsberg, Fredrik; (2021) Translating extensive form games to open games with agency. In: Applied Category Theory 2021. University of Cambridge, Cambridge.

van Ditmarsch, Hans and Goubault, Éric and Lazić, Marijana and Ledent, Jérémy and Rajsbaum, Sergio (2021) A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. Journal of Logical and Algebraic Methods in Programming, 121. 100662. ISSN 2352-2208

2020

Ledent, Jeremy and Rajsbaum, Sergio and Armenta-Segura, Jorge (2020) Two-agent approximate agreement from an epistemic logic perspective. In: Thirteenth Latin American Workshop on New Methods of Reasoning 2020, 2020-12-10 - 2020-12-11.

Atkey, Robert and Gavranović, Bruno and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik (2020) Compositional Game Theory, compositionally. In: Applied Category Theory 2020, 2020-07-06 - 2020-07-10.

Goubault, Éric and Ledent, Jérémy and Rajsbaum, Sergio (2020) A simplicial complex model for dynamic epistemic logic to study distributed task computability. Information and Computation. 104597. ISSN 0890-5401

This list was generated on Tue Mar 19 06:15:28 2024 GMT.