Back to INDEX

  Articles in journal or book chapters  

2012
  1. Jacques Bahi, Jean-François Couchot, Christophe Guyeux, and Michel Salomon. Neural Networks and Chaos: Construction, Evaluation of Chaotic Networks, and Prediction of Chaos with MultiLayer Feedforward Network. Chaos, An Interdisciplinary Journal of Nonlinear Science, 22(1):***--***, 2012. Note: Published online. Paper version to appear. 9 pages. [bibtex]


  2. Jacques Bahi, Nathalie Côté, Christophe Guyeux, and Michel Salomon. Protein Folding in the 2D Hydrophobic-Hydrophilic (HP) Square Lattice Model is Chaotic. Cognitive Computation, 4(1):98--114, 2012. [bibtex]


  3. Jacques Bahi, Christophe Guyeux, Abdallah Makhoul, and Congduc Pham. Low Cost Monitoring and Intruders Detection using Wireless Video Sensor Networks. International Journal of Distributed Sensor Networks, *(*):***--***, 2012. Note: Accepted manuscript. To appear. [bibtex]


  4. Jacques Bahi, Abdallah Makhoul, and Maguy Medlej. Energy Efficient in-Sensor Data Cleaning for Mining Frequent Itemsets. Sensors and Transducers journal, 14(2):64--78, March 2012. [bibtex]


  5. Jean-Claude Charr, Raphaël Couturier, and David Laiymani. Adaptation and Evaluation of the Multisplitting-Newton and Waveform Relaxation Methods Over Distributed Volatile Environments. International Journal of Parallel Programming, 40(2):164--183, 2012. [bibtex]


  6. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adaptation sémantique des protocoles des composants par les automates d'interface. TSI - Technique et Science Informatiques, 31(*):***--***, 2012. Note: Papier accepté. À paraître. [bibtex]


  7. Raphaël Couturier and Stéphane Domas. Sparse Systems Solving on GPUs with GMRES. The journal of Supercomputing, 59(3):1504--1516, 2012. [bibtex]


  8. Frédéric Dadeau, Kalou Cabrera Castillos, and Régis Tissot. Scenario-Based Testing using Symbolic Animation of B Models. Software Testing, Verification and Reliability, *(*):***--***, 2012. Note: Accepted manuscript. To appear. [bibtex]


  9. Lionel Droz-Bartholet, Jean-Christophe Lapayre, Fabrice Bouquet, Eric Garcia, and Alexander Heinisch. Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems. Int. Journal of Parallel and Distributed Computing, *(*):***--***, 2012. Note: Accepted manuscript. To appear. [bibtex]


  10. Christophe Guyeux and Jacques Bahi. A Topological Study of Chaotic Iterations. Application to Hash Functions. In CIPS, Computational Intelligence for Privacy and Security, volume 394 of Studies in Computational Intelligence, pages 51--73. Springer, 2012. Note: Revised and extended journal version of an IJCNN best paper. [bibtex]


  11. Fabienne Jézéquel, Raphaël Couturier, and Christophe Denis. Solving large sparse linear systems in a grid environment. The journal of Supercomputing, 59(3):1517--1532, 2012. [bibtex]


  12. Nicolas Marilleau, Christophe Lang, Pascal Chatonnay, and Laurent Philippe. RAFALE-SP: a methodology to design and simulate geographical mobility. Studia Informatica Universalis. Numéro spécial Modélisation informatique et mathématique des systèmes complexes : avancées méthodologiques, pp ***--***, 2012. Note: Manuscrit accepté. À paraître. [bibtex]


  13. Christophe Reffay, Gregory Dyke, and Marie-Laure Betbeder. Data sharing in CSCR: towards in-depth long term collaboration. In A. Juan, T. Daradoumis, M. Roca, S. Grasman, and J. Faulin, editors, Collaborative and Distributed E-Research: Innovations in Technologies, Strategies and Applications, chapter 6, pages 111--134. IGI Global, February 2012. Note: ISBN: 978-1-4666-0125-3. [bibtex]


  14. Marc Sauget, Sylvain Contassot-Vivier, and Michel Salomon. Parallelization of neural network building and training: an original decomposition method. In Albert R. Baswell, editor, Advances in Mathematics Research, volume 17, pages ***--***. Nova Publishers, 2012. [bibtex]


  15. Raheel Hassan Syed, Jasmina Pazardzievska, and Julien Bourgeois. Fast Attack Detection using Correlation and Summarizing of Security Alerts in Grid Computing Networks. Journal of Supercomputing, *(*):***--***, 2012. Note: Accepted manuscript. To appear. [bibtex]


