Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Schulte, Horst https://www.mathnet.ru/eng/person154205 List of publications on Google Scholar https://orcid.org/0000-0001-5851-3616 Publications in Math-Net.Ru Citations 2021 1. T. Baar, H. Schulte, “Notes on recent achievements in proving stability using KeYmaeraX”, Model. Anal. Inform. Sist., 28:4 (2021),  326–336   2019 2. T. Baar, H. Schulte, “Safety analysis of longitudinal motion controllers during climb flight”, Model. Anal. Inform. Sist., 26:4 (2019),  488–501   1 Organisations Hochschule für Technik und Wirtschaft Berlin