The SCEAS System
Navigation Menu

Search the dblp DataBase


Dachuan Yu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu
    Variance and Generalized Constraints for C# Generics. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2006, pp:279-303 [Conf]
  2. Dachuan Yu, Nayeem Islam
    A Typed Assembly Language for Confidentiality. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:162-179 [Conf]
  3. Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
    Building Certified Libraries for PCC: Dynamic Storage Allocation. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:363-379 [Conf]
  4. Dachuan Yu, Zhong Shao
    Verification of safety properties for concurrent assembly code. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:175-188 [Conf]
  5. Subbaraya Yuvarajan, Dachuan Yu
    Characteristics and modelling of PEM fuel cells. [Citation Graph (0, 0)][DBLP]
    ISCAS (5), 2004, pp:880-883 [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. Dachuan Yu, Andrew Kennedy, Don Syme
    Formalization of generics for the .NET common language runtime. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:39-51 [Conf]
  8. Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
    JavaScript instrumentation for browser security. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:237-249 [Conf]
  9. Lu Pei, Dachuan Yu, Lu Jian, David L. Shang
    A Method for Using Object-Oriented Frameworks to Support Various High-Level Parallel Computing Models. [Citation Graph (0, 0)][DBLP]
    TOOLS (24), 1997, pp:151-158 [Conf]
  10. Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
    Building certified libraries for PCC: dynamic storage allocation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:50, n:1-3, pp:101-127 [Journal]
  11. Lu Pei, Dachuan Yu, Jian Lu
    A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:9, pp:57-60 [Journal]
  12. Carsten Schürmann, Dachuan Yu, Zhaozhong Ni
    A Representation of Fomega in LF. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
  13. Zhaozhong Ni, Dachuan Yu, Zhong Shao
    Using XCAP to Certify Realistic Systems Code: Machine Context Management. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:189-206 [Conf]

  14. More Typed Assembly Languages for Confidentiality. [Citation Graph (, )][DBLP]

  15. JavaScript Instrumentation in Practice. [Citation Graph (, )][DBLP]

  16. Formal Specification and Analysis of Timing Properties in Software Systems. [Citation Graph (, )][DBLP]

  17. Dynamic test input generation for web applications. [Citation Graph (, )][DBLP]

  18. Better abstractions for secure server-side scripting. [Citation Graph (, )][DBLP]

Search in 0.057secs, Finished in 0.059secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002