CI
Centre Inria de l'Université de Lorraine
Villers-lès-Nancy, France
2,637
Publications
78,865
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (1,435)
- Book Chapter (587)
- Preprint (424)
- Dataset (29)
- Book (28)
Filter by Open Access Type
- Open Access (1,148)
- Closed Access (1,401)
Filter by Authors
- Olivier Festor (129)
- Axel Hutt (61)
- Michaël Rusinowitch (61)
- Radu State (54)
- Emmanuel Vincent (53)
Filter by Topics
- Logic, programming, and type systems (263)
- Formal Methods in Verification (195)
- Logic, Reasoning, and Knowledge (164)
- Speech and Audio Processing (110)
- Semantic Web and Ontologies (95)