Jérémy Ledent

ORCID

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 23

Top Venues

CoRR

LICS

DISC

J. Log. Algebraic Methods Program.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Éric Goubault, Roman Kniazev, Jérémy Ledent
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. CSL (2024)
Eric Goubault, Roman Kniazev, Jérémy Ledent
A many-sorted epistemic logic for chromatic hypergraphs. CoRR (2023)
Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Simplicial Models for the Epistemic Logic of Faulty Agents. CoRR (2023)
Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Semi-simplicial Set Models for Distributed Knowledge. CoRR (2023)
Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Semi-Simplicial Set Models for Distributed Knowledge. LICS (2023)
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die. STACS (2022)
Martin Hofmann, Jérémy Ledent
A quantitative model for simply typed λ-calculus. Math. Struct. Comput. Sci. 32 (6) (2022)
Jorge Armenta-Segura, Jérémy Ledent, Sergio Rajsbaum
Two-Agent Approximate Agreement from an Epistemic Logic Perspective. Computación y Sistemas 26 (2) (2022)
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
A simplicial complex model for dynamic epistemic logic to study distributed task computability. Inf. Comput. 278 (2021)
Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg
Translating Extensive Form Games to Open Games with Agency. CoRR (2021)
Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
: Epistemic Logic with Agents that May Die. CoRR (2021)
Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. J. Log. Algebraic Methods Program. 121 (2021)
Jérémy Ledent
Brief Announcement: Variants of Approximate Agreement on Graphs and Simplicial Complexes. PODC (2021)
Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
Knowledge and simplicial complexes. CoRR (2020)
Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg
Compositional Game Theory, Compositionally. ACT (2020)
Eric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
A dynamic epistemic logic analysis of the equality negation task. CoRR (2019)
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
A Dynamic Epistemic Logic Analysis of the Equality Negation Task. DaLí (2019)
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
Wait-Free Solvability of Equality Negation Tasks. DISC (2019)
Jérémy Ledent, Samuel Mimram
A Sound Foundation for the Topological Approach to Task Solvability. CONCUR (2019)
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. GandALF (2018)
Éric Goubault, Jérémy Ledent, Samuel Mimram
Brief Announcement: On the Impossibility of Detecting Concurrency. DISC (2018)
Éric Goubault, Jérémy Ledent, Samuel Mimram
Concurrent Specifications Beyond Linearizability. OPODIS (2018)
Martin Hofmann, Jérémy Ledent
A cartesian-closed category for higher-order model checking. LICS (2017)

Jérémy Ledent.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jérémy Ledent