244 citations
- C. Hudelot2 profiles13 · h 23
- A. Rozanova-Pierrat10 · h 13
- F. Magoulès2 profiles10 · h 33
- G. Gbikpi-Benissan2 profiles7 · h 7
- Pierre Colombo2 profiles6 · h 21
- Gabriel Claret4 · h 2
- Gaoyue Guo2 profiles4 · h 8
- André Martins3 · h 13
- A. Teplyaev3 · h 31
- B. Icard3 · h 6
- Damien Challet2 profiles3 · h 3
- Frédéric Magoulès3
- CentraleSupélecFR35 papers
- Université Paris-SaclayFR22 papers
- Département mathématiques, informatique, sciences de la donnée et technologies du numériqueFR11 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR5 papers
- University of PecsHU5 papers
- Institut de Recherche Technologique SystemXFR4 papers
- Laboratoire d'Intégration des Systèmes et des TechnologiesFR4 papers
- Airbus (France)FR3 papers
- DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatiqueFR3 papers
- Institut Gustave RoussyFR3 papers
- Institut Jean NicodFR3 papers
- Institut National de Recherche pour l'Agriculture, l'Alimentation et l'EnvironnementFR3 papers
Showing 2017Show all
1 paper · 1 filter