Nima Roohi
发表
Insup Lee,
Oleg Sokolsky,
Nima Roohi,
2018,
HSCC.
Mahesh Viswanathan,
Geir E. Dullerud,
Nima Roohi,
2017,
HSCC.
Mahesh Viswanathan,
Nima Roohi,
Pavithra Prabhakar,
2016,
TACAS.
Gwen Salaün,
Seyed-Hassan Mirian-Hosseinabadi,
Nima Roohi,
2009,
Electron. Notes Theor. Comput. Sci..
G. Dullerud,
Mahesh Viswanathan,
Matthew West,
2019
.
Nima Roohi,
2018
.
Nima Roohi,
Gwen Salaün,
2009
.
G. Dullerud,
Mahesh Viswanathan,
Matthew West,
2020
.
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2019,
CAV.
Yu Wang,
Geir E. Dullerud,
Nima Roohi,
2020,
ACM Trans. Embed. Comput. Syst..
Mahesh Viswanathan,
Nima Roohi,
2015,
International Journal on Software Tools for Technology Transfer (STTT).
Mahesh Viswanathan,
Geir E. Dullerud,
Nima Roohi,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Nima Roohi,
2019
.
Mahesh Viswanathan,
Geir E. Dullerud,
Nima Roohi,
2015,
HSCC.
Sicun Gao,
Nima Roohi,
Ya-Chien Chang,
2020,
NeurIPS.
Mahesh Viswanathan,
Geir E. Dullerud,
Nima Roohi,
2017,
IEEE Transactions on Automatic Control.
Mahesh Viswanathan,
Geir E. Dullerud,
Nima Roohi,
2014,
53rd IEEE Conference on Decision and Control.
Yu Wang,
Geir E. Dullerud,
Nima Roohi,
2020,
CAV.
Insup Lee,
Oleg Sokolsky,
Nima Roohi,
2018,
ArXiv.