×

亚历山大·拉比诺维奇

作者ID: 拉比诺维奇·亚历山大“亚历山大·拉比诺维奇”最近发表的zbMATH文章
发布日期: 亚历山大·拉比诺维奇;A.拉比诺维奇。
主页: 网址:http://www.cs.tau.ac.il/~拉比诺亚/
外部链接: MGP公司·数据库许可证
已编制索引的文档: 115出版物自1987年起
3作为编辑的贡献
合著者: 63位合著者具有69联合出版物
2193联合作者
全部的 前5名

合著者

48 单作者的
11 约拉姆·赫什菲尔德
9 鲍里斯·阿夫拉阿莫维奇(Boris Avraamovich),特拉赫滕布罗特(Trakhtenbrot)
6 穆利·萨吉夫
4 阿诺·阿夫隆
4 丹尼尔·博基尔
4 纳鸿·德肖维茨
4 多龙·蒂费雷特
亚历克西斯·贝丝
尤里·古里维奇
多里特·帕尔多(奥登特里希)
阿米特·肖姆拉特
阿纳托尔·斯利森科
纱线维纳
格雷塔·约什
2 亚哈龙·阿巴迪
2 帕罗什·阿齐兹·阿卜杜拉
2 文斯·巴拉尼
2 艾哈迈德·博阿贾尼
2 Stéphane P.德姆里。
2 卢卡斯·凯泽
2 沙哈尔·茂兹
2 艾伯特·罗纳德·梅耶
2 安托万·梅耶
2 乔尔·欧·瓦克宁。
2 菲利普·施诺贝伦
2 沃尔夫冈·托马斯
2 詹姆斯·沃雷尔。
1 艾布拉姆森,Y。
1 兹维亚·阿古尔
1 卡列夫·阿尔佩纳斯
1 谢尔盖·阿特莫夫
1 巴兹迪什,尤尼斯
1 Nathalie Bertrand
1 Mikołaj博扬奇克
1 莱昂尼德·博库特(Leonid A.Bokut)。
1 克里希南德·查特吉
1 亚历山大·德克蒂亚(Alexander M.Dekhtyar)。
1 劳伦特·多恩
1 尤瓦尔银杏
1 托马斯·亨辛格(Thomas A.Henzinger)。
1 Mika Hirvensalo
1 艾诺夫斯基。
1 尼尔·伊梅尔曼
1 马克·詹金斯。
1 朱哈尼·卡鲁马基
1 尤里·科根
1 莱昂尼德·莱文(Leonid A.Levin)。
1 伊琳娜·洛马佐娃(Irina A.Lomazova)。
1 尤里·弗拉基米洛维奇·马蒂亚塞维奇
1 安东尼·马祖基维奇(Antoni W.Mazurkiewicz)。
1 法隆·莫勒
1 瓦莱里·A·内波米纳西。
1 达米安·尼文斯基
1 谢尔盖·彼得罗维奇·诺维科夫
1 熊猫,Aurojit
1 亚当·拉齐翁奇克·西塔
1 让-弗朗索瓦·拉斯金
1 代表,Thomas W。
1 萨沙·鲁宾
1 萨佐诺夫,弗拉基米尔·余。
1 维拉·塞利瑟
1 斯科特·J·申克。
1 尼古拉·V·希洛夫。
1 莫舍·肖姆
1 莎伦·肖姆
1 Micha Skrzypczak
1 A.O.斯利森科。
1 瓦莱里·阿纳托尔·埃维奇·索科洛夫
1 马克·B·特拉赫滕布罗特(Mark B.Trakhtenbrot)。
1 弗拉基米尔·温斯坦

按年份列出的出版物

zbMATH Open中包含的引文

