Valery Trifonov
发表
Zhong Shao,
Christopher League,
Valery Trifonov,
2003,
CC.
Scott F. Smith,
Amy E. Zwarico,
Valery Trifonov,
1994,
OOPSLA.
Valery Trifonov,
2003,
Haskell '03.
Zhong Shao,
Christopher League,
Valery Trifonov,
2003,
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Zhong Shao,
Nadeem Abdul Hamid,
Stefan Monnier,
2004,
Journal of Automated Reasoning.
Zhong Shao,
Valery Trifonov,
Bratin Saha,
2005
.
Mark Gerstein,
Valery Trifonov,
Haiyuan Yu,
2007,
PLoS Comput. Biol..
Zhong Shao,
Valery Trifonov,
Bratin Saha,
2003,
TOPL.
Zhong Shao,
Valery Trifonov,
1999,
ESOP.
Zhong Shao,
Christopher League,
Valery Trifonov,
2002,
TOPL.
Luca Cardelli,
Gary T. Leavens,
Giuseppe Castagna,
1995,
Theory Pract. Object Syst..
Zhong Shao,
Dachuan Yu,
Valery Trifonov,
2002,
Java Virtual Machine Research and Technology Symposium.
Andrew W. Appel,
Zhong Shao,
Valery Trifonov,
2005
.
Scott F. Smith,
Valery Trifonov,
Jonathan Eifrig,
1995,
MFPS.
Zhong Shao,
Valery Trifonov,
Bratin Saha,
2000,
ICFP '00.
Zhong Shao,
Nadeem Abdul Hamid,
Stefan Monnier,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Scott F. Smith,
Valery Trifonov,
V. Trifonov,
1996,
SAS.
Zhong Shao,
Nikolaos S. Papaspyrou,
Valery Trifonov,
2002,
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Scott F. Smith,
Valery Trifonov,
Jonathan Eifrig,
1995,
OOPSLA.
Scott F. Smith,
Amy E. Zwarico,
Valery Trifonov,
1994,
OOPSLA.
Scott F. Smith,
Amy E. Zwarico,
Valery Trifonov,
1995,
LISP Symb. Comput..
Zhong Shao,
Valery Trifonov,
1998,
Types in Compilation.
John Peterson,
Valery Trifonov,
Andrei Serjantov,
2000,
PADL.
Mark Gerstein,
Valery Trifonov,
Haiyuan Yu,
2006,
Bioinform..
Zhong Shao,
Christopher League,
Valery Trifonov,
1999,
ICFP '99.
Zhong Shao,
Dachuan Yu,
Valery Trifonov,
2002
.