This page is also available in English.
Professeur des Universités en Informatique @ PROMES / UPVD
- Courrier : PROMES-CRNS - Tecnosud - Rambla de la thermodynamique - 66100 Perpignan - FRANCE
- Mon bureau (B28) était au 1er étage de l'aile centrale du bâtiment de PROMES à Perpignan
Ancien Chargé de mission @
Ancien Chargé de Recherche @ CNRS
- Laboratoires LIP (UMR 5668, Lyon) et LIRMM (UMR 5506, Montpellier)
CV
Publications en quelques nombres
Livres et chapitres de lives |
5 |
|
Articles de journaux |
18 |
|
Articles dans des actes de conférences
avec comité de lecture |
41 |
dont 2 invitations,
article le plus cité repris dans 93 publications
|
Autres présentations |
66 |
dont 9 séminaires à l'étranger |
Rapports |
88 |
dont 32 câbles diplomatiques |
Logiciels |
8 |
dont FP2 distribué dans NetLib |
Publications Scopus |
32 |
ID 6701507274 |
Publications Web of knowledge |
37 |
(ResearchID) |
H-index Google scholar |
19 |
Depuis 2013 : 10 |
Indice i10 Google scholar |
27 |
Depuis 2013 : 10 |
Citations Google scholar |
1220 |
Depuis 2013 : 486 |
H-index Scholar calculator |
16 |
Besoin pour incrément : 1 |
G-index Scholar calculator |
28 |
Besoin pour incrément : 40 |
E-index Scholar calculator |
19 |
|
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. Du logiciel écrit pour cet article apparaît dans le film de Ridley Scott (2015) "Seul sur Mars" avec Matt Damon.
- 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 et chapitre de livre
- 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.
- S. Collange, M. Daumas & D. Defour, Interval arithmetic in CUDA, pp. 99-108, in Wen-Mei W. Hwu editor, GPU Computing Gems Jade Edition, Morgan-Kaufmann, 2011
- 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 (6), jurys de thèse (14) 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) et S. Ouajdi (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), J. Florez
(UdG Girones, Espagne) et C. Chohra (UPVD, Président)
- 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
- 2011 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
Organisation de conférences
- General chair de Perpi'2006 & MDAI 2010
- Membre du comité de pilotage de RNC, SympA et ComPAS (ex 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 29 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, 14, 15, 16), MDAI (2011, 2012), Dictap 2011, Future Computing (2012, 2013, 2014, 2015, 2016)
Principaux contrats
Enseignements
Information
- Google Books: favoris, lus, en cours, à lire
- Presse : Computer, Spectrum, Communications of the ACM, Computing Research News, NAE Bridge, On the frontLines, Government Security News, National Defense, Homeland Security Today
- Flux RSS : France, Washington, Etats-Unis
- Member de IEEE (CS), ACM, ISOC, RDA, NDIA (AFEI), AFCE
Code QR vers ce site

|