DELP: Dynamic Epistemic Logic for Security Protocols. - Ioana Leustean; Bogdan Macovei (SYNASC, 2021)

A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle. - Bogdan Macovei (FROM, 2023)