Application of OOP Type Theory: State, Decidability, Integragtion. - Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov; Amy E. Zwarico (OOPSLA, 1994)

Sound Polymorphic Type Inference for Objects. - Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov (OOPSLA, 1995)

Type inference for recursively constrained types and its application to OOP. - Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov (MFPS, 1995)

An Interpretation of Typed OOP in a Language with State. - Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov; Amy E. Zwarico (LISP Symb. Comput., 1995)

On Binary Methods. - Kim B. Bruce; Luca Cardelli; Giuseppe Castagna; Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov; Gary T. Leavens; Benjamin C. Pierce (Theory Pract. Object Syst., 1995)

Subtyping Constrained Types. - Valery Trifonov; Scott F. Smith 001 (SAS, 1996)

Type-Directed Continuation Allocation. - Zhong Shao 001; Valery Trifonov (Types in Compilation, 1998)

Safe and Principled Language Interoperation. - Valery Trifonov; Zhong Shao 001 (ESOP, 1999)

Representing Java Classes in a Typed Intermediate Language. - Christopher League; Zhong Shao 001; Valery Trifonov (ICFP, 1999)

Fully reflexive intensional type analysis. - Valery Trifonov; Bratin Saha; Zhong Shao 001 (ICFP, 2000)

Parallel Functional Reactive Programming. - John Peterson; Valery Trifonov; Andrei Serjantov (PADL, 2000)

Supporting Binary Compatibility with Static Compilation. - Dachuan Yu; Zhong Shao 001; Valery Trifonov (Java Virtual Machine Research and Technology Symposium, 2002)

Type-preserving compilation of Featherweight Java. - Christopher League; Zhong Shao 001; Valery Trifonov (ACM Trans. Program. Lang. Syst., 2002)

Precision in Practice: A Type-Preserving Java Compiler. - Christopher League; Zhong Shao 001; Valery Trifonov (CC, 2003)

Simulating quantified class constraints. - Valery Trifonov (Haskell, 2003)

A Syntactic Approach to Foundational Proof-Carrying Code. - Nadeem Abdul Hamid; Zhong Shao 001; Valery Trifonov; Stefan Monnier; Zhaozhong Ni (J. Autom. Reason., 2003)

Intensional analysis of quantified types. - Bratin Saha; Valery Trifonov; Zhong Shao 001 (ACM Trans. Program. Lang. Syst., 2003)

Inferring protein-protein interactions using interaction network topologies. - Alberto Paccanaro; Valery Trifonov; Haiyuan Yu; Mark Gerstein (IJCNN, 2005)

A type system for certified binaries. - Zhong Shao 001; Valery Trifonov; Bratin Saha; Nikolaos Papaspyrou (ACM Trans. Program. Lang. Syst., 2005)

Predicting interactions in protein networks by completing defective cliques. - Haiyuan Yu; Alberto Paccanaro; Valery Trifonov; Mark Gerstein (Bioinform., 2006)

The Importance of Bottlenecks in Protein Networks: Correlation with Gene Essentiality and Expression Dynamics. - Haiyuan Yu; Philip M. Kim; Emmett Sprecher; Valery Trifonov; Mark Gerstein (PLoS Comput. Biol., 2007)