CI
Centre Inria de l'Université de Rennes
Rennes, France
3,619
Publications
138,274
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (1,898)
- Preprint (804)
- Book Chapter (577)
- Other (24)
- Book (23)
Filter by Open Access Type
- Open Access (1,530)
- Closed Access (1,874)
Filter by Authors
- Christine Guillemot (132)
- Anne-Marie Kermarrec (119)
- Anatole Lécuyer (99)
- Axel Legay (97)
- Bruno Tuffin (97)
Filter by Topics
- Formal Methods in Verification (317)
- Advanced Vision and Imaging (293)
- Distributed systems and fault tolerance (164)
- Cloud Computing and Resource Management (163)
- Parallel Computing and Optimization Techniques (146)