Login / Signup
Mohsen Pourpouneh
ORCID
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 13
Top Topics
Model Checking
Axiomatic Characterization
Association Mining
Formal Verification
Top Venues
CoRR
ISC Int. J. Inf. Secur.
ACNS
Games Econ. Behav.
</>
Publications
</>