This page is also available in English. Attaché pour la Science & la Technologie @ Ambassade de France
Précédemment Chargé de mission @
|
| Livres et chapitres de lives | 6 | |
| Articles de journaux | 18 | |
| Articles dans des actes de conférences avec comité de lecture |
41 | dont 2 invitations |
| Autres présentations | 38 | y compris 8 séminaires à l'étranger |
| Rapports | 48 | |
| Logiciels | 7 | y compris FP2 distribué dans NetLib |
| Publications Scopus | 28 | ID 6701507274, 35338747700, 54679491600 & 54902498700 |
| Publications Web of knowledge | 24 | (ResearchID) |
| Indice i10 Profile Google scholar | 21 | Depuis 2008 : 8 |
| Citations Profile Google scholar | 652 | Depuis 2008 : 275 |
| H-index Scholar calculator | 15 | Besoin pour incrément : 1 - Sur les 5 dernières années : 10 |
| G-index Scholar calculator | 22 | Besoin pour incrément : 32 |
| E-index Scholar calculator | 13 |
Sélection de 5 publications récentes dans des journaux
- S. Boldo & M. Daumas, A simple test qualifying the accuracy of Horner's rule for polynomials, Numerical Algorithms (IF: 0.527), 37(1-4), pp. 45-60, 2004.
- S. Collange, M. Daumas & D. Defour, Line-by-line spectroscopic simulations on graphics processing units, Computer Physics Communications (IF: 1.842), 178(2), pp. 135-143, 2008.
- M. Daumas, D. Lester & C. Muñoz, Verified Real Number Calculations: A Library for Interval Arithmetic, IEEE Transactions on Computers (IF: 1.680), 58(2), pp. 226 - 237, 2009.
- S. Boldo, M. Daumas & R-C. Li, Formally Verified Argument Reduction with a Fused-Multiply-Add, IEEE Transactions on Computers (IF: 1.680), 58(8), pp. 1139-1145, 2009.
- M. Daumas & G. Melquiond, Certification of bounds on expressions involving rounded operators, ACM Transactions on Mathematical Software (IF: 1.714), 37(1), 2010.
Sélection de 5 publications récentes en conférences
- S. Collange, Y. Dandass, M. Daumas & D. Defour, Using Graphics Processors for Parallelizing Hash-based Data Carving, IEEE 42nd Annual Hawaii International Conference on System Sciences, 10p, 2009.
- M. Daumas, D. Lester, E. Martin-Dorel & A. Truffert, Stochastic formal methods for hybrid systems, NASA Formal Methods symposium, pp. 136-145, 2009.
- M. Daumas, E. Martin-Dorel, A. Truffert & M. Ventou, A formal theory of cooperative TU-games, Modeling Decisions for Artificial Intelligence, pp. 81-91, 2009.
- S. Collange, M. Daumas, D. Defour & D. Partello, Barra: a Parallel Functional Simulator for GPGPU, 18th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication System, 351-360, 2010.
- M. Daumas, Effect of R&D Tax Credit on the cost-metrics of cloud computing - A case study from France, IEEE 46th Annual Hawaii International Conference on System Sciences , pp. 3049-3056, 2013.
Encadrement de thèses (7), jurys de thèse (12) ou d'HDR (1)
- Directeur des thèses de C. Finot (ÉNS de Lyon), S. Boldo (ÉNS de Lyon), G. Melquiond (ÉNS de Lyon), F. Cháves (ÉNS de Lyon), S. Collange (UPVD), P. Vilamajo (UPVD) et S. Ouajdi (UPVD et UMP)
- Rapporteur des thèses de Y. Dumonteix (U. Paris 6), D. Toma (UJF Grenoble), R. Zumkeller (Ecole Polytechnique) et J Caux (UBP Clermont-Ferrand)
- Membre du jury de thèse des étudiants précédents ainsi que de S. Graillat (UPVD), V. Holimath (USC Saint Jacques de Compostelle, Espagne) et J. Florez (UdG Girones, Espagne)
- Membre du jury d'HDR de M. Martel (U. Paris X)
Éditeur
Éditeur invité
- 2001 Réseaux et Systèmes Répartis, Calculateurs Parallèles, 13(4-5), 198 pages
- 2006 Theoretical Computer Science, 351(1), 130 pages
- 2006 Technique et Science Informatiques, 25(7), 128 pages
- 2010 Technique et Science Informatiques, 29(2), 99 pages
- 2012 Journal of Advanced Computational Intelligence and Intelligent Informatics, 16(1), 33 pages
- 2012 Information and Computation, 216, 95 pages
- 2012 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 19(supp1)
Animation et responsabilités collectives au cours du temps
- Directeur du Département Mathématiques et Informatiques de l'UPVD
- Directeur du PPF Suréna entre ELIAUS (UPVD) et le LIRMM (UM2)
- Membre du comité de pilotage de l'UOH, l'UOMLR, ELIAUS et le GDR ARP
- Animateur des groupes AriNews et GSOC des GDR ARP puis ASR
- Responsable local de 2 projets de l'ANR (BioWIC et EVA-Flo)
- Expert pour 4 projets ANR et 5 projets PCRD
- Trésorier adjoint de l'association d'anciens AÉ-ÉNS
Organisation de conférences
- General chair de Perpi'2006 & MDAI 2010
- Membre du comité de pilotage de RNC, SympA et RenPar-SympA-CFSE
- Président du comité de programme de RNC'5, SympA'2005, SympA'2008 et RNC'8
- Membre du comité de programme de 23 conférences internationales : IMACS-GAMM SCAN'97, IEEE ARITH (18, 19, 20, 21), WAIFI, IEEE ICCD (2007, 2008, 2009, 2010, 2011, 2012, 2013), HPPC 2009, CENICS (09, 10, 11, 12, 13), MDAI (2011, 2012), Dictap 2011, Future Computing (2012, 2013)
Principaux contrats
- Aérospatiale avec Jean-Michel Muller, 1998
- France-Berkeley Fund (UC Berkeley et Lawrence Berkeley Laboratory), avec Jonathan Shewchuk, 1999-2000
- PICS 2533 (CNRS-NASA) avec le National Institut of Aerospace, ainsi que l'UC Berkeley (William Kahan) et le LIX (Gilles Dowek), 2004-2007
- Projet ANR, Evaluation et Validation Automatique pour le calcul Flottant, 2006-2010
- Projet ANR, Bioinformatics Workflow for Intensive Computation, 2008-2012
Enseignements
- Bases de données pour le Web (M1 - MySQL + Pear)
- Informatique répartie (M1 - MPI)
- Conception de systèmes informatuiques sûrs (M1 - Atelier B)
- Recherche opérationelle (M1)
- Arithmétique des Ordinateurs (L2 & M1)
Lectures
- Flux RSS : France, Washington, Etats-Unis
Code QR vers ce site
