Iman Narasamdya
发表
Marco Roveri,
Alessandro Cimatti,
Iman Narasamdya,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
Marco Roveri,
Alessandro Cimatti,
Iman Narasamdya,
2012,
Log. Methods Comput. Sci..
Marco Roveri,
Alessandro Cimatti,
Iman Narasamdya,
2011,
SPIN.
Iman Narasamdya,
Michaël Périn,
2009,
SAC '09.
Marco Roveri,
Alessandro Cimatti,
Iman Narasamdya,
2013,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Andrew D. Gordon,
Karthikeyan Bhargavan,
Iman Narasamdya,
2007,
TGC.
Iman Narasamdya,
Michaël Périn,
2009,
FASE.
Iman Narasamdya,
2007
.
Michael Thielscher,
Yves Martin,
Iman Narasamdya,
2004,
ICAPS.
Marco Roveri,
Alessandro Cimatti,
Andrea Micheli,
2010,
Formal Methods in Computer Aided Design.
Marco Roveri,
Alessandro Cimatti,
Andrei Tchaltsev,
2012,
CAV.
Andrew D. Gordon,
Karthikeyan Bhargavan,
Iman Narasamdya,
2008,
COORDINATION.
Andrei Voronkov,
Iman Narasamdya,
A. Voronkov,
2005,
SAS.
Marco Roveri,
Alberto Griggio,
Alessandro Cimatti,
2011,
CAV.
Andrei Voronkov,
Iman Narasamdya,
A. Voronkov,
2009,
SAS.
Marco Roveri,
Alessandro Cimatti,
Iman Narasamdya,
2011,
TACAS.
Benjamin Livshits,
Wolfram Schulte,
Iman Narasamdya,
2014,
OOPSLA.
Andrei Voronkov,
Iman Narasamdya,
A. Voronkov,
2008
.