3
Publications
59
Citations
3
H-Index
2016
Active since
Affiliations
Laure Daviaud is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, formal verification, and theory of computing.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationTheory Of ComputingComputer EngineeringParallel ProgrammingRepresentation TheoryComputational Complexity
Publications per year
2016–2018
3
3
Rows per page
1–3 of 3