The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Valery Trifonov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
    Application of OOP Type Theory: State, Decidability, Integragtion. [Citation Graph (1, 0)][DBLP]
    OOPSLA, 1994, pp:16-30 [Conf]
  2. Christopher League, Zhong Shao, Valery Trifonov
    Precision in Practice: A Type-Preserving Java Compiler. [Citation Graph (0, 0)][DBLP]
    CC, 2003, pp:106-120 [Conf]
  3. Valery Trifonov, Zhong Shao
    Safe and Principled Language Interoperation. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:128-146 [Conf]
  4. Christopher League, Zhong Shao, Valery Trifonov
    Representing Java Classes in a Typed Intermediate Language. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:183-196 [Conf]
  5. Valery Trifonov, Bratin Saha, Zhong Shao
    Fully reflexive intensional type analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:82-93 [Conf]
  6. Dachuan Yu, Zhong Shao, Valery Trifonov
    Supporting Binary Compatibility with Static Compilation. [Citation Graph (0, 0)][DBLP]
    Java™ Virtual Machine Research and Technology Symposium, 2002, pp:165-180 [Conf]
  7. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
    A Syntactic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:89-100 [Conf]
  8. Jonathan Eifrig, Scott F. Smith, Valery Trifonov
    Sound Polymorphic Type Inference for Objects. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1995, pp:169-184 [Conf]
  9. John Peterson, Valery Trifonov, Andrei Serjantov
    Parallel Functional Reactive Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:16-31 [Conf]
  10. Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
    A type system for certified binaries. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:217-232 [Conf]
  11. Valery Trifonov, Scott F. Smith
    Subtyping Constrained Types. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:349-365 [Conf]
  12. Zhong Shao, Valery Trifonov
    Type-Directed Continuation Allocation. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:116-135 [Conf]
  13. Haiyuan Yu, Alberto Paccanaro, Valery Trifonov, Mark Gerstein
    Predicting interactions in protein networks by completing defective cliques. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2006, v:22, n:7, pp:823-829 [Journal]
  14. Jonathan Eifrig, Scott F. Smith, Valery Trifonov
    Type inference for recursively constrained types and its application to OOP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  15. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
    A Syntactic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:3-4, pp:191-229 [Journal]
  16. Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
    An Interpretation of Typed OOP in a Language with State. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:4, pp:357-397 [Journal]
  17. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
    On Binary Methods. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:3, pp:221-242 [Journal]
  18. Christopher League, Zhong Shao, Valery Trifonov
    Type-preserving compilation of Featherweight Java. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2002, v:24, n:2, pp:112-152 [Journal]
  19. Bratin Saha, Valery Trifonov, Zhong Shao
    Intensional analysis of quantified types. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2003, v:25, n:2, pp:159-209 [Journal]
  20. Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou
    A type system for certified binaries. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:1-45 [Journal]

Search in 0.292secs, Finished in 0.293secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002