Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Шульте Хорст

https://www.mathnet.ru/rus/person154205
Список публикаций на Google Scholar
https://orcid.org/0000-0001-5851-3616

Публикации в базе данных Math-Net.Ru Цитирования
2021
1. T. Baar, H. Schulte, “Notes on recent achievements in proving stability using KeYmaeraX”, Модел. и анализ информ. систем, 28:4 (2021),  326–336  mathnet
2019
2. T. Baar, H. Schulte, “Safety analysis of longitudinal motion controllers during climb flight”, Модел. и анализ информ. систем, 26:4 (2019),  488–501  mathnet 1

Организации