编辑配置文件(在新选项卡中打开) 亚历山大·博洛托夫 合著者距离 作者ID: bolotov.alexander公司 发布日期: 亚历山大·博洛托夫 已编制索引的文档: 14出版物自1999年起 合著者: 11位合著者具有13联合出版物 111位Co-Co作者 全部的 前5名合著者 1 单作者的 5 蒙特塞拉特赫莫 5 帕基·卢西奥 4 克莱尔·狄克逊 4 迈克尔·费希尔 三 亚历克斯·阿布因 三 阿提·巴苏科斯基 1 迪亚斯,De Cerio Unai 1 奥列格·米哈·洛维奇·格里戈列夫 1 Danil Kozhemiachenko 1 瓦西里·沙金 1 瓦西里·沙金 全部的 前5名系列 1 人工智能 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 吉泰。实验与理论人工智能杂志 1 逻辑与计算杂志 1 数学与人工智能年鉴 1 应用逻辑杂志 1 程序设计中的逻辑和代数方法杂志 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 字段 12 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用41中的次23文件 引用人▼ 年份▼ CTL分支时间时序逻辑的子句分解方法。 Zbl 1054.68666号 亚历山大·博洛托夫 13 1999 扩展计算树逻辑ECTL的子句解析方法。 兹比尔1101.03017 亚历山大·博洛托夫;阿提·巴苏科斯基 5 2006 论(ω)-自动机与时序逻辑范式的关系。 Zbl 1007.03014号 亚历山大·博洛托夫;迈克尔·费希尔;克莱尔·狄克逊 5 2002 分支时间逻辑(text{ECTL}^+\)的子句解析方法。 Zbl 1112.03010号 亚历山大·博洛托夫;阿提·巴苏科斯基 4 2006 线性时间逻辑的自然演绎演算。 Zbl 1152.03317号 亚历山大·博洛托夫;阿提·巴苏科斯基;奥列格·格里戈里耶夫;瓦西里·沙金 三 2006 使用单程表对PLTL进行认证模型检查。 Zbl 1515.68171号 亚历克斯·阿布因;亚历山大·博洛托夫;迪亚斯,De Cerio Unai;蒙特塞拉特赫莫;帕基·卢西奥 三 2019 分支时间逻辑\(\mathsf{ECTL}^{#}\)及其树型单程表:扩展\(\mathsf{ECTL}^+\)的公平性表示。 Zbl 1433.03049号 亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 2 2020 准完备逻辑K1——自然演绎,其自动化、复杂性和应用。 兹比尔1512.68149 亚历山大·博洛托夫;Danil Kozhemiachenko;瓦西里·沙金 2 2018 理性代理逻辑中的条款解决。 兹比尔1015.68170 克莱尔·狄克逊;迈克尔·费希尔;亚历山大·博洛托夫 1 2002 CTL*的子句解析。 Zbl 0947.03044号 亚历山大·博洛托夫;克莱尔·狄克逊;迈克尔·费希尔 1 1999 交替自动机和时序逻辑范式。 Zbl 1087.03013号 克莱尔·狄克逊;亚历山大·博洛托夫;迈克尔·费希尔 1 2005 扩展ECTL(^+)的公平性表示:一种树型单程表方法。 Zbl 1487.68154号 亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 1 2018 分支时间逻辑\(\mathsf{ECTL}^{#}\)及其树型单程表:扩展\(\mathsf{ECTL}^+\)的公平性表示。 Zbl 1433.03049号 亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 2 2020 使用单程表对PLTL进行认证模型检查。 Zbl 1515.68171号 亚历克斯·阿布因;亚历山大·博洛托夫;迪亚斯,De Cerio Unai;蒙特塞拉特赫莫;帕基·卢西奥 三 2019 准完备逻辑K1——自然演绎,其自动化、复杂性和应用。 Zbl 1512.68149号 亚历山大·博洛托夫;科热米琴科,达尼尔;瓦西里·沙金 2 2018 扩展ECTL(^+)的公平性表示:一种树型单程表方法。 Zbl 1487.68154号 亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 1 2018 扩展计算树逻辑ECTL的子句解析方法。 Zbl 1101.03017号 亚历山大·博洛托夫;阿提·巴苏科斯基 5 2006 分支时间逻辑(text{ECTL}^+\)的子句解析方法。 Zbl 1112.03010号 亚历山大·博洛托夫;阿提·巴苏科斯基 4 2006 线性时间逻辑的自然演绎演算。 Zbl 1152.03317号 亚历山大·博洛托夫;阿提·巴苏科斯基;奥列格·格里戈里耶夫;瓦西里·沙金 三 2006 交替自动机和时序逻辑范式。 Zbl 1087.03013号 克莱尔·狄克逊;亚历山大·博洛托夫;迈克尔·费希尔 1 2005 论(ω)-自动机与时序逻辑范式的关系。 兹比尔1007.03014 亚历山大·博洛托夫;迈克尔·费希尔;克莱尔·狄克逊 5 2002 理性代理逻辑中的条款解决。 Zbl 1015.68170号 克莱尔·狄克逊;迈克尔·费舍尔;亚历山大·博洛托夫 1 2002 CTL分支时间时序逻辑的子句分解方法。 Zbl 1054.68666号 亚历山大·博洛托夫 13 1999 CTL*的子句解析。 Zbl 0947.03044号 亚历山大·博洛托夫;克莱尔·狄克逊;迈克尔·费希尔 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名30位作者引用 7 亚历山大·博洛托夫 5 克莱尔·狄克逊 4 蒙特塞拉特赫莫 4 帕基·卢西奥 2 亚历克斯·阿布因 2 阿提·巴苏科斯基 2 迈克尔·费希尔 2 乌尔里希·赫斯塔特 2 雅罗斯拉夫·伊戈列维奇·彼得鲁金 2 马克·亚历山大·雷诺兹 2 瓦西里·沙金 2 张,兰 1 彼得罗·阿巴特 1 伊凡·查伊达 1 贾努斯·丘西乌拉 1 Jose Gaintzarain 1 马诺利斯Gergatsoulis 1 戈雷,拉吉夫·普拉巴卡尔 1 Daniel Kozhemiachenko 1 安德烈亚·马西尼 1 约翰·克里斯托弗(John Christopher McCabe-Dansted) 1 玛丽莎·纳瓦罗 1 克里斯托斯·诺米科斯 1 费尔南多·奥雷贾斯 1 简·帕塞卡 1 维克多·舒潘 1 马丁·苏达 1 卢卡·维甘诺 1 马尔科·沃尔佩 1 弗洛里安·维德曼 全部的 前5名16篇连载文章中引用 2 理论计算机科学 2 数学与人工智能年鉴 1 人工智能 1 国际理论物理杂志 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 计算的形式方面 1 国际计算机科学基础杂志 1 应用非经典逻辑杂志 1 逻辑与逻辑哲学 1 ACM计算逻辑事务 1 应用逻辑杂志 1 计算机科学中的数学 1 符号逻辑述评 1 程序设计中的逻辑和代数方法杂志 1 Logicheskie Issledovaniya公司 在3个字段中引用 19 数学逻辑和基础(03-XX) 18 计算机科学(68至XX) 1 量子理论(81-XX) 按年份列出的引文