244 citations
- CentraleSupélecFR42 papers
- Université Paris-SaclayFR24 papers
- Département mathématiques, informatique, sciences de la donnée et technologies du numériqueFR14 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 2024 · cs.CEShow all
Nothing from here under that filter.
Their other years and fields are still on the left.