Statistics
Publications
2
Citations
34
H-Index
2
Active since
1998
Affiliations
Deutsches Diabetes-Zentrum e.V.(Current)
Vincent Vialard is an author at Deutsches Diabetes-Zentrum e.V..
Publications per year
1998–2022
2
2
ASM-based Mechanized Verification of Compiler Back-Ends.
Axel Dold, Thilo Gaul, Vincent Vialard et al. · 1998 · 18 citations
CovidGraph: a graph to fight COVID-19
Lea Gütebier, Tim Bleimehl, Ron Henkel et al. · Bioinformatics · 2022 · 16 citations · Full text
1–2 of 2