Akim DEMAILLE

1996

1. (Bellot 96b) P. BELLOT, J-P. COTTIN, A. DEMAILLE, J. LENEUTRE, E. ZARPAS, "Démonstration automatique dans une logique des actions et de la causalité" dans JSJ'96 Premières Journées du Séminaire Junior du LIPN "Intelligence Artificielle et Applications"
2. (Bellot 96d) P. BELLOT, J-P. COTTIN, A. DEMAILLE, J. LENEUTRE, E. ZARPAS, "Automated deduction for protocols design" in proceedings of Third Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice.
3. (Bellot 96e) P. BELLOT, J-P. COTTIN, A. DEMAILLE, J. LENEUTRE, E. ZARPAS, "Using a logic of actions to design protocols" in proceedings of the 5th open workshop on High speed Network, Télécom-Paris- Universität Stuttgart, March 1996.
4. (Bellot 96g) P. BELLOT, J-P. COTTIN, A. DEMAILLE, J. LENEUTRE, E. ZARPAS, "A Logic of Actions for Imperative Program Synthesis" in proceedings of Logic Colloquium'96, LC'96, J.M. Larrazabal ed., San Sebastian (Espagne), juillet 1996.
5. (Bellot 96h) P. BELLOT, J-P. COTTIN, A. DEMAILLE, J. LENEUTRE, E. ZARPAS, "Création d'un environnement de génération de programmes utilisant une logique des actions" in Journées ADER, GDR Programmation, Paris (France), mai 1996.
6. (Bellot 96f) P. BELLOT, J-P. COTTIN, A. DEMAILLE, J. LENEUTRE, E. ZARPAS, "Towards Bug Free Software Engineering for Telecommunication", in proceeding of The Eighth International Conference (Joint Europe-USA Conference) on ARTIFICIAL INTELLIGENCE APPLICATIONS (EXPERSYS'96) , PARIS-MARNE LA VALLEE, France (21 - 22 October 1996)
7. (Cottin 96b) J-P. COTTIN, A. DEMAILLE, J. LENEUTRE, E. ZARPAS, "Création d'un environnement de programmation utilisant une logique des actions", dans JDIR'96, Paris, Septembre 1996.
8. (Bellot 96a) P. BELLOT, J-P. COTTIN, A. DEMAILLE, J. LENEUTRE, E. ZARPAS, "Logique et Synthèse de Programmes Impératifs" dans Journées du GDR Programmation, C. Paulin-Mohring ed., Orléans (France), novembre 1996.

   ---

   1995

9. (Demaille 95a) J.R. GONZALEZ DE MENDIVIL, A. DEMAILLE, F. FARINA J.R. GARITAGOITA, "A Simple Distributed Deadlock Solver" in proceedings of EUROMICRO'95, Come, Italy, September 95.
10. (Bellot 95h) P. BELLOT, J-P. COTTIN, A. DEMAILLE, J. LENEUTRE, E. ZARPAS, "Calcul et programmation dans une logique des actions et de la causalité", dans Séminaire ENS/ENST Modèles, Langages et Télécommunications, B. Robinet ed., Paris, septembre 1995.

    ---

    1994

11. (Demaille 94a) J.R. GONZALEZ DE MENDIVIL, A. DEMAILLE, J.B. AUBIAN, J.R. GARITAGOITA, "Corectness of a Distributed Deadlock Resolution Algorithm for the Single Request Model" in proceedings of Parallel and Distributed Processing, IEEE workshop, SanRemo, Italy, Janvier 1995.

Page maintenue par Jean-Philippe COTTIN (cottin@inf.enst.fr) et Patrick BELLOT (bellot@inf.enst.fr)