장피에르 주안느

Jean-Pierre Jouannaud
장피에르 주안느
Jean Pierre Jouannaud (cropped).jpg
2008년 5월
태어난 (1947-05-21) 1947년 5월 21일(75세)
AX-le-Bains
어워드CNRS 은메달 1986, Prime Michelpetit 2000
과학 경력
테제스
  • Filtres digitaux autoadaptifs: 알고리즘 계산 및 시뮬레이션 (1972)
  • Sur l'inférence et la synthése automatiques de fonctions LISP part partir d'examples (1977)
웹 사이트www.lix.polytechnique.fr/Labo/Jean-Pierre.Jouannaud

Jean-Pierre Jouannaud는 프랑스의 컴퓨터 과학자로 용어 재작성 분야에서 그의 업적으로 알려져 있습니다.

그는 1947년 5월 21일 프랑스 엑스레뱅에서 태어났다.1967년부터 1969년까지 그는 에콜 폴리테크니크(파리)1970년, 1972년, 1977년에는 파리 [3]: 724 6대학에서 석사논문(DEA), 박사논문(Thése de 3öme cycle),[1] 하빌리테이션 논문(Thése dét)[2]을 각각 썼다.1979년, 그는 낸시 대학의 부교수가 되었고, 1985년 파리 수드 대학으로 옮겨 1986년 정교수가 되었다.

그는 여러 국제 컴퓨터 과학 회의의 운영 위원회 멤버였습니다.1989-1994년 국제개서기술 및 응용회의, 1993-1997년 IEEE 심포지엄, 1993-1997년 컴퓨터과학논리회의, 1993-1997년 컴퓨터과학논리회의, 1994년 이후 제약프로그래밍의 원칙과 실천에 관한 국제회의, 1994년 이후 CP1997년부터 그는 EATCS [4]평의회 멤버입니다.

선택한 출판물

  • Jean Pierre Jouannaud; Pierre Lescanne (Sep 1982). "On Multiset Orderings" (PDF). Inf. Process. Lett. 15 (2): 57–63. doi:10.1016/0020-0190(82)90107-7.
  • J.P. Jouannaud; P. Lescanne; F. Reinig (1982). "Recursive Decomposition Ordering". Proc. IFIP TC2 Working Conf. on Formal Description of Programming Concepts, Vol.II (PDF). North-Holland. pp. 331–348.
  • Jouannaud, Jean-Pierre, ed. (1985). Rewriting Techniques and Applications, 1st Int. Conf., RTA-85. LNCS. Vol. 202. Springer.
  • A. Boudet; J.P. Jouannaud; M. Schmidt-Schauß (1989). "Unification in Boolean Rings and Abelian Groups". Journal of Symbolic Computation. 8 (5): 449–477. doi:10.1016/s0747-7171(89)80054-9.
  • N. Dershowitz; J.-P. Jouannaud (1990). "Rewrite Systems". In Jan van Leeuwen (ed.). Formal Models and Semantics. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 243–320.
  • N. Dershowitz; J.-P. Jouannaud (1990). "Notations for Rewriting". {{cite journal}}:Cite 저널 요구 사항 journal=(도움말)
  • N. Dershowitz and J.-P. Jouannaud and J.W. Klop (1991). "Open Problems in Rewriting". In Book, Ronald V. (ed.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91. LNCS. Vol. 488. Springer. pp. 445–456.
  • Hubert Comon; M. Haberstrau; J.-P. Jouannaud (1992). "Decidable Problems in Shallow Equational Theories (Extended Abstract)". Seventh Annual IEEE Symposium on Logic in Computer Science. pp. 255–265.
  • N. Dershowitz; J.-P. Jouannaud; J.W. Klop (1993). "More Problems in Rewriting". In Kirchner, Claude (ed.). Rewriting Techniques and Applications, 5th Int. Conf., RTA-93. LNCS. Vol. 690. Springer. pp. 468–487.
  • Jouannaud, J.-P.; Rubio, A. (1996). "A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form". In Harald Ganzinger (ed.). Rewriting Techniques and Applications, 7th Int. Conf., RTA-96. LNCS. Vol. 1103. Springer. pp. 108–122.
  • Jouannaud, J.-P. (2005). "Twenty Years Later". In Giesl, J. (ed.). Term Rewriting and Applications, 16th Int. Conf., RTA-05. LNCS. Vol. 3467. Springer. pp. 368–375. ISBN 978-3-540-25596-3.
  • Jouannaud, J.-P. (2006). "Modular Church-Rosser Modulo". In Frank Pfenning (ed.). Term Rewriting and Applications, 17th Int. Conf., RTA-06. LNCS. Vol. 4098. Springer. pp. 96–107.
  • Jouannaud, J.-P.; Rubio, A. (2006). "Higher-Order Orderings for Normal Rewriting". In Frank Pfenning (ed.). Term Rewriting and Applications, 17th Int. Conf., RTA-06. LNCS. Vol. 4098. Springer. pp. 387–399.

레퍼런스

  1. ^ Filtres digitaux autoadaptifs : algorithms de calculation et simulation : WorldCat에서 기록
  2. ^ Sur l'inférence et la synthése automatiques de fonctions LISP part partir d'exemples — WorldCat에서 기록
  3. ^ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. ISBN 978-0-262-12156-9.
  4. ^ 비타

외부 링크