Получение только оценок «отлично» в течение не менее 2-х семестров подряд

Критерий 7а. Два и более подряд семестра на отлично [7а]

Два семестра на отлично

Критерий 7а. Два и более подряд семестра на отлично [7а]

Дудина И. А., Малышев Н. Е. Об одном подходе к анализу строк в языке Си для поиска переполнения буфера. Труды ИСП РАН, том 30, вып. 5, 2018 г., стр. 55-74. DOI: 10.15514/ISPRAS-2018-30(5)-3

Критерий 8б. Публикация, Несколько авторов, Всероссийский уровень [8б-всерос]

http://www.ispras.ru/proceedings/isp_30_2018_5/isp_30_2018_5_55/

SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study

Критерий 8б. Публикация, Несколько авторов, Международный уровень [8б-межнар]

https://www.isprasopen.ru/ https://ieeexplore.ieee.org/document/8991163 https://ieeexplore.ieee.org/xpl/conhome/8972488/proceeding Статья была добавлена в библиотеку IEEE Xplore всего несколько дней назад (13 февраля) и процесс индексирования в Scopus еще не завершился. В Scopus можно найти статьи с прошлогодних конференций. https://www.scopus.com/results/results.uri?sort=plf-f&src=s&st1=Ivannikov+ISPRAS+Open+Conference&nlo=&nlr=&nls=&sid=aea754ef2b88bd30df38f47cc4952131&sot=b&sdt=b&sl=38&s=CONF%28Ivannikov+ISPRAS+Open+Conference%29&cl=t&offset=1&origin=resultslist&ss=plf-f&ws=r-f&ps=r-f&cs=r-f&cc=10&txGid=9a7aea73a22d39dcb35707f5100a28cc