Cette page est aussi disponible en Français.
Attaché for Science & Technology @ Embassy of France
- Surface mail: 4101 Reservoir Rd NW - Washington DC 20007 - USA
- marc.daumas@diplomatie.gouv.fr - attache-it@ambascience-usa.org
- Phone: +1 (202) 944-6237 - Fax: +1 (202) 944 6219 - Cell: +1 (202) 607 6439
- Cryptographic fingerprints - Please encrypt all sensitive emails
- My office (C303 ) is located on the third floor, enter through B building
Professor of Computer Science @ UPVD
- PROMES laboratory
following merge with ELIAUS laboratory
- Surface mail: Tecnosud - Rambla de la thermodynamique - 66100 Perpignan - FRANCE
- marc.daumas@promes.cnrs.fr - Phone: +33 4 68 68 22 25 - Fax: +33 4 68 68 22 13
- My office (B25 ) is located on the central aisle of the second floor of PROMES building in Perpignan
Academia
Publications by the numbers
| Books and chapters in books |
6 |
|
| Journal articles |
18 |
|
Peer-reviewed articles
in conference proceedings |
41 |
including 2 invitations |
| Other presentations |
38 |
including 8 seminars in foreign countries |
| Reports |
48 |
|
| Software |
7 |
including FP2 distributed by NetLib |
| Publications Scopus |
28 |
ID 6701507274, 35338747700, 54679491600 & 54902498700 |
| Web of knowledge publications |
24 |
(ResearchID) |
| i10-index Profile Google scholar |
21 |
Since 2008: 8 |
| Citations Profile Google scholar |
652 |
Since 2008: 275 |
| Scholar calculator h-index |
15 |
Needed to increment: 1 - On the last 5 years: 10 |
| Scholar calculator g-index |
22 |
Needed to increment: 32 |
| Scholar calculator e-index |
13 |
|
Selection of 5 recent journal publications
- 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.
Selection of 5 recent conference publications- 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.
PhD advisor (7), board of examiners for PhD (12) 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), P. Vilamajo (UPVD) and S. Ouajdi (UPVD and 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) and J. Florez
(UdG Girona, Spain)
- Member of the board of examiners of the HDR of M. Martel (U. Paris X)
Editor
Guest editor
- 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)
Groups & Animation
Conference organization
- General chair of Perpi'2006 & MDAI 2010
- Member of the steering committee of RNC, SympA &
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 23 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),
MDAI
(2011,
2012), Dictap 2011, Future Computing (2012, 2013)
Main Contracts
Teaching activities
ReadingsQR code to this page
|
ď Certificat public CAcert 2012.cer (2k) Marc Daumas, 7 juin 2012 00:56 ď Certificat public CAcert 2012.cer.asc (0k) Marc Daumas, 7 juin 2012 00:56 ď Certificat public MESR-CNRS 2011.cer (1k) Marc Daumas, 7 juin 2012 01:10 ď Certificat public MESR-CNRS 2011.cer.asc (0k) Marc Daumas, 7 juin 2012 01:11 ď Marc Daumas 1730 491C.txt (7k) Marc Daumas, 7 juin 2012 00:37
|
