Statistics
Publications
19
Citations
2K
H-Index
15
Active since
1994
Affiliations
Valery Trifonov is an author at Yale University specializing in type systems, computer science, and programming languages.
Publications per year
1994–2007
19
19
Predicting interactions in protein networks by completing defective cliques
Haiyuan Yu, Alberto Paccanaro, Valery Trifonov et al. · Bioinformatics · 2006 · 222 citations · Full text
Sound polymorphic type inference for objects
Jonathan Eifrig, Scott F. Smith, Valery Trifonov · 1995 · 105 citations · Full text
A type system for certified binaries
Zhong Shao, Bratin Saha, Valery Trifonov et al. · 2002 · 74 citations · Full text
1–5 of 19