编辑配置文件（在新选项卡中打开） 塔蒂亚娜·瑞比纳 合著者距离 作者ID: 瑞比纳·塔塔纳 发布日期： 塔蒂亚娜·瑞比纳 编入索引的文档： 5出版物自2001年起 合著者： 1位合著者具有5联合出版物 73位合作作者 合著者 0 单作者的 5 安德烈·沃伦科夫 系列 1 ACM计算逻辑事务 领域 4 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物被引用25中的次22文件 引用人▼ 年份▼ 具有队列的项代数的判定过程。 Zbl 1171.68557号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 11 2001 可达性的逻辑重建。 Zbl 1254.68153号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 10 2003 排队论的上限。 Zbl 1039.03005号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 三 2003 使用解的规范表示来加速无限状态模型检查。 Zbl 1010.68519号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 1 2002 可达性的逻辑重建。 Zbl 1254.68153号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 10 2003 排队论的上限。 兹比尔1039.03005 塔蒂亚娜·瑞比娜;安德烈·沃伦科夫 三 2003 使用解的规范表示来加速无限状态模型的检查。 Zbl 1010.68519号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 1 2002 具有队列的项代数的判定过程。 Zbl 1171.68557号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 11 2001 所有引用出版物 前5名被引用出版物 全部的 前5名33位作者引用 5 哈利勒·杰卢尔 4 西尔维奥·吉拉尔迪 2 劳拉·博泽利 2 迭戈·卡尔瓦内斯 2 亚历山德罗·吉亚诺拉 2 马可·蒙塔利 2 恩里卡·尼科里尼 2 苏菲·平奇纳特 2 西尔维奥·兰伊斯 2 安德烈·里夫金 2 汉斯·皮特·范·迪特马什 2 丹尼尔·祖切利 1 芭芭拉·卡西玛（Barbara F.Csima）。 1 乔里·杜布罗文 1 凯乔·赫尔扬科 1 汤米·A·琼蒂拉。 1 Bakhadyr M.库萨诺夫。 1 金，蒂姆 1 维克多·昆卡 1 迪特里赫·库斯克 1 杰罗姆·勒鲁 1 Leonid O·利金。 1 马库斯·洛伊 1 佐哈尔·曼纳 1 何塞·梅塞盖尔·瓜伊塔 1 塞萨尔·穆尼奥斯。 1 贾尔斯·里格尔 1 安德鲁·雷诺兹 1 卡米洛·罗查 1 Henny B.西普玛。 1 托马斯·瓦尔塞奇 1 安德烈·沃伦科夫 1 张婷 全部的 前5名10篇连载文章中引用 2 理论计算机科学 2 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 应用数学与计算 1 计算机程序设计科学 1 信息与计算 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 在2个字段中引用 22 计算机科学（68至XX） 11 数理逻辑与基础（03-XX） 按年份列出的引文