Picture of social media icons against a pciture of the planet earth

Open Access research that better understands human-computer interaction...

Strathprints makes available scholarly Open Access content by researchers within the Department of Computer & Information Sciences working as part of the Strathclyde iSchool Research Group (SiRG). The SiRG specialises in understanding how people search for information and explores interactive search tools that support their information seeking and retrieval tasks. Research work also includes investigations into information engagement habits of users, particularly in the domains of digital health and social media.

Explore some of this Open Access research from the Departments of Computer & Information Sciences.

Or explore all of Strathclyde's Open Access research...

Browse by Author or creator

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


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


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

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


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 Mon May 23 19:50:11 2022 BST.