×

兹马思-数学第一资源

普努埃利,阿米尔

计算距离:
作者ID: 普努埃利。阿米尔“Pnueli,Amir”最近发表的zbMATH文章
发布为: 普努埃利,阿米尔;普努埃利,A。
外部链接: MGP公司·维基数据·dblp公司·接地·伊德里夫·论文.fr
奖品: 图灵奖(1996)
编制索引的文档: 165种出版物自1968年以来,包括5本书
传记参考: 6种出版物
全部的 前5名

合著者

12 单作者
26 扎克,莱诺·D。
24 吗哪,佐哈尔
16 凯斯顿,尤尼特
12 马勒,奥德
9 巴拉班,伊泰
8 哈雷尔,大卫
8 皮特曼,Nir
6 方,易
5 库格勒,希勒
5 斯塔维,乔纳森
4 阿伦斯,塔玛拉
4 本阿里,莫德凯
4 该死,沃纳
4 甚至,西蒙
4 弗朗西兹,尼西姆
4 尼科维奇,德扬
4 佩利德,多伦A。
4 Rodeh,Yoav
4 萨尔亚尼夫
4 沙哈尔,埃拉德
细辛,尤金
莱曼,丹尼尔J。
亚伯拉罕,伦佩尔
鲁西塔,鲁瓦尼特
希特里希曼,奥弗
西格尔,迈克尔
斯法基斯,约瑟夫
斯特里奇曼,奥弗
2 阿普特,拉法
2 阿什克罗夫特,爱德华A。
2 巴雷特,克拉克W。
2 巴林格,霍华德
2 科恩,阿里尔
2 本杰明戈德伯格
2 哈珀,约瑟夫·耶胡达
2 哈特,塞尔吉乌
2 亨辛格,托马斯A。
2 胡颖
2 哈伯德,E.简·阿尔伯特
2 乔斯科,伯恩哈德
2 克莱恩,乌里
2 利希滕斯坦,奥娜
2 马雷利,拉米
2 迈索尔,文卡泰什P。
2 佩克里斯,查姆·莱布
2 普赖韦斯,诺亚。
2 罗斯纳,罗尼
2 夏尔,米查
2 斯鲁茨基,乔拉
2 斯特恩,迈克尔J。
2 瓦迪,莫斯伊。
2 沃廷瑟娃,安吉丽卡
1 贝纳姆巴尼
1 你好,罗德里克
1 邦坦普斯,伊夫
1 伯恩斯,奥利弗
1 科恩,西蒙
1 平民,F.G。
1 迪尔克斯,亨宁
1 菲斯曼,达娜
1 加贝,多夫·M。
1 戈尔丁,静脉注射。
1 格鲁伯格,奥娜
1 哈雷尔,艾尔
1 霍尔特,阿纳托尔W。
1 Jobstmann,芭芭拉
1 卡姆,纳曼
1 卡普兰,圣潘
1 卡茨,希缪尔
1 凯斯特,Y。
1 克莱班斯基,鲍里斯
1 科伦,特米玛
1 库尔德库伊伯
1 奥娜库普费尔曼
1 兰伯格,迈克尔
1 梁咏麟
1 利维坦,R。
1 陆、元
1 麦克米兰,肯尼斯L。
1 尼伯特,彼得
1 Oehlerking,詹斯
1 奥尔尚斯基,特米玛
1 帕勒姆,克里希纳五世。
1 波德尔斯基,安德烈亚斯
1 拉维夫,李安
1 罗恩,多丽特
1 弗拉维亚罗森伯格
1 安德烈,里巴尔琴科
1 施耐德,杰拉多
1 塞德尔斯基,叶卡捷琳娜
1 西尼亚,尼桑
1 塔鲁普尔,穆拉利达尔
1 Virbitskaite,伊琳娜B。
1 沃龙科夫,安德烈
1 徐,杰西
1 徐颖,徐颖
1 尤文塞尔吉奥
1 扎里,R。

按年份列出的出版物

zbMATH公开赛中包含的引文