2011
  1. Wahabou Abdou, Adrien Henriet, Christelle Bloch, Dominique Dhoutaut, Damien Charlet, and François Spies. Using an Evolutionary Algorithm to Optimize the Broadcasting Methods in Mobile Ad hoc Networks. Journal of Network and Computer Applications, 34(6):1794--1804, 2011. Note: Article in press. To appear. [Abstract] [bibtex]


  2. Jacques Bahi, Jean-François Couchot, and Christophe Guyeux. Steganography: a class of secure and robust algorithms. The Computer Journal, pp ***--***, 2011. Note: Available online. Paper version to appear. [bibtex]


  3. Jacques Bahi, Xiaole Fang, Christophe Guyeux, and Qianxue Wang. Evaluating Quality of Chaotic Pseudo-Random Generators. Application to Information Hiding. IJAS, International Journal On Advances in Security, 4(1-2):118--130, 2011. [Abstract] [bibtex]


  4. Jacques Bahi, Christophe Guyeux, and Abdallah Makhoul. Two Security Layers for Hierarchical Data Aggregation in Sensor Networks. IJAACS, International Journal of Autonomous and Adaptive Communications Systems, *(*):***--***, 2011. Note: Accepted manuscript. To appear. [bibtex]


  5. Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Mapping workflow applications with types on heterogeneous specialized platforms. Parallel Computing, 37(8):410--427, August 2011. [bibtex]


  6. Kalou Cabrera Castillos, Frédéric Dadeau, and Jacques Julliand. Scenario-Based Testing from UML/OCL Behavioral Models -- Application to POSIX Compliance. STTT, International Journal on Software Tools for Technology Transfer, 13(5):431--448, 2011. Note: Special Issue on Verified Software: Tools, Theory and Experiments (VSTTE'09). [bibtex]


  7. Jean-Claude Charr, Raphaël Couturier, and David Laiymani. JACEP2P-V2: a Fully Decentralized and Fault Tolerant Environment for Executing Parallel Iterative Asynchronous Applications on Volatile Distributed Architectures. Future Generation Computer Systems, 27(5):606--613, 2011. [bibtex]


  8. Ming Chau, Raphaël Couturier, Jacques Bahi, and Pierre Spiteri. Parallel solution of obstacle problem in grid environments. IJHPCA, The International Journal of High Performance Computing Applications, 25(4):488--495, 2011. [bibtex]


  9. Samir Chouali and Ahmed Hammad. Formal verification of components assembly based on SysML and interface automata. ISSE, Special issue of the International NASA Journal on Innovations in Systems and Software Engineering, 7(4):265--274, September 2011. Note: Revised and extended version of a paper presented at the UML&FM'11 conference. [bibtex]


  10. Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, and Fabrice Bouquet. Test Generation using Symbolic Animation of Models. In Model-Based Testing for Embedded Systems, Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, pages 195--218. CRC Press, 2011. [bibtex]


  11. Karine Deschinkel, Sid-Ahmed-Ali Touati, and Sébastien Briais. SIRALINA: efficient two-steps heuristic for storage optimisation in single period task scheduling. Journal of Combinatorial Optimization, 22(4):819--844, 2011. [bibtex]


  12. Sékou Diakité, Loris Marchal, Jean-Marc Nicod, and Laurent Philippe. Practical Steady-State Scheduling for Tree-Shaped Task Graphs. PPL, Parallel Processing Letters, 21(4):397--412, 2011. [bibtex]


  13. Sékou Diakité, Jean-Marc Nicod, Laurent Philippe, and Lamiel Toch. Assessing new approaches to schedule a batch of identical intree-shaped workflows on a heterogeneous platform. International Journal of Parallel, Emergent and Distributed Systems, 27(1):79--107, 2011. [bibtex]


  14. Didier El Baz, Vincent Boyer, Julien Bourgeois, Eugen Dedu, and Kahina Boutoustous. Distributed Part Differentiation in a Smart Surface. Mechatronics, *(*):***--***, 2011. Note: Accepted manuscript. To appear. [bibtex]


  15. J. Farah, Julien Henriet, R. Laurent, E. Fontaine, B. Chebel-Morello, Marc Sauget, Michel Salomon, Libor Makovicka, and D. Franck. Development of a New CBR-Based Platform for Human Contamination Emergency Situations. Radiation Protection Dosimetry, 144(1-4):564--570, 2011. [bibtex]


  16. Youssou Faye, Ibrahima Niang, and Thomas Noël. A Survey of Access Control Schemes in Wireless Sensor Networks. WASET, World Academy of Science, Engineering and Technology, 59:814--823, 2011. Note: Selected paper from the ICWCSN 2011, Int. Conf. on Wireless Communication and Sensor Networks. [bibtex]


  17. Pierre-Cyrille Héam. On the Complexity of Computing the Profinite Closure of a Rational Language. Theoretical Computer Science, 412(41):5808--5813, 2011. [bibtex]


  18. Jacques Julliand, Pierre-Alain Masson, Régis Tissot, and Pierre-Christophe Bué. Generating Tests from B Specifications and Dynamic Selection Criteria. FAC, Formal Aspects of Computing, 23(1):3--19, 2011. Note: Revised and extended version of a paper from the ABZ'08 conference. [bibtex]


  19. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Incremental Verification of Component-Based Timed Systems. IJCAT, International Journal of Computer Applications in Technology, special issue on Formal Modeling and Verification of Critical Systems, 42(2-3):***--***, 2011. Note: Accepted manuscript. To appear. [bibtex]


  20. Mohamed Kallel, M.-S. Bouhlel, and Jean-Christophe Lapayre. Security of the Medical Media Using an Hybrid and Multiple Watermark Technique. IJIG, International Journal of Image and Graphics, 11(1):103--115, 2011. [bibtex]


  21. Jonathan Lasalle, Fabien Peureux, and Frédéric Fondement. Development of an automated MBT toolchain from UML/SysML models. ISSE, Special issue of the International NASA Journal on Innovations in Systems and Software Engineering, 7(4):247--256, September 2011. Note: Revised and extended version of a paper presented at the UML&FM'11 conference. [bibtex]


  22. R. Laurent, Julien Henriet, Michel Salomon, Marc Sauget, R. Gschwind, and Libor Makovicka. Respiratory lung motion using an artificial neural network. Neural Computing & Applications, pp 1--6, 2011. [bibtex]


  23. Remy Laurent, Julien Henriet, Michel Salomon, Marc Sauget, France Nguyen, and Libor Makovicka. Utilisation d'un réseau de neurones artificiels pour la simulation des mouvements pulmonaires. Cancer/Radiothérapie, 15(2):123--129, 2011. [bibtex]


  24. Hakim Mabed, Alexandre Caminada, and Jin-Kao Hao. Genetic Tabu search for robust fixed channel assignment under dynamic traffic data. Journal of Computational Optimization and Applications, 50(3):483--506, December 2011. [bibtex]


  25. David Martins and Hervé Guyennet. Security in Wireless Sensor Networks: A Survey of Attacks and Countermeasures. IJSSC, International Journal of Space-Based and Situated Computing, 1(2/3):151--162, 2011. [bibtex]


  26. Alexander Mednykh and Alain Giorgetti. Enumeration of genus four maps by number of edges. Ars Mathematica Contemporanea, 4:351--361, 2011. [bibtex]


  27. Congduc Pham, Abdallah Makhoul, and Rachid Saadi. Risk-based Adaptive Scheduling in Randomly Deployed Video Sensor Networks for Critical Surveillance Applications. Journal of Network and Computer Applications, 34(2):783--795, 2011. [bibtex]


  28. Wassim Ramadan, Eugen Dedu, and Julien Bourgeois. Avoiding quality oscillations during adaptive streaming of video. IJDIWC, International Journal of Digital Information and Wireless Communications, 1(1):126--145, November 2011. [bibtex]


  29. Wassim Ramadan, Eugen Dedu, Dominique Dhoutaut, and Julien Bourgeois. RELD, RTT ECN Loss Differentiation to optimize the performance of transport protocols on wireless networks. Telecommunications Systems, special issue on Mobile Computing and Networking Technologies, *(*):1--21, 2011. [bibtex]


  30. Nicolas Stouls, Jacques Julliand, Pierre-Christophe Bué, and Pierre-Alain Masson. B Model Slicing and Predicate Abstraction to Generate Tests. SQJ, Software Quality Journal, *(*):***--***, 2011. Note: Accepted manuscript. Revised and extended version of a TAP'10 paper. To appear. [bibtex]


  31. Mark Utting, Alexander Pretschner, and Bruno Legeard. A taxonomy of model-based testing approaches. Software Testing, Verification and Reliability, *(*):***--***, 2011. Note: Published online. Paper version to appear. [bibtex]


2010
  1. Jean-Baptiste Aupet, Nabil Elmarzouqi, Eric Garcia, and Jean-Christophe Lapayre. Using Awareness to Adapt Working Group Environment: A Lightweight Virtual Awareness Card. IJICT, International Journal on Information and Communication Technologies, Special Issue on Information Technologies, 3(1):35--40, February 2010. [bibtex]


  2. Jacques Bahi, Raphaël Couturier, and David Laiymani. Asynchronous Multi-Splitting Methods. In Substructuring techniques and domain decomposition, pages 105--135. Chapman & Hall/CRC, 2010. [bibtex]


  3. Jacques Bahi, Raphaël Couturier, and A. Sider. Load balancing algorithms for dynamic networks. In Fundamentals of Grid Computing: Theory, Algorithms and Technologies, pages 235--271. Chapman & Hall/CRC, 2010. [bibtex]


  4. Jacques Bahi and Christophe Guyeux. Hash Functions Using Chaotic Iterations. Journal of Algorithms & Computational Technology, 4(2):167--181, 2010. [bibtex]


  5. Jacques Bahi and Michel Salomon. A Decentralized Energy-based Diffusion Algorithm to Increase the Lifetime of MANETs. Computer Networks Journal, 54(16):2887--2898, 2010. [bibtex]


  6. Philippe Balbiani, Fahima Cheikh, Pierre-Cyrille Héam, and Olga Kouchnarenko. Composition of Services with Constraints. ENTCS, selected papers of FACS'09, 263:31--46, 2010. [bibtex]


  7. Arnaud Banos, Annabelle Boffet-Mas, Sonia Chardonnel, Christophe Lang, Nicolas Marilleau, and Thomas Thévenin. MIRO, des trajectoires individuelles à la ville en mouvement. In Modéliser la ville : formes urbaines et politiques de transport, pages ***--***. Economica, November 2010. [bibtex]


  8. Arnaud Banos, Annabelle Boffet-Mas, Sonia Chardonnel, Christophe Lang, Nicolas Marilleau, and Thomas Thévenin. Simuler la mobilité urbaine quotidienne : le projet MIRO. In Arnaud Banos and Thomas Thévenin, editors, Mobilités urbaines et risques des transports - approches géographiques, chapter 2, pages 51--86. Hermès, 2010. [bibtex]


  9. S. Benbernou, Abdallah Makhoul, and Ahmed Mostefaoui. An adaptation framework for Web Multimedia Presentations. In Emergent Web Intelligence: avanced information retrieval, pages 321--340. Springer, 2010. [bibtex]


  10. Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo, and Yves Robert. Resource allocation for multiple concurrent in-network stream applications. Parallel Computing, 2010. [bibtex]


  11. Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo, and Yves Robert. Ressource allocation strategies for constructive in-network stream processing. IJFCS, International Journal of Foundations of Computer Science, 2010. Note: Accepted manuscript. To appear. [bibtex]


  12. Julien Bourgeois, Jean-Baptiste Ernst-Desmulier, and François Spies. Calcul distribué et réseaux P2P. In Évolution des technologies pair-à-pair, optimisation, sécurité et application, IC2, Réseaux et télécommunications, chapter 10, pages ***--***. Hermes, October 2010. [bibtex]


  13. Julien Bourgeois, Jean-Baptiste Ernst-Desmulier, and François Spies. Le modèle pair-à-pair (P2P). In Évolution des technologies pair-à-pair, optimisation, sécurité et application, IC2, Réseaux et télécommunications, chapter 1, pages ***--***. Hermes, October 2010. [bibtex]


  14. Jean-Claude Charr, Raphaël Couturier, and David Laiymani. A Decentralized and Fault Tolerant Convergence Detection Algorithm for Asynchronous Iterative Algorithms. The journal of Supercomputing, 53(2):269--292, 2010. [bibtex]


  15. Samir Chouali, Julien Dormoy, Ahmed Hammad, Jean-Michel Hufflen, Sebti Mouelhi, Olga Kouchnarenko, Hassan Mountassir, Bruno Tatibouët, and others. Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles. Génie Logiciel, 95:13--18, December 2010. [bibtex]


  16. Eugen Dedu, Julien Bourgeois, and Kahina Boutoustous. Simulation to help calibration of a MEMS Sensor Network. International Journal of Pervasive Computing and Communications, 6(4):356--372, 2010. [Abstract] [bibtex]


  17. O. Dini, Pascal Lorenz, A. Abouaissa, and Hervé Guyennet. A Framework for Progressively Trusting Services. International Journal on Advances in Intelligent Systems, 3(3-4):***--***, 2010. Note: Article in press. To appear. [bibtex]


  18. Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. VETESS : IDM, Test et SysML. Génie Logiciel, (93):43--48, June 2010. Note: Selected paper from the 7-th NEPTUNE Workshop. [bibtex]


  19. Ahmed Hammad. Modèles UML de E-PRAGMA et intégration des bases de données de l'Observatoire Education et Territoires. In L'enseignement scolaire en milieu rural et montagnard - Tome 5, Après le Collège, Groupe d'intérêt scientifique 36, pages 41--56. Presses Universitaires de Franche-Comté, Collection Annales littéraires de l'Université de Franche-Comté, 2010. [bibtex]


  20. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. Component Simulation-based Substitutivity Managing QoS Aspects. ENTCS, Electronic Notes Theoretical Computer Science, special issue on FACS'08 selected best papers, 260:109--123, 2010. [bibtex]


  21. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. Component simulation-based substitutivity managing QoS and composition issues. Science of Computer Programming, 75(10):898--917, 2010. [bibtex]


  22. Pierre-Cyrille Héam, Cyril Nicaud, and Sylvain Schmitz. Parametric Random Generation of Deterministic Tree Automata. Theoretical Computer Science, 411:3469--3480, 2010. [bibtex]


  23. Mohamed Kallel, M.-S. Bouhlel, and Jean-Christophe Lapayre. Use of Multi-Watermarking Schema to Maintain Awareness in a Teleneurology Diagnosis Platform. Radioengineering journal, 19(1):68--73, 2010. [bibtex]


  24. Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, and Bruno Tatibouët. A first attempt to combine SysML requirements diagrams and B. ISSE, Innovations in Systems and Software Engineering, 6(1-2):47--54, 2010. Note: Revised and extended version of a paper from the UML&FM'09 conference. [bibtex]


  25. Bruno Legeard and Mark Utting. Model-Based Testing - Next Generation Functional Testing. SoftwareTech News, 12(4):9--18, January 2010. [bibtex]


  26. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. An Efficient Cluster-based Self-organization Algorithm for Wireless Sensor Networks. IJSN, International Journal of Sensor Networks, 7(1/2):85--94, February 2010. Note: Manuscript accepted in 2008. [bibtex]


  27. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. Cluster-based Energy-efficient k-Coverage for Wireless Sensor Networks. Network Protocols and Algorithms, 2(2):89--106, 2010. [bibtex]


  28. Pierre-Alain Masson, Marie-Laure Potet, Jacques Julliand, Régis Tissot, Georges Debois, Bruno Legeard, Boutheina Chetali, Fabrice Bouquet, Eddie Jaffuel, Lionel Van Aertrick, June Andronick, and Amal Haddad. An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project. JIAS, Journal of Information Assurance and Security, 5(1):335--351, 2010. [bibtex]


  29. Ahmed Mostefaoui and Benoît Piranda. 3D Real-Time Reconstruction Approach for Multimedia Sensor Networks. IJOCI, International Journal on Organisational and Collective Intelligence, 1(4):61--77, 2010. [bibtex]


  30. Manuela Popescu, Pascal Lorenz, Marc Gild, and Jean-Marc Nicod. A Semantic-oriented Framework for System Diagnosis. International Journal on Advances in Telecommunication, 3(3-4):290--310, 2010. [bibtex]


  31. Touati S.A.A, Karine Deschinkel, and B. Dupont-De-Dinechin. Efficient Spilling Reduction for software Pipelined Loops in Presence of Multiple Register Types. ACM Transactions on Embedded Computing Systems, *(*):***--***, 2010. Note: Accepted manuscript. To appear. [bibtex]


2009
  1. Anne-Marie Aebischer, Bruno Aebischer, Jean-Michel Hufflen, and François Pétiard. Introducing New French-Speaking Users to LaTeX Quickly and Convincingly. maps, 39:99--104, August 2009. Note: In EuroTeX 2009 conference. [bibtex]


  2. Jean-Baptiste Aupet, Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and David Martins. Security in Medical Telediagnosis. In Multimedia Services in Intelligent Environments - Integrated Systems, chapter 9. Springer, 2009. [bibtex]


  3. Jacques Bahi, Jean-Claude Charr, Raphaël Couturier, and David Laiymani. A Parallel Algorithm to Solve Large Stiff ODE Systems on Grid Systems. IJHPCA, The International Journal of High Performance Computing Applications, 23(2):140--151, 2009. [bibtex]


  4. Jacques Bahi and Sylvain Contassot-Vivier. Corrections to: basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks. IEEE Transactions on Neural Networks, 20(8):1372--1374, 2009. [bibtex]


  5. Jacques Bahi, Raphaël Couturier, and Flavien Vernier. Synchronous load balancing on asynchronous iterative computation. Journal of Algorithms and Computational Technology, 3(1):135--153, 2009. [bibtex]


  6. Jacques Bahi, Mirna Eskandar, and Ahmed Mostefaoui. Maximizing Mobile Multimedia Adhoc Networks Lifetime Using a Distributed Cooperation mechanism. JDIM, Journal of Digital Information Management, 7(6):351--356, December 2009. [bibtex]


  7. Jacques Bahi and C.J. Michel. A stochastic model of gene evolution with time dependent pseudochaotic mutations. Bulletin of Mathematical Biology, 71:681--700, 2009. [bibtex]


  8. Anne Benoit, Mourad Hakem, and Yves Robert. Contention awareness and fault-tolerant scheduling for precedence constrained tasks in heterogeneous systems. Parallel Computing, 35(2):83--108, 2009. [bibtex]


  9. Anne Benoit, Mourad Hakem, and Yves Robert. Multi-criteria scheduling of precedence task graphs on heterogeneous platforms. The Computer Journal, pp ***--***, 2009. Note: Accepted manuscript. To appear. [bibtex]


  10. Anne Benoit, Harald Kosch, Veronika Rehn-Sonigo, and Yves Robert. Multi-criteria Scheduling of Pipeline Workflows (and Application to the JPEG Encoder). IJHPCA, International Journal of High Performance Computing Applications, 2009. [bibtex]


  11. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Non Left-Linear Rules When Completing Tree Automata. IJFCS, Intern. Journal of Foundations of Computer Science, 20(5):837--849, 2009. [bibtex]


  12. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. ENTCS, Electronic Notes in Theoretical Computer Science, 239:57--72, 2009. Note: Infinity 2006, 2007, 2008 Best papers. [bibtex]


  13. Raphaël Couturier and Sado Ag Almouloud. Historique et fonctionnalités de CHIC. In Analyse Statistique Implicative, Une méthode d'analyse de données pour la recherche de causalités, pages 279--293. Cépaduès Ed., 2009. [bibtex]


  14. Frédéric Dadeau, Amal Haddad, and T. Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. TSI - Technique et Science Informatiques, 28(4):533--563, April 2009. [bibtex]


  15. Sylvain Dahan, Laurent Philippe, and Jean-Marc Nicod. The Distributed Spanning Tree Structure. IEEE Trans. Parallel Distributed Systems, 20(12):1738--1751, December 2009. [bibtex]


  16. Christophe Denis, Raphaël Couturier, and Fabienne Jézéquel. A sparse linear system solver used in a distributed and heterogeneous grid computing environment. In Parallel Scientific Computing and Optimization, volume 27 of Springer Optimization and Its Applications, pages 47--56. Springer, 2009. [bibtex]


  17. Julien Dormoy, Olga Kouchnarenko, and Hassan Mountassir. Politiques d'adaptation pour la reconfiguration du composant de localisation. JESA, Journal européen des systèmes automatisés, 43(7-8-9):773--789, November 2009. Note: Edition spéciale MSR'09 - Modélisation des systèmes réactifs. [bibtex]


  18. I. Fourati Kallel, M.-S. Bouhlel, Jean-Christophe Lapayre, and Eric Garcia. Control of dermatology image integrity using reversible watermarking. International Journal of Imaging Systems and Technology, 19(1):5--9, 2009. [bibtex]


  19. Jean-Laurent Hippolyte, Christelle Bloch, Pascal Chatonnay, Christophe Espanet, Didier Chamagne, and Geneviève Wimmer. A Multiagent Evolutionary Algorithm to Design Complex Electrical Systems. International Journal of Computational Intelligence Research, *(*):***--***, 2009. Note: Accepted manuscript. To appear. [bibtex]


  20. Jean-Michel Hufflen. Managing Languages within mlBibTeX. TUGB, 30(1):49--57, July 2009. [bibtex]


  21. Jean-Michel Hufflen. Processing Computed Texts. ArsTeXnica, 8:102--109, October 2009. Note: In GUIT 2009 meeting. [bibtex]


  22. Jean-Michel Hufflen. Using TeX's Language within a Course about Functional Programming. maps, 39:92--98, August 2009. Note: In EuroTeX 2009 conference. [bibtex]


  23. Jacques Julliand, Pierre-Alain Masson, and Emilie Oudot. Partitioned PLTL Model-Checking for Refined Transition Systems. Information and Computation, 207(6):681--698, June 2009. [bibtex]


  24. Frédéric Lassabe, Philippe Canalda, Pascal Chatonnay, and François Spies. Indoor Wi-Fi Positioning: Techniques and Systems. Annals of telecommunications, 64(9/10):651--664, September 2009. [bibtex]


  25. Bruno Legeard and Fabrice Bouquet. Le Model-Based Testing aligne exigences métier et référentiel de tests. IT-Expert, La référence technique on-line des professionnels de l'informatique, 82:26--33, November 2009. [bibtex]


  26. L. Mackovicka, Aurélien Vasseur, Marc Sauget, Éric Martin, Régine Gschwind, Julien Henriet, and Michel Salomon. Avenir des nouveaux concepts des calculs dosimétriques basés sur les méthodes de Monte Carlo. Radioprotection, 44(1):77--88, 2009. [bibtex]


  27. F. Manne, M. Mjelde, Laurence Pilard, and S. Tixeuil. A New Self-Stabilizing Maximal Matching Algorithm. Theoretical Computer Science, 410(14):1336--1345, March 2009. [bibtex]


  28. Vincent Pretre, Adrien de Kermadec, Fabrice Bouquet, Christophe Lang, and Frédéric Dadeau. Automated UML models merging for web services testing. Int. Journal on Web and Grid Services, 5(2):107--129, 2009. [bibtex]


  29. A. Sider and Raphaël Couturier. Fast load balancing with the most to least loaded policy in dynamic networks. Journal of Supercomputing, 49(3):291--317, 2009. [bibtex]


  30. Soumaya Zirari, Philippe Canalda, and François Spies. Geometric and Signal Strength Dilution of Precision (DoP) Wi-Fi. Int. Journal of Computer Science Issues, 3:35--44, August 2009. [bibtex]


2008
  1. Husam Alustwani, Jacques Bahi, and Ahmed Mostefaoui. Improving Interaction Responsiveness of Multimedia Presentations. Innovative Computing and Applications, 1(3):161--170, 2008. [bibtex]


  2. Husam Alustwani, Jacques Bahi, and Ahmed Mostefaoui. Suffix Caching: an approach to ensure data availability in P2P streaming systems. IJIPT, International Journal on Internet Protocol Technology, 3(4):245--256, 2008. [bibtex]


  3. Jacques Bahi, Sylvain Contassot-Vivier, and Marc Sauget. An incremental learning algorithm for functional approximation. Advances in Engineering Software, 40(8):725--730, 2008. [bibtex]


  4. Jacques Bahi, Raphaël Couturier, and Philippe Vuillemin. JaceP2P, une infrastructure pair-à-pair basée sur le calcul itératif asynchrone. TSI, Technique et Science Informatiques, 27(3-4):457--485, 2008. [bibtex]


  5. Jacques Bahi, Abdallah Makhoul, and Ahmed Mostefaoui. Hilbert mobile beacon for localization and coverage in sensor networks. International Journal of Systems Science, Special Issue on Wireless Sensor Networks and Networked Control, 39(11):1081--1094, November 2008. [bibtex]


  6. Jacques Bahi and C.J. Michel. A stochastic model of gene evolution with chaotic mutations. Journal of Theoretical Biology, 255:53--63, 2008. [bibtex]


  7. Anne Benoit, Veronika Rehn-Sonigo, and Yves Robert. Replica Placement and Access Policies in Tree Networks. IEEE Transactions on Parallel and Distributed Systems, 19(12):1614 -- 1627, December 2008. [bibtex]


  8. Marie-Laure Betbeder, M. Ciekanski, Françoise Greffier, Christophe Reffay, and Thierry Chanier. Interactions multimodales synchrones issues de formations en ligne : problématiques, méthodologie et analyses. Revue Sciences et Technologies de l'Information et de la Communication pour l'Education et la Formation, 15:221--251, 2008. [Abstract] [bibtex]


  9. Christelle Bloch, Marie-Ange Manier, Pierre Baptiste, and Christophe Varnier. Hoist Scheduling Problem. In Pierre Lopez and François Roubellat, editors, Production Scheduling, CAM - Control Systems, Robotics and Manufacturing Series, chapter 8, pages 193--231. ISTE - WILEY (Ed.), 2008. [bibtex]


  10. Yohan Boichut and Pierre-Cyrille Héam. A Theorerical Limit for Safety Verification Techniques with Regular Fix-point Computations. Information Processing Letters, 108:1--2, 2008. [bibtex]


  11. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Approximation-based Tree Regular Model-Checking. Nordic Journal of Computing, 14:194--219, 2008. [bibtex]


  12. D. Buntinas, C. Coti, T. Hérault, P. Lemarinier, Laurence Pilard, A. Rezmerita, E. Rodriguez, and F. Cappello. Blocking VS. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant MPI. Future Generation Computer System, 24(1):73--84, 2008. [bibtex]


  13. Damien Charlet, V. Issarny, and R. Chibout. Energy-efficient middleware-layer multi-radio networking: An assessment in the area of service discovery. Computer Networks, 52(1):4--24, 2008. Note: ISSN 1389-1286. [Abstract] [bibtex]


  14. Chockri Chemak, M.-S. Bouhlel, and Jean-Christophe Lapayre. Double Watermarking and Turbo-Coding for Robust Image Watermarking. JOTE, Journal Of Testing and Evaluation, 36(4):393--401, 2008. Note: ISSN 0090-3973. [bibtex]


  15. Chockri Chemak, M.-S. Bouhlel, and Jean-Christophe Lapayre. Neurology Diagnostics Security and Terminal Adaptation for PocketNeuro Project. International Journal of Telemedicine and e-Health, 14(7):671--678, 2008. Note: ISSN 1530-5627. [bibtex]


  16. Chockri Chemak, Nabil Elmarzouqi, M.-S. Bouhlel, and Jean-Christophe Lapayre. Robust Watermarking Scheme Against Contrasts and Scaling for PocketNeuro Project. Special Issue of GVIP, International Journal on Graphics, Vision and Image Processing, 8(1):33--40, 2008. Note: ISSN 1687-398X. [bibtex]


  17. R. Chevrier, E. Castex, D. Josselin, Philippe Canalda, and Pascal Chatonnay. Un algorithme Génétique pour le transport à la demande en convergence. RIG (Revue Internationales de Géomatique), 18(2):239--268, 2008. Note: Revue internationale en langue française et anglaise. [bibtex]


  18. Raphaël Couturier. Statistical Implicative Analysis. In CHIC: Cohesive Hierarchical Implicative Classification, volume 127 of Studies in Computational Intelligence, pages 41--52. Springer, 2008. [bibtex]


  19. Raphaël Couturier, Christophe Denis, and Fabienne Jézéquel. GREMLINS: a large sparse linear solver for grid environment. Parallel Computing, 34(6-8):380--391, 2008. [bibtex]


  20. Gérard Cécé, Pierre-Cyrille Héam, and Yann Mainier. Clôtures transitives de semi-commutations et model-checking régulier. TSI, Technique et Science Informatiques, 27(1-2):7--28, 2008. [bibtex]


  21. Gérard Cécé, Pierre-Cyrille Héam, and Yann Mainier. Efficiency of Automata in Semi-Commutation Verification Techniques. RAIRO, Theoretical Informatics and Applications, 42(2):197--215, March 2008. [bibtex]


  22. Karine Deschinkel, F. Galea, and C. Roucairol. Basics for vector implantation schemes in HDR brachytherapy using a new linear programming model. APJOR, Asia-Pacific Journal of Operational Research, pp ***--***, 2008. [bibtex]


  23. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Intelligent Neighborhood Exploration in Local Search Method. International Journal on Artificial Intelligence Tools, 17(1):195--204, 2008. [bibtex]


  24. Nabil Elmarzouqi, Eric Garcia, and Jean-Christophe Lapayre. CSCW from Coordination to Collaboration. In Revised Selected Papers from CSCWD'07, Computer Supported Cooperative Work in Design IV, volume 5236 of LNCS Book, pages 87--98. Springer, 2008. [bibtex]


  25. Jean-Baptiste Ernst-Desmulier, Julien Bourgeois, and François Spies. P2PPerf: a framework for simulating and optimizing peer-to-peer distributed computing applications. Concurrency and Computation: Practice and Experience, 20(6):693--712, 2008. [bibtex]


  26. Jean-Baptiste Ernst-Desmulier, Julien Bourgeois, and François Spies. Simulation et optimisation d'un environnement de calcul distribué sur un réseau pair à pair. TSI, Technique et Science Informatiques, 27(3-4):509--529, 2008. [bibtex]


  27. I. Fourati Kallel, M.-S. Bouhlel, and Jean-Christophe Lapayre. Medical Image semi fragile Watermarking In The Frequential Field. JOTE, Journal Of Testing and Evaluation, 36(6):540--546, 2008. Note: ISSN 0090-3973. [bibtex]


  28. David Fuin, Eric Garcia, Hervé Guyennet, and Jean-Christophe Lapayre. Collaborative Interactions for Medical e-Diagnosis. HPCN, Int. Journal on High-Performance Computing and Networking, 5(3):189--197, 2008. [bibtex]


  29. Abdoul-Karim Ganame, Julien Bourgeois, Renaud Bidou, and François Spies. A Global Security Architecture for Intrusion Detection on Computer Networks. Computers & Security, 27(1-2):30--47, 2008. [bibtex]


  30. Alain Giorgetti, Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko. Verification of class liveness properties with Java modeling language. IET Software, 2(6):500--514, December 2008. [bibtex]


  31. Jean-Michel Hufflen. Extending mlBibTeX to Asian Languages: Some Directions. The Asian Journal of TeX, 2(1):35--42, April 2008. [bibtex]


  32. Jean-Michel Hufflen. Languages for Bibliography Styles. TUGB, 2008(3):401--412, July 2008. Note: TUG 2008 proceedings, Cork, Ireland. [bibtex]


  33. Jean-Michel Hufflen. Passer de LaTeX à xsl-fo. Cgut, 51:77-99, October 2008. [bibtex]


  34. Jean-Michel Hufflen. Specifying Translated Works in Bibliographies. ArsTeXnica, 6:93--97, October 2008. Note: In guit 2008 meeting. [bibtex]


  35. Pierre-Cyrille Héam. A Note on Partially Ordered Tree Automata. Information Processing Letters, 108(4):242--246, 2008. [bibtex]


  36. Frédéric Lassabe, Philippe Canalda, Damien Charlet, Pascal Chatonnay, and François Spies. Mobility Within Rich Multimedia Services. In I.K. Ibrahim, editor, Handbook of Research in Mobile Multimedia - 2nd edition, chapter 56, pages 804--818. Idea Group Inc., September 2008. [bibtex]


  37. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. Cluster-based Self-Organization Scheme for Mobile Wireless Sensor Networks. IRECOS, International Review on Computers and Software, 3(2):185--192, March 2008. [bibtex]


  38. Mohammed Ouzzif, M. Erradi, and Hassan Mountassir. Description of a teleconferencing floor control protocol and its implementation. Engineering Applications of Artificial Intelligence, 21(3):430--441, 2008. [bibtex]


  39. Christophe Reffay, Muriel Noras, Thierry Chanier, and Marie-Laure Betbeder. Contribution à la structuration de corpus d'apprentissage pour un meilleur partage en recherche. Revue Sciences et Technologies de l'Information et de la Communication pour l'Education, 15:185--219, 2008. [Abstract] [bibtex]


  40. Françoise Sailhan, Julien Bourgeois, and V. Issarny. Security Supervision in Hybrid Networks. SCI, Studies in Computation Intelligence, 149:137--149, 2008. Note: Best paper from the Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing conference. [bibtex]


  41. Aurélien Vasseur, Libor Makovicka, Éric Martin, Sylvain Contassot-Vivier, and Jacques Bahi. Dose calculations using artificial neural networks: a feasibility study for photon beams. Nucl. Instr. and Meth. in Phys. Res. B, 266(7):1085--1093, 2008. [bibtex]


2007
  1. Jacques Bahi, Abdallah Makhoul, and Ahmed Mostefaoui. Localization and Coverage for High Density Sensor Networks.. Special Issue of the Computer Communications: Algorithmic and Theoretical Aspects of Wireless Ad Hoc and Sensor Networks, 31(4):770--781, 2007. [bibtex]


  2. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité. Techniques de l'ingénieur, pp 1--8, October 2007. Note: Référence TI : RE95. [bibtex]


  3. Damien Charlet, Frédéric Lassabe, Philippe Canalda, Pascal Chatonnay, and François Spies. Services localisés dans l'informatique diffuse. In Informatique Diffuse, volume 31 of ARAGO, Rapport de synthèse de l'Observatoire Français des Techniques Avancées (OFTA) 5, pages 107--126. OFTA, 2007. [bibtex]


  4. Chockri Chemak, M.-S. Bouhlel, and Jean-Christophe Lapayre. A new scheme of image Watermarking based on 5/3 Wavelet decomposition and Turbo-Code. WSEAS Transaction on Biology and Biomedicine, 4(4):45--52, April 2007. Note: ISSN 1109-9518. [bibtex]


  5. Chockri Chemak, Jean-Christophe Lapayre, and M.-S. Bouhlel. New Watermarking Scheme for Security and Transmission of Medical Images for PocketNeuro Project. Radioengineering. Special Issue: Advanced Digital Signal Processing, 16(4):58--63, 2007. Note: ISSN 1210-2512. [bibtex]


  6. Sylvie Damy and Isabelle Jacques. L'enseignement en ligne - A l'université et dans les formations professionnelles, chapter *, pages ***--***. Perspectives en Education. De Boeck et Larcier s.a., 2007. Note: ISBN 978-2-8041-5329-8. Chapitre d'un ouvrage collectif rédigé sous la direction de J.-C. Manderscheid et C. Jeunesse. [bibtex]


  7. Bruno Del Fabbro, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. DTM: a service for managing data persistency and data replication in network-enabled server environments. Concurrency and Computation: Practice and Experience, 19(16):2125--2140, November 2007.
    Keywords: DIET. [bibtex]


  8. I. Fourati Kallel, M.-S. Bouhlel, and Jean-Christophe Lapayre. Improved Tian's Method for Medical Image Reversible Watermarking. GVIP, International Journal on Graphics and Image Processing, 7(2):1--5, 2007. Note: ISSN 1687-398X. [bibtex]


  9. Eric Garcia, Hervé Guyennet, Fabien Hantz, and Jean-Christophe Lapayre. Security in Grid Computing. In Advances in Enterprise Information Technology Security, pages 20-30. Idea Group Inc., 2007. Note: 368 pages. [bibtex]


  10. Jean-Michel Hufflen. Guidelines for Bibliographical Citations in LaTeX. ArsTeXnica, 4:103--110, October 2007. Note: In guit 2007 meeting. [bibtex]


  11. Jean-Michel Hufflen. Introducing LaTeX users to xsl-fo. TUGB, 29(1):118--124, 2007. Note: EuroBachoTeX 2007 proceedings. [bibtex]


  12. Jean-Michel Hufflen. Managing Order Relations in mlBibTeX. TUGB, 29(1):101--108, 2007. Note: EuroBachoTeX 2007 proceedings. [bibtex]


  13. Jean-Michel Hufflen. mlBibTeX: Reporting the Experience. TUGB, 29(1):157--162, 2007. Note: EuroBachoTeX 2007 proceedings. [bibtex]


  14. Mohamed Kallel, Jean-Christophe Lapayre, and M.-S. Bouhlel. A multiple Watermarking Scheme for Medical Image in the Spatial Domain. GVIP, International Journal on Graphics and Image Processing, 7(1):37--42, 2007. Note: ISSN 1687-398X. [bibtex]


  15. Hung-Cuong Le, Hervé Guyennet, and N. Zerhouni. Redundant Communication Avoidance for Event-Driven Sensor Network. IJCSNS, Journal of Computer Science and Network Security, 7(3):193--200, 2007. [bibtex]


  16. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. MPR-based broadcasting in ad hoc and sensor networks with a realistic environment. IJCSNS, Journal of Computer Science and Network Security, 7(10):82--89, October 2007. Note: ISSN 1738-7906. [bibtex]


  17. Loris Marchal, Veronika Rehn-Sonigo, Yves Robert, and Frédéric Vivien. Scheduling algorithms for data redistribution and load-balancing on master-slave platforms. Parallel Processing Letters, 17(1), 2007. [bibtex]


  18. David Saint-Voirin, Christophe Lang, Hervé Guyennet, and N. Zerhouni. Scoop Methodology: Modeling, Simulation And Analysis For Cooperative Systems. JSW, Journal of Software, 2(4):32--42, October 2007. [bibtex]


2006
  1. Jacques Bahi and Sylvain Contassot-Vivier. Basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks. IEEE Transactions on Neural Networks, 17(2):397--408, 2006. [bibtex]


  2. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. Performance comparison of parallel programming environments for implementing AIAC algorithms. Journal of Supercomputing, 35(3):227--244, 2006. [bibtex]


  3. Jacques Bahi and Raphaël Couturier. Asynchronous multisplitting methods for linear and nonlinear systems. In Domain Decomposition Methods: Theory and Applications, Gakuto International Series, Mathematical Science and Applications, chapter 6, pages 147--181. Gakkotosho, Tokyo Japan, 2006. Note: ISBN 4-7625-0434-3. [bibtex]


  4. Jacques Bahi, Raphaël Couturier, Kamel Mazouzi, and Michel Salomon. Synchronous and asynchronous solution of a 3D transport model in a grid computing environment. Applied Mathematical Modelling, 30(7):616--628, 2006. [bibtex]


  5. Jacques Bahi, Raphaël Couturier, and Philippe Vuillemin. Solving nonlinear wave equations in the grid computing environment: an experimental study. Journal of Computational Acoustics, 14(1):113--130, 2006. [bibtex]


  6. J. Beauquier, Laurence Pilard, and B. Rozoy. Observing locally self-stabilization in a probabilistic way. Journal of Aerospace Computing, Information, and Communication, 3(10):516--537, 2006. [bibtex]


  7. Marie-Laure Betbeder, P. Cottier, C. Schmidt, and P. Tchounikine. Dialogue in context, towards a referential approach in collective learning. AI and Society: The Journal of Human-Centred Systems and Machine Intelligence, 20(3):314--330, June 2006. [bibtex]


  8. M.-S. Bouhlel, F. Kammoun, and Eric Garcia. An Efficient DCT-based Crypto-compression Scheme for a Secure and Authentic Medical Image Transmission. Journal of Testing and Evaluation for Applied Sciences and Engineering, 34(6):459--463, 2006. [bibtex]


  9. Thierry Chanier, A. Vetter, Marie-Laure Betbeder, and Christophe Reffay. Retrouver le chemin de la parole en environnement audio-graphique synchrone. Le Français Dans Le Monde, numéro thématique Les Échanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.), pp 139--150, July 2006. [Abstract] [bibtex]


  10. Damien Charlet, Frédéric Lassabe, Philippe Canalda, Pascal Chatonnay, and François Spies. Mobility Prediction for Multimedia Services. In I. K. Ibrahim, editor, Handbook of Research in Mobile Multimedia, chapter 33, pages 491--506. Idea Group Inc., 2006. Note: ISBN: 1591408660. [bibtex]


  11. Samir Chouali, M. Heisel, and J. Souquières. Proving Component Interoperability with B Refinement. ENTCS, Electronic Notes in Theoretical Computer Science, special issue on FACS'05 selected best papers, 160-8:157--172, 2006. [bibtex]


  12. S. Colin, Franck Lebeau, and Bruno Legeard. Génération de tests à partir de statecharts fondée sur le calcul de comportements. TSI, Technique et Science Informatiques, 25(1):103--132, 2006. [bibtex]


  13. Violeta Felea and B. Toursel. Dynamic Load Balancing Mechanism for Distributed Java Applications. Concurrency and Computation: Practice and Experience, 18(3):305--331, 2006. [bibtex]


  14. Abdoul-Karim Ganame, Julien Bourgeois, Renaud Bidou, and François Spies. A High Performance System for Intrusion Detection and Reaction Management. JIAS, Journal of Information Assurance and Security, 3:181--194, September 2006. [bibtex]


  15. Eric Garcia, Hervé Guyennet, and Jean-Christophe Lapayre. Groups partitionning over CORBA for Cooperative Work. Journal of Cluster Computing, 9(1):67--78, 2006. [bibtex]


  16. Arnaud Giersch, Yves Robert, and Frédéric Vivien. Scheduling tasks sharing files on heterogeneous master-slave platforms. Journal of Systems Architecture, Special Issue on Parallel, Distributed and Network-Based Processing: Selected Papers From the 12Th Euromicro Conference, 52(2):88--104, February 2006. [bibtex]


  17. Régis Gras, Raphaël Couturier, Fabrice Guillet, and Filippo Spagnolo. Extraction de Règles en Incertain par la Méthode Implicative. In Analyse Statistique Implicative, Une méthode d'analyse de données pour la recherche de causalités, pages 385--389. Cépaduès éditions, 2006. [bibtex]


  18. Mourad Hakem and Franck Butelle. Critical Path Scheduling Parallel Programs on an Unbounded Number of Processors. International Journal of Foundations of Computer Science, 17(2):287--302, 2006. [bibtex]


  19. Jean-Michel Hufflen. Advanced Techniques in XSLT. Biuletyn GUST, 23:69--75, April 2006. Note: In BachoTeX'2006 conference. [bibtex]


  20. Jean-Michel Hufflen. BibTeX, mlBibTeX and Bibliography Styles. Biuletyn GUST, 23:76--80, April 2006. Note: In BachoTeX 2006 conference. [bibtex]


  21. Jean-Michel Hufflen. Names in BibTeX and mlBibTeX. TUGB, 27(2):243--253, November 2006. Note: TUG 2006 proceedings, Marrakesh, Morocco. [bibtex]


  22. Jean-Michel Hufflen. Writing Structured and Semantics-Oriented Documents: TeX vs XML. Biuletyn GUST, 23:104--108, April 2006. Note: In BachoTeX 2006 conference. [bibtex]


  23. Jean-Michel Hufflen. mlBibTeX Architecture. ArsTeXnica, 2:54--59, October 2006. Note: In GUIT'2006 meeting. [bibtex]


  24. Jean-Michel Hufflen. mlBibTeX Meets ConTeXt. TUGB, 27(1):76--82, July 2006. Note: In EuroTeX 2006, Debrecen, Hungary. [bibtex]


  25. L. Jeannot, A. Vetter, and Thierry Chanier. Repérage des stratégies des apprenants et du tuteur dans un environnement audio-graphique synchrone. Le Français Dans Le Monde, numéro thématique Les Échanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.), pp 151--161, July 2006. [Abstract] [bibtex]


  26. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, and Fabien Peureux. Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. SPIP, The Journal of Software Process: Improvement and Practice, 11(5):487--503, 2006. [bibtex]


  27. Ahmed Mostefaoui. A Modular and Adaptive Framework for Large Scale Video Indexing and Content-Based Retrieval: The SIRSALE System. Software: Practice and Experience Journal, 36(8):871--890, July 2006. [bibtex]


  28. M. Rahoual, Hakim Mabed, C. Dhaenens, and E.-G. Talbi. A comparative Study of different optimization techniques for a bi-criteria Flow shop Problem. Journal of Combinatorial Mathematics and Combinatorial Computing, 57:3--32, 2006. [bibtex]


  29. Christophe Reffay and Marie-Laure Betbeder. Spécificités des plates-formes audio-synchrones pour un dispositif de formation. Le Français Dans Le Monde, numéro thématique Les Échanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.), pp 124--127, July 2006. [Abstract] [bibtex]


