Login / Signup
Vincent Rahli
ORCID
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 29
Top Topics
Fair Exchange Protocols
Replicated Databases
Theorem Prover
Dynamic Logic
Top Venues
CoRR
LICS
CPP
CSL
</>
Publications
</>