Login / Signup
Bogdan Macovei
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Inference Rules
Artificial Immune Algorithm
Security Protocols
Dynamic Epistemic Logic
Top Venues
CoRR
FROM
SYNASC
</>
Publications
</>
Bogdan Macovei
A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle.
FROM
(2023)
Ioana Leustean
,
Bogdan Macovei
DELP: Dynamic Epistemic Logic for Security Protocols.
SYNASC
(2021)
Ioana Leustean
,
Bogdan Macovei
DELP: Dynamic Epistemic Logic for Security Protocols.
CoRR
(2021)