2005
  1. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Vérification de systèmes hiérarchiques par raffinement. Journal européen des systèmes automatisés, 39(1-3):239--254, October 2005. Note: Édition spéciale MSR'05, Modélisation des Systèmes Réactifs. [bibtex]


  2. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. Dynamic Load Balancing and Efficient Load Estimators for Asynchronous Iterative Algorithms. IEEE Transactions on Parallel and Distributed Systems, 16(4):289--299, 2005. [bibtex]


  3. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. Evaluation of the asynchronous iterative algorithms in the context of distant heterogeneous clusters. Parallel Computing, 31(5):439--461, 2005. [bibtex]


  4. Jacques Bahi, Sylvain Contassot-Vivier, Raphaël Couturier, and Flavien Vernier. A decentralized convergence detection algorithm for asynchronous parallel iterative algorithms. IEEE Transactions on Parallel and Distributed Systems, 16(1):4--13, 2005. [bibtex]


  5. Jacques Bahi, Raphaël Couturier, and Flavien Vernier. Synchronous Distributed Load Balancing on Dynamic Networks. Journal of Parallel and Distributed Computing, 65(11):1397-1405, 2005. [bibtex]


  6. Marie-Laure Betbeder and P. Tchounikine. Conception d'activités collectives dans un contexte d'apprentissage. In R. Teulier, J. Charlet, and P. Tchounikine, editors, Ingénierie des Connaissances, pages 437--458. L'Harmattan, 2005. [bibtex]


  7. E. Caron, Bruno Del Fabbro, F. Desprez, E. Jeannot, and Jean-Marc Nicod. Managing Data Persistence in Network Enabled Servers. Scientific Programming Journal, 13(4):333--354, 2005. Note: Special Issue on Dynamic Grids and Worldwide Computing. [bibtex]


  8. Damien Charlet, Philippe Canalda, Pascal Chatonnay, and François Spies. Mobilité dans les caches vidéo : une stratégie adaptative. TSI (Technique et Science Informatiques), 24(7):837--864, 2005. [bibtex]


  9. C. Chaudet, Dominique Dhoutaut, and I. Guérin-Lassous. Performance Issues with IEEE 802.11 in Ad Hoc Networking. IEEE Communication Magazine, 43(7), July 2005. [bibtex]


  10. Samir Chouali, Jacques Julliand, Pierre-Alain Masson, and Françoise Bellegarde. PLTL Partitionned Model-Checking for Reactive Systems under Fairness Assumptions. ACM Transactions on Embedded Computing Systems (TECS), 4(2):267--301, May 2005. [bibtex]


  11. Gérard Cécé and A. Finkel. Verification of programs with half-duplex communication. Information and Computation, 202(2):166--190, November 2005. [bibtex]


  12. Jean-Baptiste Ernst-Desmulier, Damien Charlet, Julien Bourgeois, Pascal Chatonnay, and François Spies. Optimisation du cache sibling à l'aide d'une architecture pair-à-pair. TSI (Technique et Science Informatiques), 24(7):897--907, 2005. [bibtex]


  13. Eric Garcia, Hervé Guyennet, Julien Henriet, and Jean-Christophe Lapayre. Research Approach Advance in Concurrency Management Algorithms for Cooperative Work. International Journal of Computer Science and Network Security, Special issue on Computer Science, 5(10):1--12, October 2005. [bibtex]


  14. Eric Garcia, Hervé Guyennet, Julien Henriet, and Jean-Christophe Lapayre. Towards an Optimistic Management of Concurrency: a Probabilistic Study of the Pilgrim Protocol. LNCS Book, Special issue on Computer Supported Cooperative Work in Design 2005, 3865:51--65, 2005. [bibtex]


  15. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and T. Moulin. Adaptive Tele-application for Remote Neurology Diagnosis. International Journal of Telemedicine and e-Health, 11(6):692--701, 2005. [bibtex]


  16. Françoise Greffier. Le tutorat, un geste pédagogique. Distances & Savoirs, 3(2):231--250, 2005. [bibtex]


  17. Jean-Michel Hufflen. MlBibTeX in Scheme (First Part). Biuletyn GUST, 22:17--22, April 2005. Note: In BachoTeX 2005 conference. [bibtex]


  18. Jean-Michel Hufflen. TeX's Language within the History of Programming Languages. Biuletyn GUST, 22:23--32, April 2005. Note: In BachoTeX 2005 conference. [bibtex]


  19. Hakim Mabed, Alexandre Caminada, and J.-K. Hao. Impact of Tradeoff Between Blocking and Interference on TDMA Cell Capacity Planning. IJMNDI, International Journal of Mobile Network Design and Innovation, 1(1):24--33, October 2005. [bibtex]


  20. Roland Mathieu, Éric Martin, Régine Gschwind, Libor Makovicka, Sylvain Contassot-Vivier, and Jacques Bahi. Calculations of Dose Distributions Using a Neural Network Model. Physics in Medicine and Biology, 50(5):1019--1028, 2005. [bibtex]


  21. Michel Salomon, F. Heitz, G.-R. Perrin, and J.-P. Armspach. A massively parallel approach to deformable matching of 3D medical images via stochastic differential equations. Parallel Computing, 31(1):45--71, January 2005. Note: Doi 10.1016/j.parco.2004.12.003. issn 0167-8191. [bibtex]


  22. Michel Salomon, F. Heitz, G.-R. Perrin, and J.-P. Armspach. Parallel Differential Evolution: Application to 3D Medical Image Registration. In K. Price, R. Storn, and J. Lampinen, editors, Differential Evolution: A Practical Approach to Global Optimization, Natural Computing Series, pages 393--411. Springer, 2005. [bibtex]


