编辑配置文件（在新选项卡中打开） 于大川 合著者距离 作者ID： 于达川 发布日期： 于大川 已编制索引的文档： 12出版物自2001年起 合著者： 8位合著者具有8联合出版物 62位合作作者 全部的 前5名合著者 1 单作者的 4 邵，钟 2 纳迪姆·阿卜杜勒·哈米德 2 伊斯兰教，纳耶姆 2 倪兆忠 1 阿杰·钱德 1 安东尼·J·C·拉德。 1 Moges，医学硕士。 1 托马斯·罗伯塔齐。 1 卡斯滕·舒尔曼 1 伊戈尔·斯里科夫 1 唐·赛姆 系列 1 现代物理快报A 1 计算机与数学及其应用 1 计算物理杂志 1 计算机程序设计科学 全部的 前5名领域 10 计算机科学（68至XX） 1 数值分析（65-XX） 1 流体力学（76-XX） 1 统计力学，物质结构（82-XX） 1 相对论和引力理论（83至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用19中的次16文件 引用人▼ 年份▼ 使用XCAP验证实际的系统代码：机器上下文管理。 Zbl 1144.68325号 倪兆忠;于大川;邵，钟 6 2007 用于浏览器安全的JavaScript指令插入。 Zbl 1295.68056号 于大川;阿杰·钱德;伊斯兰教，纳耶姆;伊戈尔·斯里科夫 3 2007 LF中的\（F_{\omega}\）表示。 Zbl 1268.68055号 卡斯滕·舒尔曼;于大川;倪兆忠 2 2001 一种用于保密的类型化汇编语言。 Zbl 1178.68130号 于大川;伊斯兰教，纳耶姆 2 2006 验证并发程序集代码的安全属性。 Zbl 1323.68235号 于大川;邵，钟 2 2004 多孔介质和裂隙介质中溶解的数值模拟方法。 Zbl 1425.76255号 D.Yu。;拉德，A.J.C。 2 2010 网格调度来自两个源的可分割负载。 Zbl 1189.68028号 Moges，医学硕士。;D.Yu。;T·G·罗伯塔齐。 1 2009 更多类型的汇编语言以确保机密性。 Zbl 1137.68359号 于大川 1 2007 为PCC构建认证库：动态存储分配。 Zbl 1075.68562号 于大川;纳迪姆·A·哈米德。;邵，钟 1 2004 为PCC构建认证库：动态存储分配。 Zbl 1032.68063号 于大川;纳迪姆·A·哈米德。;邵，钟 1 2003 的泛型形式化。NET公共语言运行库。 兹比尔1325.68053 于大川;安德鲁·肯尼迪;唐·赛姆 1 2004 多孔介质和裂隙介质中溶解的数值模拟方法。 Zbl 1425.76255号 D.Yu。;拉德，A.J.C。 2 2010 网格调度来自两个源的可分割负载。 Zbl 1189.68028号 Moges，医学硕士。;D.Yu。;罗伯塔齐，T.G。 1 2009 使用XCAP验证实际的系统代码：机器上下文管理。 兹比尔1144.68325 倪兆忠;于大川;邵，钟 6 2007 用于浏览器安全的JavaScript指令插入。 Zbl 1295.68056号 于大川;阿杰·钱德;伊斯兰教，纳耶姆;伊戈尔·斯里科夫 3 2007 更多类型的汇编语言以确保机密性。 Zbl 1137.68359号 于大川 1 2007 一种用于保密的类型化汇编语言。 Zbl 1178.68130号 于大川;伊斯兰教，纳耶姆 2 2006 验证并发装配代码的安全属性。 Zbl 1323.68235号 于大川;邵，钟 2 2004 为PCC构建认证库：动态存储分配。 Zbl 1075.68562号 于大川;纳迪姆·A·哈米德。;邵，钟 1 2004 的泛型形式化。NET公共语言运行库。 Zbl 1325.68053号 于大川;安德鲁·肯尼迪;西蒙，唐 1 2004 为PCC构建认证库：动态存储分配。 Zbl 1032.68063号 于大川;纳迪姆·A·哈米德。;邵，钟 1 2003 LF中的\（F_{\omega}\）表示。 Zbl 1268.68055号 卡斯滕·舒尔曼;于大川;倪兆忠 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名被39位作者引用 2 董，袁 2 于大川 1 亚历山大·埃亨 1 艾亚德·阿尔卡萨 1 娜塔莉亚·比埃洛娃 1 米歇尔·布格列西 1 斯特凡诺·卡尔扎瓦拉 1 克里斯滕森，迈克尔·F。 1 马提亚斯·达姆 1 Dörrenbächer，简 1 冯新余 1 里卡多·福卡迪 1 安东尼·C·J·福克斯。 1 傅明 1 迈克尔·J·C·戈登。 1 郭瑜 1 本·哈德科夫 1 罗伯特·哈珀 1 Hillebrand，Mark A。 1 格温·克莱恩 1 德克·莱恩巴赫（Dirk C.Leinenbach）。 1 李晓伟 1 李勇 1 丹尼尔·李卡塔（Daniel R.Licata）。 1 约瑟夫·麦克马汉 1 玛格努斯·奥·米林。 1 倪兆忠 1 劳顿·尼科尔斯 1 贾里德·罗埃什 1 Norbert W.Schirmer。 1 卡斯滕·舒尔曼 1 邵，钟 1 蒂莫西·舍伍德 1 阿特姆·斯塔罗斯汀 1 亚历山德拉·茨班 1 王胜元 1 沃尔夫，伯克哈特 1 吉田、Nobuko 1 张瑜 全部的 前5名10篇连载文章中引用 3 自动推理杂志 2 理论计算机科学 1 倒排索引综述 1 计算机程序设计科学 1 函数编程杂志 1 逻辑与代数程序设计杂志 1 萨达纳 1 科学中国。信息科学 1 中国计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 16 计算机科学（68至XX） 3 数学逻辑和基础（03-XX） 按年份列出的引文