Show Menu
Hide Menu
Исследовательская лаборатория по информатике
От директора
Структура управления
Структура LIP6
Дирекция
Административная служба
IT service
Совет по науке
Совет лаборатории
Совет по науке
Как нас найти
Поиск
Axes & Teams
Публикации
Аспиранты
Новости
Внештатные сотрудники
Бывшие внештатные сотрудники LIP6
Архивы
Formation
Годовой отчет
Оценка
Our skills
How to works with us
Software
Патенты
Start-ups
Работа
Справочник
коллоквиум
🔒
📫
🇷🇺
🇫🇷
🇬🇧
🇷🇺
LIP6
Centre National de la Recherche Scientifique
Sorbonne Universté
image/svg+xml
Исследовательская лаборатория по информатике
Справочник
LAUTER Christoph
Профессор
Подразделение :
PEQUAN
Окончание контракта : 01.10.2018
https://lip6.fr/Christoph.Lauter
Окончание контракта : 01.10.2018
3 Кандидаты наук 2015 - 2019
2019
JEANGOUDOUX Clothilde
:
Génération automatique de tests pour la certification de codes en aéronautique
.
2017
LOZANOVA VOLKOVA Anastasia
:
Algorithmique de l'implementation fiable de filtres numériques
.
2015
KUPRIIANOVA Olga
:
Vers l'environnement Flottant Moderne
.
Публикации 2003-2023
All