Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hugo Brunie
PARCOACH Extension for a Full-Interprocedural Collectives Verification
Profile-Guided Scope-Based Data Allocation Method
Related publications
Full Perfect Extension Pruning for Frequent Graph Mining
Interprocedural Taint Analysis for LLVM-bitcode
Proceedings of the Institute for System Programming of RAS
A Full Extension of the Rogers-Ramanujan Continued Fraction
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Interprocedural Type Propagation for Object-Oriented Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Full Functional Verification of Linked Data Structures
Interprocedural Symbolic Range Propagation for Optimizing Compilers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Recurrent Full-Sib Family Selection for Husk Extension in Sweet Corn
Journal of the American Society for Horticultural Science
Horticulture
Genetics
Exact Side Effects for Interprocedural Dependence Analysis
Recherches Collectives
Revue d'Histoire de l'Amerique Francaise
History