Alexey Solovyev
发表
Thomas C. Hales,
Alexey Solovyev,
T. Hales,
2013,
NASA Formal Methods.
Thomas C. Hales,
Alexey Solovyev,
2011,
Calculemus/MKM.
M. Kristi Henzel,
Alexey Solovyev,
Gary An,
2013,
PLoS Comput. Biol..
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
Zvonimir Rakamaric,
2014,
PPoPP '14.
Alexey Solovyev,
Gary An,
Cordelia Ziraldo,
2010,
SpringSim.
Jeremy Avigad,
Andrea Asperti,
Enrico Tassi,
2013,
ITP.
Ganesh Gopalakrishnan,
Zvonimir Rakamaric,
Alexey Solovyev,
2015,
FM.
Ian Briggs,
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
2017,
AFM@NFM.
Alexey Solovyev,
Qi Mi,
Yoram Vodovotz,
2013,
PLoS Comput. Biol..
Alexey Solovyev,
Gary An,
Cordelia Ziraldo,
2010,
SpringSim.
Ian Briggs,
Ganesh Gopalakrishnan,
Zvonimir Rakamaric,
2015,
FM.
Ganesh Gopalakrishnan,
Alexey Solovyev,
Charles Jacobsen,
2015,
NSV.
Ian Briggs,
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
2017,
POPL.
Alexey Solovyev,
Qi Mi,
Yoram Vodovotz,
2014,
Front. Bioeng. Biotechnol..
Alexey Solovyev,
Ruben Zamora,
Qi Mi,
2011,
PloS one.
Alexey Solovyev,
Gary An,
Qi Mi,
2013
.