Cette page est aussi disponible en Français.
Professor of Computer Science @ PROMES / UPVD
Former Member of France's National Council of Universities
Former Research Associate @ CNRS
- LIP (UMR 5668, Lyon) and LIRMM (UMR 5506, Montpellier) laboratories
Academia
Publications by the numbers
Books and chapters in books |
5 |
|
Journal articles |
18 |
|
Peer-reviewed articles
in conference proceedings |
41 |
including 2 invitations,
most cited article appears in 93 publications |
Other presentations |
66 |
including 9 seminars in foreign countries |
Reports |
101 |
including 45 diplomatic cables |
Software |
8 |
including FP2 distributed by NetLib |
h-index Google scholar |
18 |
Since 2014: 9 |
i10-index Google scholar |
30 |
Since 2014: 9 |
Citations Google scholar |
1302 |
Since 2014: 493 |
Selection of 5 recent journal publications
M. Daumas & G. Melquiond,
Certification of bounds on expressions involving rounded operators, ACM Transactions on Mathematical
Software (IF: 1.714), 37(1), 2010
- 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, 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 - software written for this article appear in Ridley Scott's 2015 motion picture "The Martian" with Matt Damon
- 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
- 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
Selection of 5 recent conference publications and book chapter
- 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
- 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
- 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, E. Martin-Dorel, A. Truffert & M. Ventou, A formal theory of cooperative TU-games, Modeling Decisions for Artificial Intelligence, pp. 81-91, 2009
- M. Daumas, D. Lester, E. Martin-Dorel & A. Truffert, Stochastic formal methods for hybrid systems, NASA Formal Methods symposium, pp. 136-145, 2009
PhD advisor (6), board of examiners for PhD (14) and HDR (1)
- Advisor or co-advisor of C. Finot
(ÉNS in Lyon), S. Boldo (ÉNS in Lyon), G. Melquiond (ÉNS in Lyon), F. Cháves
(ÉNS in Lyon), S. Collange (UPVD) and S. Ouajdi (UMP).
- Reviewer of Y. Dumonteix
(U. Paris 6), D. Toma (UJF Grenoble), R. Zumkeller
(Ecole Polytechnique) and J. Caux (UBP Clermont-Ferrand)
- Member of the board of examiners of the former students and of S. Graillat (UPVD), V. Holimath (USC Santiago de Compostela,
Spain), J. Florez
(UdG Girona, Spain) and C. Chohra (UPVD, President)
- Member of the board of examiners of the HDR of M. Martel (U. Paris X)
Editor
Guest editor
- 2012 Information and Computation, 216, 95 pages
- 2012 Journal of Advanced Computational Intelligence and Intelligent Informatics, 16(1), 33 pages
- 2011 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 19(supp1)
- 2010 Technique et Science Informatiques, 29(2), 99 pages
- 2006 Technique et Science Informatiques, 25(7), 128 pages
- 2006 Theoretical Computer Science, 351(1), 130 pages
- 2001 Réseaux et Systèmes Répartis, Calculateurs Parallèles, 13(4-5), 198 pages
Groups & Animation
Conference organization
- General chair of Perpi'2006 & MDAI 2010
- Member of the steering committee of RNC, SympA &
ComPAS (formerly RenPar-SympA-CFSE)
- Chair or co-chair of the program committee of RNC'5, SympA'2005, SympA'2008
& RNC'8
- Member of the program committee of 29 international conferences:
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)
Main Contracts
Teaching activities
Miscellaneous
|
 Updating...
Marc Daumas, 6 juil. 2018, 11:01
|