Жан-Пьер Жуано - французский ученый-компьютерщик, известный своими работами в области переписывания терминов .
Жан-Пьер Жуанно | |
---|---|
Родившийся | |
Награды | Серебряная медаль CNRS 1986, Приз Мишеля Монпети 2000 |
Научная карьера | |
Тезисов |
|
Веб-сайт | www |
Он родился 21 мая 1947 года в Экс-ле-Бен (Франция). С 1967 по 1969 год посещал Политехническую школу (Париж). В 1970, 1972 и 1977 годах он написал магистерскую диссертацию ( DEA ), докторскую диссертацию (цикл Thèse de 3ème), [1] и докторскую диссертацию ( Thèse d'état ) [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) . Инф. Процесс. Lett . 15 (2): 57–63. DOI : 10.1016 / 0020-0190 (82) 90107-7 .
- JP Jouannaud; П. Лесканн; Ф. Рейниг (1982). «Рекурсивный порядок декомпозиции». Proc. IFIP TC2 Рабочая конференция. по формальному описанию концепций программирования, Том II (PDF) . Северная Голландия. С. 331–348.
- Жуанно, Жан-Пьер, изд. (1985). Методы перезаписи и приложения, 1st Int. Конф., РТА-85 . LNCS. 202 . Springer.
- А. Буде; JP Jouannaud; М. Шмидт-Шаус (1989). «Объединение в булевых кольцах и абелевых группах». Журнал символических вычислений . 8 (5): 449–477. DOI : 10.1016 / s0747-7171 (89) 80054-9 .
- Н. Дершовиц; Ж.-П. Жуанно (1990). «Системы перезаписи». В Яне ван Леувене (ред.). Формальные модели и семантика . Справочник по теоретической информатике. B . Эльзевир. С. 243–320.
- Н. Дершовиц; Ж.-П. Жуанно (1990). «Обозначения для перезаписи». Цитировать журнал требует
|journal=
( помощь ) - Н. Дершовиц, Ж.-П. Жуанно и Дж. В. Клоп (1991). «Открытые проблемы перезаписи». В книге Рональд В. (ред.). Методы перезаписи и приложения, 4-е Междунар. Конф., РТА-91 . LNCS. 488 . Springer. С. 445–456.
- Юбер Комон; М. Хаберстрау; Ж.-П. Жуанно (1992). «Разрешаемые задачи мелкой теории уравнений (расширенная аннотация)». Седьмой ежегодный симпозиум IEEE по логике в компьютерных науках . С. 255–265.
- Н. Дершовиц; Ж.-П. Жуанно; Дж. В. Клоп (1993). «Еще проблемы с перезаписью». В Киршнер, Клод (ред.). Методы перезаписи и приложения, 5-е Int. Конф., РТА-93 . LNCS. 690 . Springer. С. 468–487.
- Jouannaud, J.-P .; Рубио, А. (1996). «Рекурсивный порядок путей для членов высшего порядка в бета-нормальной форме eta-Long». В Харальде Ганцингере (ред.). Методы перезаписи и приложения, 7-е межд. Конф., РТА-96 . LNCS. 1103 . Springer. С. 108–122.
- Жуанно, Ж.-П. (2005). «Двадцать лет спустя». В Giesl, J. (ред.). Изменение сроков и заявки, 16-е межд. Конф., РТА-05 . LNCS. 3467 . Springer. С. 368–375. ISBN 978-3-540-25596-3.
- Жуанно, Ж.-П. (2006). «Модульная церковь-Россер модуло». У Фрэнка Пфеннинга (ред.). Изменение сроков и заявки, 17-е межд. Конф., РТА-06 . LNCS. 4098 . Springer. С. 96–107.
- Jouannaud, J.-P .; Рубио, А. (2006). «Порядки более высокого порядка для нормальной перезаписи». У Фрэнка Пфеннинга (ред.). Изменение сроков и заявки, 17-е межд. Конф., РТА-06 . LNCS. 4098 . Springer. С. 387–399.
Рекомендации
- ^ Filtres digitaux autoadaptifs: алгоритмы расчета и моделирования - запись на WorldCat
- ^ Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples - запись на WorldCat
- ^ Жан-Луи Лассез; Гордон Плоткин , ред. (1991). Вычислительная логика - Очерки в честь Алана Робинсона . Кембридж / Массачусетс: MIT Press. ISBN 978-0-262-12156-9.
- ^ Вита
Внешние ссылки
- Домашняя страница в Laboratoire d'Informatique (LIX), École Polytechnique , Palaiseau
- Жан-Пьер Жуанно на сервере библиографии DBLP