编辑配置文件（在新选项卡中打开） 亚历山大·拉比诺维奇 合著者距离 作者ID： 拉比诺维奇·亚历山大 发布日期： 亚历山大·拉比诺维奇;A.拉比诺维奇。 主页： 网址：http://www.cs.tau.ac.il/~拉比诺阿/ 外部链接： MGP公司·数据库许可证 已编制索引的文档： 115出版物自1987年起 3作为编辑的贡献 合著者： 63位合著者具有69联合出版物 2201合著作者 全部的 前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 Radziwończyk Syta，亚当 1 Jean-François拉斯金 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 波兰数学年鉴。系列IV 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 欧洲理论计算机科学协会（EATCS）公报 1 系统设计中的形式化方法 1 自动机、语言和组合数学杂志 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 自然现象的数学建模 全部的 前5名字段 78 数学逻辑和基础（03-XX） 75 计算机科学（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出版物有被引用526中的次346文件 引用人▼ 年份▼ 行为结构和网络。 Zbl 0657.68068号 A.拉比诺维奇。;Trakhtenbrot，学士。 58 1988 多均值和多能量游戏的复杂性。 Zbl 1309.68082号 纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;亚历山大·拉比诺维奇;Jean-François拉斯金 31 2015 实时逻辑：可判定性和复杂性。 Zbl 1127.03012号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 26 2004 坎普定理的证明。 Zbl 1326.03024号 亚历山大·拉比诺维奇 16 2014 关于连续时间规范形式的可判定性。 Zbl 0913.03018号 亚历山大·拉比诺维奇 15 1998 连续时间度量模式的表达。 Zbl 1128.03007号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 13 2007 定量时间逻辑。 兹伯利0943.03017 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 12 1999 实时表达的时序逻辑。 Zbl 1132.03323号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 12 2006 关于由一元谓词扩展的自然语言的一元顺序逻辑的可判定性。 Zbl 1115.68100号 亚历山大·拉比诺维奇 12 2007 噪声输入的Church合成问题。 Zbl 1326.68189号 纱线维纳;亚历山大·拉比诺维奇 11 2011 链接数据结构中可访问模式的逻辑。 Zbl 1180.68131号 格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼 11 2006 带有一元谓词的自然数排序的可判定理论。 Zbl 1225.03013号 亚历山大·拉比诺维奇;沃尔夫冈·托马斯 10 2006 验证通信故障的概率系统。 兹比尔1105.68003 阿卜杜拉，P.A。;北伯特兰。;A.拉比诺维奇。;Schnoebelen博士。 10 2005 有限代理并发系统等价问题的复杂性。 Zbl 0892.68061号 亚历山大·拉比诺维奇 10 1997 有时限的验证。 Zbl 1254.68151号 约尔·瓦克宁;亚历山大·拉比诺维奇;詹姆斯·沃雷尔 10 2009 计数CTL（^*\）：关于一元路径逻辑的表达能力。 Zbl 1019.03023号 法隆·莫勒;亚历山大·拉比诺维奇 9 2003 计时器公式和可判定的度量时态逻辑。 Zbl 1068.03014号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 9 2005 可判定韵律逻辑的框架。 Zbl 0939.03023号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 9 1999 有限状态行为的迹同余的完全公理化。 Zbl 1509.68189号 亚历山大·拉比诺维奇 9 1994 具有计数和普努利模态的度量时间逻辑的复杂性。 Zbl 1196.03029号 亚历山大·拉比诺维奇 8 2010 关系之间的沟通。 Zbl 0765.68110号 A.拉比诺维奇。;Trakhtenbrot，学士。 7 1990 具有可判定模型检查的概率逻辑。 Zbl 1021.03013号 丹尼尔·博基尔;亚历山大·拉比诺维奇;阿纳托尔·斯利森科 7 2002 验证通信故障的概率系统。 兹比尔1029.68094 帕罗什·阿齐兹·阿卜杜拉;亚历山大·拉比诺维奇 7 2003 多种逻辑的可决定碎片。 Zbl 1183.03007号 亚哈龙·阿巴迪;亚历山大·拉比诺维奇;穆利·萨吉夫 6 2010 链接数据结构中可访问模式的逻辑。 Zbl 1121.03040号 格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼 6 2007 计算机科学的支柱。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。 Zbl 1132.68002号 6 2008 概率有损信道系统的定量分析。 Zbl 1039.68557号 亚历山大·拉比诺维奇 6 2003 未来的时序逻辑需要无限多的形式。 兹比尔1045.03019 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 6 2003 命题持续时间微积分的非初等下界。 Zbl 0925.68062号 A.拉比诺维奇。 6 1998 具有计数和普努利模态的度量时间逻辑的复杂性。 Zbl 1171.03313号 亚历山大·拉比诺维奇 6 2008 自然秩序的一元逻辑没有有限的基础。 Zbl 1056.03007号 丹尼尔·博基尔;亚历山大·拉比诺维奇 5 2002 网络和数据流解释程序。 Zbl 0716.68062号 A.拉比诺维奇。;Trakhtenbrot，学士。 5 1989 区分交叉行为中的因果关系。 Zbl 0677.68006号 J·赫什菲尔德。;A.拉比诺维奇。;Trakhtenbrot，学士。 5 1989 通过结构模拟进行验证。 Zbl 1103.68623号 尼尔·伊梅尔曼;亚历山大·拉比诺维奇;代表，Thomas W。;穆利·萨吉夫;尤斯，太好了 5 2004 论组合性及其局限性。 Zbl 1367.68202号 亚历山大·拉比诺维奇 5 2007 丘奇问题的逻辑提炼。 Zbl 1179.03038号 亚历山大·拉比诺维奇;沃尔夫冈·托马斯 5 2007 在连续时间内实现自动化。 Zbl 1028.68082号 亚历山大·拉比诺维奇 5 2003 有限二义Büchi自动机的互补。 Zbl 1457.68148号 亚历山大·拉比诺维奇 5 2018 检查有限代理并发系统之间的等价性（扩展抽象）。 Zbl 1425.68302号 亚历山大·拉比诺维奇 5 1992 从有限自动机到混合系统（扩展抽象）。 Zbl 1507.68172号 A.拉比诺维奇。;Trakhtenbrot，学士。 5 1997 现实中的明星自由表达。 兹比尔0953.68075 亚历山大·拉比诺维奇 4 2000 持续时间演算的表达完备性。 Zbl 1046.68606号 亚历山大·拉比诺维奇 4 2000 时间逻辑的表达能力。 Zbl 1012.03027号 亚历山大·拉比诺维奇 4 2002 线性时域上的时间逻辑在PSPACE中。 Zbl 1287.68081号 亚历山大·拉比诺维奇 4 2010 多种逻辑的可决定碎片。 Zbl 1137.03302号 亚哈龙·阿巴迪;亚历山大·拉比诺维奇;穆利·萨吉夫 4 2007 具有可判定模型检查的概率逻辑。 Zbl 1109.03017号 丹尼尔·博基尔;亚历山大·拉比诺维奇;阿纳托尔·斯利森科 4 2006 状态网络验证的一些复杂性结果。 Zbl 1425.68248号 卡列夫·阿尔佩纳斯;熊猫，Aurojit;亚历山大·拉比诺维奇;穆利·萨吉夫;斯科特·申克;沙龙·肖姆;纱线维纳 4 2019 动作时序逻辑的表达完整性。 Zbl 0912.03011号 亚历山大·拉比诺维奇 三 1998 关于持续时间和平均值计算的表达完整性。 Zbl 0911.68138号 亚历山大·拉比诺维奇 三 1997 可数序数的一元理论中的选择。 兹比尔1163.03013 亚历山大·拉比诺维奇;阿米特·肖姆拉特 三 2008 分支时间上的时间逻辑的无限层次结构。 Zbl 1005.03022号 亚历山大·拉比诺维奇;沙哈尔·茂兹 三 2001 可定义性和不可定义性以及后台的实际顺序。 Zbl 0963.03062号 尤里·古里维奇;亚历山大·拉比诺维奇 三 2000 过程和数据流网络。（技术贡献）。 Zbl 0683.68023号 A.拉比诺维奇。;Trakhtenbrot，学士。 三 1989 为什么这么多时间逻辑爬上了树？ Zbl 0996.68112号 亚历山大·拉比诺维奇;毛兹，沙哈尔 三 2000 Church问题的可决定的延伸。 Zbl 1257.03034号 亚历山大·拉比诺维奇 三 2009 广义乘积的选择与均匀化。 Zbl 1060.03049号 亚历山大·拉比诺维奇 三 2004 连续时间内的同步电路：反馈可靠性和完整性。 Zbl 1082.68058号 D.帕尔多。;A.拉比诺维奇。;Trakhtenbrot，学士。 三 2004 将动作的时间逻辑转换为一元二阶逻辑。 Zbl 0896.03026号 A.拉比诺维奇。 三 1998 通过阿霉素和粒细胞集落刺激因子改善癌症治疗：来自人类粒细胞生成计算机模型的见解。 Zbl 1337.92120号 瓦恩斯坦，V。;Y.Ginosar。;肖厄姆，M。;艾诺夫斯基。;A.拉比诺维奇。;科根，Y。;V·塞利瑟。;阿古尔，Z。 2 2006 一元序逻辑的有限可变性解释。 Zbl 1026.68083号 A.拉比诺维奇。 2 2002 符号模型检查\（\mu\）-微积分需要指数时间。 Zbl 0944.68035号 A.拉比诺维奇。 2 2000 Pomset语义与数据流语义一致。 Zbl 0663.68015号 亚历山大·拉比诺维奇 2 1987 理性的定义与背景中的实际秩序。 Zbl 0999.03005号 尤里·古里维奇;亚历山大·拉比诺维奇 2 2002 带参数的Church综合问题。 Zbl 1131.03016号 亚历山大·拉比诺维奇 2 2007 线性时域上的时间逻辑在PSPACE中。 Zbl 1280.68112号 亚历山大·拉比诺维奇 2 2012 带计数的连续时间时序逻辑。 Zbl 1242.03044号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 2 2012 关于MSO可定义分支集的Borel复杂性。 Zbl 1206.03041号 Mikołaj博扬奇克;达米安·尼温斯基;亚历山大·拉比诺维奇;Radziwończyk Syta，亚当;Micha Skrzypczak 2 2010 线性时间-时间逻辑在序数类上的复杂性。 Zbl 1213.03027号 斯特凡·德姆里;亚历山大·拉比诺维奇 2 2010 从棘手的问题中计算部分信息：以代数数的幂为例。 Zbl 1251.11052号 Mika Hirvensalo;朱哈尼·卡胡马基;亚历山大·拉比诺维奇 2 2010 选择由一元谓词扩展的序数类。 Zbl 1225.03012号 亚历山大·拉比诺维奇;阿米特·肖姆拉特 2 2010 概率有损信道系统的定量分析。 Zbl 1103.68078号 亚历山大·拉比诺维奇 2 2006 树上MLO中的基数量词。 Zbl 1257.03062号 文斯·巴拉尼;凯撒，乌卡斯;亚历山大·拉比诺维奇 2 2009 实域上“几乎未来”时间逻辑的有限基础。 Zbl 1365.03018号 多里特·帕尔多（奥登特里希）;亚历山大·拉比诺维奇 2 2012 有限状态和可定义获胜策略的综合。 Zbl 1250.03015号 亚历山大·拉比诺维奇 2 2009 连续时间度量模式的表达。 Zbl 1185.03021号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 2 2006 广义和的合成定理。 Zbl 1124.03013号 亚历山大·拉比诺维奇 1 2007 序数一元理论中的选择和一致化问题：综述。 Zbl 1133.03313号 亚历山大·拉比诺维奇;阿米特·肖姆拉特 1 2008 关系网的模块性和可表达性。 Zbl 0908.68041号 亚历山大·拉比诺维奇 1 1998 洗牌正则表达式的有效标识问题。 Zbl 1021.68085号 阿尔伯特·R·迈耶。;亚历山大·拉比诺维奇 1 2002 分裂等价的可判定性。 Zbl 1009.68080号 艾布拉姆森，Y。;A.拉比诺维奇。 1 2002 一元逻辑和持续时间演算之间的简洁差距。 Zbl 0964.03031号 A.拉比诺维奇。 1 2000 关于数据流网络的图式等价。 兹比尔0853.68093 亚历山大·拉比诺维奇 1 1996 连接和同步。 Zbl 0744.68049号 Mazurkiewicz，A。;A.拉比诺维奇。;Trakhtenbrot，学士。 1 1991 在树枝数不清的树上进行解释。 Zbl 1364.03017号 亚历山大·拉比诺维奇;萨沙·鲁宾 1 2012 具有until和since超过序数的时序逻辑的复杂性。 Zbl 1137.03308号 斯特凡·德姆里;亚历山大·拉比诺维奇 1 2007 \（\text{比特币}_{2} 和（text{ECTL}^{+}）的表达能力。 Zbl 1110.68076号 亚历山大·拉比诺维奇;菲利普·施诺贝伦 1 2006 可数序数的教会问题。 Zbl 1168.03006号 亚历山大·拉比诺维奇 1 2009 标记线性序的可判定展开式。 Zbl 1213.03017号 亚历克西斯·贝丝;亚历山大·拉比诺维奇 1 2011 在链上的一元二阶逻辑中表示基数量词。 Zbl 1222.03009号 文斯·巴拉尼;凯撒，乌卡斯;亚历山大·拉比诺维奇 1 2011 Boris A.Trakhtenbrot：学术谱系和出版物。 Zbl 1132.01303号 阿诺·阿夫隆;纳鸿·德肖维茨;亚历山大·拉比诺维奇 1 2008 关于几乎未来的时序逻辑。 Zbl 1465.03062号 亚历山大·拉比诺维奇 1 2015 正则无限树语言的歧义层次。 Zbl 07559451号 亚历山大·拉比诺维奇;多龙·蒂费雷特 1 2020 具有不可通约距离的时间逻辑是不可判定的。 邮编1128.03009 亚历山大·拉比诺维奇 1 2007 Büchi树自动机的模糊度。 Zbl 07650347号 亚历山大·拉比诺维奇;多龙·蒂费雷特 1 2019 正则无限树语言的模糊层次。 Zbl 07559451号 亚历山大·拉比诺维奇;多龙·蒂费雷特 1 2020 状态网络验证的一些复杂性结果。 Zbl 1425.68248号 卡列夫·阿尔佩纳斯;熊猫，Aurojit;亚历山大·拉比诺维奇;穆利·萨吉夫;斯科特·申克;沙龙·肖姆;亚伦·维尔纳 4 2019 Büchi树自动机的模糊度。 Zbl 07650347号 亚历山大·拉比诺维奇;多龙·蒂费雷特 1 2019 有限二义Büchi自动机的互补。 Zbl 1457.68148号 亚历山大·拉比诺维奇 5 2018 多均值和多能量游戏的复杂性。 Zbl 1309.68082号 纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;亚历山大·拉比诺维奇;Jean-François拉斯金 31 2015 关于几乎未来的时序逻辑。 Zbl 1465.03062号 亚历山大·拉比诺维奇 1 2015 坎普定理的证明。 Zbl 1326.03024号 亚历山大·拉比诺维奇 16 2014 线性时域上的时间逻辑在PSPACE中。 Zbl 1280.68112号 亚历山大·拉比诺维奇 2 2012 带计数的连续时间时序逻辑。 Zbl 1242.03044号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 2 2012 实域上“几乎未来”时间逻辑的有限基础。 Zbl 1365.03018号 多里特·帕尔多（奥登特里希）;亚历山大·拉比诺维奇 2 2012 在树枝数不清的树上进行解释。 Zbl 1364.03017号 亚历山大·拉比诺维奇;萨沙·鲁宾 1 2012 噪声输入的Church合成问题。 Zbl 1326.68189号 纱线维纳;亚历山大·拉比诺维奇 11 2011 标记线性序的可判定展开式。 Zbl 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 关于MSO可定义分支集的Borel复杂性。 Zbl 1206.03041号 Mikołaj博扬奇克;达米安·尼文斯基;亚历山大·拉比诺维奇;Radziwończyk Syta，亚当;Micha Skrzypczak 2 2010 序数类上线性时间逻辑的复杂性。 Zbl 1213.03027号 斯特凡·德姆里;亚历山大·拉比诺维奇 2 2010 从棘手的问题中计算部分信息：以代数数的幂为例。 兹比尔1251.11052 Mika Hirvensalo;朱哈尼·卡胡马基;亚历山大·拉比诺维奇 2 2010 选择由一元谓词扩展的序数类。 Zbl 1225.03012号 亚历山大·拉比诺维奇;阿米特·肖姆拉特 2 2010 有时限的验证。 Zbl 1254.68151号 约尔·瓦克宁;亚历山大·拉比诺维奇;詹姆斯·沃雷尔 10 2009 教会问题的决定性延伸。 Zbl 1257.03034号 亚历山大·拉比诺维奇 三 2009 树上MLO中的基数量词。 Zbl 1257.03062号 文斯·巴拉尼;凯撒，乌卡斯;亚历山大·拉比诺维奇 2 2009 有限状态和可定义获胜策略的综合。 Zbl 1250.03015号 亚历山大·拉比诺维奇 2 2009 可数序数的教会问题。 Zbl 1168.03006号 亚历山大·拉比诺维奇 1 2009 计算机科学的支柱。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。 Zbl 1132.68002号 6 2008 具有计数和普努利模态的度量时间逻辑的复杂性。 Zbl 1171.03313号 亚历山大·拉比诺维奇 6 2008 可数序数的一元理论中的选择。 Zbl 1163.03013号 亚历山大·拉比诺维奇;阿米特·肖姆拉特 三 2008 序数一元理论中的选择和一致化问题：综述。 兹比尔1133.03313 亚历山大·拉比诺维奇;阿米特·肖姆拉特 1 2008 Boris A.Trakhtenbrot：学术谱系和出版物。 Zbl 1132.01303号 阿诺·阿夫隆;纳鸿·德肖维茨;亚历山大·拉比诺维奇 1 2008 连续时间度量模式的表达。 Zbl 1128.03007号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 13 2007 关于由一元谓词扩展的自然语言的一元顺序逻辑的可判定性。 Zbl 1115.68100号 亚历山大·拉比诺维奇 12 2007 链接数据结构中可访问模式的逻辑。 Zbl 1121.03040号 格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼 6 2007 论组合性及其局限性。 Zbl 1367.68202号 亚历山大·拉比诺维奇 5 2007 丘奇问题的逻辑提炼。 兹比尔1179.03038 亚历山大·拉比诺维奇;沃尔夫冈·托马斯 5 2007 多种逻辑的可决定碎片。 Zbl 1137.03302号 亚哈龙·阿巴迪;亚历山大·拉比诺维奇;穆利·萨吉夫 4 2007 带参数的Church综合问题。 Zbl 1131.03016号 亚历山大·拉比诺维奇 2 2007 广义和的合成定理。 Zbl 1124.03013号 亚历山大·拉比诺维奇 1 2007 具有until和since超过序数的时序逻辑的复杂性。 Zbl 1137.03308号 斯特凡·德姆里;亚历山大·拉比诺维奇 1 2007 具有不可通约距离的时间逻辑是不可判定的。 邮编1128.03009 亚历山大·拉比诺维奇 1 2007 实时表达的时序逻辑。 Zbl 1132.03323号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 12 2006 链接数据结构中可访问模式的逻辑。 Zbl 1180.68131号 格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼 11 2006 带有一元谓词的自然数排序的可判定理论。 Zbl 1225.03013号 亚历山大·拉比诺维奇;沃尔夫冈·托马斯 10 2006 具有可判定模型检查的概率逻辑。 Zbl 1109.03017号 丹尼尔·博基尔;亚历山大·拉比诺维奇;阿纳托尔·斯利森科 4 2006 通过阿霉素和粒细胞集落刺激因子改善癌症治疗：来自人类粒细胞生成计算机模型的见解。 Zbl 1337.92120号 范斯坦，V。;Y.Ginosar。;肖厄姆，M。;艾诺夫斯基。;A.拉比诺维奇。;科根，Y。;V·塞利瑟。;阿古尔，Z。 2 2006 概率有损信道系统的定量分析。 Zbl 1103.68078号 亚历山大·拉比诺维奇 2 2006 连续时间度量模式的表达。 Zbl 1185.03021号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 2 2006 \（\text{比特币}_{2} \）和\（\text｛ECTL｝^｛+｝\）的表达能力。 兹比尔1110.68076 亚历山大·拉比诺维奇;菲利普·施诺贝伦 1 2006 验证通信故障的概率系统。 Zbl 1105.68003号 阿卜杜拉，P.A。;北伯特兰。;A.拉比诺维奇。;Schnoebelen博士。 10 2005 计时器公式和可判定的度量时态逻辑。 Zbl 1068.03014号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 9 2005 实时逻辑：可判定性和复杂性。 Zbl 1127.03012号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 26 2004 通过结构模拟进行验证。 Zbl 1103.68623号 尼尔·伊梅尔曼;亚历山大·拉比诺维奇;代表，Thomas W。;穆利·萨吉夫;尤斯，太好了 5 2004 广义乘积的选择与均匀化。 Zbl 1060.03049号 亚历山大·拉比诺维奇 三 2004 连续时间内的同步电路：反馈可靠性和完整性。 Zbl 1082.68058号 D.帕尔多。;A.拉比诺维奇。;Trakhtenbrot，学士。 三 2004 计数CTL（^*\）：关于一元路径逻辑的表达能力。 Zbl 1019.03023号 法隆·莫勒;亚历山大·拉比诺维奇 9 2003 验证通信故障的概率系统。 兹比尔1029.68094 帕罗什·阿齐兹·阿卜杜拉;亚历山大·拉比诺维奇 7 2003 概率有损信道系统的定量分析。 Zbl 1039.68557号 亚历山大·拉比诺维奇 6 2003 未来的时序逻辑需要无限多的形式。 Zbl 1045.03019号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 6 2003 在连续时间内实现自动化。 Zbl 1028.68082号 亚历山大·拉比诺维奇 5 2003 具有可判定模型检查的概率逻辑。 Zbl 1021.03013号 丹尼尔·博基尔;亚历山大·拉比诺维奇;阿纳托尔·斯利森科 7 2002 自然秩序的一元逻辑没有有限的基础。 兹比尔1056.03007 博基耶，达尼埃尔;亚历山大·拉比诺维奇 5 2002 时间逻辑的表达能力。 Zbl 1012.03027号 亚历山大·拉比诺维奇 4 2002 一元序逻辑的有限可变性解释。 Zbl 1026.68083号 A.拉比诺维奇。 2 2002 理性的定义与背景中的实际秩序。 Zbl 0999.03005号 尤里·古里维奇;亚历山大·拉比诺维奇 2 2002 洗牌正则表达式的有效标识问题。 Zbl 1021.68085号 阿尔伯特·R·迈耶。;亚历山大·拉比诺维奇 1 2002 分裂等价的可判定性。 Zbl 1009.68080号 艾布拉姆森，Y。;A.拉比诺维奇。 1 2002 分支时间上的时间逻辑的无限层次结构。 Zbl 1005.03022号 亚历山大·拉比诺维奇;沙哈尔·茂兹 三 2001 现实中的明星自由表达。 Zbl 0953.68075号 亚历山大·拉比诺维奇 4 2000 持续时间演算的表达式完整性。 Zbl 1046.68606号 亚历山大·拉比诺维奇 4 2000 可定义性和不可定义性以及后台的实际顺序。 Zbl 0963.03062号 尤里·古里维奇;亚历山大·拉比诺维奇 三 2000 为什么这么多时间逻辑会爬上树？ Zbl 0996.68112号 亚历山大·拉比诺维奇;沙哈尔·茂兹 三 2000 符号模型检查\（\mu\）-演算需要指数时间。 Zbl 0944.68035号 A.拉比诺维奇。 2 2000 一元逻辑和持续时间演算之间的简洁差距。 Zbl 0964.03031号 A.拉比诺维奇。 1 2000 定量时间逻辑。 Zbl 0943.03017号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 12 1999 可判定韵律逻辑的框架。 Zbl 0939.03023号 约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 9 1999 关于连续时间规范形式的可判定性。 兹比尔0913.03018 亚历山大·拉比诺维奇 15 1998 命题时长微积分的非元素下界。 Zbl 0925.68062号 A.拉比诺维奇。 6 1998 动作时序逻辑的表达完整性。 Zbl 0912.03011号 亚历山大·拉比诺维奇 三 1998 将动作的时间逻辑转换为一元二阶逻辑。 Zbl 0896.03026号 A.拉比诺维奇。 三 1998 关系网的模块化和可表达性。 Zbl 0908.68041号 亚历山大·拉比诺维奇 1 1998 有限代理并发系统等价问题的复杂性。 Zbl 0892.68061号 亚历山大·拉比诺维奇 10 1997 从有限自动机到混合系统（扩展抽象）。 Zbl 1507.68172号 A.拉比诺维奇。;Trakhtenbrot，学士。 5 1997 关于持续时间和平均值计算的表达完整性。 Zbl 0911.68138号 亚历山大·拉比诺维奇 三 1997 关于数据流网络的图式等价。 Zbl 0853.68093号 亚历山大·拉比诺维奇 1 1996 有限状态行为的迹同余的完全公理化。 Zbl 1509.68189号 亚历山大·拉比诺维奇 9 1994 检查有限代理并发系统之间的等价性（扩展抽象）。 兹比尔1425.68302 亚历山大·拉比诺维奇 5 1992 连接和同步。 Zbl 0744.68049号 Mazurkiewicz，A。;A.拉比诺维奇。;Trakhtenbrot，学士。 1 1991 关系之间的沟通。 Zbl 0765.68110号 A.拉比诺维奇。;Trakhtenbrot，学士。 7 1990 网络和数据流解释程序。 Zbl 0716.68062号 A.拉比诺维奇。;Trakhtenbrot，学士。 5 1989 辨别交错行为中的因果关系。 兹比尔0677.68006 J·赫什菲尔德。;A.拉比诺维奇。;Trakhtenbrot，学士。 5 1989 过程和数据流网络。（技术贡献）。 Zbl 0683.68023号 A.拉比诺维奇。;Trakhtenbrot，学士。 三 1989 行为结构和网络。 Zbl 0657.68068号 A.拉比诺维奇。;Trakhtenbrot，学士。 58 1988 Pomset语义与数据流语义一致。 Zbl 0663.68015号 亚历山大·拉比诺维奇 2 1987 所有引用出版物 前5名被引用出版物 全部的 前5名494位作者引用 45 亚历山大·拉比诺维奇 11 帕特里夏·鲍耶 10 米凯尔·兰多尔 9 克里希南德·查特吉 8 Stéphane P.德姆里。 8 罗伯托·戈里埃里 8 詹姆斯·沃雷尔。 7 亚历山德罗·西马蒂 7 奥尔纳·库普弗曼 7 尼古拉斯·马基 7 乌戈·蒙塔纳里。 7 乔尔·欧·瓦克宁。 7 Jean-François拉斯金 7 Micha Skrzypczak 6 沃尔夫冈·托马斯 6 斯特凡诺·托内塔 5 克里斯特尔·拜尔 5 保罗·巴尔丹 5 劳伦特·多恩 5 约拉姆·赫什菲尔德 5 金·古德斯特兰·拉森 5 安吉洛·蒙塔纳里 5 马克·亚历山大·雷诺兹 5 罗西（Matteo A.C.Rossi）。 5 菲利普·施诺贝伦 4 卢卡·埃特罗 4 Nathalie Bertrand 4 皮耶保罗·德加诺 4 佐尔坦·埃西克 4 乌里·法伦贝格 4 丹尼尔·戈拉 4 朱利安·古铁雷斯 4 克里希纳，Shankara Narayanan 4 Legay、Axel 4 库什拉伊·马德纳尼 4 阿尼埃洛·穆拉诺 4 尼尔森，莫根斯 4 帕里托什·K·潘迪亚。 4 穆利·萨吉夫 4 伊万诺·萨尔沃 4 鲍里斯·阿夫拉阿莫维奇（Boris Avraamovich），特拉赫滕布罗特（Trakhtenbrot） 4 格林·温斯克尔 4 迈克尔·J·伍尔德里奇。 4 Daniel N.Yanklevich。 4 马丁·齐默尔曼 三 帕罗什·阿齐兹·阿卜杜拉 三 本杰明·阿米诺夫 三 克莱门·奥伯特 三 丹尼尔·博基尔 三 马尔塞洛·玛丽亚·贝尔萨尼 三 雷米·布罗赫宁 三 维罗尼克·布鲁埃 三 费舍，因戈 三 阿德里安·弗兰卡兰扎 三 Anna Ingólfsdóttir 三 圣埃芬·勒鲁 三 克里斯托夫·Löding 三 艾蒂安·洛兹 三 米查勒夫斯基（Michalewski）、亨利克（Henryk） 三 托马索·帕多安 三 Pierluigi San彼得罗 三 萨沙·鲁宾 三 弗拉迪斯拉夫·里日科夫 三 阿米特·肖姆拉特 三 阿纳托尔·斯利森科 三 托马斯·斯蒂普尔斯 三 莫西·亚亚科夫·瓦尔迪 三 纱线维纳 三 扎哈里亚舍夫，迈克尔·维克托罗维奇 2 亚哈龙·阿巴迪 2 阿克西，S。 2 达纳州安格鲁因 2 亚历山德罗·阿塔尔 2 贝拉德，贝特里奇 2 亚历克西斯·贝丝 2 最好的，艾克 2 阿希姆·布卢门塔什 2 Mikołaj博扬奇克 2 乌迪·博克 2 贝内迪克特·博利格 2 玛丽亚·保拉（Maria Paola Bonacina） 2 艾哈迈德·博阿贾尼 2 托马斯·布拉兹迪尔 2 托马斯·布里海耶 2 奥利维尔卡顿 2 伊恩·卡萨尔 2 吉安·卢卡·卡塔尼 2 Fabrice骑士 2 洛科·德尼古拉 2 Deters，摩根 2 雷蒙德·魔鬼队 2 穆纳乔·埃切宁 2 达纳·菲斯曼 2 法语，蒂姆 2 马蒂亚斯·福格尔 2 卡洛·阿尔贝托·福里亚 2 Dov M.加巴伊。 2 卢卡·盖蒂 2 尼古拉·吉甘特 2 戈丁，迪娜·Q。 …还有394位作者 全部的 前5名在38篇连载文章中被引用 52 信息与计算 44 理论计算机科学 13 信息学报 12 计算机科学中的逻辑方法 8 信息处理信件 7 计算机与系统科学杂志 7 应用非经典逻辑杂志 7 ACM计算逻辑事务 6 纯逻辑与应用逻辑年鉴 6 国际计算机科学基础杂志 6 程序设计中的逻辑和代数方法杂志 5 人工智能 4 自动推理杂志 4 计算的形式方面 4 系统设计中的形式化方法 4 逻辑与代数程序设计杂志 三 符号逻辑杂志 2 实时系统 2 MSCS公司。计算机科学中的数学结构 2 数学与人工智能年鉴 2 计算系统理论 2 美国医学会杂志 2 RAIRO公司。理论信息学及其应用 2 计算机基础理论 2 应用逻辑杂志 1 俄罗斯数学调查 1 应用数学与计算 1 SIAM计算机杂志 1 符号计算杂志 1 离散事件动态系统 1 RAIRO公司。Informatique Théorique et Applications公司 1 人工智能研究杂志 1 自动机、语言和组合数学杂志 1 中欧数学杂志 1 符号逻辑述评 1 游戏 1 计算机科学前沿 1 可计算性 全部的 前5名21个领域被引用 288 计算机科学（68至XX） 157 数学逻辑和基础（03-XX） 33 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 阶、格、有序代数结构（06-XX） 6 组合数学（05-XX） 6 概率论与随机过程（60-XX） 5 系统论；控制（93至XX） 三 历史和传记（01-XX） 三 范畴理论；同调代数（18-XX） 三 运筹学、数学编程（90-XX） 三 信息与通信理论、电路（94-XX） 2 一般代数系统（08-XX） 2 数论（11-XX） 1 交换代数（13-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 复变量的函数（30-XX） 1 动力系统和遍历理论（37至XX） 1 一般拓扑结构（54至XX） 1 量子理论（81-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文