编辑配置文件(在新选项卡中打开) 亚历山大·拉比诺维奇 合著者距离 作者ID: 拉比诺维奇·亚历山大 发布日期: 亚历山大·拉比诺维奇;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 弗拉基米尔·温斯坦 全部的 前5名系列 20 信息与计算 8 理论计算机科学 8 计算机科学中的逻辑方法 6 计算机基础理论 5 符号逻辑杂志 4 逻辑与计算杂志 2 IGPL逻辑杂志 1 信息学报 1 信息处理信件 1 俄罗斯数学调查 1 数论杂志 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 欧洲理论计算机科学协会(EATCS)公报 1 系统设计中的形式化方法 1 自动机、语言和组合数学杂志 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 自然现象的数学建模 全部的 前5名字段 78 数学逻辑和基础(03-XX) 76 计算机科学(68至XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 阶、格、有序代数结构(06-XX) 三 总体主题;集合(00-XX) 三 历史和传记(01-XX) 2 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 偏微分方程(35-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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位作者 全部的 前5名引用于38个系列 51 信息与计算 42 理论计算机科学 13 信息学报 12 计算机科学中的逻辑方法 7 信息处理信件 7 计算机与系统科学杂志 7 应用非经典逻辑杂志 7 ACM计算逻辑事务 6 纯逻辑与应用逻辑年鉴 6 国际计算机科学基础杂志 5 人工智能 5 程序设计中的逻辑和代数方法杂志 4 自动推理杂志 4 计算的形式方面 4 系统设计中的形式化方法 4 逻辑与代数程序设计杂志 2 符号逻辑杂志 2 实时系统 2 MSCS公司。计算机科学中的数学结构 2 数学与人工智能年鉴 2 计算系统理论 2 美国医学会杂志 2 RAIRO公司。理论信息学及其应用 2 计算机基础理论 1 俄罗斯数学调查 1 应用数学与计算 1 SIAM计算机杂志 1 符号计算杂志 1 离散事件动态系统 1 RAIRO公司。Informatique Théorique et Applications公司 1 人工智能研究杂志 1 自动机、语言和组合数学杂志 1 中欧数学杂志 1 应用逻辑杂志 1 符号逻辑述评 1 游戏 1 计算机科学前沿 1 可计算性 全部的 前5名21个领域被引用 280 计算机科学(68至XX) 152 数学逻辑和基础(03-XX) 33 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 组合数学(05-XX) 6 概率论与随机过程(60-XX) 5 阶、格、有序代数结构(06-XX) 5 系统论;控制(93至XX) 三 历史和传记(01-XX) 三 运筹学、数学规划(90-XX) 三 信息与通信理论、电路(94-XX) 2 数论(11-XX) 1 一般代数系统(08-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 1 复变量的函数(30年XX月) 1 动力系统和遍历理论(37至XX) 1 一般拓扑结构(54至XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文