94出版物有被引用515中的次336文件 引用人 年份
行为结构和网络。 Zbl 0657.68068号
A.拉比诺维奇。;Trakhtenbrot,学士。
53
1988
多均值和多能量游戏的复杂性。 Zbl 1309.68082号
纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;亚历山大·拉比诺维奇;让-弗朗索瓦·拉斯金
31
2015
实时逻辑:可判定性和复杂性。 Zbl 1127.03012号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
26
2004
坎普定理的证明。 兹伯利1326.03024
亚历山大·拉比诺维奇
16
2014
关于连续时间规范形式的可判定性。 Zbl 0913.03018号
亚历山大·拉比诺维奇
15
1998
连续时间度量模式的表达。 Zbl 1128.03007号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
13
2007
定量时间逻辑。 Zbl 0943.03017号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
12
1999
关于由一元谓词扩展的自然语言的一元顺序逻辑的可判定性。 Zbl 1115.68100号
亚历山大·拉比诺维奇
12
2007
实时表达的时序逻辑。 Zbl 1132.03323号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
12
2006
链接数据结构中可访问模式的逻辑。 Zbl 1180.68131号
格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼
11
2006
噪声输入的Church合成问题。 Zbl 1326.68189号
纱线维纳;亚历山大·拉比诺维奇
11
2011
带有一元谓词的自然数排序的可判定理论。 Zbl 1225.03013号
亚历山大·拉比诺维奇;沃尔夫冈·托马斯
10
2006
验证通信故障的概率系统。 Zbl 1105.68003号
阿卜杜拉,P.A。;北伯特兰。;A.拉比诺维奇。;Schnoebelen博士。
10
2005
有时限的验证。 Zbl 1254.68151号
约尔·瓦克宁;亚历山大·拉比诺维奇;詹姆斯·沃雷尔
10
2009
有限代理并发系统等价问题的复杂性。 Zbl 0892.68061号
亚历山大·拉比诺维奇
9
1997
可判定韵律逻辑的框架。 Zbl 0939.03023号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
9
1999
计数CTL(^*\):关于一元路径逻辑的表达能力。 兹伯利1019.03023
法隆·莫勒;亚历山大·拉比诺维奇
9
2003
计时器公式和可判定的度量时态逻辑。 Zbl 1068.03014号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
9
2005
有限状态行为的迹同余的完全公理化。 Zbl 1509.68189号
亚历山大·拉比诺维奇
8
1994
具有计数和普努利模态的度量时间逻辑的复杂性。 Zbl 1196.03029号
亚历山大·拉比诺维奇
8
2010
具有可判定模型检查的概率逻辑。 Zbl 1021.03013号
丹尼尔·博基尔;亚历山大·拉比诺维奇;阿纳托尔·斯利森科
7
2002
验证通信故障的概率系统。 兹比尔1029.68094
帕罗什·阿齐兹·阿卜杜拉;亚历山大·拉比诺维奇
7
2003
关系之间的沟通。 Zbl 0765.68110号
A.拉比诺维奇。;Trakhtenbrot,学士。
7
1990
概率有损信道系统的定量分析。 Zbl 1039.68557号
亚历山大·拉比诺维奇
6
2003
命题时长微积分的非元素下界。 Zbl 0925.68062号
A.拉比诺维奇。
6
1998
具有计数和普努利模态的度量时间逻辑的复杂性。 兹比尔1171.03313
亚历山大·拉比诺维奇
6
2008
链接数据结构中可访问模式的逻辑。 Zbl 1121.03040号
格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼
6
2007
计算机科学的支柱。在鲍里斯(波阿斯)·特拉赫滕布罗特85岁生日之际,为他撰写的论文。 Zbl 1132.68002号
6
2008
未来的时序逻辑需要无限多的形式。 Zbl 1045.03019号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
6
2003
多种逻辑的可决定碎片。 Zbl 1183.03007号
亚哈龙·阿巴迪;亚历山大·拉比诺维奇;穆利·萨吉夫
6
2010
教会问题的逻辑完善。 Zbl 1179.03038号
亚历山大·拉比诺维奇;沃尔夫冈·托马斯
5
2007
区分交叉行为中的因果关系。 Zbl 0677.68006号
J·赫什菲尔德。;A.拉比诺维奇。;特拉赫滕布罗特,B.A。
5
1989
自然秩序的一元逻辑没有有限的基础。 Zbl 1056.03007号
丹尼尔·博基尔;亚历山大·拉比诺维奇
5
2002
在连续时间内实现自动化。 Zbl 1028.68082号
亚历山大·拉比诺维奇
5
2003
通过结构模拟进行验证。 Zbl 1103.68623号
尼尔·伊梅尔曼;亚历山大·拉比诺维奇;代表,Thomas W。;穆利·萨吉夫;尤斯,太好了
5
2004
检查有限代理并发系统之间的等价性(扩展抽象)。 兹比尔1425.68302
亚历山大·拉比诺维奇
5
1992
有限二义Büchi自动机的互补。 Zbl 1457.68148号
亚历山大·拉比诺维奇
5
2018
论组合性及其局限性。 Zbl 1367.68202号
亚历山大·拉比诺维奇
5
2007
网络和数据流解释程序。 Zbl 0716.68062号
A.拉比诺维奇。;Trakhtenbrot,学士。
5
1989
具有可判定模型检查的概率逻辑。 Zbl 1109.03017号
Daniéle博奎尔;亚历山大·拉比诺维奇;阿纳托尔·斯利森科
4
2006
持续时间演算的表达式完整性。 Zbl 1046.68606号
亚历山大·拉比诺维奇
4
2000
现实中的明星自由表达。 Zbl 0953.68075号
亚历山大·拉比诺维奇
4
2000
时间逻辑的表达能力。 Zbl 1012.03027号
亚历山大·拉比诺维奇
4
2002
多种逻辑的可决定碎片。 Zbl 1137.03302号
亚哈龙·阿巴迪;亚历山大·拉比诺维奇;穆利·萨吉夫
4
2007
从有限自动机到混合系统(扩展抽象)。 Zbl 1507.68172号
A.拉比诺维奇。;Trakhtenbrot,学士。
4
1997
状态网络验证的一些复杂性结果。 Zbl 1425.68248号
卡列夫·阿尔佩纳斯;熊猫,Aurojit;亚历山大·拉比诺维奇;穆利·萨吉夫;斯科特·申克;莎伦·肖姆;纱线维纳
4
2019
线性时域上的时间逻辑在PSPACE中。 Zbl 1287.68081号
亚历山大·拉比诺维奇
4
2010
关于动作的时间逻辑到一元二阶逻辑的翻译。 Zbl 0896.03026号
A.拉比诺维奇。
1998
动作时序逻辑的表达完整性。 Zbl 0912.03011号
亚历山大·拉比诺维奇
1998
关于持续时间和平均值计算的表达完整性。 Zbl 0911.68138号
亚历山大·拉比诺维奇
1997
过程和数据流网络。(技术贡献)。 Zbl 0683.68023号
A.拉比诺维奇。;Trakhtenbrot,学士。
1989
为什么这么多时间逻辑会爬上树? Zbl 0996.68112号
亚历山大·拉比诺维奇;沙哈尔·茂兹
2000
分支时间上的时间逻辑的无限层次结构。 Zbl 1005.03022号
亚历山大·拉比诺维奇;沙哈尔·茂兹
2001
可数序数的一元理论中的选择。 Zbl 1163.03013号
亚历山大·拉比诺维奇;阿米特·肖姆拉特
2008
连续时间内的同步电路:反馈可靠性和完整性。 Zbl 1082.68058号
D.帕尔多。;A.拉比诺维奇。;特拉赫滕布罗特,B.A。
2004
广义乘积的选择与均匀化。 Zbl 1060.03049号
亚历山大·拉比诺维奇
2004
教会问题的决定性延伸。 Zbl 1257.03034号
亚历山大·拉比诺维奇
2009
带计数的连续时间时序逻辑。 Zbl 1242.03044号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
2
2012
概率有损信道系统的定量分析。 Zbl 1103.68078号
亚历山大·拉比诺维奇
2
2006
Pomset语义与数据流语义一致。 Zbl 0663.68015号
亚历山大·拉比诺维奇
2
1987
理性的定义与背景中的实际秩序。 Zbl 0999.03005号
尤里·古里维奇;亚历山大·拉比诺维奇
2
2002
一元序逻辑的有限可变性解释。 Zbl 1026.68083号
A.拉比诺维奇。
2
2002
符号模型检查\(\mu\)-微积分需要指数时间。 Zbl 0944.68035号
A.拉比诺维奇。
2
2000
连续时间度量模式的表达。 Zbl 1185.03021号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
2
2006
带参数的Church综合问题。 Zbl 1131.03016号
亚历山大·拉比诺维奇
2
2007
可定义性和不可定义性以及后台的实际顺序。 Zbl 0963.03062号
尤里·古里维奇;亚历山大·拉比诺维奇
2
2000
通过阿霉素和粒细胞集落刺激因子改善癌症治疗:来自人类粒细胞生成计算机模型的见解。 Zbl 1337.92120号
范斯坦,V。;Y.Ginosar。;肖厄姆,M。;艾诺夫斯基。;A.拉比诺维奇。;科根,Y。;V·塞利瑟。;阿古尔,Z。
2
2006
选择由一元谓词扩展的序数类。 Zbl 1225.03012号
亚历山大·拉比诺维奇;阿米特·肖姆拉特
2
2010
实域上“几乎未来”时间逻辑的有限基础。 兹伯利1365.03018
多里特·帕尔多(奥登特里希);亚历山大·拉比诺维奇
2
2012
有限状态和可定义获胜策略的综合。 Zbl 1250.03015号
亚历山大·拉比诺维奇
2
2009
关于MSO可定义分支集的Borel复杂性。 Zbl 1206.03041号
Mikołaj博扬奇克;达米安·尼文斯基;亚历山大·拉比诺维奇;亚当·拉齐翁奇克·西塔;Micha Skrzypczak
2
2010
树上MLO中的基数量词。 Zbl 1257.03062号
文斯·巴拉尼;凯撒,乌卡斯;亚历山大·拉比诺维奇
2
2009
从棘手的问题中计算部分信息:以代数数的幂为例。 Zbl 1251.11052号
Mika Hirvensalo;朱哈尼·卡胡马基;亚历山大·拉比诺维奇
2
2010
线性时域上的时间逻辑在PSPACE中。 Zbl 1280.68112号
亚历山大·拉比诺维奇
1
2012
\(\text{比特币}_{2} 和(text{ECTL}^{+})的表达能力。 兹比尔1110.68076
亚历山大·拉比诺维奇;菲利普·施诺贝伦
1
2006
广义和的合成定理。 Zbl 1124.03013号
亚历山大·拉比诺维奇
1
2007
关系网的模块化和可表达性。 Zbl 0908.68041号
亚历山大·拉比诺维奇
1
1998
洗牌正则表达式的有效标识问题。 Zbl 1021.68085号
阿尔伯特·R·迈耶。;亚历山大·拉比诺维奇
1
2002
分裂等价的可判定性。 Zbl 1009.68080号
艾布拉姆森,Y。;拉比诺维奇,A。
1
2002
一元逻辑和持续时间演算之间的简洁差距。 Zbl 0964.03031号
A.拉比诺维奇。
1
2000
可数序数的教会问题。 Zbl 1168.03006号
亚历山大·拉比诺维奇
1
2009
具有不可通约距离的时间逻辑是不可判定的。 邮编1128.03009
亚历山大·拉比诺维奇
1
2007
Boris A.Trakhtenbrot:学术谱系和出版物。 Zbl 1132.01303号
阿诺·阿夫隆;纳鸿·德肖维茨;亚历山大·拉比诺维奇
1
2008
序数一元理论中的选择和一致化问题:综述。 Zbl 1133.03313号
亚历山大·拉比诺维奇;阿米特·肖姆拉特
1
2008
具有until和since超过序数的时序逻辑的复杂性。 Zbl 1137.03308号
斯特凡·德姆里;亚历山大·拉比诺维奇
1
2007
关于数据流网络的图式等价。 Zbl 0853.68093号
亚历山大·拉比诺维奇
1
1996
正则无限树语言的模糊层次。 Zbl 07559451号
亚历山大·拉比诺维奇;多龙·蒂费雷特
1
2020
Büchi树自动机的模糊度。 Zbl 07650347号
亚历山大·拉比诺维奇;多龙·蒂费雷特
1
2019
关于几乎未来的时序逻辑。 Zbl 1465.03062号
亚历山大·拉比诺维奇
1
2015
序数类上线性时间逻辑的复杂性。 Zbl 1213.03027号
斯特凡·德姆里;亚历山大·拉比诺维奇
1
2010
标记线性序的可判定展开式。 兹比尔1213.03017
亚历克西斯·贝丝;亚历山大·拉比诺维奇
1
2011
在链上的一元二阶逻辑中表示基数量词。 Zbl 1222.03009号
文斯·巴拉尼;凯撒,乌卡斯;亚历山大·拉比诺维奇
1
2011
在有可计数的许多树枝的树上的解释。 Zbl 1364.03017号
亚历山大·拉比诺维奇;萨沙·鲁宾
1
2012
连接和同步。 Zbl 0744.68049号
Mazurkiewicz,A。;A.拉比诺维奇。;Trakhtenbrot,学士。
1
1991
正则无限树语言的模糊层次。 Zbl 07559451号
亚历山大·拉比诺维奇;多龙·蒂费雷特
1
2020
状态网络验证的一些复杂性结果。 兹比尔1425.68248
卡列夫·阿尔佩纳斯;熊猫,Aurojit;亚历山大·拉比诺维奇;穆利·萨吉夫;斯科特·申克;莎伦·肖姆;纱线维纳
4
2019
Büchi树自动机的模糊度。 Zbl 07650347号
亚历山大·拉比诺维奇;多龙·蒂费雷特
1
2019
有限二义Büchi自动机的互补。 Zbl 1457.68148号
亚历山大·拉比诺维奇
5
2018
多均值和多能量游戏的复杂性。 Zbl 1309.68082号
纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;亚历山大·拉比诺维奇;让-弗朗索瓦·拉斯金
31
2015
关于几乎未来的时序逻辑。 Zbl 1465.03062号
亚历山大·拉比诺维奇
1
2015
坎普定理的证明。 Zbl 1326.03024号
亚历山大·拉比诺维奇
16
2014
带计数的连续时间时间时间逻辑。 Zbl 1242.03044号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
2
2012
实域上“几乎未来”时间逻辑的有限基础。 Zbl 1365.03018号
多里特·帕尔多(奥登特里希);亚历山大·拉比诺维奇
2
2012
线性时域上的时间逻辑在PSPACE中。 Zbl 1280.68112号
亚历山大·拉比诺维奇
1
2012
在树枝数不清的树上进行解释。 Zbl 1364.03017号
亚历山大·拉比诺维奇;萨沙·鲁宾
1
2012
噪声输入的Church合成问题。 Zbl 1326.68189号
纱线维纳;亚历山大·拉比诺维奇
11
2011
标记线性序的可判定展开式。 兹比尔1213.03017
亚历克西斯·贝丝;亚历山大·拉比诺维奇
1
2011
在链上的一元二阶逻辑中表示基数量词。 Zbl 1222.03009号
文斯·巴拉尼;凯撒,乌卡斯;亚历山大·拉比诺维奇
1
2011
具有计数和普努利模态的度量时间逻辑的复杂性。 Zbl 1196.03029号
亚历山大·拉比诺维奇
8
2010
许多排序逻辑的可判定片段。 Zbl 1183.03007号
亚哈龙·阿巴迪;亚历山大·拉比诺维奇;穆利·萨吉夫
6
2010
线性时域上的时间逻辑在PSPACE中。 Zbl 1287.68081号
亚历山大·拉比诺维奇
4
2010
选择由一元谓词扩展的序数类。 Zbl 1225.03012号
亚历山大·拉比诺维奇;阿米特·肖姆拉特
2
2010
关于MSO可定义分支集的Borel复杂性。 Zbl 1206.03041号
Mikołaj博扬奇克;达米安·尼文斯基;亚历山大·拉比诺维奇;亚当·拉齐翁奇克·西塔;Micha Skrzypczak
2
2010
从棘手的问题中计算部分信息:以代数数的幂为例。 兹比尔1251.11052
Mika Hirvensalo;朱哈尼·卡胡马基;亚历山大·拉比诺维奇
2
2010
序数类上线性时间逻辑的复杂性。 Zbl 1213.03027号
斯特凡·德姆里;亚历山大·拉比诺维奇
1
2010
有时限的验证。 Zbl 1254.68151号
约尔·瓦克宁;亚历山大·拉比诺维奇;詹姆斯·沃雷尔
10
2009
教会问题的决定性延伸。 Zbl 1257.03034号
亚历山大·拉比诺维奇
2009
有限状态和可定义获胜策略的综合。 Zbl 1250.03015号
亚历山大·拉比诺维奇
2
2009
树上MLO中的基数量词。 Zbl 1257.03062号
文斯·巴拉尼;凯撒,乌卡斯;亚历山大·拉比诺维奇
2
2009
可数序数的教会问题。 Zbl 1168.03006号
亚历山大·拉比诺维奇
1
2009
具有计数和普努利模态的度量时间逻辑的复杂性。 Zbl 1171.03313号
亚历山大·拉比诺维奇
6
2008
计算机科学的支柱。在鲍里斯(波阿斯)·特拉赫滕布罗特85岁生日之际,为他撰写的论文。 Zbl 1132.68002号
6
2008
可数序数的一元理论中的选择。 Zbl 1163.03013号
亚历山大·拉比诺维奇;阿米特·肖姆拉特
2008
Boris A.Trakhtenbrot:学术谱系和出版物。 Zbl 1132.01303号
阿诺·阿夫隆;纳鸿·德肖维茨;亚历山大·拉比诺维奇
1
2008
序数一元理论中的选择和一致化问题:综述。 Zbl 1133.03313号
亚历山大·拉比诺维奇;阿米特·肖姆拉特
1
2008
度量模式对连续时间的表达能力。 Zbl 1128.03007号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
13
2007
关于由一元谓词扩展的自然语言的一元顺序逻辑的可判定性。 Zbl 1115.68100号
亚历山大·拉比诺维奇
12
2007
链接数据结构中可访问模式的逻辑。 Zbl 1121.03040号
格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼
6
2007
教会问题的逻辑完善。 Zbl 1179.03038号
亚历山大·拉比诺维奇;沃尔夫冈·托马斯
5
2007
论组合性及其局限性。 Zbl 1367.68202号
亚历山大·拉比诺维奇
5
2007
多种逻辑的可决定碎片。 兹比尔1137.03302
亚哈龙·阿巴迪;亚历山大·拉比诺维奇;穆利·萨吉夫
4
2007
带参数的Church综合问题。 Zbl 1131.03016号
亚历山大·拉比诺维奇
2
2007
广义和的合成定理。 Zbl 1124.03013号
亚历山大·拉比诺维奇
1
2007
具有不可通约距离的时间逻辑是不可判定的。 邮编1128.03009
亚历山大·拉比诺维奇
1
2007
具有until和since超过序数的时序逻辑的复杂性。 Zbl 1137.03308号
斯特凡·德姆里;亚历山大·拉比诺维奇
1
2007
实时表达的时序逻辑。 Zbl 1132.03323号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
12
2006
链接数据结构中可访问模式的逻辑。 Zbl 1180.68131号
格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼
11
2006
具有一元谓词的自然数排序的可判定理论。 Zbl 1225.03013号
亚历山大·拉比诺维奇;沃尔夫冈·托马斯
10
2006
具有可判定模型检查的概率逻辑。 Zbl 1109.03017号
丹尼尔·博基尔;亚历山大·拉比诺维奇;阿纳托尔·斯利森科
4
2006
概率有损信道系统的定量分析。 Zbl 1103.68078号
亚历山大·拉比诺维奇
2
2006
连续时间度量模式的表达。 Zbl 1185.03021号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
2
2006
通过阿霉素和粒细胞集落刺激因子改善癌症治疗:来自人类粒细胞生成计算机模型的见解。 Zbl 1337.92120号
瓦恩斯坦,V。;Y.Ginosar。;肖姆,M。;艾诺夫斯基。;A.拉比诺维奇。;科根,Y。;Selitser,V。;阿古尔,Z。
2
2006
\(\text{比特币}_{2} 和(text{ECTL}^{+})的表达能力。 Zbl 1110.68076号
亚历山大·拉比诺维奇;菲利普·施诺贝伦
1
2006
验证通信故障的概率系统。 Zbl 1105.68003号
阿卜杜拉,P.A。;北伯特兰。;A.拉比诺维奇。;Schnoebelen博士。
10
2005
计时器公式和可判定的度量时态逻辑。 兹伯利1068.03014
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
9
2005
实时逻辑:可判定性和复杂性。 Zbl 1127.03012号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
26
2004
通过结构模拟进行验证。 Zbl 1103.68623号
尼尔·伊梅尔曼;亚历山大·拉比诺维奇;代表,Thomas W。;穆利·萨吉夫;尤斯,太好了
5
2004
连续时间内的同步电路:反馈可靠性和完整性。 Zbl 1082.68058号
D.帕尔多。;拉比诺维奇,A。;Trakhtenbrot,学士。
2004
广义乘积的选择与均匀化。 Zbl 1060.03049号
亚历山大·拉比诺维奇
2004
计数CTL(^*\):关于一元路径逻辑的表达能力。 Zbl 1019.03023号
法隆·莫勒;亚历山大·拉比诺维奇
9
2003
验证通信故障的概率系统。 Zbl 1029.68094号
帕罗什·阿齐兹·阿卜杜拉;亚历山大·拉比诺维奇
7
2003
概率有损信道系统的定量分析。 Zbl 1039.68557号
亚历山大·拉比诺维奇
6
2003
未来的时序逻辑需要无限多的形式。 Zbl 1045.03019号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
6
2003
在连续时间内实现自动化。 Zbl 1028.68082号
亚历山大·拉比诺维奇
5
2003
具有可判定模型检查的概率逻辑。 兹比尔1021.03013
丹尼尔·博基尔;亚历山大·拉比诺维奇;阿纳托尔·斯利森科
7
2002
自然秩序的一元逻辑没有有限的基础。 Zbl 1056.03007号
丹尼尔·博基尔;亚历山大·拉比诺维奇
5
2002
时间逻辑的表达能力。 Zbl 1012.03027号
亚历山大·拉比诺维奇
4
2002
理性的定义与背景中的实际秩序。 Zbl 0999.03005号
尤里·古里维奇;亚历山大·拉比诺维奇
2
2002
一元序逻辑的有限可变性解释。 Zbl 1026.68083号
A.拉比诺维奇。
2
2002
洗牌正则表达式的有效标识问题。 兹比尔1021.68085
阿尔伯特·R·迈耶。;亚历山大·拉比诺维奇
1
2002
分裂等价的可判定性。 Zbl 1009.68080号
艾布拉姆森,Y。;A.拉比诺维奇。
1
2002
分支时间上的时间逻辑的无限层次结构。 Zbl 1005.03022号
亚历山大·拉比诺维奇;沙哈尔·茂兹
2001
持续时间演算的表达式完整性。 Zbl 1046.68606号
亚历山大·拉比诺维奇
4
2000
现实中的明星自由表达。 Zbl 0953.68075号
亚历山大·拉比诺维奇
4
2000
为什么这么多时间逻辑爬上了树? Zbl 0996.68112号
亚历山大·拉比诺维奇;沙哈尔·茂兹
2000
符号模型检查\(\mu\)-微积分需要指数时间。 Zbl 0944.68035号
A.拉比诺维奇。
2
2000
可定义性和不可定义性以及后台的实际顺序。 Zbl 0963.03062号
尤里·古里维奇;亚历山大·拉比诺维奇
2
2000
一元逻辑和持续时间演算之间的简洁差距。 Zbl 0964.03031号
A.拉比诺维奇。
1
2000
定量时间逻辑。 Zbl 0943.03017号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
12
1999
可判定韵律逻辑的框架。 Zbl 0939.03023号
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇
9
1999
关于连续时间规范形式的可判定性。 Zbl 0913.03018号
亚历山大·拉比诺维奇
15
1998
命题时长微积分的非元素下界。 Zbl 0925.68062号
拉比诺维奇,A。
6
1998
将动作的时间逻辑转换为一元二阶逻辑。 Zbl 0896.03026号
A.拉比诺维奇。
1998
动作时序逻辑的表达完整性。 Zbl 0912.03011号
亚历山大·拉比诺维奇
1998
关系网的模块化和可表达性。 Zbl 0908.68041号
亚历山大·拉比诺维奇
1
1998
有限代理并发系统等价问题的复杂性。 Zbl 0892.68061号
亚历山大·拉比诺维奇
9
1997
从有限自动机到混合系统(扩展抽象)。 Zbl 1507.68172号
A.拉比诺维奇。;特拉赫滕布罗特,B.A。
4
1997
关于持续时间和平均值计算的表达完整性。 Zbl 0911.68138号
亚历山大·拉比诺维奇
1997
关于数据流网络的图式等价。 Zbl 0853.68093号
亚历山大·拉比诺维奇
1
1996
有限状态行为的迹同余的完全公理化。 Zbl 1509.68189号
亚历山大·拉比诺维奇
8
1994
检查有限代理并发系统之间的等价性(扩展抽象)。 Zbl 1425.68302号
亚历山大·拉比诺维奇
5
1992
连接和同步。 Zbl 0744.68049号
马祖尔基维奇,A。;A.拉比诺维奇。;Trakhtenbrot,学士。
1
1991
关系之间的沟通。 Zbl 0765.68110号
A.拉比诺维奇。;Trakhtenbrot,学士。
7
1990
区分交叉行为中的因果关系。 Zbl 0677.68006号
J·赫什菲尔德。;A.拉比诺维奇。;Trakhtenbrot,学士。
5
1989
网络和数据流解释程序。 Zbl 0716.68062号
A.拉比诺维奇。;Trakhtenbrot,学士。
5
1989
流程和数据流的网络。(技术贡献)。 Zbl 0683.68023号
A.拉比诺维奇。;Trakhtenbrot,学士。
1989
行为结构和网络。 Zbl 0657.68068号
A.拉比诺维奇。;Trakhtenbrot,学士。
53
1988
Pomset语义与数据流语义一致。 Zbl 0663.68015号
亚历山大·拉比诺维奇
2
1987
全部的 前5名

被482位作者引用

45 亚历山大·拉比诺维奇
11 帕特里夏·鲍耶
10 米凯尔·兰多尔
9 克里希南德·查特吉
8 Stéphane P.德姆里。
8 罗伯托·戈里埃里
8 詹姆斯·沃雷尔。
7 亚历山德罗·西马蒂
7 奥尔纳·库普弗曼
7 尼古拉斯·马基
7 乔尔·欧·瓦克宁。
7 让-弗朗索瓦·拉斯金
7 Micha Skrzypczak
6 乌戈·蒙塔纳里。
6 沃尔夫冈·托马斯
6 斯特凡诺·托内塔
5 克里斯特尔·拜尔
5 保罗·巴尔丹
5 劳伦特·多恩
5 约拉姆·赫什菲尔德
5 金·古德斯特兰·拉森
5 安吉洛·蒙塔纳里
5 马克·亚历山大·雷诺兹
5 罗西(Matteo A.C.Rossi)。
5 菲利普·施诺贝伦
4 卢卡·埃特罗
4 纳塔莉·伯特兰
4 皮耶保罗·德加诺
4 丹尼尔·戈拉
4 朱利安·古铁雷斯
4 桑卡拉·纳拉亚南·克里希纳
4 库什拉伊·马德纳尼
4 阿尼埃洛·穆拉诺
4 尼尔森,莫根斯
4 帕里托什·K·潘迪亚。
4 穆利·萨吉夫
4 伊万诺·萨尔沃
4 鲍里斯·阿夫拉阿莫维奇(Boris Avraamovich),特拉赫滕布罗特(Trakhtenbrot)
4 迈克尔·J·伍尔德里奇。
4 Daniel N.Yanklevich。
4 马丁·齐默尔曼
帕罗什·阿齐兹·阿卜杜拉
本杰明·阿米诺夫
克莱门·奥伯特
丹尼尔·博基尔
马尔塞洛·玛丽亚·贝尔萨尼
雷米·布罗赫宁
维罗尼克·布鲁埃
佐尔坦·埃西克
乌里·法伦贝格
Ingo Felscher公司
阿德里安·弗兰卡兰扎
Anna Ingólfsdóttir
Legay、Axel
Stéphane勒鲁
克里斯托夫·Löding
艾蒂安·洛兹
米查勒夫斯基(Michalewski)、亨利克(Henryk)
托马索·帕多安
Pierluigi San彼得罗
萨沙·鲁宾
弗拉迪斯拉夫·里日科夫
阿米特·肖姆拉特
阿纳托尔·斯利森科
托马斯·斯蒂普尔斯
莫西·亚亚科夫·瓦尔迪
纱线维纳
格林·温斯克尔
迈克尔·维克托洛维奇(Michael Viktorovich)
2 亚哈龙·阿巴迪
2 阿克西,S。
2 达纳州安格鲁因
2 亚历山德罗·阿塔尔
2 贝拉德,贝特里奇
2 Bès,亚历克西斯
2 最好的,艾克
2 阿希姆·布卢门萨特
2 Mikołaj博扬奇克
2 乌迪·博克
2 贝内迪克特·博利格
2 玛丽亚·保拉(Maria Paola Bonacina)
2 艾哈迈德·博阿贾尼
2 托马斯·布拉兹迪尔
2 托马斯·布里海耶
2 伊恩·卡萨尔
2 Fabrice骑士
2 洛科·德尼古拉
2 Deters,摩根
2 雷蒙德·魔鬼队
2 穆纳乔·埃切宁
2 达纳·菲斯曼
2 法语,蒂姆
2 马蒂亚斯·福格尔
2 卡洛·阿尔贝托·福里亚
2 Dov M.加巴伊。
2 卢卡·盖蒂
2 尼古拉·吉甘特
2 戈丁,迪娜·Q。
2 斯特凡·格勒
2 乌苏拉·戈尔茨
…还有382位作者

按年份列出的引文