Jean-Pierre Jouannaud es un informático francés, conocido por su trabajo en el área de la reescritura de términos .
Jean-Pierre Jouannaud | |
---|---|
Nació | |
Premios | Medalla de plata CNRS 1986, Prix Michel Montpetit 2000 |
Carrera científica | |
Tesis |
|
Sitio web | www |
Nació el 21 de mayo de 1947 en Aix-les-Bains (Francia). De 1967 a 1969 visitó la Ecole Polytechnique (París). En 1970, 1972 y 1977, escribió su tesis de maestría ( DEA ), tesis doctoral (Thèse de 3ème ciclo), [1] y tesis de habilitación ( Thèse d'état ), [2] respectivamente, en la Université de Paris VI. . [3] : 724 En 1979, se convirtió en profesor asociado en la Universidad de Nancy ; En 1985 se traslada a la Université de Paris-Sud , donde se convierte en profesor titular en 1986.
Fue miembro del comité directivo de varias conferencias internacionales de informática: International Conference on Rewriting Techniques and Applications (RTA) 1989-1994, IEEE Symposium on Logic in Computer Science (LICS) 1993-1997, Conference for Computer Science Logic (CSL) 1993-1997, Conferencia Internacional sobre Principios y Práctica de la Programación de Restricciones (CP) desde 1994, y Conferencia de Lógica Federada (FLoC) 1995-1999. Desde 1997 es miembro del consejo EATCS . [4]
Publicaciones Seleccionadas
- Jean Pierre Jouannaud; Pierre Lescanne (septiembre de 1982). "Sobre pedidos de conjuntos múltiples" (PDF) . Inf. Proceso. Lett . 15 (2): 57–63. doi : 10.1016 / 0020-0190 (82) 90107-7 .
- JP Jouannaud; P. Lescanne; F. Reinig (1982). "Orden de descomposición recursiva". Proc. Conf. De trabajo IFIP TC2 sobre Descripción formal de conceptos de programación, Vol.II (PDF) . Holanda Septentrional. págs. 331–348.
- Jouannaud, Jean-Pierre, ed. (1985). Técnicas y aplicaciones de reescritura, 1st Int. Conf., RTA-85 . LNCS. 202 . Saltador.
- A. Boudet; JP Jouannaud; M. Schmidt-Schauß (1989). "Unificación en anillos booleanos y grupos abelianos". Revista de Computación Simbólica . 8 (5): 449–477. doi : 10.1016 / s0747-7171 (89) 80054-9 .
- N. Dershowitz; J.-P. Jouannaud (1990). "Reescribir sistemas". En Jan van Leeuwen (ed.). Modelos formales y semántica . Manual de Informática Teórica. B . Elsevier. págs. 243–320.
- N. Dershowitz; J.-P. Jouannaud (1990). "Notaciones para reescribir". Cite journal requiere
|journal=
( ayuda ) - N. Dershowitz y J.-P. Jouannaud y JW Klop (1991). "Problemas abiertos en la reescritura". En Libro, Ronald V. (ed.). Técnicas y aplicaciones de reescritura, 4ª Int. Conf., RTA-91 . LNCS. 488 . Saltador. págs. 445–456.
- Hubert Comon; M. Haberstrau; J.-P. Jouannaud (1992). "Problemas decidibles en teorías de ecuaciones superficiales (resumen extendido)". Séptimo Simposio Anual IEEE sobre Lógica en Ciencias de la Computación . págs. 255-265.
- N. Dershowitz; J.-P. Jouannaud; JW Klop (1993). "Más problemas en la reescritura". En Kirchner, Claude (ed.). Técnicas y aplicaciones de reescritura, 5th Int. Conf., RTA-93 . LNCS. 690 . Saltador. págs. 468–487.
- Jouannaud, J.-P .; Rubio, A. (1996). "Un pedido de ruta recursiva para términos de orden superior en forma eta-Long beta-Normal". En Harald Ganzinger (ed.). Técnicas y aplicaciones de reescritura, 7º Int. Conf., RTA-96 . LNCS. 1103 . Saltador. págs. 108-122.
- Jouannaud, J.-P. (2005). "Veinte años después". En Giesl, J. (ed.). Reescritura de términos y aplicaciones, 16th Int. Conf., RTA-05 . LNCS. 3467 . Saltador. págs. 368–375. ISBN 978-3-540-25596-3.
- Jouannaud, J.-P. (2006). "Modulo Church-Rosser Modulo". En Frank Pfenning (ed.). Reescritura de términos y aplicaciones, 17th Int. Conf., RTA-06 . LNCS. 4098 . Saltador. págs. 96-107.
- Jouannaud, J.-P .; Rubio, A. (2006). "Pedidos de orden superior para reescritura normal". En Frank Pfenning (ed.). Reescritura de términos y aplicaciones, 17th Int. Conf., RTA-06 . LNCS. 4098 . Saltador. págs. 387–399.
Referencias
- ^ Filtres digitaux autoadaptifs: algoritmos de cálculo y simulación - récord en WorldCat
- ^ Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples - récord en WorldCat
- ^ Jean-Louis Lassez; Gordon Plotkin , eds. (1991). Lógica computacional - Ensayos en honor a Alan Robinson . Cambridge / MA: MIT Press. ISBN 978-0-262-12156-9.
- ^ Vita
enlaces externos
- Página de inicio en Laboratoire d'Informatique (LIX), École Polytechnique , Palaiseau
- Jean-Pierre Jouannaud en el servidor de bibliografía DBLP