Concepedia

Author

Catherine Dufourd

Centre National de la Recherche Scientifique

Also Known As

C. Dufourd, Catherine Dufourd

11

Publications

602

Citations

7

H-Index

7

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueÉcole Normale Supérieure Paris-Saclay
CD

About

Catherine Dufourd is an author at Centre National de la Recherche Scientifique specializing in formal methods, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

137

2

Computer Science

2

2

137

3

Formal Methods

2

2

137

4

Automated Reasoning

1

1

103

5

Computational Complexity

1

1

34

Catherine Dufourd

×

2

Publications

137

Citations

2

H-Index

YearCitations

Page 1