编辑配置文件(在新选项卡中打开) 卡默·阿皮尼 合著者距离 作者ID: 阿皮尼斯·卡尔默 发布日期: 卡默·阿皮尼 已编制索引的文档: 4出版物自2014年起 合著者: 6位合著者具有4联合出版物 75位合作作者 全部的 前5名合著者 0 单作者的 4 维萨尔·沃达尼 三 赫尔穆特·塞德尔 1 朱利安·埃哈德 1 西蒙·萨恩 1 马丁·施瓦兹。 1 瓦尔莫·维尼 系列 1 程序设计中的逻辑和代数方法杂志 字段 4 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 三出版物有被引用7中的次7文件 引用人▼ 年份▼ 通过扩大和缩小范围来加强自上而下的解决方案。 Zbl 1474.68043号 卡尔默阿皮尼斯;赫尔穆特·塞德尔;维萨尔·沃达尼 5 2016 基于地图的抽象域的需求驱动的过程间分析。 Zbl 1400.68054号 卡默·阿皮尼;瓦尔莫·维尼;维萨尔·沃达尼 1 2018 优先级调度程序中值相关同步的精确分析。 Zbl 1428.68120号 马丁·施瓦兹。;赫尔穆特·塞德尔;维萨尔·沃达尼;卡默·阿皮尼 1 2014 基于地图的抽象域的需求驱动的过程间分析。 Zbl 1400.68054号 卡尔默阿皮尼斯;瓦尔莫·维尼;维萨尔·沃达尼 1 2018 通过扩大和缩小范围来加强自上而下的解决方案。 Zbl 1474.68043号 卡默·阿皮尼;赫尔穆特·塞德尔;维萨尔·沃达尼 5 2016 对优先级计划程序中与值相关的同步进行精确分析。 Zbl 1428.68120号 马丁·施瓦兹。;赫尔穆特·塞德尔;维萨尔·沃达尼;卡默·阿皮尼 1 2014 所有引用出版物 排名前五的出版物 全部的 前5名16位作者引用 三 赫尔穆特·塞德尔 三 拉尔夫·福格勒 1 卡默·阿皮尼 1 迪帕克D’Souza 1 米纳克什·D’Souza 1 朱利安·埃哈德 1 金·古德斯特兰·拉森 1 彼得·诺布尔。 1 Rekha R.派。 1 普拉卡什,普拉蒂巴 1 斯特凡·舒尔泽·弗里林豪斯 1 阿披实·辛格 1 吉·斯尔巴 1 瓦尔莫·维尼 1 维萨尔·沃达尼 1 托拜厄斯·温齐尔 4篇连载文章中引用 2 系统设计中的形式化方法 2 程序设计中的逻辑和代数方法杂志 1 MSCS公司。计算机科学中的数学结构 1 SIAM科学计算杂志 在5个字段中引用 7 计算机科学(68-XX) 1 总体主题;集合(00-XX) 1 动力系统和遍历理论(37至XX) 1 几何图形(51-XX) 1 粒子和系统力学(70-XX) 按年份列出的引文