2004
  1. Jacques Bahi. On discrete dynamic systems. Application to parallel asynchronous neural networks. Differential Equations and Dynamical Systems Journal, 12(1-2):115-142, 2004. [bibtex]


  2. Jacques Bahi and C.-M. Michel. A stochastic gene evolution model with time dependent mutation matrix. Bulletin of Mathematical Biology, 66:763--778, 2004. [bibtex]


  3. J. Beauquier, Laurence Pilard, and B. Rozoy. Observing locally self-stabilization. Journal of High Speed Networks, 14(1):3--19, 2004. [bibtex]


  4. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. How to Compute the Refinement Relation for Parameterized Systems. In R. Gupta, Le Guenic P., and Talpin J.P., editors, Formal Methods and Models for System Design - A System Level Perspective, chapter 2. Springer, 2004. Note: ISBN 1-4020-8051-4. [bibtex]


  5. E. Bernard, Bruno Legeard, X. Luck, and Fabien Peureux. Generation of test sequences from formal specifications: GSM 11-11 standard case study. International Journal of Software Practice and Experience, 34(10):915--948, 2004. [bibtex]


  6. Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. CLPS-B: A Constraint Solver to Animate a B Specification. International Journal on Software Tools for Technology Transfer, STTT, 6(2):143--157, August 2004. [bibtex]


  7. S. Colin, Bruno Legeard, and Fabien Peureux. Preamble Computation in Automated Test Case Generation using Constraint Logic Programming. The Journal of Software Testing, Verification and Reliability, 14(3):213--235, 2004. Note: Selected papers from the 2003 UK-Test Workshop. [bibtex]


  8. Violeta Felea, R. Olejnik, and B. Toursel. ADAJ: a Java Distributed Environment for Easy Programming Design and Efficient Execution. Schedae Informaticae, 13:9--36, 2004. [bibtex]


  9. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and N. Zerhouni. A new Industrial Cooperative tele-maintenance Platform. Special Issue of Computers & Industrial Engineering, Elsevier Science, 46(4):851--864, 2004. [bibtex]


  10. S. Genaud, Arnaud Giersch, and Frédéric Vivien. Load-Balancing Scatter Operations for Grid Computing. Parallel Computing, 30(8):923--946, August 2004. [bibtex]


  11. Régis Gras, Raphaël Couturier, J. Blanchard, H. Briand, P. Kuntz, and P. Peter. Mesures de qualité pour la fouille de données, chapter Quelques critères pour une mesure de qualité de règles d'association. Un exemple : l'implication statistique, pages 3--32. Cépaduès éditions, 2004. [bibtex]


  12. Ahmed Housni and Michel Tréhel. Optimization of the network configuration according to the activity of nodes for mutual exclusion. Special issue on Computational Science of the Journal of Computers and Mathematics with Applications, 2004. [bibtex]


  13. Jean-Michel Hufflen. A Tour around MlBibTeX and Its Implementation(s). Biuletyn gust, 20:21--28, April 2004. Note: In phProc. BachoTeX Conference. [bibtex]


  14. Jean-Michel Hufflen. Making mlBibTeX Fit for a Particular Language. Example of the Polish Language. Biuletyn GUST, 21:14--26, December 2004. [bibtex]


  15. H. Kosch, Ahmed Mostefaoui, L. Böszörményi, and L. Brunie. Heuristics for Optimizing Multi-clip Queries in Video Databases. Multimedia Tools and Applications Journal, 22(3):235--262, March 2004. [bibtex]


  16. Bruno Legeard, Fabien Peureux, and Mark Utting. Controlling test case explosion in test generation from B formal models. Software Testing, Verification and Reliability, STVR, 14(2):81--103, 2004. [bibtex]


  17. Emmanuel Mory, Fabien Renard, Julien Bourgeois, Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and François Spies. Adaptation de contenus multimédia aux terminaux mobiles. Revue ISI - Ingéniérie des Systèmes d'Information, Numéro spécial Systèmes d'Information Pervasifs, Hermès Sciences, 9(2):39--60, 2004. [bibtex]


  18. Ahmed Mostefaoui. Conception et mise en oeuvre de serveurs multimédias. In Gestion des données multimédias, pages 141--169. Hermes, February 2004. [bibtex]


  19. Ahmed Mostefaoui and L. Brunie. SIRSALE : Un système d'indexation et de recherche de séquences audiovisuelles à large échelle. In Gestion des données multimédias, pages 283--309. Hermes, February 2004. [bibtex]


  20. Fabien Renard. Développement d'une application de travail coopératif multimédia sur PDA. In Gestion des données multimédias (Traité IC2), chapter 8, pages 255--268. Lavoisier, March 2004. [bibtex]


