Concepedia

Author

Laure Daviaud

Also Known As

Daviaud, Laure, Laure Daviaud

36

Publications

174

Citations

7

H-Index

12

Concepts

All Affiliations

LD

About

Laure Daviaud is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, formal verification, and theory of computing.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

19

2

Computer Engineering

1

1

19

3

Computer Science

1

1

19

4

Combinatorial Optimization

1

1

19

5

Theory Of Computing

1

1

19