Back to INDEX

  Publications of year 1998  

Articles in journal or book chapters
  1. D. Arquès, J.P. Fallot, and C. Michel. An evolutionary analytical model of a complementary circular code simulating the protein coding genes, the 5' et 3' regions. Bulletin of Mathematical Biology, 60:163--194, 1998. [bibtex]


  2. Thierry Chanier. Hypertexte, hypermédia et apprentissage dans des systèmes d'information et de communication. Etude de linguistique appliquée (ELA), 110:137--146, 1998. [bibtex]


  3. Thierry Chanier and Thierry Selva. The ALEXIA system: The Use of Visual Representations to Enhance Vocabulary Learning. Computer-Assisted Language Learning (CALL), 11(5):489--522, 1998. [bibtex]


  4. T. Delaitre, M.J. Zemerly, G.R. Justo, Julien Bourgeois, and S.C. Winter. EDPEPPS : An Environment for Optimal Parallel Software Design. Journal of Computers and Artificial Intelligence, 17(5):405--416, 1998. [bibtex]


  5. Olga Kouchnarenko and S. Pinchinat. Intensional Approaches for Symbolic Methods. Electronic Notes of Theoretical Computer Science, 18, 1998. [bibtex]


  6. Christophe Lang. Algorithmes de répartition de charge à l'initiative des processus : expérimentations. CPRSR (Calculateurs parallèles, réseaux et systèmes répartis), 10(6):685--697, 1998. [bibtex]


  7. K. Rhofir, François Spies, and J.C. Miellou. Perfectionnements de la méthode asynchrone de Durand-Kerner pour les polynômes complexes. Calculateurs Parallèles, 10(4):449--458, 1998. [bibtex]


Conference articles
  1. L. Amanton and M. Naimi. Algorithme d'ordonnancement causal par phases avec initiateurs multiples. In NOTERE'98, Colloque International sur les NOuvelles TEchnologies de la REpartition, Canada, October 1998. [bibtex]


  2. Jean-Luc Anthoine and Pascal Chatonnay. CORBA : un environnement d'exécution pour NOW ?. In RENPAR'10, Strasbourg, France, pages 49--52, June 1998. [bibtex]


  3. Jean-Luc Anthoine, Pascal Chatonnay, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. Parallel numerical computing using CORBA. In H.R. Arabnia, editor, Parallel and Distributed Processing Techniques and Applications PDPTA'98, volume 3, Las Vegas, United States, pages 1221--1228, July 1998. CSREA Press. [bibtex]


  4. B. Barbier. Stream Transformations. In Working groupe Pacsoft, Oregon Graduate Institute, Portland, United States, October 1998. [bibtex]


  5. Françoise Bellegarde. Verifying Progress Properties of reactive Systems with Refinements Patterns : a Hybrid method. In Working group PACSOFT, Oregon Graduate Institute, Portland, United States, August 1998. [bibtex]


  6. L. Berkaoui and Bruno Legeard. Représentation de séquences définies sur des ensembles non instanciés par arbre PQR partiel. In Actes de JFPLC'98, Nantes, France, pages 251--266, May 1998. Hermes. [bibtex]


  7. F. Boumghar and Jean-Marc Nicod. Coherency data management in parallel visualization of a sequence of 3D medical images. In H.R. Arabnia, editor, Parallel and Distributed Processing Techniques and Applications PDPTA'98, volume 3, Las Vegas, United States, pages 1337--1344, July 1998. CSREA Press. [bibtex]


  8. F. Boumghar and Jean-Marc Nicod. Gestion de la Cohérence dans la visualisation parallèle d'une séquence d'images médicales 3D. In RENPAR'10, Strasbourg, France, pages 151--154, June 1998. [bibtex]


  9. Huah-Yong Chan and Laurent Philippe. Un gestionnaire de placement interdomaine sur CORBA. In RENPAR'10, Strasbourg, France, pages 107--111, June 1998. [bibtex]


  10. Pascal Chatonnay. Une méthode multicritère pour l'allocation dynamique des ressources aux objets. In 2èmes journées de Recherche sur le Placement Dynamique et la Répartition de Charges (JRPRC2), Lille, France, pages 65--68, May 1998. LIFL. [bibtex]


  11. Sylvain Contassot-Vivier and S. Miguet. Optimization and Parallelization of a Geographical Stereo Vision Code. In The Sixth International Conference in Central Europe on Computer Graphics and Visualization'98, Compus Bory, Pilzen, République Tchèque, pages 65--72, February 1998. Université de Ouest-Bohémie. [bibtex]


  12. Raphaël Couturier. Formal engineering of the bitonic sort using pvs. In 2nd Irish Workshop in Formal Methods, IWFM'98, Cork, Irland, 1998. [bibtex]


  13. Raphaël Couturier. Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve. In Renpar'10, Strasbourg, France, pages 179--182, June 1998. [bibtex]


  14. Raphaël Couturier and D. Méry. An experiment in parallelizing an application using formal methods. In Computer Aided Verification, CAV'98, volume 1427 of LNCS, Vancouver, Canada, pages 345--356, 1998. [bibtex]


  15. Raphaël Couturier and D. Méry. Parallelization of a Monte Carlo simulation of a spins system. In Parallel and Distributed Processing Techniques and Applications - PDPTA'98, Las Vegas, USA, pages 1533--1537, 1998. [bibtex]


  16. Christophe Darlot. Current work on Functional Programming Defunctionalization. In séminaire, Université de Passau, Germany, May 1998. [bibtex]


  17. T. Delaitre, M.J. Zemerly, P. Vekariya, G.R. Justo, Julien Bourgeois, F. Schinkmann, François Spies, S. Randoux, and S.C. Winter. A Toolset for the Design and Performance Evaluation of Parallel Applications. In J. Reeve D. Pritchard, editor, 4th Int. Euro-Par'98 Conf. on Parallel Processing, volume 1470 of LNCS, Southampton, United Kingdom, pages 113--125, September 1998. [bibtex]


  18. F. Desprez, Stéphane Domas, J. Dongarra, A. Petitet, C. Randriamaro, and Y. Robert. More on scheduling block-cyclic array redistribution. In Proc. of the 4th Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers (LCR98), volume 1511 of LNCS, Pittsburgh, USA, pages 275--287, 1998. Springer. [bibtex]


  19. Isabelle Jacques, Bruno Legeard, and L. Py. Résolution d'un problème de découpe à deux dimensions en Programmation Logique avec Contraintes. In actes de JFPLC'98, Nantes, France, pages 95--111, May 1998. Hermes. [bibtex]


  20. Jacques Julliand and Françoise Bellegarde. Extension des spécifications B pour décrire des propriétés dynamiques de systèmes réactifs. In Congrès AFADL'98, Poitiers, Futuroscope, France, pages 125--136, October 1998. [bibtex]


  21. Jacques Julliand, Bruno Legeard, T. Machicoane, Benoit Parreaux, and Bruno Tatibouët. Specification of an Integrated Circuit Card Protocol Applications using the B method and Linear Temporal Logic. In 2nd B Conference, volume 1393 of LNCS, Montpellier, France, pages 273--292, April 1998. [bibtex]


  22. Olga Kouchnarenko. Approches intentionnelles pour les méthodes symboliques. In Workshop on Modeling and Verification, Marseille, France, December 1998. [bibtex]


  23. Christophe Lang and Michel Tréhel. Algorithmes de répartition de charge à l'initiative des processus. In 2èmes journées de Recherche sur le Placement Dynamique et la Répartition de Charges (JRPRC2), Lille, France, pages 5--8, May 1998. LIFL. [bibtex]


  24. Ahmed Mostefaoui and L. Brunie. Data Modelling Based Scheduling in a Parallel Video Server. In High-Performance Computing and Networking (HPCN'98), volume 1401 of LNCS, Amsterdam, Holland, pages 984--986, April 1998. Springer. [bibtex]


  25. Benoit Parreaux. Difference Compression in SPIN. In 4th Workshop on automata theoric verification with the SPIN model checker, SPIN'98, Paris, France, November 1998. [bibtex]


  26. Thierry Selva and Thierry Chanier. Apport de l'informatique pour l'accès lexical dans les dictionnaires pour apprenants : projet Alexia. In Actes du huitième congrès EURALEX'98 (European Association for Lexicography), Liège, Belgique, pages 631--642, 1998. [bibtex]


Internal reports
  1. Isabelle Jacques, Bruno Legeard, and L. Py. Document de conception et maintenance de moteur d'optimisation de découpe. Rapport de fin de contrat, AID, June 1998. Note: 35 pages. [bibtex]


  2. Laurent Philippe, Huah-Yong Chan, Pascal Chatonnay, and F. Bourdon. Le placement inter domaine sur COOL-ORB, le gestionnaire de placement. Rapport de Contrat Contrat CENT961W027, CENT, January 1998. [bibtex]


Other publications
  1. B. Barbier. Des flots vers un anamorphisme. , December 1998. [bibtex]


  2. Françoise Bellegarde. La programmation fonctionnelle. , June 1998. [bibtex]


  3. Françoise Bellegarde. Vérification de propriétés LTL de Systèmes réactifs dans le cadre d'une spécification par raffinements. Note: Présenté aussi dans le groupe LODEC du GDR-ALP, Orléans, (décembre 1998), December 1998. [bibtex]


  4. Julien Bourgeois. PVMChronos : un outil de prédiction de performances dans le projet EDPEPPS. , October 1998. [bibtex]


  5. Huah-Yong Chan. Un gestionnaire de placement interdomaine sur CORBA. , October 1998. [bibtex]


  6. Thierry Chanier. L'apprentissage des langues assisté par ordinateur, un simple domaine d'application du traitement automatique du langage ?. Invited Talk at the Int. Conf. on Natural Language Processing and Industrial Application, NLP+IA'98, Moncton, Canada, August 1998. [bibtex]


  7. Thierry Chanier. Revue électronique Apprentissage des Langues et Systèmes d'Information et de Communication (ALSIC), http://alsic.org/, 1998. Note: Rédacteur en chef, 1(1):1--78, juin 1998 ; 1(2):79--209, décembre 1998 ; 2(1):1--102, juin 1999 ; 2(2):1--105, décembre 1999 ; 3(1):1--185, juin 2000 ; 3(2):186--288, décembre 2000 ; 4(1):1--102, juin 2001. [bibtex]


  8. Thierry Chanier and M. Pothier. Revue Étude de Linguistique Appliquée (ELA). Thème : Apprentissage des langues et environnements informatiques hypermédia. Num. 110, p. 133--255, April 1998. Note: Direction de Revue. [bibtex]


  9. Pascal Chatonnay. Gestion de l'allocation de ressources aux objets dans les systèmes répartis. , May 1998. [bibtex]


  10. Claude Daval-Frérot. Répartition de ressources par courtage. Médiation logicielle. , April 1998. [bibtex]


  11. Jacques Julliand. Extension de spécifications B par de la logique temporelle linéaire. , December 1998. [bibtex]


  12. Benoit Parreaux. Model checking abstrait. , April 1998. [bibtex]


  13. Benoit Parreaux and L. Py. Résolution de contraintes ensemblistes pour l'outillage de B : animation et model checking. , October 1998. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html