编辑配置文件（在新选项卡中打开） 马来K·加奈。 合著者距离 作者ID： 加纳伊马莱-k 发布日期： 马来K·加奈。；马来加奈；马来K加奈；M.K.加奈。 更多。。。较少的 已编制索引的文档： 13出版物自2003年以来，包括1本书 合著者： 10位合著者具有13联合出版物 162位合作作者 全部的 前5名合著者 0 单作者的 12 阿尔蒂·古普塔 5 普拉纳夫·阿沙尔 4 弗兰乔·伊万契奇 4 王超 三 杨紫江 2 利马耶·里希克什 2 穆拉利达尔·塔卢普尔 1 希曼舒·杰恩 1 Sudipta昆都 1 伊利亚·什利亚克特 系列 1 理论计算机科学 1 计算的形式方面 1 可满足性、布尔建模与计算杂志 领域 13 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用44中的次34文件 引用人▼ 年份▼ 用于软件验证的高效SAT有界模型检查。 Zbl 1293.68079号 弗兰乔·伊万契奇；杨紫江；马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 11 2008 基于SAT的可扩展正式验证解决方案。 Zbl 1138.68037号 马来加奈；阿尔蒂·古普塔 6 2007 F-Soft：软件验证平台。 Zbl 1081.68581号 Ivančić，F。；Z.杨。；M.K.加奈。；A.古普塔。；我·什利亚克特。；阿沙尔，P。 5 2005 并发程序的符号预测分析。 Zbl 1242.68187号 王超；Sudipta昆都；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 4 2011 通过SAT和增量负循环消除确定分离逻辑公式。 Zbl 1143.68583号 王超；弗兰乔·伊万契奇；马来加奈；阿尔蒂·古普塔 4 2005 高效的分布式SAT和基于SAT的分布式有界模型检查。 Zbl 1179.68084号 马来K加奈；阿尔蒂·古普塔；杨紫江；普拉纳夫·阿沙尔 三 2003 原子性违规的基于痕迹的符号分析。 兹比尔1284.68418 王超；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 三 2010 SDSAT：在分离逻辑求解器中紧密集成小域编码和惰性方法。 Zbl 1180.68241号 马来K加奈；穆拉利达尔·塔卢普尔；阿尔蒂·古普塔 2 2006 基于SAT的验证方法及其在硬件验证中的应用。 Zbl 1182.68119号 阿尔蒂·古普塔；马来K·加奈。；王超 2 2006 谓词抽象的本地化和寄存器共享。 Zbl 1087.68593号 希曼舒·杰恩；弗兰乔·伊万契奇；阿尔蒂·古普塔；马来K·加奈。 2 2005 有界模型检测中嵌入式存储器的高效建模。 Zbl 1103.68615号 马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 1 2004 DiVer：基于SAT的模型检查平台，用于验证大规模系统。 Zbl 1087.68588号 马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 1 2005 并发程序的符号预测分析。 Zbl 1242.68187号 王超；Sudipta昆都；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 4 2011 原子性违规的基于痕迹的符号分析。 兹比尔1284.68418 王超；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 三 2010 用于软件验证的高效SAT有界模型检查。 Zbl 1293.68079号 弗兰乔·伊万契奇；杨紫江；马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 11 2008 基于SAT的可扩展正式验证解决方案。 Zbl 1138.68037号 马来加奈；阿尔蒂·古普塔 6 2007 SDSAT：在分离逻辑求解器中紧密集成小域编码和惰性方法。 Zbl 1180.68241号 马来K加奈；穆拉利达尔·塔卢普尔；阿尔蒂·古普塔 2 2006 基于SAT的验证方法及其在硬件验证中的应用。 Zbl 1182.68119号 阿尔蒂·古普塔；马来K·加奈。；王超 2 2006 F-Soft：软件验证平台。 Zbl 1081.68581号 Ivančić，F。；Z.杨。；M.K.加奈。；A.古普塔。；我·什利亚克特。；阿沙尔，P。 5 2005 通过SAT和增量负循环消除确定分离逻辑公式。 Zbl 1143.68583号 王超；弗兰乔·伊万契奇；马来加奈；阿尔蒂·古普塔 4 2005 谓词抽象的本地化和寄存器共享。 Zbl 1087.68593号 希曼舒·杰恩；弗兰乔·伊万契奇；阿尔蒂·古普塔；马来K·加奈。 2 2005 DiVer：基于SAT的模型检查平台，用于验证大规模系统。 Zbl 1087.68588号 马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 1 2005 有界模型检测中嵌入式存储器的高效建模。 Zbl 1103.68615号 马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 1 2004 高效的分布式SAT和基于SAT的分布式有界模型检查。 Zbl 1179.68084号 马来K加奈；阿尔蒂·古普塔；杨紫江；普拉纳夫·阿沙尔 三 2003 所有引用的出版物 前5名被引用出版物 全部的 前5名被85位作者引用 三 阿尔蒂·古普塔 2 贝恩德·贝克尔 2 阿明·比尔 2 蔡少伟 2 马来K·加奈。 2 Heule，Marijn J.H。 2 丹尼尔·科宁 2 李伯翰 2 卡梅什·马杜里 2 克里斯托夫·斯科尔 2 沙尔马，苏博德·K·。 2 克里希纳·苏布拉马尼 2 拉尔夫·维默（Ralf D.Wimmer）。 2 杨子江 2 张新迪 1 艾丽卡·阿尔布拉汉姆 1 罗曼·艾萨特 1 巴沙尔·拉维 1 普拉纳夫·阿沙尔 1 苏海卜·巴里尔 1 基南·布雷克 1 Cheremisinova，L.D。 1 赫莱内·科拉维扎 1 戴维·戴哈贝 1 罗尔夫·德雷克斯勒 1 段振华 1 Masahiro Fujita 1 艾尔·格恩斯特 1 拉杜·格罗苏 1 顾，明 1 何开多 1 马克·赫伯斯特里特 1 黄晓婉 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 弗兰乔·伊万契奇 1 Jin，HoonSang先生 1 维尼特·卡隆 1 奥利弗·凯斯科兹 1 赫里蒂·卡纳 1 阿尼萨·凯里丁 1 本杰明·基尔 1 金，Hyandeuk 1 佐藤小松 1 汉斯·约尔格·克鲁斯基 1 Sudipta昆都 1 萨宾·库斯克 1 李，李 1 利马耶·里希克什 1 内森·穆尔 1 庞硕 1 拉胡尔·普兰达雷 1 沙兹·卡迪尔 1 西尔维奥·兰伊斯 1 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 1 艾蒂安·雷诺 1 罗德里格斯，塞萨尔·马林 1 米歇尔·鲁赫 1 卡里姆·A·萨卡拉。 1 萨库孔恰克，Thanyapat 1 延斯·施罗德 1 肯尼思·施密茨 1 Aleksandr Anatol’evich塞梅诺夫 1 迪维扬贾利夏尔马 1 尤拉吉·西奇 1 斯科特·斯莫尔卡。 1 Soh，武藏 1 大卫·索洛维奇克 1 法比奥·萨蒙齐 1 宋晓宇 1 马丁·斯特芬 1 Tauras，C.托拉斯。 1 塔尤·贾梅尼（Tayou Djamegni），克莱门汀（Clémentin） 1 罗德里格·科南·钦达 1 克里斯·塔楚克 1 田聪 1 塔希萨·托达 1 泰瑟·图利 1 帕斯卡·范·亨特利克 1 约旦维达尔 1 福雷德里克·沃辛 1 王超 1 乔治·威森巴赫 1 沃尔夫，伯克哈特 1 于朝峰 1 张楠 全部的 前5名13篇连载文章中引用 5 理论计算机科学 三 约束条件 2 计算的形式方面 1 应用数学与计算 1 计算 1 SIAM计算机杂志 1 自动推理杂志 1 自动化和远程控制 1 ACM计算逻辑事务 1 ACM实验算法杂志 1 浙江大学学报。科学A 1 可满足性、布尔建模与计算杂志 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名在7个字段中引用 31 计算机科学（68至XX） 5 数理逻辑与基础（03-XX） 三 运筹学、数学规划（90-XX） 三 信息与通信理论、电路（94-XX） 2 组合数学（05-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文