M. Lesani
发表
M. Lesani,
2012
.
B. Pierce,
S. Zdancewic,
A. Chlipala,
2022,
Proc. ACM Program. Lang..
N. Yazdani,
A. A. Bitaghsir,
M. Lesani,
2004
.
J. Palsberg,
M. Lesani,
2012
.
M. Lesani,
Xiao Li,
F. Houshmand,
2022,
2022 IEEE Symposium on Security and Privacy (SP).
M. Lesani,
F. Houshmand,
Javad Saberlatibari,
2022,
PLDI.
Rupak Majumdar,
Todd D. Millstein,
Mohsen Lesani,
2013,
OOPSLA.
Mohsen Lesani,
Hang Zhang,
Paul L. Yu,
2020,
ESEC/SIGSOFT FSE.
Philip Brisk,
Mohsen Lesani,
Christopher Curtis,
2018,
Proc. ACM Program. Lang..
Mohsen Lesani,
Farzin Houshmand,
Xiao Li,
2020,
CAV.
Mohsen Lesani,
Farzin Houshmand,
M. Lesani,
2019,
Proc. ACM Program. Lang..
P. Brisk,
C. Curtis,
Jason Ott,
2021
.
Mohsen Lesani,
Keval Vora,
Farzin Houshmand,
2021,
Proc. ACM Program. Lang..
Mohsen Lesani,
M. Lesani,
2019,
NFM.
Mohsen Lesani,
M. Lesani,
2014
.
M. Lesani,
S. Bagheri,
M. Lesani,
2006,
2006 World Automation Congress.
Adam Chlipala,
Mohsen Lesani,
Christian J. Bell,
2016,
POPL.
Mark Moir,
Victor Luchangco,
Mohsen Lesani,
2012,
CONCUR.
Mohsen Lesani,
Antonio Lain,
A. Lain,
2013,
AGERE! 2013.
Mohsen Lesani,
Farzin Houshmand,
Narges Shadab,
2020,
2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC).
Mohsen Lesani,
Niloufar Montazeri,
M. Lesani,
2008,
ICSOFT.
Mohsen Lesani,
Xizhe Yin,
Jeremiah Griffin,
2020,
Proc. ACM Program. Lang..
Mohsen Lesani,
Xizhe Yin,
Jeremiah Griffin,
2020,
ArXiv.
Majid Nili Ahmadabadi,
Babak Nadjar Araabi,
Mohsen Lesani,
2004,
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).
M. Lesani,
Xiao Li,
Eric Chan,
2023,
2304.04979.
M. Lesani,
Xiao Li,
2023,
ArXiv.
Mohsen Lesani,
Niloufar Montazeri,
M. Lesani,
2009,
Comput. Intell..
Jens Palsberg,
Mohsen Lesani,
John Bender,
2015,
OOPSLA.
Mohsen Lesani,
Arash Pourdamghani,
Mohammad Taheri,
2019,
DISC.
George Edwards,
Mohsen Lesani,
Mahdi Eslamimehr,
2017,
J. Syst. Softw..
Mohsen Lesani,
Mahdi Eslamimehr,
M. Lesani,
2015,
2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).
M. Lesani,
F. Houshmand,
Javad Saberlatibari,
2022,
PLDI.