×

zbMATH — the first resource for mathematics

Yu, Dachuan

Compute Distance To:
Author ID: yu.dachuan Recent zbMATH articles by "Yu, Dachuan"
Published as: Yu, Dachuan; Yu, D.
Documents Indexed: 12 Publications since 2001

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 17 times in 14 Documents Cited by Year
Using XCAP to certify realistic systems code: Machine context management. Zbl 1144.68325
Ni, Zhaozhong; Yu, Dachuan; Shao, Zhong
5
2007
JavaScript instrumentation for browser security. Zbl 1295.68056
Yu, Dachuan; Chander, Ajay; Islam, Nayeem; Serikov, Igor
3
2007
A representation of \(F_{\omega}\) in LF. Zbl 1268.68055
Schürmann, Carsten; Yu, Dachuan; Ni, Zhaozhong
2
2001
Verification of safety properties for concurrent assembly code. Zbl 1323.68235
Yu, Dachuan; Shao, Zhong
2
2004
Formalization of generics for the .NET common language runtime. Zbl 1325.68053
Yu, Dachuan; Kennedy, Andrew; Syme, Don
1
2004
Building certified libraries for PCC: Dynamic storage allocation. Zbl 1032.68063
Yu, Dachuan; Hamid, Nadeem A.; Shao, Zhong
1
2003
Building certified libraries for PCC: dynamic storage allocation. Zbl 1075.68562
Yu, Dachuan; Hamid, Nadeem A.; Shao, Zhong
1
2004
Grid scheduling divisible loads from two sources. Zbl 1189.68028
Moges, M. A.; Yu, D.; Robertazzi, T. G.
1
2009
A numerical simulation method for dissolution in porous and fractured media. Zbl 1425.76255
Yu, D.; Ladd, A. J. C.
1
2010
A numerical simulation method for dissolution in porous and fractured media. Zbl 1425.76255
Yu, D.; Ladd, A. J. C.
1
2010
Grid scheduling divisible loads from two sources. Zbl 1189.68028
Moges, M. A.; Yu, D.; Robertazzi, T. G.
1
2009
Using XCAP to certify realistic systems code: Machine context management. Zbl 1144.68325
Ni, Zhaozhong; Yu, Dachuan; Shao, Zhong
5
2007
JavaScript instrumentation for browser security. Zbl 1295.68056
Yu, Dachuan; Chander, Ajay; Islam, Nayeem; Serikov, Igor
3
2007
Verification of safety properties for concurrent assembly code. Zbl 1323.68235
Yu, Dachuan; Shao, Zhong
2
2004
Formalization of generics for the .NET common language runtime. Zbl 1325.68053
Yu, Dachuan; Kennedy, Andrew; Syme, Don
1
2004
Building certified libraries for PCC: dynamic storage allocation. Zbl 1075.68562
Yu, Dachuan; Hamid, Nadeem A.; Shao, Zhong
1
2004
Building certified libraries for PCC: Dynamic storage allocation. Zbl 1032.68063
Yu, Dachuan; Hamid, Nadeem A.; Shao, Zhong
1
2003
A representation of \(F_{\omega}\) in LF. Zbl 1268.68055
Schürmann, Carsten; Yu, Dachuan; Ni, Zhaozhong
2
2001

Citations by Year