16 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Université Paris-SaclayFR3 papers
- Université Paris-SudFR2 papers
- Board of the Swiss Federal Institutes of TechnologyCH1 paper
- Centre Inria de SaclayFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- ETH ZurichCH1 paper
- Laboratoire de Recherche en InformatiqueFR1 paper
- National University of Ireland, MaynoothIE1 paper
- The University of MelbourneAU1 paper
- TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point ComputationsFR1 paper
- Università della Svizzera italianaCH1 paper
- Université Paris Sciences et LettresFR1 paper
Showing 2020Show all
1 paper · 1 filter