Modeling the Java Bytecode Verifier
- 期刊名称Science of Computer Programming
- 作者Reynolds, Mark C.
- 卷第78卷
- 期第3期
- 印刷ISSN0167-6423
- 文件大小283.60KB
- 发表时间2013-3
- DOI10.1016/j.scico.2011.03.008
- 页码327-342
Epoxide composites with thermally reduced graphite oxide and their propertiesArbuzov, A. A.; Muradyan, V. E.; Tarasov, B. P.; Sokolov, E. A.; Babenko, S. D. · Russian Journal of Physical Chemistry A · 2016
Directional control of physico-chemical and mechanical properties of epoxide composites by the addition of graphite-graphene structuresMostovoy, A.S.; Yakovlev, A.V.; Lopukhova, M.I. · Polymer-Plastics Technology and Materials · 2019
Total synthesis of (.+-.)-isocomenePirrung, Michael C. · Journal of the American Chemical Society · 1979
Decomposition of Malonic AnhydridesPerrin, Charles L.; Flach, Agnes; Manalo, Marlon N. · Journal of the American Chemical Society · 2012
Emissive RNA AlphabetShin, Dongwon; Sinkeldam, Renatus W.; Tor, Yitzhak · Journal of the American Chemical Society · 2011
Total Synthesis of (−)-IsoschizogamineMiura, Yusuke; Hayashi, Noriyuki; Yokoshima, Satoshi; Fukuyama, Tohru · Journal of the American Chemical Society · 2012
A Concise Synthesis of (+)-ArtemisininZhu, Chunyin; Cook, Silas P. · Journal of the American Chemical Society · 2012
Janus Colloidal MatchsticksChaudhary, Kundan; Chen, Qian; Juárez, Jaime J.; Granick, Steve; Lewis, Jennifer A. · Journal of the American Chemical Society · 2012
Trifluoromethylation of α-HaloketonesNovák, Petr; Lishchynskyi, Anton; Grushin, Vladimir V. · Journal of the American Chemical Society · 2012
Spotlights on Recent <i>JACS</i> PublicationsHayashi, Shinji; Okamoto, Takayuki · Journal of the American Chemical Society · 2012