141出版物有1895年被引用时间1410份文件 引用人
反应式和并发系统的时序逻辑。规范。 Zbl 0753.68003
吗哪,佐哈尔;普努埃利,阿米尔
183
1991
关于异步无功模块的综合。 京保0686.68015
普努埃利,阿米尔;罗斯纳,罗尼
123
1989
图的传递方向与置换图的识别。 Zbl 0204.24604
普努埃利,A。;莱姆佩尔,A。;偶数,S。
92
1971
有向图。 Zbl 0238.05109
平民,F。;霍尔特,A.W。;偶数,S。;普努埃利,A。
89
1971
并发程序的时间语义。 Zbl 0441.68010
普努埃利,阿米尔
66
1981
关于时间系统离散控制器的综合。 Zbl 1379.68227
马勒,奥德;普努埃利,阿米尔;斯法基斯,约瑟夫
64
1995
公正、公正与公平:并行终止的伦理。 Zbl 0468.68026
莱曼,D。;普努埃利,A。;斯塔维,J。
62
1981
具有分段常导数动力系统的可达性分析。 Zbl 0884.68050
细辛,尤金;马勒,奥德;普努埃利,阿米尔
49
1995
置换图和传递图。 Zbl 0251.05113
偶数,S。;普努埃利,A。;莱姆佩尔,A。
47
1972
分支时间的时间逻辑。 Zbl 0533.68036
本阿里,莫德凯;普努埃利,阿米尔;吗哪,佐哈尔
44
1983
反应系统的时间验证:响应。 Zbl 1288.68169
吗哪,佐哈尔;普努埃利,阿米尔
41
2010
关于反应系统的发展。 Zbl 0581.68046
哈雷尔,D。;普努埃利,A。
38
1985
过去的荣耀。 Zbl 0586.68028
利希滕斯坦,奥娜;普努埃利,阿米尔;扎克,莱诺
36
1985
概率并发程序的终止。 Zbl 0511.68009
哈特,塞尔吉乌;夏尔,米查;普努埃利,阿米尔
30
1983
反应(1)设计的合成。 Zbl 1176.68126号
皮特曼,Nir;阿米,普涅尔;萨尔亚尼夫
29
2006
使用丰富的断言语言进行符号模型检查。 中银0973.68119
凯斯顿,Y。;马勒,O。;马库斯,M。;普努埃利,A。;沙哈尔,E。
29
2001
参数化程序的验证。 Zbl 0844.68079
吗哪,佐哈尔;普努埃利,阿米尔
26
1995
反应(1)设计的合成。 Zbl 1247.68050
你好,罗德里克;Jobstmann,芭芭拉;皮特曼,Nir;普努埃利,阿米尔;萨尔亚尼夫
26
2012
命题时间逻辑:可判定性与完备性。 Zbl 1033.03009号
利希滕斯坦,奥娜;普努埃利,阿米尔
24
2000
时序逻辑在无功系统规范和验证中的应用:当前趋势综述。 浙宝0607.68022
普努埃利,A。
23
1986
时间框架的锚定版本。(教程)。 中保0683.68031
曼娜,Z。;普努埃利,A。
22
1989
完成时间图像。 Zbl 0795.68133
吗哪,佐哈尔;普努埃利,阿米尔
22
1991
非规则程序的命题动态逻辑。 Zbl 0536.68041
哈雷尔,大卫;普努埃利,阿米尔;斯塔维,乔纳森
22
1983
多进程概率协议的验证。 Zbl 0598.68019
普努埃利,阿米尔;扎克,莱诺
20
1986
并发程序不变性和活性性质的充分证明原则。 Zbl 0542.68014
吗哪,佐哈尔;普努埃利,阿米尔
20
1984
函数程序性质的形式化。 中银0206.17503
吗哪,佐哈尔;普努埃利,阿米尔
19
1970
一元函数图式的可判定性。 中银0289.68036
爱德华阿什克罗夫特;吗哪,佐哈尔;普努埃利,阿米尔
18
1973
时间自动机和数字电路中延迟的离散化。 Zbl 0933.94045
细辛,尤金;马勒,奥德;普努埃利,阿米尔
17
1998
扩展有限抽象验证。 Zbl 1003.68069
凯斯顿,尤尼特;普努埃利,阿米尔
17
2000
不可见不变量的自动演绎验证。 Zbl 0978.68539
普努埃利,阿米尔;Ruah,Sitvanit;扎克,莱诺
17
2001
逻辑系统中的反应式语义学与反应式语义学。 Zbl 0575.68042
普努埃利,阿米尔
16
1985
分布式编程语言的线性历史语义。 Zbl 0543.68019
弗朗切斯,N。;莱曼,D。;普努埃利,A。
16
1984
自动计算归纳断言的参数化验证。 Zbl 0991.68541
阿伦斯,塔玛拉;普努埃利,阿米尔;Ruah,Sitvanit;徐颖,徐颖;扎克,莱诺
14
2001
活度与\({(0,1,\infty)}\)—计数器抽象。 Zbl 1010.68095
普努埃利,阿米尔;徐,杰西;扎克,莱诺
14
2002
时间转换系统的时间证明方法。 Zbl 0820.68085
亨辛格,托马斯A。;吗哪,佐哈尔;普努埃利,阿米尔
13
1994
可判定积分图。 Zbl 1045.68566
凯斯顿,Y。;普努埃利,A。;Sifakis,J。;约文,S。
13
1999
从全局到模块化的程序时态推理。 Zbl 0578.68014
普努埃利,阿米尔
13
1985
确定性命题动态逻辑:有限模型,复杂性和完备性。 Zbl 0512.03013
本阿里,莫德凯;哈珀,约瑟夫Y。;普努埃利,阿米尔
13
1982
概率验证。 Zbl 0797.68112
普努埃利,阿米尔;扎克,莱诺·D。
12
1993
用小域实例化判定等式公式。 Zbl 1046.68605
普努埃利,阿米尔;Rodeh,Yoav;希特里希曼,奥弗;西格尔,迈克尔
12
1999
无穷正则集的可学习性。 Zbl 0834.68099
马勒,奥德;普努埃利,阿米尔
11
1995
反应性模型。 Zbl 0790.68041
吗哪,佐哈尔;普努埃利,阿米尔
11
1993
并发程序的验证:一个时间证明系统。 Zbl 0507.68005
吗哪,佐哈尔;普努埃利,阿米尔
11
1983
参数化验证中的活性和加速性。 Zbl 0974.68521
普努埃利,阿米尔;沙哈尔,埃拉德
11
2000
从MITL到时间自动机。 Zbl 1141.68436
马勒,奥德;尼科维奇,德扬;普努埃利,阿米尔
11
2006
证明偏序性质。 Zbl 0803.68070
贝利,多伦;阿米,普涅尔
10
1994
检验LL(k)文法等价性的直接算法。 Zbl 0358.68118
奥尔尚斯基,特米玛;普努埃利,阿米尔
10
1977
控制与数据抽象:实用形式验证的基石。 Zbl 1059.68589
凯斯顿,尤尼特;普努埃利,阿米尔
10
2000
并发程序的验证:时间证明原则。 Zbl 0481.68019
吗哪,佐哈尔;普努埃利,阿米尔
10
1982
实时时序逻辑:过去,现在,未来。 Zbl 1175.03009号
马勒,奥德;尼科维奇,德扬;普努埃利,阿米尔
9
2005
重新考虑公平终止-延迟。 Zbl 0542.68015
阿普特,克雷兹托夫。;普努埃利,A。;斯塔维,J。
9
1984
检查离散、定时和连续行为的时间特性。 Zbl 1133.68378
马勒,奥德;尼科维奇,德扬;普努埃利,阿米尔
9
2008
完整的QPTL证明系统。 Zbl 1013.03012
凯斯顿,尤尼特;普努埃利,阿米尔
8
2002
CTL的演绎证明系统(^{\ast}\)。 Zbl 1012.68119号
普努埃利,阿米尔;凯斯顿,尤尼特
8
2002
程序完全正确性的公理化方法。 中银0263.68009
吗哪,佐哈尔;普努埃利,阿米尔
8
1974
聪明地玩出了行为要求。 Zbl 1019.68622
哈雷尔,大卫;库格勒,希勒;马雷利,拉米;普努埃利,阿米尔
8
2002
概率程序验证。 Zbl 0533.68012
夏尔,米查;普努埃利,阿米尔;哈特,塞尔吉乌
8
1984
时间验证图。 Zbl 0942.03527
吗哪,佐哈尔;普努埃利,阿米尔
7
1994
正交多面体:表示与计算。 Zbl 0947.68154
伯恩斯,奥利弗;马勒,奥德;普努埃利,阿米尔
7
1999
并发程序的时间语义。 Zbl 0402.68009
普努埃利,阿米尔
7
1979
基于场景的规范的时态逻辑。 Zbl 1087.68596
库格勒,希勒;哈雷尔,大卫;普努埃利,阿米尔;陆、元;邦坦普斯,伊夫
7
2005
TVOC:用于优化编译器的翻译验证器。 Zbl 1081.68606
巴雷特,克拉克;方,易;本杰明戈德伯格;胡颖;普努埃利,阿米尔;扎克,莱诺
7
2005
代码验证工具(CVT)。编译过程的自动验证。 Zbl 1022.68733
普努埃利,A。;希特里曼,O。;西格尔,M。
7
1998
一种类似CSP语言的组合时间方法。 Zbl 0594.68018
巴林格,霍华德;库尔德库伊伯;普努埃利,阿米尔
7
1986
时序逻辑与公平离散系统。 Zbl 1392.68263
皮特曼,Nir;普努埃利,阿米尔
7
2018
一次对所有人. Zbl 1245.03022
奥娜库普费尔曼;普努埃利,阿米尔;瓦迪,莫斯伊。
7
2012
时间测试人员的优点。 Zbl 1143.68046
普努埃利,A。;扎克斯,A。
7
2008
混合动力系统专题。 Zbl 0879.00023
普努埃利,A。(编辑);Sifakis,J。(编辑)
6
1995
重温综合:从基于场景的需求生成状态图模型。 Zbl 1075.68614号
哈雷尔,大卫;库格勒,希勒;普努埃利,阿米尔
6
2005
C.elegans开发的形式化建模:基于场景的方法。 Zbl 1053.92034
卡姆,纳曼;哈雷尔,大卫;库格勒,希勒;马雷利,拉米;普努埃利,阿米尔;哈伯德,E.简·阿尔伯特;斯特恩,迈克尔J。
6
2003
完成时间图像。 Zbl 0703.68075
吗哪,佐哈尔;普努埃利,阿米尔
6
1989
基于参数化系统的模型检验与抽象(综述)。 Zbl 1072.68069
扎克,莱诺;普努埃利,阿米尔
6
2004
基于有界响应特性的控制器综合。 Zbl 1135.68477
马勒,奥德;尼科维奇,德扬;普努埃利,阿米尔
6
2007
时序逻辑在实时系统规范中的应用。 Zbl 0688.68024
普努埃利,阿米尔;哈雷尔,艾尔
5
1988
证明偏序活性性质。 Zbl 0765.68137
贝利,多伦;普努埃利,阿米尔
5
1990
程序的模态逻辑。 Zbl 0404.68011
吗哪,佐哈尔;普努埃利,阿米尔
5
1979
基于谓词抽象的形状分析。 Zbl 1111.68396
巴莱泰,巴莱泰;普努埃利,阿米尔;扎克,莱诺·D。
5
2005
小模型物业:它能有多小? Zbl 1012.03040
普努埃利,阿米尔;Rodeh,Yoav;斯特里奇曼,奥弗;西格尔,迈克尔
5
2002
基于概率抽象的参数化验证。 Zbl 1029.68104
阿伦斯,塔玛拉;普努埃利,阿米尔;扎克,莱诺
5
2003
存在可判定的上下文无关命题动态逻辑。 Zbl 0542.68020
科伦,特米玛;普努埃利,阿米尔
5
1984
除了常规的模型检查。 Zbl 1052.68084
菲斯曼,达娜;普努埃利,阿米尔
5
2001
从伪造到核实。 Zbl 1052.68086
贝利,多伦;普努埃利,阿米尔;扎克,莱诺
5
2001
CTL验证的组合方法。 Zbl 1079.68059
凯斯顿,尤尼特;普努埃利,阿米尔
5
2005
循环程序的一种证明方法。 Zbl 0367.68009
弗朗西兹,尼西姆;普努埃利,阿米尔
4
1978
过程逻辑中有趣的部分是无趣的吗?:从PL到PDL的转换。 Zbl 0551.68031
谢尔曼,R。;普努埃利,A。;哈雷尔,D。
4
1984
分布式系统互斥问题的对称经济解。 Zbl 0985.68509
科恩,西蒙;莱曼,丹尼尔;普努埃利,阿米尔
4
1984
低维混合动力系统-可判定,不可判定,不知道。 兹布1279.68127
细辛,尤金;迈索尔,文卡泰什P。;普努埃利,阿米尔;施耐德,杰拉多
4
2012
模型检验具有很强的公平性。 Zbl 1100.68066
凯斯顿,尤尼特;普努埃利,阿米尔;拉维夫,李安;沙哈尔,埃拉德
2006
混合动力系统组件化设计:安全性与稳定性。 Zbl 1288.68162
该死,沃纳;迪尔克斯,亨宁;Oehlerking,詹斯;普努埃利,阿米尔
2010
tlpvs公司:一个pvs公司-基于ltl公司验证系统。 兹布1274.68202
普努埃利,阿米尔;阿伦斯,塔玛拉
2003
时序逻辑中的系统规范和细化。 Zbl 0919.03027
普努埃利,阿米尔
1992
他们的程序和简单的问题。 Zbl 0364.68014
普努埃利,A。;斯鲁茨基,G。
1977
安全关键应用程序中并发和通信的离散时间UML语义。 Zbl 1075.68048
该死,沃纳;乔斯科,伯恩哈德;普努埃利,阿米尔;沃廷瑟娃,安吉丽卡
2005
弥合公平模拟和痕量包含之间的差距。 Zbl 1082.68055
凯斯顿,尤尼特;皮特曼,Nir;普努埃利,阿米尔
2005
网络不变量的作用。 Zbl 1012.68131号
凯斯顿,尤尼特;普努埃利,阿米尔;沙哈尔,埃拉德;扎克,莱诺
2002
混合系统:计算与控制。第六届国际研讨会,2003年4月3日至5日,捷克共和国布拉格,HSCC 2003。诉讼程序。 Zbl 1017.00053
马勒,奥德(编辑);普努埃利,阿米尔(编辑)
2003
一元函数图式的可判定性。 Zbl 0306.68048
阿什克罗夫特,E。;曼娜,Z。;普努埃利,A。
1971
将非程序性规范汇编成计算机程序。 Zbl 0509.68013
普赖韦斯,诺亚。;普努埃利,阿米尔
1983
证明优先性:时间方法。 Zbl 0528.68008
吗哪,佐哈尔;普努埃利,阿米尔
1983
重新考虑公平终止-延迟。 Zbl 0533.68010
阿普特,克雷兹托夫。;普努埃利,A。;斯塔维,J。
1982
时序逻辑与公平离散系统。 Zbl 1392.68263
皮特曼,Nir;普努埃利,阿米尔
7
2018
反应(1)设计的合成。 Zbl 1247.68050
你好,罗德里克;Jobstmann,芭芭拉;皮特曼,Nir;普努埃利,阿米尔;Sa’啊,亚尼夫
26
2012
一次对所有人. Zbl 1245.03022
奥娜库普费尔曼;普努埃利,阿米尔;瓦迪,莫斯伊。
7
2012
低维混合动力系统-可判定,不可判定,不知道。 兹布1279.68127
细辛,尤金;迈索尔,文卡泰什P。;普努埃利,阿米尔;施耐德,杰拉多
4
2012
从GR(1)规范有效地综合异步系统。 Zbl 1326.68186
克莱恩,乌里;皮特曼,Nir;普努埃利,阿米尔
2
2012
回顾GR(1)规范的综合。 Zbl 1325.68151
克莱,克莱;普努埃利,阿米尔
2
2011
反应系统的时间验证:响应。 Zbl 1288.68169
吗哪,佐哈尔;普努埃利,阿米尔
41
2010
混合动力系统组件化设计:安全性与稳定性。 Zbl 1288.68162
该死,沃纳;迪尔克斯,亨宁;Oehlerking,詹斯;普努埃利,阿米尔
2010
检查离散、定时和连续行为的时间特性。 Zbl 1133.68378
马勒,奥德;尼科维奇,德扬;普努埃利,阿米尔
9
2008
时间测试人员的优点。 Zbl 1143.68046
普努埃利,A。;扎克斯,A。
7
2008
具有非事务性内存访问的事务性内存的机械验证。 Zbl 1155.68430
科恩,阿里尔;普努埃利,阿米尔;扎克,莱诺·D。
2008
一个完善而完整的CTL验证演绎系统。 Zbl 1156.68036
加贝,多夫·M。;普努埃利,阿米尔
2
2008
区分模型检查。 Zbl 1155.68444号
尼伯特,彼得;贝利,多伦;普努埃利,阿米尔
2
2008
你只需要同情。 Zbl 1138.68457
普努埃利,阿米尔;Sa’啊,亚尼夫
2
2008
基于有界响应特性的控制器综合。 Zbl 1135.68477
马勒,奥德;尼科维奇,德扬;普努埃利,阿米尔
6
2007
单亲堆的形状分析。 Zbl 1132.68346
巴拉班,伊泰;普努埃利,阿米尔;扎克,莱诺·D。
2007
模块化排名抽象。 Zbl 1109.68062
巴拉班,伊泰;普努埃利,阿米尔;扎克,莱诺·D。
2
2007
反应(1)设计的合成。 Zbl 1176.68126号
皮特曼,Nir;普努埃利,阿米尔;Sa’啊,亚尼夫
29
2006
从MITL到时间自动机。 Zbl 1141.68436
马勒,奥德;尼科维奇,德扬;普努埃利,阿米尔
11
2006
模型检验具有很强的公平性。 Zbl 1100.68066
凯斯顿,尤尼特;普努埃利,阿米尔;拉维夫,李安;沙哈尔,埃拉德
2006
递归程序的排序抽象。 1176806.76升
巴拉班,伊泰;科恩,阿里尔;普努埃利,阿米尔
2
2006
非解释函数的函数一致性降低。 Zbl 1272.03071
普努埃利,阿米尔;斯特里奇曼,奥弗
1
2006
实时时序逻辑:过去,现在,未来。 Zbl 1175.03009号
马勒,奥德;尼科维奇,德扬;普努埃利,阿米尔
9
2005
基于场景的规范的时态逻辑。 Zbl 1087.68596
库格勒,希勒;哈雷尔,大卫;普努埃利,阿米尔;陆、元;邦坦普斯,伊夫
7
2005
TVOC:用于优化编译器的翻译验证器。 Zbl 1081.68606
巴雷特,克拉克;方,易;本杰明戈德伯格;胡颖;普努埃利,阿米尔;扎克,莱诺
7
2005
重温综合:从基于场景的需求生成状态图模型。 Zbl 1075.68614号
哈雷尔,大卫;库格勒,希勒;普努埃利,阿米尔
6
2005
基于谓词抽象的形状分析。 Zbl 1111.68396
巴拉班,伊泰;普努埃利,阿米尔;扎克,莱诺·D。
5
2005
CTL验证的组合方法。 Zbl 1079.68059
凯斯顿,尤尼特;普努埃利,阿米尔
5
2005
安全关键应用程序中并发和通信的离散时间UML语义。 Zbl 1075.68048
该死,沃纳;乔斯科,伯恩哈德;普努埃利,阿米尔;沃廷瑟娃,安吉丽卡
2005
弥合公平模拟和痕量包含之间的差距。 Zbl 1082.68055
凯斯顿,尤尼特;皮特曼,Nir;普努埃利,阿米尔
2005
改进混合自动机的不可判定边界。 Zbl 1172.68521号
迈索尔,文卡泰什;普努埃利,阿米尔
2
2005
IIV:一个不可见的不变验证器。 Zbl 1081.68603
巴拉班,伊泰;方,易;普努埃利,阿米尔;扎克,莱诺·D。
2
2005
公平离散系统分析的公平性与充分性的分离。 Zbl 1087.68066
普努埃利,阿米尔;波德尔斯基,安德烈亚斯;安德烈,里巴尔琴科
1
2005
基于参数化系统的模型检验与抽象(综述)。 Zbl 1072.68069
扎克,莱诺;普努埃利,阿米尔
6
2004
活力与无形的排名。 120ZB248.2升
方,易;皮特曼,Nir;普努埃利,阿米尔;扎克,莱诺
2
2004
分离逻辑的范围分配。 Zbl 1103.68079
塔鲁普尔,穆拉利达尔;西尼亚,尼桑;斯特里奇曼,奥弗;普努埃利,阿米尔
2
2004
生机勃勃,名次不可理解。 Zbl 1126.68474
方,易;皮特曼,Nir;普努埃利,阿米尔;扎克,莱诺
2
2004
关于可识别的时间语言。 Zbl 1126.68459
马勒,奥德;普努埃利,阿米尔
2
2004
C.elegans开发的形式化建模:基于场景的方法。 Zbl 1053.92034
Kam,Na’阿曼;哈雷尔,大卫;库格勒,希勒;马雷利,拉米;普努埃利,阿米尔;哈伯德,E.简·阿尔伯特;斯特恩,迈克尔J。
6
2003
基于概率抽象的参数化验证。 Zbl 1029.68104
阿伦斯,塔玛拉;普努埃利,阿米尔;扎克,莱诺
5
2003
tlpvs公司:一个pvs公司-基于ltl公司验证系统。 兹布1274.68202
普努埃利,阿米尔;阿伦斯,塔玛拉
2003
混合系统:计算与控制。第六届国际研讨会,2003年4月3日至5日,捷克共和国布拉格,HSCC 2003。诉讼程序。 Zbl 1017.00053
马勒,奥德;普努埃利,阿米尔
2003
弥合公平模拟和痕量包含之间的差距。 兹布1278.68178
凯斯顿,尤尼特;皮特曼,Nir;普努埃利,阿米尔
2
2003
以参数化系统为辅助的模型检查和抽象。 Zbl 1022.68580
普努埃利,阿米尔;扎克,莱诺
1
2003
理解UML:实时UML中并发和通信的形式化语义。 Zbl 1254.68140
该死,沃纳;乔斯科,伯恩哈德;普努埃利,阿米尔;沃廷瑟娃,安吉丽卡
1
2003
活度与\({(0,1,\infty)}\)—计数器抽象。 Zbl 1010.68095
普努埃利,阿米尔;徐,杰西;扎克,莱诺
14
2002
完整的QPTL证明系统。 Zbl 1013.03012
凯斯顿,尤尼特;阿米,普涅尔
8
2002
CTL的演绎证明系统(^{\ast}\)。 Zbl 1012.68119号
普努埃利,阿米尔;凯斯顿,尤尼特
8
2002
聪明地玩出了行为要求。 Zbl 1019.68622
哈雷尔,大卫;库格勒,希勒;马雷利,拉米;普努埃利,阿米尔
8
2002
小模型物业:它能有多小? Zbl 1012.03040
普努埃利,阿米尔;Rodeh,Yoav;斯特里奇曼,奥弗;西格尔,迈克尔
5
2002
网络不变量的作用。 Zbl 1012.68131号
凯斯顿,尤尼特;普努埃利,阿米尔;沙哈尔,埃拉德;扎克,莱诺
2002
TimeC:一种编译ILP处理器的时间约束语言。 Zbl 1019.68028
梁艾伦;帕勒姆,克里希纳五世。;普努埃利,阿米尔
1
2002
概率自由选择的自动验证。 Zbl 1057.68644号
扎克,莱诺;普努埃利,阿米尔;凯斯顿,尤尼特
1
2002
嵌入式系统:规范和验证的挑战。 Zbl 1027.68914号
普努埃利,阿米尔
1
2002
使用丰富的断言语言进行符号模型检查。 中银0973.68119
凯斯顿,Y。;马勒,O。;马库斯,M。;普努埃利,A。;沙哈尔,E。
29
2001
不可见不变量的自动演绎验证。 Zbl 0978.68539
普努埃利,阿米尔;Ruah,Sitvanit;扎克,莱诺
17
2001
自动计算归纳断言的参数化验证。 Zbl 0991.68541
阿伦斯,塔玛拉;普努埃利,阿米尔;Ruah,Sitvanit;徐颖,徐颖;扎克,莱诺
14
2001
除了常规的模型检查。 Zbl 1052.68084
菲斯曼,达娜;普努埃利,阿米尔
5
2001
从伪造到核实。 Zbl 1052.68086
贝利,多伦;普努埃利,阿米尔;扎克,莱诺
5
2001
等效逻辑的范围分配。 Zbl 1052.68088
普努埃利,阿米尔;Rodeh,Yoav;希特里希曼,奥弗
2001
扩充抽象验证:自动机理论观点。 Zbl 0983.68109
凯斯顿,尤尼特;普努埃利,阿米尔;瓦迪,莫斯伊。
2
2001
时间决定性:命题的完备性。 Zbl 1033.03009号
利希滕斯坦,奥娜;普努埃利,阿米尔
24
2000
扩展有限抽象验证。 Zbl 1003.68069
凯斯顿,尤尼特;普努埃利,阿米尔
17
2000
参数化验证中的活性和加速性。 Zbl 0974.68521
普努埃利,阿米尔;沙哈尔,埃拉德
11
2000
控制与数据抽象:实用形式验证的基石。 Zbl 1059.68589
凯斯顿,尤尼特;普努埃利,阿米尔
10
2000
时钟和混合系统的验证。 Zbl 0957.68073
凯斯顿,尤尼特;吗哪,佐哈尔;普努埃利,阿米尔
2
2000
两种推测指令执行验证方法的比较。 Zbl 0971.68576
阿伦斯,塔玛拉;普努埃利,阿米尔
2
2000
Ricart-Agrawala算法的形式化验证。 Zbl 1044.68677
塞德尔斯基,叶卡捷琳娜;普努埃利,阿米尔;本阿里,莫德凯
2
2000
可判定积分图。 Zbl 1045.68566
凯斯顿,Y。;普努埃利,A。;Sifakis,J。;约文,S。
13
1999
用小域实例化判定等式公式。 Zbl 1046.68605
普努埃利,阿米尔;Rodeh,Yoav;希特里希曼,奥弗;西格尔,迈克尔
12
1999
正交多面体:表示与计算。 Zbl 0947.68154
伯恩斯,奥利弗;马勒,奥德;普努埃利,阿米尔
7
1999
通过增强抽象验证活性。 Zbl 0944.68128号
凯斯顿,尤尼特;普努埃利,阿米尔
1
1999
时间自动机和数字电路中延迟的离散化。 Zbl 0933.94045
细辛,尤金;马勒,奥德;普努埃利,阿米尔
17
1998
代码验证工具(CVT)。编译过程的自动验证。 Zbl 1022.68733
普努埃利,A。;希特里曼,O。;西格尔,M。
7
1998
硬件验证的Herbrand自动机。 Zbl 0940.68051
达姆,W。;普努埃利,A。;Ruah,S。
2
1998
关于时间系统离散控制器的综合。 Zbl 1379.68227
马勒,奥德;普努埃利,阿米尔;斯法基斯,约瑟夫
64
1995
具有分段常导数动力系统的可达性分析。 68008ZB84
细辛,尤金;马勒,奥德;普努埃利,阿米尔
49
1995
参数化程序的验证。 Zbl 0844.68079
吗哪,佐哈尔;普努埃利,阿米尔
26
1995
无穷正则集的可学习性。 Zbl 0834.68099
马勒,奥德;普努埃利,阿米尔
11
1995
混合动力系统专题。 Zbl 0879.00023
普努埃利,A。;Sifakis,J。
6
1995
时间转换系统的时间证明方法。 Zbl 0820.68085
亨辛格,托马斯A。;吗哪,佐哈尔;普努埃利,阿米尔
13
1994
证明偏序性质。 Zbl 0803.68070
贝利,多伦;普努埃利,阿米尔
10
1994
时间验证图。 Zbl 0942.03527
吗哪,佐哈尔;普努埃利,阿米尔
7
1994
概率验证。 Zbl 0797.68112
普努埃利,阿米尔;扎克,莱诺·D。
12
1993
反应性模型。 Zbl 0790.68041
吗哪,佐哈尔;普努埃利,阿米尔
11
1993
时序逻辑中的系统规范和细化。 Zbl 0919.03027
普努埃利,阿米尔
1992
时间属性类的特征。 Zbl 1425.68252
张,爱德华;吗哪,佐哈尔;普努埃利,阿米尔
1
1992
反应式和并发系统的时序逻辑。规范。 Zbl 0753.68003
吗哪,佐哈尔;普努埃利,阿米尔
183
1991
完成时间图像。 Zbl 0795.68133
吗哪,佐哈尔;普努埃利,阿米尔
22
1991
论形式模型的忠实性。 Zbl 0776.68041
吗哪,佐哈尔;普努埃利,阿米尔
1
1991
证明偏序活性性质。 Zbl 0765.68137
贝利,多伦;普努埃利,阿米尔
5
1990
关于异步无功模块的综合。 京保0686.68015
普努埃利,阿米尔;罗斯纳,罗尼
123
1989
时间框架的锚定版本。(教程)。 中保0683.68031
曼娜,Z。;普努埃利,A。
22
1989
完成时间图像。 6807ZB75号
吗哪,佐哈尔;普努埃利,阿米尔
6
1989
时序逻辑在实时系统规范中的应用。 Zbl 0688.68024
普努埃利,阿米尔;哈雷尔,艾尔
5
1988
反应模块合成的框架。 津保0663.68037
普努埃利,阿米尔;罗斯纳,罗尼
1
1988
并发访问数据结构的规范和实现:抽象数据类型方法。 Zbl 0638.68011
卡普兰,圣潘;普努埃利,阿米尔
2
1987
时序逻辑在无功系统规范和验证中的应用:当前趋势综述。 浙宝0607.68022
普努埃利,A。
23
1986
多进程概率协议的验证。 Zbl 0598.68019
普努埃利,阿米尔;扎克,莱诺
20
1986
一种类似CSP语言的组合时间方法。 Zbl 0594.68018
巴林格,霍华德;库尔德库伊伯;普努埃利,阿米尔
7
1986
…还有41份文件
全部的 前5名

