编辑配置文件(在新选项卡中打开) 安蒂·库西斯托 合著者距离 作者ID: 库西斯托·安蒂 发布日期: 安蒂·库西斯托 外部链接: MGP公司 已编制索引的文档: 51出版物自2008年以来,包括11附加arXiv预打印 合著者: 21位合著者具有39联合出版物 390位合作作者 全部的 前5名合著者 12 单作者的 11 劳里·T·海拉。 11 雷恩·Rönnholm 8 瓦伦丁·F·戈兰科。 8 乔尼·维特玛 4 瑞荷·贾科拉 4 伊曼纽尔·基伦斯基 4 阿恩·迈尔 三 卡斯滕·卢茨 2 克里斯蒂娜·费尔 2 马蒂·Järvisalo 2 孔蒂宁,朱哈 2 朱哈纳·劳林哈尔朱 2 托莫Lempiäinen 2 科科·洛斯托 2 杰里米·迈耶斯 2 费比安·雷特 2 朱卡·索米拉 2 Miikka S.维兰德。 2 赫里贝特·沃尔默 1 Iso Tuisku,琼恩 1 彼得·洛曼 全部的 前5名系列 5 信息与计算 三 逻辑与计算杂志 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 离散应用数学 1 逻辑研究 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 分布式计算 1 逻辑、语言与信息杂志 1 符号逻辑述评 字段 37 数学逻辑和基础(03-XX) 27 计算机科学(68至XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 几何图形(51至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用161中的次92文件 引用人▼ 年份▼ 广义量词的双组语义。 Zbl 1350.03025号 安蒂·库西斯托 22 2015 分布式计算的弱模型,与模态逻辑有关。 Zbl 1322.68075号 你好,劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛 13 2015 谓词逻辑与团队语义的可决定性。 Zbl 1398.03064号 朱哈·科廷宁;安蒂·库西斯托;乔尼·维特玛 10 2016 模态包含逻辑:宽松比严格更简单。 Zbl 1465.68105号 你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默 10 2015 二元依赖逻辑和IF-逻辑的复杂性。 Zbl 1310.03042号 朱哈·科廷宁;安蒂·库西斯托;彼得·洛曼;乔尼·维特玛 9 2014 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 Zbl 1402.68046号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 7 2017 命题确定性和独立性的逻辑。 Zbl 1522.03051号 瓦伦丁·戈兰科;安蒂·库西斯托 7 2018 分布式计算的弱模型,与模态逻辑有关。 Zbl 1301.68120号 劳拉,希拉;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛 6 2012 命题和模态包含逻辑中的模型检查和有效性。 Zbl 1441.68132号 劳拉,希拉;安蒂·库西斯托;阿恩·迈尔;乔尼·维特玛 5 2017 一元二阶交替层次的模态透视。 Zbl 1244.03067号 安蒂·库西斯托 5 2008 交替时间时序逻辑的博弈论语义。 兹比尔1407.03030 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 5 2018 具有等式的均匀一维片段的复杂性和表示性。 Zbl 1426.03015号 伊曼纽尔·基伦斯基;安蒂·库西斯托 5 2014 模态逻辑和分布式消息传递自动机。 Zbl 1356.68154号 安蒂·库西斯托 5 2013 两变量逻辑以外的加权模型计数。 Zbl 1497.68227号 安蒂·库西斯托;卡斯滕·卢茨 4 2018 模型检查应用程序的\(\mathrm{ATL}^+\)的博弈论语义。 Zbl 1497.68303号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 4 2021 二阶命题模态逻辑和一元交替层次。 Zbl 1343.03015号 安蒂·库西斯托 4 2015 合理协调,没有沟通或约定。 Zbl 1498.91080号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 4 2017 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 Zbl 1421.68037号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 三 2019 一阶逻辑的一维片段。 Zbl 1385.03004号 你好,劳里;安蒂·库西斯托 三 2014 命题和模态包含逻辑中的模型检查和有效性。 Zbl 1475.68187号 你好,劳里;安蒂·库西斯托;阿恩·迈尔;乔尼·维尔特玛 三 2019 具有有限有界语义的CTL。 Zbl 1515.03082号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 三 2017 具有有限有界语义的交替时间时序逻辑ATL。 Zbl 1434.03067号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 三 2019 无限网络、暂停和本地算法。 Zbl 1467.68206号 安蒂·库西斯托 三 2014 在反复输赢的协调游戏中,逐步保证协调。 Zbl 1469.91012号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 三 2020 模态包含逻辑的可满足性。宽松严格的语义。 Zbl 1433.03053号 你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默 2 2020 分布式自动机的空问题。 Zbl 1483.68173号 安蒂·库西斯托;费比安·雷特 2 2017 一些图灵完成了一阶逻辑的扩展。 Zbl 1469.03084号 安蒂·库西斯托 2 2014 一元\(\西格玛^{1}_{1} \)和具有量化二进制关系的模态逻辑。 Zbl 1345.03039号 你好,劳里;安蒂·库西斯托 2 2010 具有一个等价关系的统一一维碎片。 Zbl 1373.03012号 伊曼纽尔·基隆斯基;安蒂·库西斯托 2 2015 没有恒等式的不完全信息逻辑的表达。 Zbl 1269.03032号 安蒂·库西斯托 2 2013 模态mu-calculus和一些变体的有界游戏理论语义。 Zbl 07455742号 你好,劳里;安蒂·库西斯托;雷恩·Rönnholm 1 2020 合理协调,没有沟通或约定。 Zbl 07285865号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 1 2020 树上的一维逻辑。 Zbl 1441.68075号 伊曼纽尔·基伦斯基;安蒂·库西斯托 1 2017 模型检查应用程序的\(\mathrm{ATL}^+\)的博弈论语义。 Zbl 1497.68303号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 4 2021 在重复的输赢协调游戏中逐步保证协调。 Zbl 1469.91012号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 三 2020 模态包含逻辑的可满足性。松懈和严格的语义。 Zbl 1433.03053号 你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默 2 2020 模态mu-calculus和一些变体的有界游戏理论语义。 Zbl 07455742号 你好,劳里;安蒂·库西斯托;雷恩·Rönnholm 1 2020 理性的协调,没有沟通或约定。 Zbl 07285865号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 1 2020 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 Zbl 1421.68037号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 三 2019 命题和模态包含逻辑中的模型检查和有效性。 Zbl 1475.68187号 劳拉,希拉;安蒂·库西斯托;阿恩·迈尔;乔尼·维特玛 三 2019 具有有限有界语义的交替时间时序逻辑ATL。 Zbl 1434.03067号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 三 2019 命题确定性和独立性的逻辑。 Zbl 1522.03051号 瓦伦丁·戈兰科;安蒂·库西斯托 7 2018 交替时间时序逻辑的博弈论语义。 兹比尔1407.03030 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 5 2018 两变量逻辑以外的加权模型计数。 Zbl 1497.68227号 安蒂·库西斯托;卡斯滕·卢茨 4 2018 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 Zbl 1402.68046号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 7 2017 命题和模态包含逻辑中的模型检查和有效性。 Zbl 1441.68132号 你好,劳里;安蒂·库西斯托;阿恩·迈尔;乔尼·维特玛 5 2017 合理协调,没有沟通或约定。 Zbl 1498.91080号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 4 2017 具有有限有界语义的CTL。 Zbl 1515.03082号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 三 2017 分布式自动机的空问题。 Zbl 1483.68173号 安蒂·库西斯托;费比安·雷特 2 2017 树上的一维逻辑。 Zbl 1441.68075号 伊曼纽尔·基伦斯基;安蒂·库西斯托 1 2017 具有团队语义的谓词逻辑的可判定性。 Zbl 1398.03064号 朱哈·科廷宁;安蒂·库西斯托;乔尼·维特玛 10 2016 广义量词的双组语义。 Zbl 1350.03025号 安蒂·库西斯托 22 2015 分布式计算的弱模型,与模态逻辑有关。 兹比尔1322.68075 你好,劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛 13 2015 模态包含逻辑:宽松比严格更简单。 兹比尔1465.68105 你好,劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默 10 2015 二阶命题模态逻辑和一元交替层次。 Zbl 1343.03015号 安蒂·库西斯托 4 2015 具有一个等价关系的统一一维碎片。 Zbl 1373.03012号 伊曼纽尔·基隆斯基;安蒂·库西斯托 2 2015 二元依赖逻辑和IF-逻辑的复杂性。 Zbl 1310.03042号 朱哈·科廷宁;安蒂·库西斯托;彼得·洛曼;乔尼·维特玛 9 2014 具有等式的均匀一维片段的复杂性和表示性。 Zbl 1426.03015号 伊曼纽尔·基伦斯基;安蒂·库西斯托 5 2014 一阶逻辑的一维片段。 Zbl 1385.03004号 你好,劳里;安蒂·库西斯托 三 2014 无限网络、暂停和本地算法。 Zbl 1467.68206号 安蒂·库西斯托 三 2014 一些图灵完成了一阶逻辑的扩展。 Zbl 1469.03084号 安蒂·库西斯托 2 2014 模态逻辑和分布式消息传递自动机。 Zbl 1356.68154号 安蒂·库西斯托 5 2013 没有同一性的不完美信息逻辑的表达性。 Zbl 1269.03032号 安蒂·库西斯托 2 2013 分布式计算的弱模型,与模态逻辑有关。 Zbl 1301.68120号 你好,劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;克斯托,克尔科;朱卡·索米拉;乔尼·维特玛 6 2012 一元\(\西格玛^{1}_{1} \)和具有量化二进制关系的模态逻辑。 Zbl 1345.03039号 你好,劳里;安蒂·库西斯托 2 2010 一元二阶交替层次结构的模态视角。 Zbl 1244.03067号 安蒂·库西斯托 5 2008 所有引用出版物 前5名被引用出版物 全部的 前5名98位作者引用 16 安蒂·库西斯托 9 彼得罗·加利亚尼 9 劳里·T·海拉。 8 雷恩·Rönnholm 8 乔尼·维特玛 6 朱哈·科廷宁 6 阿恩·迈尔 6 杨,范 5 Miika Hannula公司 5 马丁·吕克 5 赫里贝特·沃尔默 4 费比安·雷特 4 朱卡·索米拉 三 阿诺·杜兰德 三 瓦伦丁·F·戈兰科。 三 库泽·埃尔卡,Ondřej 三 卡斯滕·卢茨 2 弗朗西斯科·贝拉迪内利 2 迪伦·贝利尔 2 马西莫·贝内雷切蒂 2 曼纽尔·博迪尔斯基 2 贝内迪克特·博利格 2 黛拉·莫妮卡,达里奥 2 Stéphane P.德姆里。 2 玛丽·何塞·福廷 2 皮埃尔·弗拉吉奥德 2 保罗·加斯丁 2 安塞尔姆·哈克 2 胡胡·赫沃宁 2 伊曼纽尔·基伦斯基 2 阿吉·库鲁茨 2 托莫Lempiäinen 2 亚西尔·马哈茂德 2 法比奥·莫加维罗 2 安托万·莫特特 2 蒂莫西·范·布莱门 2 迈克尔·维克托洛维奇(Michael Viktorovich) 1 耶胡达·阿费克 1 马里奥·阿尔维亚诺 1 亚历山大·巴尔塔格 1 福斯托·巴贝罗 1 巴里内克,Jáchym 1 乔治·巴里扬尼斯 1 巴萨基斯、索蒂利斯 1 巴托斯·贝德纳西克 1 奥利维尔·卡尔顿 1 尼古拉斯·德鲁吉·阿尔特尔 1 丁一峰 1 迪米特·多布雷夫 1 约翰内斯·埃宾 1 尤瓦尔·埃梅克 1 哈维尔·埃斯帕尔扎 1 范洁 1 克里斯蒂娜·费尔 1 默多克·詹姆斯·加贝 1 弗洛里斯·吉尔茨 1 奥尔加·杰拉西莫娃 1 布鲁诺·吉隆 1 黄,裴 1 劳埃德·亨伯斯通 1 罗莎莉,伊姆霍夫 1 伊祖米、大辅 1 Jaakkola,雷霍 1 马蒂·Järvisalo 1 杰格尔卡、斯蒂芬妮 1 斯坦尼斯拉夫·基科特 1 诺亚·科利坎特 1 安德烈亚斯·克雷布斯 1 Kuijer、Louwe Bouke 1 朱哈纳·劳林哈尔朱 1 李润东 1 刘明浩 1 彼得·洛曼 1 科科·洛斯托 1 马,菲菲 1 弗洛伦特·马德琳。 1 杰瑞米·迈尔斯 1 托马斯·尼克森 1 卡尔·尼格伦 1 弗拉基米尔·弗拉基米罗维奇 1 伊戈尔·波塔波夫 1 弗拉迪斯拉夫·里日科夫 1 Leif Sabellek 1 尤里·萨瓦泰耶夫 1 伊南·塞兰 1 贾斯珀·斯蒂格曼斯 1 Johanna Beate Stumpf 1 图伦海莫,泰罗 1 Väänänen,Jouko Antero 1 van Benthem,Johan F.A.K。 1 Van den Bussche,简 1 范德霍克,威比 1 王燕京 1 王玉怡 1 弗兰克·沃尔特 1 Zhi elezn,Filip先生 1 张健 1 马丁·齐默尔曼 全部的 前5名22篇连载文章中引用 10 纯逻辑与应用逻辑年鉴 6 信息与计算 6 计算机科学中的逻辑方法 5 人工智能 4 哲学逻辑杂志 三 理论计算机科学 2 计算机与系统科学杂志 2 圣母院形式逻辑杂志 2 逻辑、语言与信息杂志 2 人工智能研究杂志 2 数学与人工智能年鉴 2 符号逻辑述评 1 离散应用数学 1 符号逻辑杂志 1 SIAM计算机杂志 1 分布式计算 1 数学逻辑档案 1 跨学科信息科学(IIS) 1 逻辑与逻辑哲学 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 Serdica计算机杂志 全部的 前5名在7个字段中引用 64 数学逻辑和基础(03-XX) 57 计算机科学(68至XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 组合数学(05-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 统计学(62-XX) 按年份列出的引文