Concepedia

Author

Ines Klimann

Université Paris CitéORCID

Also Known As

INES KLIMANN, Ines Klimann, Klimann, I., Klimann, Ines

34

Publications

180

Citations

7

H-Index

9

Concepts

All Affiliations

Université Paris CitéCentre National de la Recherche ScientifiqueDélégation Paris 7Laboratoire d'Informatique Algorithmique: Fondements et ApplicationsSorbonne Paris Cité
IK

About

Ines Klimann is an author at Université Paris Cité specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

73

2

Automated Reasoning

2

2

73

3

Computer Science

1

1

61

4

Computational Complexity

1

1

61

5

Discrete Mathematics

1

1

61

Ines Klimann

×

4

Publications

118

Citations

4

H-Index

YearCitations

Page 1