Concepedia
Author
Vincent Vialard
Also Known As
8
Publications
100
Citations
6
H-Index
0
Concepts
All Affiliations
×
All Concepts
2
34
ASM-based Mechanized Verification of Compiler Back-Ends.
Axel Dold, Thilo Gaul, Vincent Vialard, +1
1998
18
CovidGraph: a graph to fight COVID-19
Lea Gütebier, Tim Bleimehl, Ron Henkel, +12
Bioinformatics
2022
16
Page 1