Research output per year
Research output per year
Fingerprint
Dive into the research topics where Jeremy Ledent is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
van Ditmarsch, H., Goubault, É., Lazić, M., Ledent, J. & Rajsbaum, S., 30 Jun 2021, In: Journal of Logical and Algebraic Methods in Programming. 121, 26 p., 100662.Research output: Contribution to journal › Article › peer-review
-
A simplicial complex model for dynamic epistemic logic to study distributed task computability
Goubault, É., Ledent, J. & Rajsbaum, S., 11 Jun 2020, In: Information and Computation. 104597.Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus)