ジャン＝ピエール・ジュアノー

ジャン＝ピエール・ジュアノーは、項書き換えの分野での研究で知られるフランスのコンピュータ科学者である。

彼は1947年5月21日にエクス＝レ＝バン（フランス）で生まれた。1967年から1969年までエコール・ポリテクニーク（パリ）に通った。1970年、1972年、1977年にそれぞれパリ第6大学で修士論文（ DEA）、博士論文（Thèse de 3ème cycle）^{[ 1 ]}、教授資格論文（Thèse d'état）^{[ 2 ]}を執筆した。^{[ 3 ]： 724} 1979年にナンシー大学 の准教授となり、1985年にパリ第11大学に移り、1986年に正教授となった。

彼は、1989年から1994年までの書き換え技術と応用に関する国際会議（RTA）、1993年から1997年までのIEEEコンピュータサイエンスにおける論理シンポジウム（LICS）、1993年から1997年までのコンピュータサイエンス論理会議（CSL）、1994年以降の制約プログラミングの原理と実践に関する国際会議（CP）、1995年から1999年までの連合論理会議（FLoC）など、いくつかの国際コンピュータサイエンス会議の運営委員会のメンバーでした。1997年以降、彼はEATCS評議会のメンバーです。^{[ 4 ]}

• ジャン・ピエール・ジュアノー。ピエール・レスカンヌ（1982年9月）。「複数セットの注文について」(PDF)。情報プロセス。レット。 15 (2): 57–63。土井: 10.1016/0020-0190(82)90107-7。
• JP Jouannaud; P. Lescanne; F. Reinig (1982). "再帰的分解順序付け". Proc. IFIP TC2 Working Conf. on Formal Description of Programming Concepts, Vol.II (PDF) . North-Holland. pp. 331–348 . 
• ジュアンノー、ジャンピエール編。 （1985年）。書き換え技術と応用、第 1 回国際会議、RTA-85。 LNCS。 Vol.  202. スプリンガー。
• A. Boudet; JP Jouannaud; M. Schmidt-Schauß (1989). "ブール環とアーベル群における統一性" . Journal of Symbolic Computation . 8 (5): 449– 477. doi : 10.1016/s0747-7171(89)80054-9 .
• N. Dershowitz; J.-P. Jouannaud (1990). "書き換えシステム". Jan van Leeuwen (編).形式モデルと意味論. 理論計算機科学ハンドブック. Vol.  B. Elsevier. pp. 243–320 . 
• N. ダーショウィッツ、J.-P. ジュアナウ (1990)「書き換えのための表記法」EATCS会報43 : 162–174。
• N. Dershowitz、J.-P. Jouannaud、JW Klop (1991)「書き換えにおける未解決問題」。Ronald V. (編) 『書き換え技術と応用、第4回国際会議、RTA-91』LNCS、第 488巻、Springer、pp. 445–456。 
• Hubert Comon、M. Haberstrau、J.-P. Jouannaud (1992)「浅い等式理論における決定可能な問題（拡張要約）」第7回IEEEコンピュータサイエンスにおける論理シンポジウム、pp. 255–265。 
• N. Dershowitz、J.-P. Jouannaud、JW Klop (1993)「書き換えにおけるさらなる問題」。Claude Kirchner (編) 『書き換え技術と応用、第5回国際会議、RTA-93』LNCS、第 690巻、Springer、pp. 468–487。 
• Jouannaud, J.-P.; Rubio, A. (1996). "eta-Long beta-Normal Form の高階項に対する再帰的パス順序付け". Harald Ganzinger (編). Rewriting Techniques and Applications, 7th Int. Conf., RTA-96 . LNCS. Vol.  1103. Springer. pp. 108–122 . 
• Jouannaud, J.-P. (2005). 「20年後」. Giesl, J. (編) 『用語書き換えと応用、第16回国際会議、RTA-05』LNCS、第3467巻、Springer  、pp. 368–375。ISBN  978-3-540-25596-3。
• Jouannaud, J.-P. (2006). "Modular Church-Rosser Modulo". Frank Pfenning (編). Term Rewriting and Applications, 17th Int. Conf., RTA-06 . LNCS. Vol.  4098. Springer. pp. 96–107 . 
• Jouannaud, J.-P.; Rubio, A. (2006). "正規書き換えのための高階順序付け". Frank Pfenning (編). Term Rewriting and Applications, 17th Int. Conf., RTA-06 . LNCS. Vol.  4098. Springer. pp. 387–399 . 

• パレゾーのエコール・ポリテクニックにある Laboratoire d'Informatique (LIX) のホームページ
• Jean-Pierre Jouannaud、DBLP参考文献サーバー