Жан-Пьер Жуанно
Жан-Пьер Жуанно | |
|---|---|
 май 2008 г. | |
| Рожденный | 21 мая 1947 г. |
| Награды | Серебряная медаль CNRS 1986 г., премия Мишеля Монпети 2000 г. |
| Научная карьера | |
| Тезисы |
|
| Веб-сайт | www |
Жан-Пьер Жуанно — французский учёный-компьютерщик, известный своими работами в области переписывания терминов .
Родился 21 мая 1947 года в Экс-ле-Бен (Франция).С 1967 по 1969 год посещал Политехническую школу (Париж).В 1970, 1972 и 1977 годах он написал магистерскую диссертацию ( DEA ), докторскую диссертацию (цикл «Тесты 3ème»), [1] и докторская диссертация ( Государственная диссертация ), [2] соответственно, в Парижском университете VI . [3] : 724 В 1979 году он стал доцентом Университета Нанси ; В 1985 году он перешел в Университет Париж-Юг , где в 1986 году стал профессором.
Он был членом руководящего комитета нескольких международных конференций по информатике: Международная конференция по методам и приложениям переписывания (RTA) 1989–1994 гг., Симпозиум IEEE по логике в информатике (LICS) 1993–1997 гг., Конференция по логике компьютерных наук (CSL). 1993–1997, Международная конференция по принципам и практике программирования с ограничениями (CP) с 1994 года и Конференция федеративной логики (FLoC) 1995–1999.С 1997 года является членом совета EATCS . [4]
Избранные публикации [ править ]
- Жан Пьер Жуанно; Пьер Лескан (сентябрь 1982 г.). «О заказах мультимножеств» (PDF) . Инф. Процесс. Летт. 15 (2): 57–63. дои : 10.1016/0020-0190(82)90107-7 .
- Ж. П. Жуанно; П. Лесканн; Ф. Рейниг (1982). «Упорядочение рекурсивного разложения». Учеб. Рабочая конференция ИФИП ТК2. Формальное описание концепций программирования, Том II (PDF) . Северная Голландия. стр. 331–348.
- Жуанно, Жан-Пьер, изд. (1985). Техники и приложения переписывания, 1-й межд. конф., РТА-85 . ЛНКС. Том. 202. Спрингер.
- А. Буде; Ж. П. Жуанно; М. Шмидт-Шаус (1989). «Объединение в булевых кольцах и абелевых группах» . Журнал символических вычислений . 8 (5): 449–477. дои : 10.1016/s0747-7171(89)80054-9 .
- Н. Дершовиц; Ж.-П. Жуанно (1990). «Переписать системы». Ян ван Леувен (ред.). Формальные модели и семантика . Справочник по теоретической информатике. Том. Б. Эльзевир. стр. 243–320.
- Н. Дершовиц; Ж.-П. Жуанно (1990). «Нотации для переписывания».
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - Н. Дершовиц и Ж.-П. Жуанно и Дж. В. Клоп (1991). «Открытые проблемы переписывания». В книге Рональда В. (ред.). Техники и приложения переписывания, 4-й Межд. конф., РТА-91 . ЛНКС. Том. 488. Спрингер. стр. 445–456.
- Юбер Комон; М. Хаберстрау; Ж.-П. Жуанно (1992). «Разрешимые проблемы в неглубоких теориях уравнений (расширенное резюме)». Седьмой ежегодный симпозиум IEEE по логике в информатике . стр. 255–265.
- Н. Дершовиц; Ж.-П. Жуанно; Дж. В. Клоп (1993). «Больше проблем с переписыванием». В Киршнер, Клод (ред.). Техники и приложения переписывания, 5-й Межд. конф., РТА-93 . ЛНКС. Том. 690. Спрингер. стр. 468–487.
- Жуанно, Ж.-П.; Рубио, А. (1996). «Рекурсивный порядок путей для членов высшего порядка в эта-длинной бета-нормальной форме». В Харальде Ганцингере (ред.). Техники и приложения переписывания, 7-й межд. конф., РТА-96 . ЛНКС. Том. 1103. Спрингер. стр. 108–122.
- Жуанно, Ж.-П. (2005). «Двадцать лет спустя». В Гизле, Дж. (ред.). Переписывание терминов и приложения, 16-й межд. конф., РТА-05 . ЛНКС. Том. 3467. Спрингер. стр. 368–375. ISBN 978-3-540-25596-3 .
- Жуанно, Ж.-П. (2006). «Модульная церковь-Россер по модулю». У Фрэнка Пфеннинга (ред.). Переписывание терминов и приложения, 17-й Int. конф., РТА-06 . ЛНКС. Том. 4098. Спрингер. стр. 96–107.
- Жуанно, Ж.-П.; Рубио, А. (2006). «Порядки высшего порядка для нормального переписывания». У Фрэнка Пфеннинга (ред.). Переписывание терминов и приложения, 17-й Int. конф., РТА-06 . ЛНКС. Том. 4098. Спрингер. стр. 387–399.
Ссылки [ править ]
- ^ Самоадаптивные цифровые фильтры: алгоритмы расчета и моделирование - запись на WorldCat
- ^ Об автоматическом выводе и синтезе функций LISP из примеров — запись на WorldCat.
- ^ Жан-Луи Лассез; Гордон Плоткин , ред. (1991). Вычислительная логика — Очерки в честь Алана Робинсона . Кембридж/Массачусетс: MIT Press. ISBN 978-0-262-12156-9 .
- ^ Жизнь
Внешние ссылки [ править ]
- Домашняя страница Лаборатории компьютерных наук (LIX) Политехнической школы , Палезо
- Жан-Пьер Жуанно на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |