Browse by Author or creator

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

Capucci, Matteo and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik; Benini, Marco and Beyersdorff, Olaf and Rathjen, Michael and Schuster, Peter, eds. (2023) Infinite horizon extensive form games, coalgebraically. In: Mathematics for Computation. World Scientific Publishing Co. Pte Ltd, Singapore, pp. 195-222. ISBN 978-981-12-4523-7

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

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

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

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.