编辑配置文件(在新选项卡中打开) 塔贾纳Ban Kirigin 合著者距离 作者ID: 班基里格·塔贾纳 发布日期: 塔贾纳Ban Kirigin;塔贾纳·班·基里金 外部链接: ORCID公司 已编制索引的文档: 9出版物自2012年起 1作为编辑的贡献 合著者: 11位合著者具有10联合出版物 234位合作作者 全部的 前5名合著者 0 单作者的 9 Vivek Nigam先生 8 Max Iosifovich,卡诺维奇 8 安德烈·斯切德罗夫 7 卡罗琳·塔尔科特。 2 穆萨布·阿尔图尔基。 2 兰科·佩罗维奇 1 约书亚·D·古特曼。 1 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 1 Loo,Boon Thau先生 1 冈田三弘 1 贝内迪克特霹雳州 系列 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 计算机语言、系统和结构 1 计算机科学课堂讲稿 领域 10 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用28中的次12文件 引用人▼ 年份▼ 协作系统中的Dolev Yao对手记忆有限。 Zbl 1360.68860号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫 9 2014 受法规约束的活动的改写框架和逻辑。 Zbl 1364.68333号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫;卡罗琳·塔尔科特;兰科·佩罗维奇 7 2017 时间多集重写和对时间敏感的分布式系统的验证。 Zbl 1433.68058号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫;卡罗琳·塔尔科特 4 2016 受法规约束的活动的改写框架。 Zbl 1437.68082号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫;卡罗琳·塔尔科特;兰科·佩罗维奇 三 2012 有限内存协议。 Zbl 1308.68055号 马克斯·卡诺维奇;塔贾纳·班·基里金;Vivek Nigam先生;安德烈·斯切德罗夫 2 2014 关于时间敏感分布式系统验证的复杂性。 Zbl 1498.68161号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫;卡罗琳·塔尔科特 2 2021 逻辑、语言和安全。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。 Zbl 1464.03004号 1 2020 关于时间敏感分布式系统验证的复杂性。 Zbl 1498.68161号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫;卡罗琳·塔尔科特 2 2021 逻辑、语言和安全。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。 Zbl 1464.03004号 1 2020 受法规约束的活动的改写框架和逻辑。 Zbl 1364.68333号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫;卡罗琳·塔尔科特;兰科·佩罗维奇 7 2017 时间多集重写和对时间敏感的分布式系统的验证。 兹比尔1433.68058 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫;卡罗琳·塔尔科特 4 2016 协作系统中的Dolev Yao对手记忆有限。 Zbl 1360.68860号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫 9 2014 有限内存协议。 Zbl 1308.68055号 马克斯·卡诺维奇;塔贾纳·班·基里金;Vivek Nigam先生;安德烈·斯切德罗夫 2 2014 受法规约束的活动的改写框架。 Zbl 1437.68082号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫;卡罗琳·塔尔科特;兰科·佩罗维奇 三 2012 所有引用出版物 前5名被引用出版物 全部的 前5名23位作者引用 7 Vivek Nigam先生 6 卡罗琳·塔尔科特。 5 塔贾纳Ban Kirigin 5 Max Iosifovich,卡诺维奇 5 安德烈·斯切德罗夫 1 穆萨布·阿尔图尔基。 1 法哈德·阿尔巴 1 曼纽尔·克莱维尔 1 亚历山大·戴班特 1 斯特凡尼德劳恩 1 卡亚·德乌瑟 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 圣地亚哥埃斯科瓦尔 1 金敏英 1 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 1 帕特里克·D·林肯。 1 本杰明·利昂 1 马蒂·奥利特,纳西索 1 伊恩·梅森。 1 帕维尔·G·瑙莫夫。 1 兰科·佩罗维奇 1 西里尔·威德林 全部的 前5名7篇连载文章中引用 2 MSCS公司。计算机科学中的数学结构 1 人工智能 1 理论计算机科学 1 信息与计算 1 计算机语言、系统和结构 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 10 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 系统论;控制(93至XX) 按年份列出的引文