2003
  1. Jacques Bahi. Load Balancing on distributed Networks. International Journal of Computational Numerical Analysis, 3(1):55--71, 2003. [bibtex]


  2. Julien Bourgeois, Emmanuel Mory, and François Spies. Video Transmission Adaptation on Mobile Devices. Journal of Systems Architecture, 49(10-11):475--484, November 2003. [bibtex]


  3. Patrice Clemente. Towards Multimodal Human-computer Dialogue by Intelligent Agents. In C. Kintzig, G. Poulain, G. Privat, and P.-N. Favennec, editors, Communicating with Smart Objects, Developing Technology for Usable Pervasive Computing Systems, chapter 4. Kogan Page Science, London, 2003. Note: ISBN 1-9039-9636-8. [bibtex]


  4. Jean-François Couchot, D. Déharbe, Alain Giorgetti, and S. Ranise. Scalable Automated Proving and Debugging of Set-Based Specifications. Journal of the Brazilian Computer Society (JBCS), 9(2):17--36, November 2003. Note: ISSN 0104-6500. [bibtex]


  5. M. Delgado and Pierre-Cyrille Héam. A polynomial time algorithm to compute the abelian kernel of a finite monoid. Revue Internationale : Semigroup Forum, 67:97--110, 2003. [bibtex]


  6. Violeta Felea and B. Toursel. Middleware-based Load Balancing for Communicating Java Objects. Computing International Scientific Journal, 2(3):33--38, 2003. Note: Selected among the best CIPC 2003 conference articles. [bibtex]


  7. Violeta Felea, B. Toursel, and N. Devesa. Les collections distribuées : un outil pour la conception d'applications Java parallèles. Technique et Science Informatiques, 22(3):289--314, 2003. [bibtex]


  8. Alain Giorgetti. An asymptotic study for path reversal. Theoretical Computer Science, 299(1-3):585--602, 2003. [bibtex]


  9. Jean-Michel Hufflen. European Bibliography Styles and mlBibTeX. TUGB, 24(3):489--498, June 2003. Note: In EuroTeX 2003, Brest, France. [bibtex]


  10. Jean-Michel Hufflen. Mes diverses périodes avec LaTeX. Cahier GUTenberg, 42:38--60, July 2003. [bibtex]


  11. Jean-Michel Hufflen. mlBibTeX's Version 1.3. TUGBoat, 24(2):249--262, July 2003. [bibtex]


  12. Pierre-Cyrille Héam. Some complexity results for polynomial rational expressions. Theoretical Computer Science, 299:735--741, 2003. [bibtex]


  13. Bruno Legeard, L. Py, Fabrice Ambert, Fabrice Bouquet, and Fabien Peureux. Génération de tests à partir de spécifications : Concepts, méthodes et outils. Génie Logiciel, 67:27--36, December 2003. [bibtex]


  14. F. Magniette, Laurence Pilard, and B. Rozoy. A method for the verification of distributed and synchronized algorithm. International Journal of Production Research, 42(14):2757--2772, 2003. [bibtex]


2002
  1. Jacques Bahi and Sylvain Contassot-Vivier. Stability of fully asynchronous discrete-time discrete-state dynamic networks. IEEE Transactions on Neural Networks, 13(6):1353--1363, 2002. [bibtex]


  2. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. Raffiner pour vérifier des systèmes paramètrés. TSI (Technique et Science Informatiques), 8(21):1121--1149, 2002. [bibtex]


  3. E. Caron, F. Desprez, E. Fleury, Frédéric Lombard, Jean-Marc Nicod, M. Quinson, and F. Suter. Une approche hiérarchique des serveurs de calcul. In F. Baude, editor, Calcul réparti à grande échelle, pages 129--151. Hermes, 2002.
    Keywords: Metacomputing, DIET. [bibtex]


  4. Patrice Clemente. Vers le dialogue homme machine multimodal par les agents intelligents. In C. Kintzig, G. Poulain, G. Privat, and P.-N. Favennec, editors, Objets Communicants, Collection Scientifique des Télécommunications, pages 43--61. Hermes, 2002. Note: Isbn 2-7462-0475-4. [bibtex]


  5. Sylvain Contassot-Vivier, Frédéric Lombard, Jean-Marc Nicod, and Laurent Philippe. Evaluation of the DIET hierarchical metacomputing architecture. Parallel and Distributed Computing Practices. Special Issue on Parallel Numeric Algorithms on Faster Computers, 5(4):64--76, December 2002. [bibtex]


  6. Karine Deschinkel, J.-L. Farges, and D. Delahaye. Optimization of Prices for Air Traffic Control. Transportation Research Part C, pp ***--***, 2002. [bibtex]


  7. Karine Deschinkel, J.-L. Farges, and D. Delahaye. Optimizing and Assigning Price Levels for Air Traffic Management. Special Issue of Transportation Research E, pp 221--237, June 2002. [bibtex]


  8. Pierre-Cyrille Héam. On Shuffle Ideals. Theoretical Informatics and Applications, 36:359--384, 2002. [bibtex]


  9. Bruno Legeard and Fabien Peureux. B-Testing-Tools : génération de tests aux limites à partir de spécifications B. TSI (Technique et Science Informatiques, 21(9):1189--1218, 2002. [bibtex]


  10. Ahmed Mostefaoui, H. Kosch, and L. Brunie. Semantic Based Prefetching in News-On-Demand Video Servers. Multimedia Tools and Applications Journal, 18(2):159--179, 2002. [bibtex]


  11. P. Spiteri, J.-C. Miellou, and Jacques Bahi. Evaluation of parameters for the optimization of SSOR and ADI preconditionning. Numerical Algorithms, 29:249--265, 2002. [bibtex]


2001
  1. Jacques Bahi and J. Gaber. Analysis of randomized on-line load distribution for tree structured computations. Studia Informatica Universalis, 1(1):23--36, 2001. [bibtex]


  2. Jacques Bahi, K. Rhofir, and J.-C. Miellou. Parallel solution of linear DAEs by mutisplitting waveform relaxation methods. Linear Algebra and applications, 332-334:181--196, 2001. [bibtex]


  3. A. Bonhomme and Ahmed Mostefaoui. Serveurs Multimédias : concepts de base et prototypes. TSI (Technique et Science Informatiques, 20(8):983--1018, 2001. [bibtex]


  4. E. Caron, S. Chaumette, Sylvain Contassot-Vivier, F. Desprez, E. Fleury, C. Gomez, M. Goursat, E. Jeannot, D. Lazure, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, M. Quinson, P. Ramet, J. Roman, F. Rubi, S. Steer, F. Suter, and G. Utard. Scilab to Scilab, the OURAGAN project. Parallel Computing, 11(27):1497--1519, 2001. [bibtex]


  5. Pascal Chatonnay, Huah-Yong Chan, and Laurent Philippe. Evaluation of a multicriteria method to optimize resource access in distributed object systems. Journal of Parallel and Distributed Computing Practices, 3(1):21--32, 2001. [bibtex]


  6. Sylvain Contassot-Vivier and Jacques Bahi. Convergence dans les systèmes booléens asynchrones et applications aux réseaux de Hopfield. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), Numéro thématique : Algorithmes itératifs parallèles et distribués, 13(1):107--124, 2001. [bibtex]


  7. Raphaël Couturier. Subjects categories contribution in the implicative and the similarity analysis. In Learning in mathematics and science and educational technology, volume 2, pages 369--376. University of cyprus, 2001. Note: ISBN: 9963-8251-2-5. [bibtex]


  8. Raphaël Couturier and François Spies. Extraction de racines dans des polynômes creux de degré élevé. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), Numéro thématique : Algorithmes itératifs parallèles et distribués, 13(1):67--81, 2001. [bibtex]


  9. Eric Garcia. Un protocole de communication de groupe intégré à une plateforme coopérative Multimédia. TSI (Technique et Science Informatiques), 20(5):677--699, 2001. [bibtex]


  10. Eric Garcia, Jean-Christophe Lapayre, Fabien Renard, and Tafsir Ba. CaliF Multimédia : une plate-forme à objets pour le développement de téléapplications Multimédia. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), 13(22-3):295--318, 2001. [bibtex]


  11. Hervé Guyennet and Jean-Christophe Lapayre. The group approach in cooperative work and in load balancing. Journal of Parallel and Distributed Computing Practices, 2(3):285--297, 2001. [bibtex]


  12. Jean-Michel Hufflen. Vers une extension multilingue de BibTeX. Cahiers GUTemberg, 39:127--142, May 2001. [bibtex]


  13. Pierre-Cyrille Héam. Some Topological Properties of Rational Sets. Journal of Automata, Languages and Combinatorics, 6:275--290, 2001. [bibtex]


  14. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Vérification par model-checking modulaire des propriétés dynamiques introduites en B. TSI (Technique et Science Informatiques), 20(7):927--957, 2001. [bibtex]


  15. Michel Salomon. Parallélisation de l'évolution diffférentielle pour le recalage rigide d'images médicales volumiques. TSI (Technique et Science Informatiques), 20(5):605--627, 2001. [bibtex]


  16. Michel Tréhel, P. Gradit, and Alain Giorgetti. Performances d'un algorithme distribué d'exclusion mutuelle en cas de non-équiprobabilité des requêtes des processus. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), Numéro spécial Evaluation quantitative des performances des réseaux et systèmes, 13(6):557--573, 2001. [bibtex]


2000
  1. Jean-Luc Anthoine, Pascal Chatonnay, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. Mise en oeuvre d'un algorithme parallèle sous CORBA et PVM. TSI (Technique et Science Informatiques), numéro Thématique Parallélisme, Distribution et Approches Objets, 19(9):1171--1191, 2000. [bibtex]


  2. D. Arquès and Alain Giorgetti. Counting rooted maps on a surface. Theoretical Computer Science, 234:255--272, 2000. [bibtex]


  3. D. Arquès and Alain Giorgetti. Une bijection géométrique entre une famille d'hypercartes et une famille de polygones énumérées par la série de Schröder. Discrete Mathematics, 217:17--22, April 2000. Note: Procs. of Formal Power Series and Algebraic Combinatorics. [bibtex]


  4. Jacques Bahi. A general formulation of asynchronous iterations. International Journal of Differential Equations and Applications, 1A(3):245--256, 2000. [bibtex]


  5. Jacques Bahi. Asynchronous iterative algorithms for nonexpansive linear systems. Journal of Parallel and Distributed Computing, 60:92--112, 2000. [bibtex]


  6. Jacques Bahi. Boolean totally asynchronous iterations. International Journal of Mathematical Algorithms, 1:331--346, 2000. [bibtex]


  7. Jacques Bahi and C. Michel. Convergence of discrete asynchronous iterations. International Journal Computer Mathematics, 74:113--125, 2000. [bibtex]


  8. A. Benaini and David Laiymani. A Multi-phase Parallel Algorithm for the Eigenelements Problem. Informatica, 24(3):371--377, 2000. [bibtex]


  9. Julien Bourgeois and François Spies. ChronosMix, prédiction de performances dans les systèmes répartis. TSI (Technique et Science Informatiques), 19(8):1077--1095, 2000. [bibtex]


  10. Julien Bourgeois, François Spies, T. Delaitre, and J. Zemerly. Chronos: a Performance Characterisation Tool inside the EDPEPPS toolset. Journal of Supercomputing, 15(2):123--140, 2000. [bibtex]


  11. Thierry Chanier. Editor's introduction to ICT in varied language learning environments. ReCALL, 12(1):1--4, 2000. [bibtex]


  12. Thierry Chanier. Hypermédia, interaction et apprentissage dans des systèmes d'information et de communication : résultats et agenda de recherche. In L. Duquette and M. Laurier, editors, Apprendre une langue dans un environnement multimédia, pages 53--89. Montréal : Editions Logiques, 2000. [bibtex]


  13. Thierry Chanier. Première analyse du lectorat de la revue ALSIC. Apprentissage des Langues et Systèmes d'Information et de Communication (ALSIC), 3(1):155--163, 2000. [bibtex]


  14. Raphaël Couturier. Trois expérimentations de simulations parallèles. Technique et Science Informatiques, 19(5):625--648, 2000. [bibtex]


  15. Raphaël Couturier and C. Chipot. Parallel molecular dynamics using OpenMP on a shared memory machine. Computer Physics Communications, 124:49--59, 2000. [bibtex]


  16. Hervé Guyennet and Michel Tréhel. Load balancing using processor groups. Parallel Processing Letters, 10(1):59--72, 2000. [bibtex]


  17. Ahmed Housni. L'exclusion mutuelle entre les membres de deux groupes structurés de télé-conférenciers. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), 12(5-6):565--592, 2000. [bibtex]


  18. Jean-Michel Hufflen. Typographie : les conventions, la tradition, les goûts, ... et LaTeX. Cahiers GUTenberg, 35-36:169--214, May 2000. [bibtex]


  19. Pierre-Cyrille Héam. A lower bound for reversible automata. Theoretical Informatics and Applications, 34:331--341, 2000. [bibtex]


  20. D. Josselin, J. Bolot, and Pascal Chatonnay. Optimisation de découpage territoriaux. Proposition de méthodes d'aggrégation spatiale dirigée. Revue Internationale De Géomatique, SIG, amégement Du Territoire Et Environnement, Cassini 2000, 10(3-4):383--409, 2000. [bibtex]


  21. Yvan Peter and Hervé Guyennet. Object mobility in large scale systems. Cluster Computing Journal, 2(2):75--82, 2000. [bibtex]


  22. Vincent Portigliatti and Laurent Philippe. Utilisation de préférences applicatives dans l'administration automatique de l'exécution d'applications. Revue Electronique sur les Réseaux et l'Informatique Répartie. Edition spéciale de NOTERE'2000 RERIR (Nouvelles Technologies de Répartition), (http://rerir.univ-pau.fr), 2000. [bibtex]


