编辑配置文件（在新选项卡中打开） 德普特、桑德 合著者距离 作者ID： 脱粒砂轮机 发布日期： 德普特、桑德 已编制索引的文档： 4出版物自2003年起 合著者： 2合著者具有4联合出版物 45位合作作者 合著者 0 单作者的 3 安东·J·维斯。 1 马格达·卡尔 系列 1 计算的形式方面 1 连续介质力学和热力学 领域 3 计算机科学（68至XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 3出版物有被引用14中的次14文件 引用人▼ 年份▼ 水平各向同性多孔层中的渗透对流。 Zbl 1032.76020号 马格达·卡尔;德普特、桑德 11 2003 行为模型到模型转换的形式化验证技术。 Zbl 1380.68286号 德普特、桑德;安东·威伊斯 2 2018 验证验证器：关于LTS转换验证技术的形式正确性。 Zbl 1378.68114号 德普特、桑德;安东·威伊斯 1 2016 行为模型到模型转换的形式化验证技术。 Zbl 1380.68286号 德普特、桑德;安东·威伊斯 2 2018 验证验证器：关于LTS转换验证技术的形式正确性。 Zbl 1378.68114号 德普特、桑德;安东·威伊斯 1 2016 水平各向同性多孔层中的渗透对流。 Zbl 1032.76020号 马格达·卡尔;德普特、桑德 11 2003 所有引用出版物 前5名被引用出版物 全部的 前5名17位作者引用 3 佛罗里达州卡彭 3 毛里齐奥·詹蒂莱 3 安东尼·希尔（Antony A.Hill）。 2 德普特、桑德 2 安东·J·维斯。 1 D.布林达。 1 哈达德，S.A.M。 1 李金浩 1 巴斯·卢提克 1 南骏达帕，C.E。 1 西瓦古鲁·S·拉文德兰。 1 拉维沙，M。 1 萨尔瓦托雷里奥内罗 1 印度什瓦库马拉。 1 琳达·斯潘宁斯 1 布莱恩·斯特劳恩 1 范格拉贝克、罗伯特·扬 全部的 前5名10篇连载文章中引用 4 机械学报 1 应用数学与计算 1 力学研究通讯 1 数值泛函分析与优化 1 Ricerche di Matematica公司 1 数学应用学报 1 应用数学快报 1 计算的形式方面 1 力学学报 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 11 流体力学（76-XX） 5 经典热力学，传热（80-XX） 3 偏微分方程（35-XX） 3 计算机科学（68至XX） 1 数值分析（65-XX） 1 可变形固体力学（74-XX） 按年份列出的引文