编辑配置文件(在新选项卡中打开) 小狗,加布里埃尔 合著者距离 作者ID: 瞳孔织物 发布日期: 小狗,加布里埃尔 已编制索引的文档: 39出版物自2003年以来,包括1本书 3作为编辑的贡献 合著者: 32位合著者具有41联合出版物 841联合作者 全部的 前5名合著者 1 单作者的 12 安吉洛·蒙塔纳里 12 安卡·穆斯科尔 7 克里斯蒂安·里维罗斯 6 Michael A.Benedikt。 5 皮埃特罗·萨拉 4 费利克斯·巴斯切尼斯 4 托马斯·科尔科贝特 4 奥利维·高文 三 Bose,Sougata公司 三 皮埃尔·布赫斯 三 克莱门斯·莱伊 2 大卫·布雷索林 2 奥利维尔·卡尔顿 2 乌戈·达尔拉戈 2 亚历杭德罗·格雷兹 2 桑卡拉·纳拉亚南·克里希纳 2 阿马尔德夫·曼努埃尔 2 菲利普·马佐维耶基 2 文森特·佩内尔 2 Micha Pilipczuk 2 蒂齐亚诺别墅 1 玛丽亚·艾米丽亚·德斯科特 1 库沙·埃特萨米 1 乌列尔·菲戈 1 迭戈·菲格拉 1 保罗·D·加洛特。 1 阿德里亚诺·佩隆 1 西尔万·萨尔瓦蒂 1 圭多·西亚维科 1 斯塔奥维,Sławek 1 十个Cate,Balder David 1 Vu和Huy 全部的 前5名系列 三 计算机科学中的逻辑方法 2 理论计算机科学 2 信息与计算 2 计算系统理论 1 信息学报 1 ACM数据库系统事务 1 计算机与系统科学杂志 1 符号逻辑杂志 1 算法 1 应用非经典逻辑杂志 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名领域 35 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 2 阶、格、有序代数结构(06-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 33出版物有被引用158中的次113文件 引用人▼ 年份▼ Halpern和Shoham的区间模态逻辑的最大可判定片段。 Zbl 1288.03017号 安吉洛·蒙塔纳里;小狗,加布里埃尔;皮埃特罗·萨拉 22 2010 区间时态逻辑(运算符名{AB\上划线{B}})对自然数的可判定性。 Zbl 1230.03047号 安吉洛·蒙塔纳里;小狗,加布里埃尔;皮埃特罗·萨拉;圭多·西亚维科 11 2010 双向文字传感器的单向可定义性。 Zbl 1404.68065号 费利克斯·巴斯切尼斯;奥利维·高文;安卡·穆斯科尔;小狗,加布里埃尔 10 2018 单词语言的有界可修复性。 Zbl 1410.68196号 迈克尔·本尼迪克特;小狗,加布里埃尔;克里斯蒂安·里维罗斯 9 2013 可数线性序上的正则语言。 Zbl 1333.68186号 奥利维尔·卡尔顿;托马斯·科尔科贝特;小狗,加布里埃尔 8 2011 具有锥形基本方向的可判定空间逻辑。 Zbl 1257.03054号 安吉洛·蒙塔纳里;小狗,加布里埃尔;皮埃特罗·萨拉 7 2009 数据字上的自动与逻辑。 Zbl 1287.03086号 迈克尔·贝内迪克特;克莱门斯·莱伊;小狗,加布里埃尔 7 2010 基于锥形基本方向的指南针逻辑的可判定弱化。 Zbl 1351.03014号 安吉洛·蒙塔纳里;小狗,加布里埃尔;皮埃特罗·萨拉 7 2015 在不同语言之间旅行的费用。 Zbl 1333.68304号 迈克尔·本尼迪克特;小狗,加布里埃尔;克里斯蒂安·里维罗斯 7 2011 可数线性序上MSO可定义性的代数方法。 兹比尔1502.0007 奥利维尔·卡尔顿;托马斯·科尔科贝特;小狗,加布里埃尔 6 2018 尽可能减少扫频和流式串传感器的资源。 Zbl 1388.68158号 费利克斯·巴斯切尼斯;奥利维·高文;安卡·穆斯科尔;小狗,加布里埃尔 5 2016 扫频传感器的单向可定义性。 Zbl 1366.68135号 费利克斯·巴斯切尼斯;奥利维·高文;安卡·穆斯科尔;小狗,加布里埃尔 5 2015 查询可见和不可见信息。 Zbl 1394.68125号 迈克尔·本尼迪克特;皮埃尔·布赫斯;10个Cate,Balder;小狗,加布里埃尔 4 2016 分支和分层时态结构的自动机。对无限过渡系统规律的研究。 Zbl 1181.03044号 小狗,加布里埃尔 4 2010 朝着紧凑且易于处理的基于自动机的时间粒度表示发展。 Zbl 1257.68063号 达尔拉戈,乌戈;安吉洛·蒙塔纳里;小狗,加布里埃尔 4 2003 双向文字传感器的原始等效性在PSPACE中。 Zbl 1528.68177号 Bose,Sougata公司;安卡·穆斯科尔;文森特·佩内尔;小狗,加布里埃尔 4 2018 逻辑与严格保护的数据测试。 Zbl 1355.68181号 托马斯·科尔科贝特;克莱门斯·莱伊;小狗,加布里埃尔 4 2015 区间时间逻辑对有理数的判定性。 Zbl 1426.03018号 安吉洛·蒙塔纳里;小狗,加布里埃尔;皮埃特罗·萨拉 4 2014 最终周期语言和自动机的理论,应用于时间粒度。 Zbl 1186.68246号 大卫·布雷索林;安吉洛·蒙塔纳里;小狗,加布里埃尔 三 2009 关于有限值流串换能器的分解。 Zbl 1402.68116号 保罗·加洛特;安卡·穆斯科尔;小狗,加布里埃尔;萨尔瓦蒂,西尔万 三 2017 2013年8月29日至31日,意大利多洛米特斯Borca di Cadore,GandALF 2013,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集。 兹比尔1415.68045 三 2013 串传感器的多个方面(邀请谈话)。 Zbl 07559111号 安卡·穆斯科尔;小狗,加布里埃尔 三 2019 在基本时间解开双向换能器。 Zbl 1458.68085号 费利克斯·巴斯切尼斯;奥利维·高文;安卡·穆斯科尔;小狗,加布里埃尔 2 2017 时间粒度的紧凑且易于处理的基于自动机的表示。 Zbl 1111.68053号 达尔拉戈,乌戈;安吉洛·蒙塔纳里;小狗,加布里埃尔 2 2007 时间粒度和最终的周期自动机。 Zbl 1111.68697号 大卫·布雷索林;安吉洛·蒙塔纳里;小狗,加布里埃尔 2 2004 关于换能器再同步器的合成。 Zbl 07561713号 Bose,Sougata公司;桑卡拉·纳拉亚南·克里希纳;安卡·穆斯科尔;文森特·佩内尔;小狗,加布里埃尔 2 2019 修复单词语言的每个字符的成本。 Zbl 1359.68158号 迈克尔·本尼迪克特;小狗,加布里埃尔;克里斯蒂安·里维罗斯 2 2014 关于使用数据逻辑保护。 Zbl 1343.03032号 托马斯·科尔科贝特;克莱门斯·莱伊;小狗,加布里埃尔 2 2011 重新同步单词关系类。 Zbl 1499.68172号 玛丽亚·艾米丽亚·德斯科特;迭戈·菲格拉;小狗,加布里埃尔 2 2018 在数据词上行走。 Zbl 1344.68126号 曼努埃尔,阿马尔德夫;安卡·穆斯科尔;小狗,加布里埃尔 1 2013 高阶查询的复杂性。 Zbl 1329.68092号 迈克尔·本尼迪克特;小狗,加布里埃尔;Vu和Huy 1 2015 在数据词上行走。 Zbl 1353.68169号 阿马尔德夫·曼努埃尔;安卡·穆斯科尔;小狗,加布里埃尔 1 2016 正则树语言的有界可修复性。 Zbl 1474.68170号 皮埃尔·布赫斯;小狗,加布里埃尔;克里斯蒂安·里维罗斯;斯塔奥维,Sławek 1 2016 串传感器的多个方面(邀请谈话)。 Zbl 07559111号 安卡·穆斯科尔;小狗,加布里埃尔 三 2019 关于换能器再同步器的合成。 Zbl 07561713号 Bose,苏加塔;桑卡拉·纳拉亚南·克里希纳;安卡·穆斯科尔;文森特·佩内尔;小狗,加布里埃尔 2 2019 双向文字传感器的单向可定义性。 Zbl 1404.68065号 费利克斯·巴斯切尼斯;奥利维·高文;安卡·穆斯科尔;小狗,加布里埃尔 10 2018 可数线性序上MSO可定义性的代数方法。 Zbl 1502.03007号 奥利维尔·卡尔顿;托马斯·科尔科贝特;小狗,加布里埃尔 6 2018 双向文字传感器的原始等效性在PSPACE中。 兹比尔1528.68177 Bose,Sougata公司;安卡·穆斯科尔;文森特·佩内尔;小狗,加布里埃尔 4 2018 重新同步单词关系类。 Zbl 1499.68172号 玛丽亚·艾米丽亚·德斯科特;迭戈·菲格拉;小狗,加布里埃尔 2 2018 关于有限值流串换能器的分解。 Zbl 1402.68116号 保罗·加洛特;安卡·穆斯科尔;小狗,加布里埃尔;西尔万·萨尔瓦蒂 三 2017 在基本时间解开双向换能器。 Zbl 1458.68085号 费利克斯·巴斯切尼斯;奥利维·高文;安卡·穆斯科尔;小狗,加布里埃尔 2 2017 尽可能减少扫频和流式串传感器的资源。 Zbl 1388.68158号 费利克斯·巴斯切尼斯;奥利维·高文;安卡·穆斯科尔;小狗,加布里埃尔 5 2016 查询可见和不可见信息。 Zbl 1394.68125号 迈克尔·本尼迪克特;皮埃尔·布赫斯;ten Cate,鲍德;小狗,加布里埃尔 4 2016 在数据词上行走。 Zbl 1353.68169号 阿马尔德夫·曼努埃尔;安卡·穆斯科尔;小狗,加布里埃尔 1 2016 正则树语言的有界可修复性。 Zbl 1474.68170号 皮埃尔·布赫斯;小狗,加布里埃尔;克里斯蒂安·里维罗斯;斯塔奥维,Sławek 1 2016 基于锥形基本方向的指南针逻辑的可判定弱化。 Zbl 1351.03014号 安吉洛·蒙塔纳里;小狗,加布里埃尔;皮埃特罗·萨拉 7 2015 扫频传感器的单向可定义性。 Zbl 1366.68135号 费利克斯·巴斯切尼斯;奥利维·高文;安卡·穆斯科尔;小狗,加布里埃尔 5 2015 逻辑与严格保护的数据测试。 Zbl 1355.68181号 托马斯·科尔科贝特;克莱门斯·莱伊;小狗,加布里埃尔 4 2015 高阶查询的复杂性。 Zbl 1329.68092号 迈克尔·本尼迪克特;小狗,加布里埃尔;Vu和Huy 1 2015 区间时间逻辑对有理数的判定性。 Zbl 1426.03018号 安吉洛·蒙塔纳里;小狗,加布里埃尔;皮埃特罗·萨拉 4 2014 修复单词语言的每个字符的成本。 Zbl 1359.68158号 迈克尔·贝内迪克特;小狗,加布里埃尔;克里斯蒂安·里维罗斯 2 2014 单词语言的有界可修复性。 Zbl 1410.68196号 迈克尔·本尼迪克特;小狗,加布里埃尔;克里斯蒂安·里维罗斯 9 2013 2013年8月29日至31日,意大利多洛米特斯Borca di Cadore,GandALF 2013,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集。 兹比尔1415.68045 三 2013 在数据词上行走。 Zbl 1344.68126号 阿马尔德夫·曼努埃尔;安卡·穆斯科尔;小狗,加布里埃尔 1 2013 可数线性序上的正则语言。 Zbl 1333.68186号 奥利维尔·卡尔顿;托马斯·科尔科贝特;小狗,加布里埃尔 8 2011 在不同语言之间旅行的费用。 Zbl 1333.68304号 迈克尔·本尼迪克特;小狗,加布里埃尔;克里斯蒂安·里维罗斯 7 2011 关于使用数据逻辑保护。 Zbl 1343.03032号 托马斯·科尔科贝特;克莱门斯·莱伊;小狗,加布里埃尔 2 2011 Halpern和Shoham区间模态逻辑的最大可判定片段。 Zbl 1288.03017号 安吉洛·蒙塔纳里;小狗,加布里埃尔;皮埃特罗·萨拉 22 2010 区间时态逻辑(运算符名{AB\上划线{B}})对自然数的可判定性。 Zbl 1230.03047号 安吉洛·蒙塔纳里;小狗,加布里埃尔;皮埃特罗·萨拉;圭多·西亚维科 11 2010 数据字上的自动与逻辑。 Zbl 1287.03086号 迈克尔·本尼迪克特;克莱门斯·莱伊;小狗,加布里埃尔 7 2010 分支和分层时态结构的自动机。对无限过渡系统规律的研究。 Zbl 1181.03044号 小狗,加布里埃尔 4 2010 具有锥形基本方向的可判定空间逻辑。 Zbl 1257.03054号 安吉洛·蒙塔纳里;小狗,加布里埃尔;皮埃特罗·萨拉 7 2009 最终周期语言和自动机的理论,应用于时间粒度。 Zbl 1186.68246号 大卫·布雷索林;安吉洛·蒙塔纳里;小狗,加布里埃尔 三 2009 时间粒度的紧凑且易于处理的基于自动机的表示。 Zbl 1111.68053号 达尔拉戈,乌戈;安吉洛·蒙塔纳里;小狗,加布里埃尔 2 2007 时间粒度和最终的周期自动机。 Zbl 1111.68697号 大卫·布雷索林;安吉洛·蒙塔纳里;小狗,加布里埃尔 2 2004 朝着紧凑且易于处理的基于自动机的时间粒度表示发展。 Zbl 1257.68063号 乌戈·达尔拉戈;安吉洛·蒙塔纳里;小狗,加布里埃尔 4 2003 所有引用出版物 排名前五的出版物 全部的 前5名155位作者引用 22 安吉洛·蒙塔纳里 13 圭多·西亚维科 12 皮埃特罗·萨拉 10 小狗,加布里埃尔 9 大卫·布雷索林 9 黛拉·莫妮卡,达里奥 9 阿德里亚诺·佩隆 6 劳拉·博泽利 5 瓦伦丁·F·戈兰科。 5 桑卡拉·纳拉亚南·克里希纳 5 阿尔贝托·莫利纳里 5 安卡·穆斯科尔 4 艾曼纽·菲利奥特 4 蒂莫西·吴 4 皮埃尔·阿莱·雷尼尔 三 Michael A.Benedikt。 三 Mikołaj博扬奇克 三 维伦达·戴夫 三 斯特凡·德姆里。 三 塞巴斯蒂安·马内思 三 斯特凡·米利厄斯 三 埃米利奥·穆尼奥斯·韦拉斯科 三 奥托普,简 三 戴维·拉帕波特 三 Kai T.Salomaa。 三 Sreejith,A.V。 三 马丁·乌 2 卢卡·埃特罗 2 巴拉特·阿德苏尔 2 Bose,Sougata公司 2 Chebotarev,Anatoli N。 2 皮耶保罗·德加诺 2 冯、范 2 吉安·路易吉,法拉利 2 彼得罗·加利亚尼 2 奥利维·高文 2 Anna Ingólfsdóttir 2 巴托克·克林 2 内森·勒霍特 2 安德烈亚斯·马莱蒂 2 吉安卢卡·梅泽蒂 2 贾库布·米查利辛 2 马可·巴扎利亚 2 克里斯蒂安·里维罗斯 2 萨普塔什·萨卡尔 2 西尔万·施密茨 2 赫尔穆特·塞德尔 2 Tan,Tony(托尼·谭) 2 范古尔,塞缪尔·雅各布 1 帕罗什·阿齐兹·阿卜杜拉 1 安东尼奥·阿布·纳赛尔 1 什奇蓬贾·艾哈迈塔吉 1 娜塔莎·亚历奇纳 1 沙乌尔·阿尔马戈 1 阿姆兰·阿马齐格 1 Krzysztof Rafal公寓 1 穆罕默德·法乌齐 1 帕瓦内·巴巴里 1 菲利普·巴尔比亚尼 1 斯蒂芬·巴特 1 费利克斯·巴斯切尼斯 1 尼古拉·鲍德鲁 1 尼古拉斯·贝登 1 皮埃尔·布赫斯 1 克里希南德·查特吉 1 詹姆斯·切尼 1 Cheon、Hyunjoon 1 安东尼·科恩(Anthony G.Cohn)。 1 卡洛·库比 1 恩里科·科米纳托 1 布鲁诺·库塞尔 1 伯纳多·昆卡·格劳 1 乌戈·达尔拉戈 1 玛丽亚·艾米丽亚·德斯科特 1 曼弗雷德·德罗斯特 1 杜,鹤山 1 约斯特·恩格尔弗里特 1 流亡,莱奥 1 马可·费拉 1 阿明·法朱迪安 1 迭戈·菲格拉 1 圣地亚哥菲格拉 1 卡洛·阿尔贝托·富里亚 1 雷吉斯·加斯科 1 庆蒂里尼、拉斐拉 1 西蒙·格纳尼 1 布鲁诺·吉隆 1 Han、Yo-Sub 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 拉斯穆斯·易卜森·延森 1 克雷斯蒂安·约布茨克 1 卡里、莉拉 1 斯坦尼斯拉夫·基科特 1 斯塔夫罗斯·康斯坦蒂尼迪斯 1 斯特芬·科佩基 1 玛丽亚·科什 1 托雷·科斯 1 埃戈尔·柯斯特列夫(Egor V.Kostylev)。 1 德克斯特·C·科赞。 1 丹尼斯·库珀伯格 …还有55位作者 全部的 前5名21篇连载文章中引用 10 理论计算机科学 10 计算机科学中的逻辑方法 7 信息与计算 5 信息学报 4 国际计算机科学基础杂志 4 数学与人工智能年鉴 4 ACM计算逻辑事务 三 人工智能 三 计算系统理论 2 计算机与系统科学杂志 2 控制论与系统分析 2 应用非经典逻辑杂志 1 信息处理信件 1 以色列数学杂志 1 组合理论杂志。系列A 1 人工智能研究杂志 1 离散数学和理论计算机科学。DMTCS公司 1 计算机基础理论 1 算法 1 RAIRO公司。理论信息学及其应用 1 ACM计算理论汇刊 全部的 前5名在9个字段中引用 98 计算机科学(68至XX) 51 数学逻辑和基础(03-XX) 三 组合数学(05-XX) 三 群论与推广(20-XX) 2 阶、格、有序代数结构(06-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 一般代数系统(08-XX) 1 范畴理论;同调代数(18-XX) 1 量子理论(81-XX) 按年份列出的引文