编辑配置文件（在新选项卡中打开） Khedker，Uday P。 合著者距离 作者ID： 赫德克尔.uday-p 发布日期： Khedker，Uday P。；乌代·科德克 已编制索引的文档： 5出版物自2003年以来，包括1本书 合著者： 10位合著者具有5联合出版物 123位Co-Co作者 全部的 前5名合著者 0 单作者的 三 三亚、阿弥陀佛 1 C.、尼亚斯 1 数据器，Advaita 1 Dhamdhere，Dhananjay M。 1 阿努什里·贾纳 1 阿迪蒂亚·卡纳德 1 巴格什里·卡卡尔 1 什拉旺·库马尔 1 阿兰·迈克罗夫特 1 拉金德兰·文卡泰什 系列 1 计算机语言、系统和结构 领域 5 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用6中的次6文件 引用人▼ 年份▼ 数据流分析。理论与实践。 Zbl 1168.68010号 Khedker，Uday P。；三亚、阿弥陀佛；巴格什里·卡卡尔 5 2009 通过使用数组转换程序来缩放有界模型检查。 Zbl 1485.68067号 阿努什里·贾纳；Khedker，Uday P。；数据器，Advaita；R·文卡特斯。；C.、尼亚斯 1 2017 通过使用数组转换程序来缩放有界模型检查。 Zbl 1485.68067号 阿努什里·贾纳；Khedker，Uday P。；数据器，Advaita；R·文卡特斯。；C.、尼亚斯 1 2017 数据流分析。理论与实践。 兹比尔1168.68010 Khedker，Uday P。；三亚、阿弥陀佛；巴格什里·卡卡尔 5 2009 所有引用出版物 前5名被引用出版物 全部的 前5名17位作者引用 1 穆拉德·阿洪多夫 1 戴维森·R·博卡多。 1 玛莎·契契克 1 尼克·冯 1 阿米尔·卡夫什达尔·戈哈沙迪 1 Hui，Vincent W.H。 1 阿伦·拉科蒂亚 1 陆玉良 1 多雷尔·卢卡努 1 亚历山德鲁·伊昂（Alexandru-Ioan）伦古（Lungu） 1 马纳切罗，Aleardo jun。 1 费德里科·莫拉 1 沈毅 1 安舒曼·辛格 1 于璐 1 艾哈迈德·哈利德·扎赫尔 1 赵佳珍 2篇连载文章中引用 1 高阶和符号计算 1 数学生物科学与工程 在3个字段中引用 5 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文