被2030位作者引用

31 奥娜库普费尔曼
29 普努埃利,阿米尔
23 瓦迪,莫斯伊。
21 亨辛格,托马斯A。
19 查特吉,克莉什南杜
18 拉森,金·古德斯兰德
15 佩利德,多伦A。
13 哈雷尔,大卫
12 最好的,艾克
12 马朱姆达尔,鲁帕克
12 拉斯金,让·弗朗索瓦
11 阿鲁尔,拉吉耶夫
11 拜尔,克里斯特尔
11 段振华
11 科宁,丹尼尔
11 勒盖,阿克塞尔
11 穆拉诺,阿尼埃洛
10 阿卜杜拉,帕罗什·阿齐兹
10 马勒,奥德
10 吗哪,佐哈尔
9 细辛,尤金
9 伯恩斯,奥利弗
9 布耶,帕特里夏
9 格鲁伯格,奥娜
9 卡茨,希缪尔
9 皮特曼,Nir
8 你好,罗德里克
8 艾哈迈德·布瓦贾尼
8 狄克逊,克莱尔
8 埃斯帕扎,哈维尔
8 菲斯曼,达娜
8 哈珀,约瑟夫·耶胡达
8 海瑟林,维姆H。
8 Kwiatkowska,Marta Z。
8 马基,尼古拉斯
8 梅斯盖尔·瓜伊塔,何塞
8 莫加韦罗,法比奥
8 Thiagarajan,Pazhamaneri Subramaniam
8 扎克,莱诺·D。
7 切博塔列夫,安纳托利N。
7 克拉克,埃德蒙·梅尔森俊。
7 德阿尔法罗,卢卡
7 多恩,劳伦特
7 费拉,马可
7 弗朗西兹,尼西姆
7 加弗里尔,法尼卡
7 Jobstmann,芭芭拉
7 奥尔德罗,恩斯特-吕迪格
7 雷诺兹,马克·亚历山大
7 斯特里奇曼,奥弗
6 阿夫尼,伙计
6 大卫·派恩。
6 大卫,亚历山德拉
6 德维勒,雷蒙德
6 强森,本特
6 凯斯顿,尤尼特
6 蒙塔纳里,安吉洛
6 拉比诺维奇,亚历山大
6 斯里拉姆Sankaranarayanan
6 斯图尔特,洛娜·K。
6 田聪
6 Wąsowski和Andrzej
6 张楠
5 巴雷特,克拉克W。
5 布里哈伊,托马斯
5 亚历山德罗·西马蒂
5 伊利诺伊州费伦伯格
5 费尔南德斯·杜克,大卫
5 芬克贝纳,伯纳德
5 弗里德曼,艾米莉P。
5 吉拉德,安托万
5 哥伦比,马丁·查尔斯
5 Kulkarni,Sandeep S。
5 兰格,马丁
5 McIver,Annabelle K。
5 莫斯科夫斯基,本·C。
5 Rezine,艾哈迈德
5 罗滕,多伦
5 里巴科夫,弗拉基米尔·弗拉基米罗维奇
5 莎莉吉娜,娜塔莎
5 斯法基斯,约瑟夫
5 加利西亚乌鲁西亚,豪尔赫L。
5 沃尔珀,皮埃尔
5 沃雷尔,詹姆斯B。
4 阿普特,拉法
4 本萨勒姆,萨德克
4 Bérard,Béatrice
4 Bonakdarpour,Borzoo
4 波兹加,马吕斯
4 布鲁伊埃,维罗尼克
4 陈根辉
4 陈宗岳
4 科内尔,德里克·戈登
4 德尔扎诺,乔治
4 埃勒斯,吕迪格
4 法尔肯,伊莉丝
4 哈达德,谢尔盖
4 海梅尔斯,W.P.Maurice H。
4 胡曼,乔泽夫·约翰内斯·玛丽亚
4 Hustadt,Ullrich
…还有1930多个作家
全部的 前5名

