National University of Ireland, Maynooth, Ireland;
Trinity College Dublin, Ireland;
机译:用于资源密集型Java字节码半自动网格化的软件工具及其在光线跟踪和序列对齐中的应用
机译:通过代码转换和标准字节码验证来检查Java字节码中的安全信息流
机译:使用BML规范注释的Java Bytecode程序的正式模型。
机译:Java Bytecode序列的Bigram分析
机译:Java字节码中的信息流分析和实施
机译:Euryhaline爪哇鱼MedakaOryzias javanicus的基因组序列:盐度适应性研究的小型水族馆鱼模型。
机译:Java字节码的模块化和现场敏感终止分析=模块化和敏感终止分析Java字节码字段
机译:Java Bytecode用于运行时分析的工具