1999
  1. Jacques Bahi. Parallel iterative methods for singular systems arising from discretised PDEs. International Journal of Applied Mathematics, 1(8):883--896, 1999. [bibtex]


  2. Jacques Bahi. Parallel synchronous chaotic iterations for singular linear systems. Parallel Algorithms and Applications, 14:19--35, 1999. [bibtex]


  3. Jacques Bahi and C. Michel. Simulations of discrete systems with an asynchronous evolution. Journal Simulation Practice and theory, 7:309--324, 1999. [bibtex]


  4. E. Boucher and Bruno Legeard. Procédure d'optimisation arborescente basée sur la structure d'arbre PQR. TSI, (Technique et Science Informatiques), 18(2):161--180, 1999. [bibtex]


  5. Pascal Chatonnay, Jacques Julliand, and Marie-France Lasalle. Démarche de projet pour enseigner la compilation. TSI (Technique et Science Informatiques), 18(1):75--100, 1999. [bibtex]


  6. Sylvain Contassot-Vivier and S. Miguet. A load-Balanced Algorithm For Parallel Digital Image Warping. International Journal of Pattern Recognition and Artificial Intelligence, 13(4):445--463, 1999. [bibtex]


  7. Jacques Julliand, Françoise Bellegarde, and Benoit Parreaux. De l'expression des besoins à l'expression formelle des propriétés dynamiques. TSI (Technique et Science Informatiques), 18(7):747--776, 1999. [bibtex]


  8. P. Rousselot, Frédéric Lombard, and G. Moreels. Search for trans-neptunian objects: an automated technique applied to images obtained with the uh 8k ccd mosaic camera. Astronomy and Astrophysics, 348:1035--1039, 1999. [bibtex]


1998
  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]


1997
  1. D. Arquès, J.P. Fallot, and C. Michel. An evolutionary model of a complementary circular code. Journal of Theoretical Biology, 185:241--253, 1997. [bibtex]


  2. T. Delaitre, G. Justo, François Spies, and S. Winter. A graphical Tool for Simulation Modelling of Parallel Systems. Journal of Parallel Computing, 22:1823--1836, 1997. [bibtex]


  3. Hervé Guyennet, Jean-Christophe Lapayre, and Michel Tréhel. CALIF, une plateforme de développement de collecticiels utilisant la mémoire partagée distribuée. Calculateurs parallèles, 9(2):251--271, June 1997. [bibtex]


  4. Hervé Guyennet, François Spies, Laurent Philippe, and Bénédicte Herrmann. Simulation of dynamic load balancing algorithms for multicomputers. International Journal of Mini and Microcomputers, 19(2):70--76, 1997. [bibtex]


  5. M. Hibti, Bruno Legeard, and H. Lombardi. Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. RAIRO Informatique Théorique et Applications, 31(3):205--236, 1997. [bibtex]


  6. Jacques Julliand and B. Markhoff. Functional programming on MIMD multicomputers. International Journal of Computers and Applications, ISMM, 19(3):150--155, 1997. [bibtex]


  7. S. Miguet and Jean-Marc Nicod. Complexity analysis of a parallel Marching-Cubes. International Journal of Pattern Recognition and Artificial Intelligence, 11(7):1024--1041, 1997. [bibtex]


1996
  1. F. Boumghar, S. Miguet, and Jean-Marc Nicod. Optimisation et dénombrement des points d'une surface discrète. Int. Journal of CADCAM and Computer Graphics/Revue Internationale de CFAO et d'Informatique Graphique, 11(4):467--480, 1996. [bibtex]


  2. Pascal Chatonnay, Bénédicte Herrmann, Laurent Philippe, and F. Bourdon. Dynamic Object Positionning. Special Issues in Object-Oriented Programming, pp 374--378, 1996. [bibtex]


  3. Pascal Chatonnay, Bénédicte Herrmann, Laurent Philippe, and F. Bourdon. Placement dynamique dans les systèmes répartis à objets. Calculateur parallèle, 8(1):11--30, 1996. [bibtex]


1995
  1. D. Arques, Jean-Christophe Lapayre, and C. Michel. Deux classes de périodicités décalées identifiées dans les gènes codants des eucaryotes. TSI, 14(2):197--216, 1995. [bibtex]


  2. D. Arqués, Jean-Christophe Lapayre, and C. Michel. Identification and Simulation of Shifted Periodicities Common to Protein Coding Genes of Eukaryotes, Prokaryotes and Viruses. Journal of Theor. Biol., 172:279--291, 1995. [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