×

阿拉文达·普拉萨德·西斯特拉

作者ID: 西斯特拉·阿拉文达·普拉萨德最近由“Sistla,Aravinda Prasad”撰写的zbMATH文章
发布日期: 西斯特拉,A.P。;西斯特拉·A·普拉萨德;阿拉文达·普拉萨德·西斯特拉
外部链接: MGP公司
已编制索引的文档: 31出版物自1983年起
1名编辑贡献
合著者: 9合著者具有11联合出版物
345位合作作者

按年份列出的出版物

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公司

按年份列出的引文