Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paul Govereau
Evaluating Value-Graph Translation Validation for LLVM
ACM SIGPLAN Notices
Evaluating Value-Graph Translation Validation for LLVM
ACM SIGPLAN Notices
Related publications
Evaluating Partially Drawn Links for Directed Graph Edges
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Translation Validation for an Optimizing Compiler
ACM SIGPLAN Notices
Interprocedural Taint Analysis for LLVM-bitcode
Proceedings of the Institute for System Programming of RAS
Evaluating Modeling and Validation Strategies for Tooth Loss
Journal of Dental Research
Dentistry
A Graph-Theoretic Algorithm for Automatic Extension of Translation Lexicons
The Average Covering Tree Value for Directed Graph Games
SSRN Electronic Journal
A Novel Method for Evaluating Value Assessment Frameworks
Value in Health
Medicine
Health Policy
Public Health
Occupational Health
Environmental
A Model Solution for C3I Message Translation and Validation
