Concepedia

Mohsen Lesani

ML

15

Publications

470

Citations

12

H-Index

2006

Active since

Affiliations

Massachusetts Institute of Technology(Current)

University of California, Riverside

University of California, Los Angeles

Sharif University of Technology

Max Planck Institute for Software Systems

Mohsen Lesani is an author at Massachusetts Institute of Technology specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationData SecuritySystem SoftwareProgram AnalysisSoftware AnalysisVerificationData Management

Publications per year

2006–2022

15

Publications

15

Chapar: certified causally consistent distributed key-value stores

Mohsen Lesani, Christian J. Bell, Adam Chlipala · 2016 · 74 citations · Full text

Key-value Stores, Engineering, Verification +22

Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar et al. · 2013 · 70 citations

Secure Multi-party Computation, Data Confidentiality, Engineering +13

FUZZY TRUST AGGREGATION AND PERSONALIZED TRUST INFERENCE IN VIRTUAL SOCIAL NETWORKS

Mohsen Lesani, Niloufar Montazeri · Computational Intelligence · 2009 · 60 citations · Full text

Virtual Market, Engineering, Information Security +22

Hamsaz: replication coordination analysis and synthesis

Farzin Houshmand, Mohsen Lesani · Proceedings of the ACM on Programming Languages · 2019 · 39 citations · Full text

Cluster Computing, Availability, Engineering +20

Communicating memory transactions

Mohsen Lesani, Jens Palsberg · 2011 · 36 citations

Engineering, Information Security, Computer Architecture +21

Rows per page

1–5 of 15