author-photo

Marc Daumas

École normale supérieure de Lyon

80

Papers

1431

Citations

Citation Trend

Filter By

Papers (64) Sort By

Journal Conference Others

Copper-Catalyzed Cross-Coupling between Alkyl (Pseudo)halides and Bicyclopentyl Grignard Reagents.

2020 Organic Letters
Show All
- Source
- Cite
- Save
Citations (3)
A Unified Strategy for the Synthesis of Difluoromethyl- and Vinylfluoride-Containing Scaffolds

2019 Organic Letters
Show All
- Source
- Cite
- Save
Citations (9)
Sequential C-Selective Difluoromethylation/Pd-Catalyzed Decarboxylative Protonation: An Efficient Access to Tertiary Difluoromethylated Scaffolds

2019 ChemRxiv
Show All
- Source
- Cite
- Save
Citations (0)
Preface: 8th Conference on Real Numbers and Computers

2012 Information & Computation
- Marc Daumas
- Javier D. Bruguera
Show All
- Source
- Cite
- Save
Citations (0)
Interval Arithmetic in CUDA

2011
Show All
- Source
- Cite
- Save
Citations (7)
Proceedings of the 7th international conference on Modeling decisions for artificial intelligence

2010
Show All
- Source
- Cite
- Save
Citations (0)
Barra: A Parallel Functional Simulator for GPGPU

2010 MASCOTS | Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Show All
- Source
- Cite
- Save
Citations (84)
Certification of bounds on expressions involving rounded operators

2010 ACM Transactions on Mathematical Software
- Marc Daumas
- Guillaume Melquiond
Show All
- Source
- Cite
- Save
Citations (82)
Modeling Decisions for Artificial Intelligence

2010 Lecture Notes in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Improved bound for stochastic formal correctness of numerical algorithms

2010 Innovations in Systems and Software Engineering
Show All
- Source
- Cite
- Save
Citations (4)