编辑配置文件(在新选项卡中打开) Ka I.潘。 合著者距离 作者ID: 双关语ka-i 发布日期: 潘,卡一;Ka I.潘。 编入索引的文档: 7出版物自2012年起 合著者: 11位合著者具有7联合出版物 217位合作作者 全部的 前5名合著者 0 单作者的 4 马丁·斯特芬 4 沃尔克·斯托尔茨 2 埃纳尔·布罗赫·约翰森 2 吉列尔莫·罗曼·迪兹 1 艾尔维拉·阿尔伯特 1 科雷亚斯,耶苏斯 1 Din、Crystal Chang 1 雷纳·哈内尔 1 科西莫·拉内夫 1 迈克尔·连哈特 1 塔皮娅·塔里法(Tapia Tarifa)、西尔维娅·利泽斯(Silvia Lizeth) 系列 三 程序设计中的逻辑和代数方法杂志 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 领域 7 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用12中的次11文件 引用人▼ 年份▼ 平行成本分析。 Zbl 1407.68062号 艾尔维拉·阿尔伯特;科里亚斯,杰苏斯;埃纳尔·布罗赫·约翰森;Ka I.潘。;吉列尔莫·罗曼·迪兹 6 2018 行为效应系统对锁处理进行死锁检查。 兹比尔1246.68097 Ka I.潘。;马丁·斯特芬;沃尔克·斯托尔茨 三 2012 通过数据竞争检测进行死锁检查。 Zbl 1434.68112号 潘,卡一;马丁·斯特芬;沃尔克·斯托尔茨 1 2013 通过数据竞争检测进行死锁检查。 Zbl 1371.68199号 潘,卡一;马丁·斯特芬;沃尔克·斯托尔茨 1 2014 演员节目的时间分析。 Zbl 1423.68090号 科西莫·拉内夫;迈克尔·连哈特;Ka I.潘。;吉列尔莫·罗曼·迪兹 1 2019 演员节目的时间分析。 Zbl 1423.68090号 科西莫·拉内夫;迈克尔·连哈特;Ka I.潘。;吉列尔莫·罗曼·迪兹 1 2019 平行成本分析。 Zbl 1407.68062号 艾尔维拉·阿尔伯特;科里亚斯,杰苏斯;埃纳尔·布罗赫·约翰森;Ka I.潘。;吉列尔莫·罗曼·迪兹 6 2018 通过数据竞争检测进行死锁检查。 Zbl 1371.68199号 潘,卡一;马丁·斯特芬;沃尔克·斯托尔茨 1 2014 通过数据竞争检测进行死锁检查。 Zbl 1434.68112号 潘,卡一;马丁·斯特芬;沃尔克·斯托尔茨 1 2013 行为效应系统对锁处理进行死锁检查。 兹比尔1246.68097 Ka I.潘。;马丁·斯特芬;沃尔克·斯托尔茨 三 2012 所有引用出版物 前5名被引用出版物 全部的 前5名27位作者引用 4 Ka I.潘。 三 马丁·斯特芬 三 沃尔克·斯托尔茨 2 科西莫·拉内夫 1 艾尔维拉·阿尔伯特 1 穆罕默德·里兹万·阿里 1 泰斯·波顿 1 米克尔波菲尔 1 克里斯蒂娜·博拉莱拉斯 1 诺曼·丹纳 1 卡斯滕·福斯 1 约翰·加拉赫(John P.Gallagher)。 1 劳雷·贡诺德 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 埃纳尔·布罗赫·约翰森 1 马克西米利亚诺·克莱门 1 直纪小林 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 迈克尔·连哈特 1 佩德罗·洛佩兹·加西亚 1 恩里克·马丁·马汀 1 何塞·弗朗西斯科·莫拉莱斯 1 Pun、Violet Ka I。 1 吉列尔莫·罗曼·迪兹 1 阿尔伯特·鲁比奥 1 鲁道夫·施拉特 1 拉斯·特维托 5篇连载文章中引用 三 程序设计中的逻辑和代数方法杂志 1 信息与计算 1 函数编程杂志 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 在2个字段中引用 11 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文