编辑配置文件(在新选项卡中打开) 阿拉文达·普拉萨德·西斯特拉 合著者距离 作者ID: 西斯特拉·阿拉文达·普拉萨德 发布日期: 西斯特拉,A.P。;西斯特拉·A·普拉萨德;阿拉文达·普拉萨德·西斯特拉 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 31出版物自1983年起 1名编辑贡献 合著者: 9合著者具有11联合出版物 345位合作作者 全部的 前5名合著者 5 单作者的 7 埃默森,欧内斯特·艾伦 5 周敏 4 克拉克(Edmund Melson jun Clarke)。 三 Lenore D.扎克。 2 约翰·赖夫(John H.Reif)。 2 Moshe Ya’akov瓦尔迪 2 王晓东 2 皮埃尔·沃尔珀 1 帕罗什·阿齐兹·阿卜杜拉 1 迈克尔·C·布朗。 1 尼西姆·弗朗西兹 1 德国人,Steven M。 1 帕特丽斯·戈德弗里德 1 维克多·Gyuris 1 查兰吉特·朱特拉。 1 斯特凡·基弗 1 蒂齐亚娜·玛格丽亚 1 艾伯特·罗纳德·梅耶 1 Mok,Aloysius K.-L。 1 阿比尼亚·R·斯里尼瓦斯。 1 贾伊·斯里尼瓦桑 1 伯恩哈德·斯特芬 1 穆拉利达尔·塔卢普尔 1 Yu,Clement T。 全部的 前5名系列 2 信息处理信件 2 信息和控制 2 计算机协会杂志 2 理论计算机科学 2 信息与计算 1 计算机与系统科学杂志 1 程序设计语言与系统学报 1 自动推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 计算机语言、系统和结构 1 计算机科学课堂讲稿 字段 31 计算机科学(68-XX) 10 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 27出版物有被引用726中的次621文件 引用人▼ 年份▼ 使用时态逻辑规范对有限状态并发系统进行自动验证。 Zbl 0591.68027号 E.M.克拉克。;艾默生,E.A。;西斯特拉,A.P。 314 1986 命题线性时序逻辑的复杂性。 Zbl 0632.68034号 西斯特拉,A.P。;E.M.克拉克。 234 1985 Büchi自动机的互补问题及其在时序逻辑中的应用。 Zbl 0613.03015号 西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 81 1987 推理具有多个进程的系统。 Zbl 0799.68078号 德国人,Steven M。;西斯特拉·A·普拉萨德 77 1992 关于\(\mu\)-演算及其片段的模型检查。 Zbl 0973.68120号 艾默生,E.A。;C.S.朱特拉。;西斯特拉,A.P。 65 2001 确定完全分支时间逻辑。 兹比尔0593.03007 艾默生·E·艾伦;西斯特拉·A·普拉萨德 58 1984 定量时间推理。 Zbl 0765.68121号 艾默生·E·艾伦;莫,A.K。;西斯特拉,A.P。;贾伊·斯里尼瓦桑 20 1991 具有时间和空间模式的多进程网络逻辑。 Zbl 0565.68031号 约翰·雷夫;西斯特拉,A.P。 15 1985 Büchi自动机的互补问题及其在时间逻辑中的应用。 Zbl 0577.03019号 西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 14 1985 验证并发程序是否满足非确定性规范。 Zbl 0677.68011号 西斯特拉,A.P。 6 1989 限制时间逻辑中的推理。 兹比尔0771.03007 西斯特拉·A·普拉萨德;Lenore D.扎克。 6 1993 模型检查参数化系统。 Zbl 1392.68223号 帕罗什·阿齐兹·阿卜杜拉;西斯特拉·A·普拉萨德;穆拉利达尔·塔卢普尔 6 2018 消息缓冲区可以在线性时态逻辑中公理化吗? Zbl 0591.68022号 西斯特拉,A.P。;E.M.克拉克。;北弗朗西兹。;A.R.梅耶。 5 1984 模型检查中的对称性和简化对称性。 Zbl 0991.68543号 西斯特拉·A·普拉萨德;帕特丽斯·戈德弗里德 4 2001 证明非确定性安全规范的正确性。 Zbl 0735.68028号 西斯特拉,A.P。 4 1991 关于定性空间关系的推理。 Zbl 0969.68062号 西斯特拉·A·普拉萨德;于克莱门特 三 2000 区分隐马尔可夫链。 Zbl 1401.68086号 斯特凡·基弗;西斯特拉·A·普拉萨德 三 2016 使用自动机作为不变量对线性网络进行参数化验证。 Zbl 0955.68069号 西斯特拉·A·普拉萨德;维克多·Gyuris 三 1999 监测随机系统的时间特性。 Zbl 1138.68470号 西斯特拉·A·普拉萨德;阿比尼亚·R·斯里尼瓦斯。 三 2008 确定分支时间逻辑:(CTL^*\)的三指数决策过程。 Zbl 0559.68052号 艾默生·E·艾伦;西斯特拉·A·普拉萨德 2 1984 监控非现成组件。 Zbl 1176.68129号 西斯特拉·A·普拉萨德;周敏;Lenore D.扎克。 1 2006 计算机辅助验证。第十二届国际会议,CAV 2000。2000年7月15日至19日,美国伊利诺伊州芝加哥。诉讼程序。 兹比尔0941.00029 1 2000 在模型检查中使用对称约简。 Zbl 1072.68068号 西斯特拉·A·普拉萨德 1 2004 动态政策分析。 Zbl 1146.68341号 西斯特拉·A·普拉萨德;周敏 1 2008 使用保护商结构检查扩展CTL属性。 Zbl 1130.68075号 西斯特拉·A·普拉萨德;王晓东;周敏 1 2007 使用时间逻辑对有限状态系统进行自动验证。 Zbl 0582.68009号 E.M.克拉克。;M.C.布朗。;艾默生,E.A。;西斯特拉,A.P。 1 1985 具有时间和空间模式的多进程网络逻辑。 Zbl 0519.68049号 约翰·雷夫;阿拉文达·普拉萨德·西斯特拉 1 1983 模型检查参数化系统。 Zbl 1392.68223号 帕罗什·阿齐兹·阿卜杜拉;西斯特拉·A·普拉萨德;穆拉利达尔塔卢普尔 6 2018 区分隐马尔可夫链。 Zbl 1401.68086号 斯特凡·基弗;西斯特拉·A·普拉萨德 三 2016 监测随机系统的时间特性。 Zbl 1138.68470号 西斯特拉·A·普拉萨德;阿比尼亚·R·斯里尼瓦斯。 三 2008 动态政策分析。 Zbl 1146.68341号 西斯特拉·A·普拉萨德;周敏 1 2008 使用保护商结构检查扩展CTL属性。 Zbl 1130.68075号 西斯特拉·A·普拉萨德;王晓东;周敏 1 2007 监控非现成组件。 Zbl 1176.68129号 西斯特拉·A·普拉萨德;周敏;Lenore D.扎克。 1 2006 在模型检查中使用对称约简。 Zbl 1072.68068号 西斯特拉·A·普拉萨德 1 2004 关于\(\mu\)-演算及其片段的模型检查。 Zbl 0973.68120号 艾默生,E.A。;C.S.朱特拉。;西斯特拉,A.P。 65 2001 模型检查中的对称性和简化对称性。 Zbl 0991.68543号 西斯特拉·A·普拉萨德;帕特丽斯·戈德弗里德 4 2001 关于定性空间关系的推理。 Zbl 0969.68062号 西斯特拉·A·普拉萨德;于克莱门特 三 2000 计算机辅助验证。第十二届国际会议,CAV 2000。2000年7月15日至19日,美国伊利诺伊州芝加哥。诉讼程序。 Zbl 0941.00029号 1 2000 使用自动机作为不变量对线性网络进行参数化验证。 Zbl 0955.68069号 西斯特拉·A·普拉萨德;维克多·Gyuris 三 1999 限制时间逻辑中的推理。 Zbl 0771.03007号 西斯特拉·A·普拉萨德;Lenore D.扎克。 6 1993 推理具有多个进程的系统。 兹比尔0799.68078 德国人,Steven M。;西斯特拉·A·普拉萨德 77 1992 定量时间推理。 Zbl 0765.68121号 艾默生·E·艾伦;莫,A.K。;西斯特拉,A.P。;贾伊·斯里尼瓦桑 20 1991 证明不确定性安全规范的正确性。 Zbl 0735.68028号 西斯特拉,A.P。 4 1991 验证并发程序是否满足非确定性规范。 Zbl 0677.68011号 西斯特拉,A.P。 6 1989 Büchi自动机的互补问题及其在时序逻辑中的应用。 兹伯利0613.03015 西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 81 1987 使用时态逻辑规范对有限状态并发系统进行自动验证。 Zbl 0591.68027号 E.M.克拉克。;艾默生,E.A。;西斯特拉,A.P。 314 1986 命题线性时序逻辑的复杂性。 Zbl 0632.68034号 西斯特拉,A.P。;E.M.克拉克。 234 1985 具有时间和空间模式的多进程网络逻辑。 Zbl 0565.68031号 约翰·雷夫;西斯特拉,A.P。 15 1985 Büchi自动机的互补问题及其在时序逻辑中的应用。 Zbl 0577.03019号 西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 14 1985 使用时序逻辑自动验证有限状态系统。 Zbl 0582.68009号 E.M.克拉克。;M.C.布朗。;艾默生,E.A。;西斯特拉,A.P。 1 1985 确定完全分支时间逻辑。 Zbl 0593.03007号 艾默生·E·艾伦;西斯特拉·A·普拉萨德 58 1984 消息缓冲区可以在线性时态逻辑中公理化吗? Zbl 0591.68022号 西斯特拉,A.P。;E.M.克拉克。;北弗朗西兹。;A.R.梅耶。 5 1984 确定分支时间逻辑:(CTL^*\)的三指数决策过程。 Zbl 0559.68052号 艾默生·E·艾伦;西斯特拉·A·普拉萨德 2 1984 具有时间和空间模式的多进程网络逻辑。 Zbl 0519.68049号 约翰·雷夫;阿拉文达·普拉萨德·西斯特拉 1 1983 所有引用出版物 排名前五的出版物 全部的 前5名925位作者引用 28 Moshe Ya’akov瓦尔迪 19 奥尔纳·库普弗曼 12 Stéphane P.德姆里。 12 马丁·兰格 12 马克·亚历山大·雷诺兹 11 段振华 10 田聪 9 克里斯特尔·拜尔 9 阿尼埃洛·穆拉诺 9 迈克尔·J·伍尔德里奇。 8 克拉克(Edmund Melson jun Clarke)。 8 朱利安·古铁雷斯 8 法比奥·莫加维罗 8 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 8 张楠 7 亚历山大·博洛托夫 7 格内西、斯特凡尼亚 7 托马斯·亨辛格(Thomas A.Henzinger)。 7 安吉洛·蒙塔纳里 7 弗兰克·沃尔特 7 马丁·齐默尔曼 6 马西莫·贝内雷切蒂 6 劳拉·博泽利 6 克莱尔·狄克逊 6 奥尔纳·格伦伯格 6 沃伊切赫·贾姆罗加 6 弗朗索瓦·拉鲁西尼 6 约翰·克里斯托弗(John Christopher McCabe-Dansted) 6 Doron A.Peled。 6 阿德里亚诺·佩隆 6 阿米尔·普努利 6 伊戈尔·瓦卢基维奇 6 皮埃尔·沃尔珀 5 帕拉布·达斯古普塔 5 蒙特塞拉特赫莫 5 帕基·卢西奥 5 尼古拉斯·马基 5 弗朗科·马扎蒂 5 阿恩·迈尔 5 马丁·蒙德亨克 5 朱塞佩·佩雷利 5 斯文·舍韦 5 托马斯·威尔克 5 扎哈里亚舍夫,迈克尔·维克托罗维奇 4 帕罗什·阿齐兹·阿卜杜拉 4 娜塔莎·亚历奇纳 4 保罗·C·阿蒂。 4 帕特里夏·鲍耶 4 查克拉巴蒂,帕塔·普拉蒂姆 4 丹尼尔·德尔尔巴 4 埃默森,欧内斯特·艾伦 4 亚历山德罗·范特奇 4 伯恩德·芬克贝纳 4 埃里希·格拉德尔 4 Joseph Yehuda Halpern 4 诺里希罗·卡米德 4 安德烈亚斯·克雷布斯 4 Marta Z.Kwiatkowska。 4 洛根,布莱恩 4 米歇尔·洛雷蒂 4 阿尔贝托·莫利纳里 4 沃伊切赫,彭泽克 4 尼尔·皮特曼 4 亚历山大·拉比诺维奇 4 罗马克里希纳,Y.S。 4 萨沙·鲁宾 4 皮埃特罗·萨拉 4 皮埃尔·伊夫·肖本斯 4 伯恩哈德·斯特芬 4 莫里斯·比克。 三 卢卡·埃特罗 三 本杰明·阿米诺夫 三 安德烈·阿诺德 三 安德烈亚斯·鲍尔 三 弗洛里安·布鲁斯 三 克里希南德·查特吉 三 兰斯·克莱维兰 三 佩雷斯·德古兹曼(Pérez de Guzmán),英马特拉达 三 狄龙,L.K。 三 尤尔根Dix 三 道德,德拉甘 三 托马斯·艾特 三 库沙·埃特萨米 三 迈克尔·费希尔 三 盖尔·方丹 三 奥利弗·弗里德曼 三 保罗·哈伦斯坦 三 伊迪丝·赫玛斯潘德拉 三 Rodney R.豪厄尔。 三 本特·琼森 三 Joost-Pieter卡托恩 三 尤尼特·凯斯滕 三 约阿希姆·克莱因 三 克吕佩尔霍尔茨,萨沙 三 阿吉·库鲁茨 三 G.库蒂。 三 弗雷德里克·朗 三 马库斯拿铁 三 马丁·勒克 三 卡马尔·洛达亚 …还有825位作者 全部的 前5名80篇连载文章中引用 86 理论计算机科学 49 信息与计算 34 系统设计中的形式化方法 22 人工智能 17 信息处理信件 16 计算机与系统科学杂志 16 计算的形式方面 14 信息学报 13 逻辑与代数程序设计杂志 11 纯逻辑与应用逻辑年鉴 11 数学与人工智能年鉴 10 应用非经典逻辑杂志 9 自动推理杂志 9 国际计算机科学基础杂志 9 应用逻辑杂志 9 计算机科学中的逻辑方法 7 计算机程序设计科学 7 程序设计中的逻辑和代数方法杂志 5 符号逻辑杂志 5 计算机科学与技术杂志 5 离散事件动态系统 5 计算系统理论 5 RAIRO公司。理论信息学及其应用 5 萨达纳 4 信息科学 4 MSCS公司。计算机科学中的数学结构 4 逻辑、语言与信息杂志 4 符号逻辑公报 三 圣母院形式逻辑杂志 三 Studia Logica公司 三 分布式计算 三 欧洲控制杂志 三 ACM计算逻辑事务 2 离散应用数学 2 编程和计算机软件 2 SIAM计算机杂志 2 西伯利亚数学杂志 2 合成 2 符号计算杂志 2 吉泰。实验与理论人工智能杂志 2 组合优化期刊 2 国际应用数学与计算机科学杂志 2 科学中国。信息科学 2 计算机科学前沿 2 计算机科学评论 1 倒排索引综述 1 计算机与数学及其应用 1 国际理论物理杂志 1 代数与逻辑 1 模糊集与系统 1 组合理论杂志。B系列 1 数学经济学杂志 1 算法 1 国际并行程序设计杂志 1 计算机与运筹学 1 国际近似推理杂志 1 数学和计算机建模 1 实时系统 1 自动化和远程控制 1 国际计算机数学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学逻辑档案 1 《数理逻辑季刊》 1 组合数学电子杂志 1 人工智能研究杂志 1 计算机基础理论 1 国际博弈论综述 1 电子商务研究 1 应用数学杂志 1 计算机语言、系统和结构 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 国际并行、紧急和分布式系统杂志 1 计算机科学中的数学 1 理论计算机科学的基础和发展趋势 1 国际智能计算与控制论杂志 1 算法 1 RAIRO公司。理论信息学及其应用 1 游戏 1 中国计算机科学前沿 1 Logicheskie Issledovaniya公司 全部的 前5名在15个字段中引用 552 计算机科学(68-XX) 344 数学逻辑和基础(03-XX) 55 博弈论、经济学、金融和其他社会和行为科学(91-XX) 11 系统论;控制(93至XX) 9 组合数学(05-XX) 8 运筹学、数学规划(90-XX) 7 生物学和其他自然科学(92-XX) 5 信息与通信理论、电路(94-XX) 2 阶、格、有序代数结构(06-XX) 2 概率论与随机过程(60-XX) 2 量子理论(81-XX) 1 数论(11-XX) 1 范畴理论;同调代数(18-XX) 1 凸和离散几何(52至XX) 1 数值分析(65-XX) 按年份列出的引文