6
Publications
1.1K
Citations
6
H-Index
1993
Active since
Affiliations
Pierre Vial is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningSignal ProcessingApproximation TheoryStatisticsVerificationProgram AnalysisSoftware Analysis
Publications per year
1993–2020
6
6
Rows per page
1–5 of 6