编辑配置文件（在新选项卡中打开） 穆利·萨吉夫 合著者距离 作者ID： 萨吉夫·莫利 发布日期： 穆利·萨吉夫；萨吉夫，M。 已编制索引的文档： 79出版物自1995年起 2作为编辑的贡献 合著者： 99位合著者具有80联合出版物 1608合著作者 全部的 前5名合著者 1 单作者的 23 代表，Thomas W。 11 尼尔·伊梅尔曼 9 塔尔省列夫·阿米 9 诺姆·里内茨基 9 埃兰·雅哈夫 9 约什，格雷塔 8 罗马人Manevich 8 甘尼桑拉马林加姆 8 沙龙·肖姆 7 奥德·帕顿 7 莱因哈德·威廉 6 亚历山大·拉比诺维奇 5 阿列克谢·罗尼诺夫 4 乔什·伯丁 4 拜伦·库克 4 约塔姆·M·Y·费尔德曼。 4 苏米特·古尔瓦尼 4 沙迦·伊扎基 4 迈克尔·罗德 三 约格·鲍尔 三 努里特·多尔 三 约翰·埃弗雷特·菲尔德 三 肯尼思·麦克米兰。 三 冉·沙哈姆 2 亚哈龙·阿巴迪 2 吉拉德·阿诺德 2 艾哈迈德·博阿贾尼 2 丹尼斯·戈潘 2 苏珊·霍维茨 2 阿列克桑德·卡比雪夫 2 埃利奥特·科洛德纳。 2 奥里·拉哈夫 2 安托万·迈耶 2 弗莱明·尼尔森 2 斯利瓦斯塔瓦（Siddharth Srivastava） 1 亚历克斯·艾肯 1 卡列夫·阿尔佩纳斯 1 阿米特，达芙娜 1 鲍尔，托马斯 1 安妮迪亚·班纳吉 1 尼古拉·S·比约纳。 1 拉斯蒂斯拉夫·博迪克 1 塞巴斯蒂安·伯克哈特 1 阿齐姆·查德哈里 1 萨拉·科恩（Sara A.Cohen）。 1 伊西尔·迪利格 1 托马斯·迪利格 1 Frank DiMaio先生 1 什洛米·多列夫 1 曼努埃尔·Fähndrich 1 凯萨琳·费希尔 1 尼西姆·弗朗西兹 1 阿斯亚·弗鲁姆金 1 戈兰·格塔，盖伊 1 阿列克谢·戈茨曼 1 戈亚尔、迪帕克 1 雪莉·格罗斯曼 1 哈夫·因农 1 彼得·霍金斯 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 Jochen Hoenicke公司 1 约翰·Hölzl 1 贝特朗·珍妮特 1 科克萨尔，阿里·西南 1 斯维亚托斯拉夫·科尔涅夫 1 托默·科特克 1 约格·克里克 1 安德烈亚斯·库尔曼 1 奥尔纳·库普弗曼 1 Daan Leijen 1 安大略省Lhoták 1 李伯阳 1 尤西·马蒂亚斯 1 比尔·麦克洛斯基 1 阿列克桑达尔·纳内夫斯基 1 尼娜·纳罗季斯卡 1 大卫·奥伦 1 奥泽里，或 1 熊猫，Aurojit 1 安德烈亚斯·波德尔斯基 1 卢卡·普利纳 1 亚历克斯·拉比诺维奇 1 代表，汤姆 1 汉内·里斯·尼尔森 1 马丁·里纳德（Martin C.Rinard）。 1 约翰·L·罗斯。 1 安德烈·里巴尔琴科 1 阿萨夫·舒斯特 1 奥哈德·沙查姆 1 斯科特·J·申克。 1 阿曼多·塔切拉 1 奥尔·塔米尔 1 赫尔穆特·维思 1 纱线维纳 1 克里斯托夫·韦登巴赫 1 詹姆斯·威尔科克斯。 1 杨红seok 1 奥伦·佐默 1 弗洛里安·祖勒格 全部的 前5名系列 2 系统设计中的形式化方法 2 计算机科学课堂讲稿 2 计算机科学中的逻辑方法 1 信息学报 1 信息处理信件 1 理论计算机科学 1 计算机程序设计科学 1 符号计算杂志 1 并行与分布式计算杂志 1 北欧计算机杂志 1 IGPL逻辑杂志 1 美国医学会杂志 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 领域 81 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 65出版物有被引用393中的次263文件 引用人▼ 年份▼ 精确的过程间数据流分析，应用于恒定传播。 Zbl 0874.68133号 穆利·萨吉夫；代表，托马斯；苏珊·霍维茨 27 1996 数组操作的数值分析框架。 Zbl 1369.68138号 丹尼斯·戈潘；代表，托马斯；穆利·萨吉夫 22 2005 TVLA：用于实现静态分析的系统。 Zbl 0966.68580号 塔尔省列夫·阿米；穆利·萨吉夫 20 2000 通过外展的循环组合程序证明的合成。 Zbl 1381.68057号 李伯阳；伊西尔·迪利格；托马斯·迪利格；麦克米兰，肯；穆利·萨吉夫 20 2013 精确的过程间数据流分析，应用于持续传播。 Zbl 1496.68079号 穆利·萨吉夫；代表，托马斯；苏珊·霍维茨 18 1995 最佳变压器的符号实现。 Zbl 1202.68255号 代表，托马斯；穆利·萨吉夫；约什，格雷塔 15 2004 传递闭包逻辑的可判定性和不可判定性之间的边界。 邮编1095.03008 尼尔·伊梅尔曼；亚历克斯·拉比诺维奇；代表，汤姆；穆利·萨吉夫；约什，格雷塔 14 2004 可存储锁和线程的本地推理。 Zbl 1137.68354号 阿列克谢·戈茨曼；乔什·伯丁；拜伦·库克；诺姆·里内茨基；穆利·萨吉夫 13 2007 单链表的谓词抽象和规范抽象。 Zbl 1111.68398号 罗马人Manevich；E.雅哈夫。；拉马林加姆，G。；穆利·萨吉夫 13 2005 链接数据结构中可访问模式的逻辑。 Zbl 1180.68131号 约什，格雷塔；亚历山大·拉比诺维奇；穆利·萨吉夫；安托万·迈耶；艾哈迈德·博阿贾尼 11 2006 证明有条件终止。 Zbl 1155.68431号 拜伦·库克；苏米特·古尔瓦尼；塔尔省列夫·阿米；安德烈·里巴尔琴科；穆利·萨吉夫 11 2008 通过三值逻辑进行静态程序分析。 Zbl 1103.68635号 代表，Thomas W。；穆利·萨吉夫；莱因哈德·威廉 11 2004 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 兹比尔1135.68556 列夫·阿米，T。；伊梅尔曼，N。；代表，T。；萨吉夫，M。；斯利瓦斯塔瓦，S。；约什，G。 10 2005 在抽象下进行比较，以验证线性化能力。 Zbl 1135.68462号 阿米特，达芙娜；诺姆·里内茨基；代表，托马斯；穆利·萨吉夫；埃兰·雅哈夫 9 2007 将DPLL推广到更丰富的逻辑。 Zbl 1242.68282号 肯尼思·麦克米兰。；安德烈亚斯·库尔曼；穆利·萨吉夫 9 2009 用于跟踪分区大小的组合框架。 Zbl 1315.68094号 苏米特·古尔瓦尼；塔尔省列夫·阿米；穆利·萨吉夫 9 2009 对摘要进行排名。 Zbl 1133.68317号 阿齐姆·查德哈里；拜伦·库克；苏米特·古尔瓦尼；穆利·萨吉夫；杨红seok 8 2008 具有汇总维度的数字域。 Zbl 1126.68348号 丹尼斯·戈潘；Frank DiMaio先生；努里特·多尔；代表，托马斯；穆利·萨吉夫 6 2004 符号计算用于形状分析的最精确抽象操作。 Zbl 1126.68359号 约什，G。；代表，托马斯；穆利·萨吉夫 6 2004 链接数据结构中可访问模式的逻辑。 Zbl 1121.03040号 约什，格雷塔；亚历山大·拉比诺维奇；穆利·萨吉夫；安托万·迈耶；艾哈迈德·博阿贾尼 6 2007 通过整数分析检查C程序中字符串操作的清洁度。 Zbl 0997.68570号 努里特·多尔；迈克尔·罗德；穆利·萨吉夫 6 2001 多种逻辑的可决定碎片。 Zbl 1183.03007号 亚哈龙·阿巴迪；亚历山大·拉比诺维奇；穆利·萨吉夫 6 2010 过程局部堆及其抽象的语义。 Zbl 1369.68154号 诺姆·里内茨基；约格·鲍尔；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 6 2005 验证通过演化逻辑指定的临时堆属性。 Zbl 1032.68062号 埃兰·雅哈夫；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 6 2003 静态分析逻辑公式的有限差分。 Zbl 1032.68061号 代表，托马斯；穆利·萨吉夫；阿列克谢·罗尼诺夫 6 2003 程序间形状分析的关系方法。 Zbl 1104.68416号 贝特朗·珍妮特；阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 6 2004 无切点程序的跨过程形状分析。 Zbl 1141.68375号 诺姆·里内茨基；穆利·萨吉夫；埃兰·雅哈夫 5 2005 Deutsch-Schorr-Waite树遍历算法的自动验证。 兹比尔1225.68081 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 5 2006 并发形状分析的线程量化。 Zbl 1155.68360号 J·伯丁。；列夫·阿米，T。；马内维奇（Manevich，R.）。；拉马林加姆，G。；萨吉夫，M。 5 2008 通过有效的命题公式对堆路径进行模块化推理。 Zbl 1284.68403号 沙迦·伊扎基；安妮迪亚·班纳吉；尼尔·伊梅尔曼；奥里·拉哈夫；阿列克桑达尔·纳内夫斯基；穆利·萨吉夫 5 2014 通过归纳学习进行抽象提炼。 Zbl 1081.68626号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 5 2005 移动环境的克莱恩分析。 Zbl 0971.68579号 弗莱明·尼尔森；汉内·里斯·尼尔森；穆利·萨吉夫 5 2000 通过结构模拟进行验证。 Zbl 1103.68623号 尼尔·伊梅尔曼；亚历山大·拉比诺维奇；代表，Thomas W。；穆利·萨吉夫；约克语，很棒 5 2004 状态网络验证的一些复杂性结果。 Zbl 1425.68248号 卡列夫·阿尔佩纳斯；熊猫，Aurojit；亚历山大·拉比诺维奇；穆利·萨吉夫；斯科特·申克；沙龙·肖姆；纱线维纳 4 2019 在抽象的存在下跳跃循环。 Zbl 1135.68465号 鲍尔，托马斯；奥尔纳·库普弗曼；穆利·萨吉夫 4 2007 验证通过演化逻辑指定的临时堆属性。 Zbl 1108.68077号 E.雅哈夫。；代表，T。；萨吉夫，M。；威廉·R。 4 2006 多种逻辑的可决定碎片。 兹比尔1137.03302 亚哈龙·阿巴迪；亚历山大·拉比诺维奇；穆利·萨吉夫 4 2007 最终一致的交易。 Zbl 1352.68050号 塞巴斯蒂安·伯克哈特；Daan Leijen；曼努埃尔·Fähndrich；穆利·萨吉夫 4 2012 推断归纳不变量的决定性。 Zbl 1347.68234号 奥德·帕顿；尼尔·伊梅尔曼；沙龙·肖姆；阿列克桑德·卡比雪夫；穆利·萨吉夫 4 2016 带标签的条款。 兹比尔1213.68572 塔尔省列夫·阿米；克里斯托夫·韦登巴赫；代表，托马斯；穆利·萨吉夫 三 2007 分散SDN政策。 Zbl 1346.68027号 奥德·帕顿；尼尔·伊梅尔曼；阿列克桑德·卡比雪夫；奥里·拉哈夫；穆利·萨吉夫；沙龙·肖姆 三 2015 堆抽象的逻辑特征。 Zbl 1367.68078号 约什，格雷塔；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 三 2007 用于检查归纳不变量的有界量词实例化。 Zbl 1509.68162号 约塔姆·M·Y·费尔德曼。；奥德·帕顿；尼尔·伊梅尔曼；穆利·萨吉夫；沙龙·肖姆 三 2019 静态推断复杂堆、数组和数字不变量。 Zbl 1306.68032号 比尔·麦克洛斯基；代表，托马斯；穆利·萨吉夫 2 2010 用于并发形状分析的堆分解。 Zbl 1149.68358号 罗马人Manevich；塔尔省列夫·阿米；穆利·萨吉夫；甘尼桑拉马林加姆；乔什·伯丁 2 2008 基于抽象反例的powerset域精化。 Zbl 1149.68357号 罗马人Manevich；约翰·菲尔德；托马斯·亨辛格（Thomas A.Henzinger）。；拉马林加姆，G。；穆利·萨吉夫 2 2007 通过交叉抽象组合形状分析。 Zbl 1176.68111号 吉拉德·阿诺德；罗马人Manevich；穆利·萨吉夫；冉·沙哈姆 2 2006 递归程序的过程间形状分析。 Zbl 0977.68688号 诺姆·里内茨基；穆利·萨吉夫 2 2001 紧凑地表示静态分析的一阶结构。 Zbl 1015.68511号 马内维奇（Manevich，R.）。；拉马林加姆，G。；J·菲尔德。；戈亚尔，D。；萨吉夫，M。 2 2002 有效无切口程序的跨过程形状分析。 Zbl 1383.68025号 Kreiker，J。；代表，T。；北卡罗来纳州里内茨基。；萨吉夫，M。；莱因哈德·威廉；E.雅哈夫。 1 2013 编程语言和系统。2005年4月4日至8日在英国爱丁堡举行的第14届欧洲编程研讨会（ESOP 2005），是欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1068.68008号 1 2005 可能循环列表的基于细化的验证。 Zbl 1149.68356号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 1 2007 克莱恩的逻辑与平等。 Zbl 1032.68100号 F.尼尔森。；Riis Nielson，H。；萨吉夫，M。 1 2001 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 Zbl 1163.68010号 塔尔省列夫·阿米；尼尔·伊梅尔曼；代表，Thomas W。；穆利·萨吉夫；斯利瓦斯塔瓦（Siddharth Srivastava）；约什，格雷塔 1 2009 检查链接列表中的清洁度。 兹伯利0966.68558 努里特·多尔；迈克尔·罗德；穆利·萨吉夫 1 2000 结合符号和数值推理解决几何问题。 Zbl 1407.68513号 沙迦·伊扎基；苏米特·古尔瓦尼；尼尔·伊梅尔曼；穆利·萨吉夫 1 2013 关于使用嵌入式SQL自动验证web应用程序。 Zbl 1402.68123号 沙迦·伊扎基；托默·科特克；诺姆·里内茨基；穆利·萨吉夫；奥尔·塔米尔；赫尔穆特·维思；弗洛里安·祖勒格 1 2017 使用具有决策过程的二值化神经网络生成约束图像。 Zbl 1511.68297号 斯维亚托斯拉夫·科尔涅夫；尼娜·纳罗季斯卡；卢卡·普利纳；阿曼多·塔切拉；尼古拉·比约纳；穆利·萨吉夫 1 2018 使用应用程序建立本地临时堆安全属性以进行编译时内存管理。 Zbl 1067.68550号 冉·沙哈姆；埃兰·雅哈夫；埃利奥特·科洛德纳。；穆利·萨吉夫 1 2003 在属性语法中查找循环属性。 Zbl 1065.68577号 迈克尔·罗德；穆利·萨吉夫 1 1999 部分析取堆抽象。 Zbl 1104.68419号 罗马人Manevich；穆利·萨吉夫；甘尼桑拉马林加姆；约翰·菲尔德 1 2004 证明无限状态系统时间特性的时间预言。 Zbl 1522.68340号 奥德·帕顿；Jochen Hoenicke公司；肯尼思·麦克米兰。；安德烈亚斯·波德尔斯基；穆利·萨吉夫；沙龙·肖姆 1 2021 检查封装扩展操作的线性化能力。 Zbl 1405.68066号 奥伦·佐默；戈兰·格塔，盖伊；拉马林加姆，G。；穆利·萨吉夫 1 2014 用于检查归纳不变量的有界量词实例化。 Zbl 1452.68119号 约塔姆·M·Y·费尔德曼。；奥德·帕顿；尼尔·伊梅尔曼；穆利·萨吉夫；沙龙·肖姆 1 2017 从相位结构推断归纳不变量。 Zbl 07805835号 约塔姆·M·Y·费尔德曼。；詹姆斯·威尔科克斯。；沙龙·肖姆；穆利·萨吉夫 1 2019 证明无限状态系统时间特性的时间预言。 Zbl 1522.68340号 奥德·帕顿；Jochen Hoenicke公司；肯尼思·麦克米兰。；安德烈亚斯·波德尔斯基；穆利·萨吉夫；沙龙·肖姆 1 2021 状态网络验证的一些复杂性结果。 Zbl 1425.68248号 卡列夫·阿尔佩纳斯；熊猫，Aurojit；亚历山大·拉比诺维奇；穆利·萨吉夫；斯科特·申克；沙龙·肖姆；纱线维纳 4 2019 用于检查归纳不变量的有界量词实例化。 Zbl 1509.68162号 约塔姆·M·Y·费尔德曼。；奥德·帕顿；尼尔·伊梅尔曼；穆利·萨吉夫；沙龙·肖姆 三 2019 从相位结构推断归纳不变量。 Zbl 07805835号 约塔姆·M·Y·费尔德曼。；詹姆斯·威尔科克斯。；沙龙·肖姆；穆利·萨吉夫 1 2019 使用带有决策程序的二值化神经网络生成约束图像。 Zbl 1511.68297号 斯维亚托斯拉夫·科尔涅夫；尼娜·纳罗季斯卡；卢卡·普利纳；阿曼多·塔切拉；尼古拉·比约纳；穆利·萨吉夫 1 2018 关于使用嵌入式SQL自动验证web应用程序。 Zbl 1402.68123号 沙迦·伊扎基；托默·科特克；诺姆·里内茨基；穆利·萨吉夫；奥尔·塔米尔；赫尔穆特·维思；弗洛里安·祖勒格 1 2017 用于检查归纳不变量的有界量词实例化。 Zbl 1452.68119号 约塔姆·M·Y·费尔德曼。；奥德·帕顿；尼尔·伊梅尔曼；穆利·萨吉夫；沙龙·肖姆 1 2017 推断归纳不变量的决定性。 Zbl 1347.68234号 奥德·帕顿；尼尔·伊梅尔曼；沙龙·肖姆；阿列克桑德·卡比雪夫；穆利·萨吉夫 4 2016 分散SDN政策。 兹比尔1346.68027 奥德·帕顿；尼尔·伊梅尔曼；阿列克桑德·卡比雪夫；奥里·拉哈夫；穆利·萨吉夫；沙龙·肖姆 三 2015 通过有效的命题公式对堆路径进行模块化推理。 Zbl 1284.68403号 沙迦·伊扎基；安妮迪亚·班纳吉；尼尔·伊梅尔曼；奥里·拉哈夫；阿列克桑达尔·纳内夫斯基；穆利·萨吉夫 5 2014 检查封装扩展操作的线性化能力。 Zbl 1405.68066号 奥伦·佐默；戈兰·格塔，盖伊；拉马林加姆，G。；穆利·萨吉夫 1 2014 通过外展的循环组合程序证明的合成。 Zbl 1381.68057号 李伯阳；伊西尔·迪利格；托马斯·迪利格；肯·麦克米兰；穆利·萨吉夫 20 2013 有效的无切点程序的程序间形状分析。 Zbl 1383.68025号 Kreiker，J。；代表，T。；北卡罗来纳州里内茨基。；萨吉夫，M。；莱因哈德·威廉；E.雅哈夫。 1 2013 结合符号和数值推理解决几何问题。 Zbl 1407.68513号 沙迦·伊扎基；苏米特·古尔瓦尼；尼尔·伊梅尔曼；穆利·萨吉夫 1 2013 最终一致的交易。 Zbl 1352.68050号 塞巴斯蒂安·伯克哈特；Daan Leijen；曼努埃尔·Fähndrich；穆利·萨吉夫 4 2012 多种逻辑的可决定碎片。 Zbl 1183.03007号 亚哈龙·阿巴迪；亚历山大·拉比诺维奇；穆利·萨吉夫 6 2010 静态推断复杂堆、数组和数字不变量。 Zbl 1306.68032号 比尔·麦克洛斯基；代表，托马斯；穆利·萨吉夫 2 2010 将DPLL推广到更丰富的逻辑。 Zbl 1242.68282号 肯尼思·麦克米兰。；安德烈亚斯·库尔曼；穆利·萨吉夫 9 2009 用于跟踪分区大小的组合框架。 Zbl 1315.68094号 苏米特·古尔瓦尼；塔尔省列夫·阿米；穆利·萨吉夫 9 2009 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 Zbl 1163.68010号 塔尔省列夫·阿米；尼尔·伊梅尔曼；代表，Thomas W。；穆利·萨吉夫；斯利瓦斯塔瓦（Siddharth Srivastava）；约什，格雷塔 1 2009 证明有条件终止。 Zbl 1155.68431号 拜伦·库克；苏米特·古尔瓦尼；塔尔省列夫·阿米；安德烈·里巴尔琴科；穆利·萨吉夫 11 2008 对摘要进行排名。 Zbl 1133.68317号 阿齐姆·查德哈里；拜伦·库克；苏米特·古尔瓦尼；穆利·萨吉夫；杨红seok 8 2008 并发形状分析的线程量化。 Zbl 1155.68360号 J·伯丁。；列夫·阿米，T。；马内维奇（Manevich，R.）。；拉马林加姆，G。；萨吉夫，M。 5 2008 用于并发形状分析的堆分解。 Zbl 1149.68358号 罗马人Manevich；塔尔省列夫·阿米；穆利·萨吉夫；甘尼桑拉马林加姆；乔什·伯丁 2 2008 可存储锁和线程的本地推理。 Zbl 1137.68354号 阿列克谢·戈茨曼；乔什·伯丁；拜伦·库克；诺姆·里内茨基；穆利·萨吉夫 13 2007 在抽象下进行比较，以验证线性化能力。 Zbl 1135.68462号 阿米特，达芙娜；诺姆·里内茨基；代表，托马斯；穆利·萨吉夫；埃兰·雅哈夫 9 2007 链接数据结构中可访问模式的逻辑。 Zbl 1121.03040号 约什，格雷塔；亚历山大·拉比诺维奇；穆利·萨吉夫；安托万·迈耶；艾哈迈德·博阿贾尼 6 2007 在抽象中跳跃循环。 Zbl 1135.68465号 鲍尔，托马斯；奥尔纳·库普弗曼；穆利·萨吉夫 4 2007 多种逻辑的可决定碎片。 Zbl 1137.03302号 亚哈龙·阿巴迪；亚历山大·拉比诺维奇；穆利·萨吉夫 4 2007 带标签的条款。 兹比尔1213.68572 塔尔省列夫·阿米；克里斯托夫·韦登巴赫；代表，托马斯；穆利·萨吉夫 三 2007 堆抽象的逻辑特征。 Zbl 1367.68078号 约什，格雷塔；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 三 2007 基于抽象反例的powerset域精化。 Zbl 1149.68357号 罗马人Manevich；约翰·菲尔德；托马斯·亨辛格（Thomas A.Henzinger）。；拉马林加姆，G。；穆利·萨吉夫 2 2007 可能循环列表的基于细化的验证。 Zbl 1149.68356号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 1 2007 链接数据结构中可访问模式的逻辑。 Zbl 1180.68131号 约什，格雷塔；亚历山大·拉比诺维奇；穆利·萨吉夫；安托万·迈耶；艾哈迈德·博阿贾尼 11 2006 Deutsch-Schorr-Waite树遍历算法的自动验证。 Zbl 1225.68081号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 5 2006 验证通过演化逻辑指定的临时堆属性。 Zbl 1108.68077号 E.雅哈夫。；代表，T。；萨吉夫，M。；威廉·R。 4 2006 通过交叉抽象组合形状分析。 兹比尔1176.68111 吉拉德·阿诺德；罗马人Manevich；穆利·萨吉夫；冉·沙哈姆 2 2006 数组操作的数值分析框架。 Zbl 1369.68138号 丹尼斯·戈潘；代表，托马斯；穆利·萨吉夫 22 2005 单链表的谓词抽象和规范抽象。 Zbl 1111.68398号 罗马人Manevich；E.雅哈夫。；拉马林加姆，G。；穆利·萨吉夫 13 2005 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 兹比尔1135.68556 列夫·阿米，T。；伊梅尔曼，N。；代表，T。；萨吉夫，M。；斯利瓦斯塔瓦，S。；约什，G。 10 2005 过程局部堆及其抽象的语义。 Zbl 1369.68154号 诺姆·里内茨基；约格·鲍尔；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 6 2005 无切点程序的程序间形状分析。 Zbl 1141.68375号 诺姆·里内茨基；穆利·萨吉夫；埃兰·雅哈夫 5 2005 通过归纳学习进行抽象提炼。 Zbl 1081.68626号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 5 2005 编程语言和系统。2005年4月4日至8日在英国爱丁堡举行的第14届欧洲编程研讨会（ESOP 2005），是欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1068.68008号 1 2005 最佳变压器的符号实现。 Zbl 1202.68255号 代表，托马斯；穆利·萨吉夫；约什，格雷塔 15 2004 传递闭包逻辑的可判定性和不可判定性之间的边界。 邮编1095.03008 尼尔·伊梅尔曼；亚历克斯·拉比诺维奇；代表，汤姆；穆利·萨吉夫；约什，格雷塔 14 2004 通过三值逻辑进行静态程序分析。 Zbl 1103.68635号 代表，Thomas W。；穆利·萨吉夫；莱因哈德·威廉 11 2004 具有汇总维度的数字域。 Zbl 1126.68348号 丹尼斯·戈潘；Frank DiMaio先生；努里特·多尔；代表，托马斯；穆利·萨吉夫 6 2004 符号计算用于形状分析的最精确抽象操作。 Zbl 1126.68359号 约什，G。；代表，托马斯；穆利·萨吉夫 6 2004 程序间形状分析的关系方法。 Zbl 1104.68416号 贝特朗·珍妮特；阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 6 2004 通过结构模拟进行验证。 Zbl 1103.68623号 尼尔·伊梅尔曼；亚历山大·拉比诺维奇；代表，Thomas W。；穆利·萨吉夫；约克语，很棒 5 2004 部分析取堆抽象。 Zbl 1104.68419号 罗马人Manevich；穆利·萨吉夫；甘尼桑拉马林加姆；约翰·菲尔德 1 2004 验证通过演化逻辑指定的临时堆属性。 Zbl 1032.68062号 埃兰·雅哈夫；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 6 2003 静态分析逻辑公式的有限差分。 Zbl 1032.68061号 代表，托马斯；穆利·萨吉夫；阿列克谢·罗尼诺夫 6 2003 使用应用程序建立本地临时堆安全属性以进行编译时内存管理。 Zbl 1067.68550号 冉·沙哈姆；埃兰·雅哈夫；埃利奥特·科洛德纳。；穆利·萨吉夫 1 2003 紧凑地表示静态分析的一阶结构。 Zbl 1015.68511号 马内维奇（Manevich，R.）。；拉马林加姆，G。；J·菲尔德。；戈亚尔，D。；萨吉夫，M。 2 2002 通过整数分析检查C程序中字符串操作的清洁度。 Zbl 0997.68570号 努里特·多尔；迈克尔·罗德；穆利·萨吉夫 6 2001 递归程序的过程间形状分析。 Zbl 0977.68688号 诺姆·里内茨基；穆利·萨吉夫 2 2001 克莱恩的逻辑与平等。 Zbl 1032.68100号 F.尼尔森。；Riis Nielson，H。；萨吉夫，M。 1 2001 TVLA：执行静态分析的系统。 Zbl 0966.68580号 塔尔省列夫·阿米；穆利·萨吉夫 20 2000 移动环境的克莱恩分析。 兹比尔0971.68579 弗莱明·尼尔森；汉内·里斯·尼尔森；穆利·萨吉夫 5 2000 检查链接列表中的清洁度。 Zbl 0966.68558号 多尔，努里特；迈克尔·罗德；穆利·萨吉夫 1 2000 在属性语法中查找循环属性。 兹比尔1065.68577 迈克尔·罗德；穆利·萨吉夫 1 1999 精确的过程间数据流分析，应用于持续传播。 Zbl 0874.68133号 穆利·萨吉夫；代表，托马斯；苏珊·霍维茨 27 1996 精确的过程间数据流分析，应用于持续传播。 Zbl 1496.68079号 穆利·萨吉夫；代表，托马斯；苏珊·霍维茨 18 1995 所有引用的出版物 前5名被引用出版物 全部的 前5名被538位作者引用 10 代表，Thomas W。 10 穆利·萨吉夫 8 丹尼尔·科宁 7 沙龙·肖姆 6 艾哈迈德·博阿贾尼 5 斯特凡·德姆里。 5 约塔姆·M·Y·费尔德曼。 5 阿卡什·拉尔 5 安德烈亚斯·波德尔斯基 5 娜塔莎·莎莉吉娜 4 玛丽亚·保拉（Maria Paola Bonacina） 4 雷米·布罗赫宁 4 康斯坦丁·埃纳 4 奥尔纳·格伦伯格 4 拉杜·奥西夫 4 迪帕克·卡普尔 4 安迪·金 4 维克多·昆卡 4 艾蒂安·洛兹 4 亚历山大·拉比诺维奇 4 对手，泽维尔 4 菲利普·吕默 4 赫尔穆特·塞德尔 4 汤姆·沃纳 4 托马斯·怀斯 4 Christoph M.温特斯泰格。 三 拉尔斯·比克达尔 三 拜伦·库克 三 斯蒂芬·福克 三 阿尔贝托·格里乔 三 阿里·古芬克尔 三 德扬·约瓦诺维奇 三 约格·克里克 三 马蒂厄·莱梅尔 三 帕塔萨拉西马杜苏丹 三 安托万·米内 三 弗莱明·尼尔森 三 奥德·帕顿 三 埃克塞尔·西蒙 三 阿里亚克西·齐托维奇 三 安德烈·沃伦科夫 三 克里斯托夫·韦登巴赫 三 莱因哈德·威廉 三 杨红seok 2 亚哈龙·阿巴迪 2 帕罗什·阿齐兹·阿卜杜拉 2 泽维尔·阿拉米根 2 拉杰夫·阿鲁尔 2 安德鲁·W·阿佩尔。 2 罗伯特·巴格纳拉 2 克拉克·W·巴雷特。 2 德克·拜尔 2 尼古拉·S·比约纳。 2 马吕斯·博兹加 2 Jörg Brauer 2 马克·布罗克施米特 2 弗洛里安·布鲁斯 2 罗伯托·布鲁托梅索 2 查克拉波蒂，苏普拉特克 2 亚历山德罗·西马蒂 2 莱昂纳多·德·莫拉 2 Deters，摩根 2 塞萨拉·德拉戈伊 2 段振华 2 穆纳乔·埃切宁 2 迈克尔·埃米 2 阿扎德法尔赞 2 皮埃特罗·费拉拉 2 哈达尔·弗兰克尔 2 卡斯滕·福斯 2 格雷姆·恒河 2 加尔达洛，Wided 2 吉尔根·吉斯尔 2 劳雷·贡诺德 2 阿列克谢·戈茨曼 2 苏米特·古尔瓦尼 2 阿什图什·古普塔 2 马蒂亚斯·海兹曼 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 阿奎那·霍伯 2 Jochen Hoenicke公司 2 卢卡什·霍利克 2 苏珊·霍维茨 2 胡亚伦·J·。 2 克莱门·赫林 2 雨果·伊洛斯 2 尼尔·伊梅尔曼 2 尼古拉斯·基德 2 扎卡里·金凯德 2 悉达哈·克里希纳 2 奥尔纳·库普弗曼 2 马丁·兰格 2 丹尼尔·拉拉兹 2 Ondřej Lengál 2 卢、徐 2 肯尼思·麦克米兰。 2 阿里·米莉 2 大卫·莫尼奥（David P.Monniaux）。 2 马库斯·穆勒·奥尔姆 2 豪尔赫·纳瓦斯（Jorge A.Navas）。 …还有438位作者 全部的 前5名31篇连载文章中引用 26 系统设计中的形式化方法 14 自动推理杂志 11 理论计算机科学 9 信息与计算 6 计算的形式方面 4 高阶和符号计算 三 信息学报 三 逻辑与代数程序设计杂志 三 计算机语言、系统和结构 三 ACM计算逻辑事务 2 信息处理信件 2 编程与计算机软件 2 符号计算杂志 2 应用非经典逻辑杂志 2 函数编程杂志 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 计算机与系统科学杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 MSCS公司。计算机科学中的数学结构 1 计算与决策科学基础 1 计算机基础理论 1 系统科学与复杂性杂志 1 应用数学杂志 1 应用逻辑杂志 1 计算机科学前沿 全部的 前5名13个领域引用 258 计算机科学（68至XX） 68 数学逻辑和基础（03-XX） 5 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 2 数值分析（65-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 凸和离散几何（52至XX） 1 统计学（62-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文