在141个系列中被引用

214 理论计算机科学
85 系统设计中的形式化方法
80 信息与计算
77 计算的形式化方面
60 信息学报
51 计算机与系统科学杂志
46 信息处理信函
36 分布式计算
24 自动推理杂志
23 离散应用数学
23 离散事件动态系统
19 数学与人工智能年鉴
16 自动
16 逻辑与代数程序设计杂志
15 离散数学
15 计算机程序设计学
12 计算机科学与技术杂志
12 国际计算机科学基础杂志
11 计算机科学中的逻辑方法
10 计算逻辑学报
9 人工智能
9 控制论与系统分析
9 应用非经典逻辑杂志
9 程序设计中的逻辑和代数方法杂志
8 应用逻辑杂志
7 纯逻辑与应用逻辑年鉴
7 符号计算杂志
7 欧洲控制杂志
6 数学系统论
6 网络
6 国际计算机数学杂志
6 非线性分析。混合动力系统
5 计算
5 信息科学
5 编程与计算机软件
5 MSCS公司。计算机科学中的数学结构
5 逻辑、语言与信息杂志
4 国际控制杂志
4 组合理论杂志。B系列
4 符号逻辑杂志
4 国际并行程序设计杂志
4 ACM杂志
应用数学与计算
苏联数学杂志
莱罗,信息来源
逻辑研究
合成语
控制论
系统和控制字母
命令
实时系统
雷罗。信息技术应用
计算系统理论
高阶与符号计算
逻辑程序设计理论与实践
ādhanā
计算机科学评论
2 计算机与数学及其应用
2 国际通用系统杂志
2 国际系统科学杂志
2 富兰克林学院学报
2 钻头
2 图论杂志
2 数学心理学杂志
2 模拟中的数学与计算机
2 圣母院形式逻辑杂志
2 国际生产研究杂志
2 应用随机模型与数据分析
2 复杂性杂志
2 新一代计算
2 算法
2 暹罗离散数学杂志
2 杰泰。实验与理论人工智能杂志
2 国际鲁棒非线性控制杂志
2 并行算法及其应用
2 组合优化期刊
2 计算机基础理论
2 应用数学与计算杂志
2 比特。Nordisk Tidskift信息处理
2 计算机科学中的数学
2 科学中国。信息科学
2 中国计算机科学前沿
2 计算机科学前沿
1 国际理论物理杂志
1 代数与逻辑
1 考克罗
1 国际计算机与信息科学杂志
1 计算与应用数学杂志
1 哲学逻辑杂志
1 数学数学
1 非线性分析。理论、方法与应用。A系列:理论与方法
1 美国数学学会会刊
1 西伯利亚数学杂志
1 莫斯科大学计算数学与控制论
1 数学社会科学
1 暹罗代数与离散方法杂志
1 运筹学信函
1 图与组合
1 国际近似推理杂志
1 麦克斯。控制、信号和系统数学
…还有41部连续剧

按年份列出的引文

维基数据时间轴

数据显示为存储在Wikidata中的Creative Commons CC0许可证. 应进行更新和更正在Wikidata中.